編者按:本文來自
以太坊愛好者
,作者:ShiriPerciger,翻譯:阿劍,Odaily星球日報經授權轉載。
去中心化金融運動誓言要讓金融世界平等化,要讓它更為公平和透明。但是,DeFi若要在全球范圍內實現這個目標,像以太坊這樣的去中心化區塊鏈就需要拓展吞吐量!這就意味著我們要運用新的密碼學證明方案。
像zk-STARK這樣的密碼學證明系統并不是唯一的解決方案。其它辦法包括Plasma、以太坊2.0、許多所謂的“以太坊殺手”提出的方案,還有最近的OptimisticRollup方案。
在本文中,我們將解釋去中心化的密碼學貨幣當前面臨的挑戰、各密碼學證明系統解決這些問題的路徑,以及為什么說zk-STARK最適合于解決這個問題。
去中心化與處理量擴展
我們身處的時代,是計算機系統吞吐量不斷提高的時代。從帶寬,到存儲空間,再到一塊屏幕上的像素點數量,每一樣都在不斷提高。那么,為什么要提高比特幣和以太坊的交易處理速度這么困難呢?
TRX累計銷毀量突破160億枚:據最新消息,2023年4月4日,TRX累計銷毀量達16,000,333,074枚,突破160億枚,價值超11.5億美金。
當前,波場TRON賬戶總數突破1.5億,交易總數突破52億,總質押量(TVL)突破119億美金,已成為當下最活躍的區塊鏈之一。[2023/4/4 13:44:17]
答案是我們還想要保證去中心化。區塊鏈保持免許可性的先決條件是:每一個使用普通筆記本的用戶都能驗證交易歷史的完整性。這里有一個核心原則,我們稱之為“包容的可追責性”,意思是:我們不能操之過急地提高系統的處理能力,否則它會退化成一個中心化的支付系統,只有少數幾個財閥來控制的那種。
-我們必須打破區塊鏈三難困境,創造一個不同于傳統系統的去中心化金融系統-
因此,所有的擴展方案,包括Plasma、OptimisticRollup和我們的方法,都引入了兩類不同的實體:一小群“強大的”參與方,需要投入大量的資源來執行密集的計算;還有一大群節點,這些節點負責驗證交易、保證強大參與方產生的計算結果是可審計的。
社交媒體平臺Buzzfeed將使用OpenAI來協助內容創作:金色財經報道,社交媒體平臺Buzzfeed將使用OpenAI來協助內容創作。[2023/1/27 11:31:48]
如何能夠在保證去中心化的同時擴展吞吐量呢?那就讓強大的參與方來計算、而弱小的參與保證來保證可審計性唄。強大參與方是不是惡意的不重要,重要的是弱小的參與方能保證可追責性!
在深入細節之前,我們先來看看密碼學證明系統。
你得懂點密碼學證明系統
密碼學證明系統始創于1980年;它對免準入型區塊鏈的巨大價值,導致區塊鏈領域在近年出現了新理論建構和新協議的寒武紀大爆發。在下文中,我們僅聚焦于STARK,這也是我們StarkWare團隊準備帶給市場的一類證明方案。
密碼學證明系統中通常包含兩類角色:證明者和驗證者。
證明者:證明者希望像驗證者證明某個計算型陳述是正確的,例如“我已經處理了這10000筆交易,而結果數據庫的哈希值為X”。驗證者會為這個計算型陳述提供一個證據,并發送給驗證者。
Bitstamp CEO:比特幣牛市可能會在未來兩年內到來:金色財經報道,Bitstamp首席執行官Jean-Baptiste Graftieaux 表示,下一次比特幣牛市應該在未來兩年內出現。[2023/1/12 11:08:51]
驗證者:驗證者會驗證該證據——而不是天真地重復原本那個計算過程——如果證據能通過驗證,則驗證者會相信證明者的陳述為真。
注意!在類似STARK這樣的密碼學證明系統中,證明者和驗證者的計算負擔是不對稱的!
比起單單執行原本的計算過程,證明者的計算開銷要大得多;而驗證者則相反,得益于驗證者已經付出的巨大開銷,驗證者要執行的計算量比原本的計算過程要小得多,比如,如果原本需要執行10000筆交易,那驗證者只需付出10筆交易的計算開銷就夠了。
此外,密碼學證明系統可以用來隱蔽輸入;這樣的密碼學證明系統就被稱作是“零知識的”,縮寫就是ZK-STARK。
密碼學證明系統如何擴展DeFi?
那么,今天的密碼學證明系統究竟能在哪些方面幫到DeFi呢?
美國9月非農就業人數增加26.3萬人,失業率為3.5%:金色財經報道,10月7日消息,美國9月非農就業人數增加26.3萬人,預期為25萬人,前值為31.5萬人。美國9月失業率為3.5%,預期3.7%,前值3.7%。[2022/10/8 12:49:10]
可擴展性
隱私性
公平性
我們一個一個來。
1.用STARK提高可擴展性
我們回到最根本的那個挑戰:保持包容可追責性的同時擴展以太坊吞吐量。我們需要一種技術,既能大幅提高吞吐量,同時許多“弱小參與者”可以完全驗證這些強大參與者的計算完整性,而且,還不會增加弱小參與者的負擔。其它擴展方案,比如Plasma和OptimisticRollup都依賴于錯誤性證明,而我們在這篇文章里解釋過為什么密碼學證明系統是更好的解決方案。
使用STARK的可擴展性,我們可以放膽讓任何強大的實體成為證明者,哪怕是黑武士父子控制的傀儡也沒問題。這里的關鍵在于,強大證明者要為自己的所有操作附加一個簡潔的證據,而所有的弱小節點都可以輕而易舉地驗證這些證據。因此,通過STARK,我們就可以保證包容的可追責性,同時提供幾乎無限的吞吐量擴展。
人民網:江西首次運用稅務區塊鏈技術征收土地出讓金:金色財經消息,近日,江西省撫州市翁梅蓉女士在市政務服務中心不動產交易窗口,一站式辦結了房改房補繳土地出讓金等所有交易手續,這是江西省首筆運用區塊鏈技術征收土地出讓金業務。
據了解,“土地出讓金+區塊鏈”應用于6月1日起在撫州市試運行,可全面覆蓋國有土地使用權出讓、房改房和經濟適用住房轉讓等相關業務,預計年內在省內逐步推廣。(人民網)[2022/6/4 4:01:20]
說得更細一些,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,不僅在可擴展性上比其它方案有優勢,還能用隱私性和公平性支持更好的市場設計、創造更好的市場。
在今年1月,JoelMonegro又發表《ThinApplications》一文,在之前框架的基礎上,探討了一些有意思的概念。當然從標題中也可以看出主要討論的是「瘦」應用.
1900/1/1 0:00:00編者按:本文來自巴比特資訊,作者:TimCopeland,編譯:Wendy,星球日報經授權發布。運行以太坊2.0升級版本的以太坊測試網Topaz已經實現了一個重要的里程碑.
1900/1/1 0:00:00頭條 BTC持續拉升,今晨突破10200USDT今晨,火幣全球站行情顯示,BTC迅速拉升,突破10200USDT,暫報10205.18USDT,日間漲幅6.90%.
1900/1/1 0:00:00Odaily星球日報譯者|念銀思唐正如我們在過去兩個月所報道的,自3月份黑色星期四以來,交易所持有的比特幣數量一直在下降,當時比特幣的價格下跌了50%以上.
1900/1/1 0:00:00據礦海會員工朋友圈爆料,詹克團5月25日已簽發文件,要求解除比特大陸CFO劉路遙職務。 隨后詹克團又發出新文,要求HR總監索超不得擅自將公司勞動關系轉移至其他公司.
1900/1/1 0:00:00上一周《哈利波特》的作者JK羅琳在社交網站推特上,發表了一個問題“我不懂比特幣,有人可以給我解釋嗎”?之后,圈內外便炸鍋了.
1900/1/1 0:00:00