編者按:本文來自
以太坊愛好者
,作者:ShiriPerciger,翻譯:阿劍,Odaily星球日報經授權轉載。
去中心化金融運動誓言要讓金融世界平等化,要讓它更為公平和透明。但是,DeFi若要在全球范圍內實現這個目標,像以太坊這樣的去中心化區塊鏈就需要拓展吞吐量!這就意味著我們要運用新的密碼學證明方案。
像zk-STARK這樣的密碼學證明系統并不是唯一的解決方案。其它辦法包括Plasma、以太坊2.0、許多所謂的“以太坊殺手”提出的方案,還有最近的OptimisticRollup方案。
在本文中,我們將解釋去中心化的密碼學貨幣當前面臨的挑戰、各密碼學證明系統解決這些問題的路徑,以及為什么說zk-STARK最適合于解決這個問題。
去中心化與處理量擴展
我們身處的時代,是計算機系統吞吐量不斷提高的時代。從帶寬,到存儲空間,再到一塊屏幕上的像素點數量,每一樣都在不斷提高。那么,為什么要提高比特幣和以太坊的交易處理速度這么困難呢?
去中心化自治組織Tomi籌集4000萬美元融資:金色財經報道,旨在建立替代互聯網網絡的去中心化自治組織 (DAO) Tomi已籌集到 4000 萬美元,由數字資產做市商 DWF Labs 領投。這筆資金將用于為網絡吸引內容創作者。Tomi的目標是“為互聯網重新開始”,使用其DAO治理模型來促進言論自由和獲取未經審查的信息。[2023/3/22 13:18:06]
答案是我們還想要保證去中心化。區塊鏈保持免許可性的先決條件是:每一個使用普通筆記本的用戶都能驗證交易歷史的完整性。這里有一個核心原則,我們稱之為“包容的可追責性”,意思是:我們不能操之過急地提高系統的處理能力,否則它會退化成一個中心化的支付系統,只有少數幾個財閥來控制的那種。
-我們必須打破區塊鏈三難困境,創造一個不同于傳統系統的去中心化金融系統-
因此,所有的擴展方案,包括Plasma、OptimisticRollup和我們的方法,都引入了兩類不同的實體:一小群“強大的”參與方,需要投入大量的資源來執行密集的計算;還有一大群節點,這些節點負責驗證交易、保證強大參與方產生的計算結果是可審計的。
Cosmos社區發起土耳其援助提案,擬籌集2萬枚ATOM:2月11日消息,Cosmos社區發起“對土耳其地震幸存者的援助提案”,擬籌集2萬枚ATOM,投票將于2月24日19:55截止。[2023/2/11 12:00:33]
如何能夠在保證去中心化的同時擴展吞吐量呢?那就讓強大的參與方來計算、而弱小的參與保證來保證可審計性唄。強大參與方是不是惡意的不重要,重要的是弱小的參與方能保證可追責性!
在深入細節之前,我們先來看看密碼學證明系統。
你得懂點密碼學證明系統
密碼學證明系統始創于1980年;它對免準入型區塊鏈的巨大價值,導致區塊鏈領域在近年出現了新理論建構和新協議的寒武紀大爆發。在下文中,我們僅聚焦于STARK,這也是我們StarkWare團隊準備帶給市場的一類證明方案。
密碼學證明系統中通常包含兩類角色:證明者和驗證者。
證明者:證明者希望像驗證者證明某個計算型陳述是正確的,例如“我已經處理了這10000筆交易,而結果數據庫的哈希值為X”。驗證者會為這個計算型陳述提供一個證據,并發送給驗證者。
去中心化交易協議Astroport在Injective測試網上發布測試版:1月19日消息,去中心化交易協議Astroport在Injective測試網上發布了測試版。在主網啟動后,Astroport的管理機構Astral Assembly還可以提議將Injective部署連接到Astroport的Terra 2實例以進行跨鏈治理和持續的費用共享,這可以為整個Injective產生更多的協議費用。[2023/1/19 11:19:38]
驗證者:驗證者會驗證該證據——而不是天真地重復原本那個計算過程——如果證據能通過驗證,則驗證者會相信證明者的陳述為真。
注意!在類似STARK這樣的密碼學證明系統中,證明者和驗證者的計算負擔是不對稱的!
比起單單執行原本的計算過程,證明者的計算開銷要大得多;而驗證者則相反,得益于驗證者已經付出的巨大開銷,驗證者要執行的計算量比原本的計算過程要小得多,比如,如果原本需要執行10000筆交易,那驗證者只需付出10筆交易的計算開銷就夠了。
此外,密碼學證明系統可以用來隱蔽輸入;這樣的密碼學證明系統就被稱作是“零知識的”,縮寫就是ZK-STARK。
Messari創始人:“修復”GBTC最謹慎和現實的途徑是通過Regulation M豁免:6月30日消息,Messari創始人Ryan Selkis發文稱:“一場‘勝利’的官司和最終的ETF轉換將使灰度(Grayscale)的收入減少50%以上。ETF將意味著一個開放的贖回窗口,并可能降低費用,以保留AUM。這意味著DCG每年將減少2億美元以上的利潤。”
Selkis認為,至少在Gary Gensler任職期間,SEC不太可能同意灰度將GBTC轉換為ETF。這在一定程度上與GBTC溢價而非折價交易時發生的溢價收獲交易有關,當時三箭資本利用了極高的杠桿。
Selkis稱:“有趣的是,SEC完全出于惡意阻止灰度的可能性并非為零,因為他們不想獎勵他們認為的不良行為。不良灰度交易是三箭走向破產的第一步,它以杠桿的方式持有GBTC的大量份額——一度高達該信托的6%。”Selkis認為,“修復”GBTC最謹慎和現實的途徑是通過所謂的Regulation M豁免。
此前消息,美國SEC官網文件顯示,該機構已經拒絕灰度(Grayscale)將其GBTC轉換為比特幣現貨ETF的申請。隨后,灰度首席執行官Michael Sonnenshein稱已對美國SEC提起訴訟。(CoinDesk)[2022/6/30 1:41:53]
密碼學證明系統如何擴展DeFi?
goblintown.wtf系列NFT 24小時交易額超700萬美元,地板價接近6 ETH:6月1日消息,NFTGo.io數據顯示,goblintown.wtf系列NFT 24小時交易額達727.46萬美元,漲幅為165.55%。目前地板價達5.95 ETH,24小時漲幅為70.99%。[2022/6/1 3:56:44]
那么,今天的密碼學證明系統究竟能在哪些方面幫到DeFi呢?
可擴展性
隱私性
公平性
我們一個一個來。
1.用STARK提高可擴展性
我們回到最根本的那個挑戰:保持包容可追責性的同時擴展以太坊吞吐量。我們需要一種技術,既能大幅提高吞吐量,同時許多“弱小參與者”可以完全驗證這些強大參與者的計算完整性,而且,還不會增加弱小參與者的負擔。其它擴展方案,比如Plasma和OptimisticRollup都依賴于錯誤性證明,而我們在這篇文章里解釋過為什么密碼學證明系統是更好的解決方案。
使用STARK的可擴展性,我們可以放膽讓任何強大的實體成為證明者,哪怕是黑武士父子控制的傀儡也沒問題。這里的關鍵在于,強大證明者要為自己的所有操作附加一個簡潔的證據,而所有的弱小節點都可以輕而易舉地驗證這些證據。因此,通過STARK,我們就可以保證包容的可追責性,同時提供幾乎無限的吞吐量擴展。
說得更細一些,ZKRollup可擴展性解決方案的基礎是讓大的計算任務在鏈下執行,鏈下的計算資源富足得多;然后生成出計算執行過程的有效性證明并發送到區塊鏈上;然后由一個驗證者智能合約來驗證這些證明。通過驗證之后,網絡參與者就能相信整個計算是有效的。正是因為我們沒有任何信任假設,我們才能公正地接受一個有效性證據,哪怕是黑武士發出的也沒關系。
這可不是嘴上說說——下周你就能在主網上使用了!
這些都不是停留在紙面上的東西了:使用StarkEx,我們的擴展性引擎,我們已經實現了每秒超過9千筆自主托管型交易的吞吐量了!而且,這還不是極限:我們不受區塊鏈資源的限制,僅受云資源的限制。
端到端的交易產品即將上線主網。
第一個由StarkEx引擎支持的DeversiFi去中心化交易所將在下周上線。而且StarkEx支撐的一個NFT交易所也在緊鑼密鼓地開發中,將能支持游戲內資產的交易。
2.ZKP增強隱私性
提高交易處理速度并不是公鏈走向大眾化的充分條件。我們還需要隱私性。
公鏈的先驅在發現ZKP對可擴展性的好處之前,就已經發現了ZKP對隱私的好處。Zcash區塊鏈,啟動于2016年,是第一個用ZKP方案來提供隱蔽交易的系統。
隱私對于實現一個高效市場來說也是很關鍵的。交易員們在市場中交易時,既希望自由自在,又希望不會暴露自己的獨門信息。免準入的區塊,在設計上是完全透明的:為了讓所有的小節點都能驗證區塊鏈的狀態而無需引入任何信任假設,所有的交易都會在鏈上公開。
因此,挑戰在于:如何能夠獲得隱私性,又不至于犧牲DeFi的免信任性呢?可以借助ZKP的零知識屬性!
如上所述,零知識證使我們可以在不公開私密輸入的前提下證明一個計算型陳述。這種屬性應用在區塊鏈上,就能讓獨門信息被包含在私密輸入中,證據完全不會暴露這個輸入。結果就是皆大歡喜:隱私又能得到保護,同時任何人都能驗證區塊鏈的狀態,還不用引入信任假設,完美。
這個更不是吹牛,你已經能用了!
有多個團隊已經在以太坊上用ZKP做了隱私增強方案,包括Tornado.cash和AZTEC。Tornado使用了混幣器方法,而AZTEC使用了交易池方法。我們預計還會出現其它方案。
注意:有隱私不代表反監管。市場參與者對隱私的需求可以和監管者觀察和監控市場健康度的需求并存。舉個例子:一個企業可以創建一個交了稅的零知識證明,而不是把自己所有的賬本共享給收稅者。企業的隱私得到了保護,監管者也能相信稅收已經征收完畢。
3.ZKP增強公平性
市場的公平性不僅在哲學玄思中有意義。交易員會遠離他們認為不公平的交易場所,因此,公平性對流動性是有幫助的。損害市場公平性的辦法有很多種,但大部分的辦法都包含系統運營者濫用提前知情權作為其中一環。ZKP可以幫助參與者保證運營者不能濫用自身特權、不能偏袒。
一個很顯著的例子是搶跑交易。搶跑交易就是做市商利用提前信息、搶在其他人知道該信息以前交易,這是不合法的。關于搶跑交易對市場的影響,大家的估計有所出入,但公認的結論是影響巨大而且不利于市場的效率。
ZKP可以解決搶跑交易的問題,因為交易員的隱私保護不僅能防范其他交易員,連運營者也不能窺破——這就保證了運營者不能拿知情的特權來牟利,讓運營者回歸其本來的位置。我們很希望能看到這樣的解決方案。
前路
還有很多工作要做!我們要讓開發者能更容易地獲取這些技術,還要提高這些技術的效率。而且,我們要開發Layer-2方案,還要想怎么能不打破DeFi的強大可組合性,這里面也有很多工作要做。
密碼學證明系統的可擴展性和隱私性可以讓DeFi從金融創新的沙盒變成一個能改變現有金融系統的全球力量。密碼學證明系統,比如ZK-STARK,不僅在可擴展性上比其它方案有優勢,還能用隱私性和公平性支持更好的市場設計、創造更好的市場。
Tags:STARKSTASTARARKSTARK價格Stargram Coinstar kay ChainStarSharks
5月20日晚11時許,在比特幣高位橫盤一日,眾人急待變盤之際,一個突如其來的神秘“利空”消息砸來——“疑似中本聰挖礦地址突然轉移出50枚比特幣”,引起幣圈社群的快速傳播和密切討論.
1900/1/1 0:00:00鏈上手續費暴漲、算力大跌、比特幣網絡擁堵、礦機關機、礦業遷徙......比特幣減產過后,整個比特幣生態發生了巨大變化.
1900/1/1 0:00:00坊間流傳,區塊鏈行業的三大謎題是:中本聰是誰?FileCoin什么時候啟動?波卡(Polkadot)主網什么時候上線?好在隨著2020年5月底波卡(Polkadot)官方宣布首條候選鏈啟動.
1900/1/1 0:00:00頭條 嘉楠股票獲富達、文藝復興增持,或有利于后續股價回升據自媒體吳說區塊鏈報道,富達正在增持嘉楠科技的股票.
1900/1/1 0:00:00出品|CoinVoice文|西望5月15日6點10分,萬眾矚目的Filecoin第二階段測試網如約上線。本次測試網還有100萬枚FIL獎勵獎勵,一時間各大媒體和礦機廠商在各個渠道蠢蠢欲動.
1900/1/1 0:00:00編者按:本文來自蜂巢財經News,作者:JXkin,Odaily星球日報經授權轉載。歐科云鏈OKLink數據顯示,5月20日上午10點,比特幣網絡在減半后首次調整挖礦難度,全網難度下調6%,降至.
1900/1/1 0:00:00