時髦的密碼學工具能幫助DeFi嗎？_STA:ARK

編者按：本文來自

以太坊愛好者

，作者:ShiriPerciger，翻譯:阿劍，Odaily星球日報經授權轉載。

去中心化金融運動誓言要讓金融世界平等化，要讓它更為公平和透明。但是，DeFi若要在全球范圍內實現這個目標，像以太坊這樣的去中心化區塊鏈就需要拓展吞吐量！這就意味著我們要運用新的密碼學證明方案。

像zk-STARK這樣的密碼學證明系統并不是唯一的解決方案。其它辦法包括Plasma、以太坊2.0、許多所謂的“以太坊殺手”提出的方案，還有最近的OptimisticRollup方案。

在本文中，我們將解釋去中心化的密碼學貨幣當前面臨的挑戰、各密碼學證明系統解決這些問題的路徑，以及為什么說zk-STARK最適合于解決這個問題。

去中心化與處理量擴展

我們身處的時代，是計算機系統吞吐量不斷提高的時代。從帶寬，到存儲空間，再到一塊屏幕上的像素點數量，每一樣都在不斷提高。那么，為什么要提高比特幣和以太坊的交易處理速度這么困難呢？

數據：Uniswap占DEX市場64.6%的份額:金色財經報道，coingecko發布研究表明，Uniswap是最大的去中心化加密貨幣交易所（DEX），占據DEX市場64.6%的份額。2023年6月，其交易量降至295億美元，環比下降-10.5%，而2023年5月則為329億美元。Curve是第二大DEX，擁有11.5%的市場份額，2023年6月現貨交易量為52億美元。環比增長73.9%。

PancakeSwap和Dodo分別創下30億美元的記錄，位列第三和第四最大的DEX，分別占據9.5%和7.2%的市場份額。2023年6月，它們的現貨交易量分別為43億美元和33億美元，環比增長-29.2%和63.3%，而5月分別錄得61億美元和20億美元。[2023/8/13 16:23:42]

答案是我們還想要保證去中心化。區塊鏈保持免許可性的先決條件是：每一個使用普通筆記本的用戶都能驗證交易歷史的完整性。這里有一個核心原則，我們稱之為“包容的可追責性”，意思是：我們不能操之過急地提高系統的處理能力，否則它會退化成一個中心化的支付系統，只有少數幾個財閥來控制的那種。

Strike支持美國用戶向尼日利亞、肯尼亞和加納付款:金色財經報道，比特幣閃電網絡上的支付平臺Strike，通過其“全球發送”功能，美國用戶可以向尼日利亞、肯尼亞和加納立即支付低成本的款項。根據一份新聞稿，這項新功能由與非洲支付平臺Bitnob合作提供。加密貨幣支付會被立即轉換為奈拉、塞地或先令，并存入收款人的銀行、移動貨幣或Bitnob賬戶。（the block）[2022/12/6 21:26:36]

-我們必須打破區塊鏈三難困境，創造一個不同于傳統系統的去中心化金融系統-

因此，所有的擴展方案，包括Plasma、OptimisticRollup和我們的方法，都引入了兩類不同的實體：一小群“強大的”參與方，需要投入大量的資源來執行密集的計算；還有一大群節點，這些節點負責驗證交易、保證強大參與方產生的計算結果是可審計的。

如何能夠在保證去中心化的同時擴展吞吐量呢？那就讓強大的參與方來計算、而弱小的參與保證來保證可審計性唄。強大參與方是不是惡意的不重要，重要的是弱小的參與方能保證可追責性！

BitMEX創始人：準備在1萬美元區間買入BTC:金色財經報道，BitMEX創始人Arthur Hayes發推表示，“已經準備好資金在比特幣達到1萬美元價格區間后買入”。[2022/11/17 13:14:23]

在深入細節之前，我們先來看看密碼學證明系統。

你得懂點密碼學證明系統

密碼學證明系統始創于1980年；它對免準入型區塊鏈的巨大價值，導致區塊鏈領域在近年出現了新理論建構和新協議的寒武紀大爆發。在下文中，我們僅聚焦于STARK，這也是我們StarkWare團隊準備帶給市場的一類證明方案。

密碼學證明系統中通常包含兩類角色：證明者和驗證者。

證明者：證明者希望像驗證者證明某個計算型陳述是正確的，例如“我已經處理了這10000筆交易，而結果數據庫的哈希值為X”。驗證者會為這個計算型陳述提供一個證據，并發送給驗證者。

驗證者：驗證者會驗證該證據——而不是天真地重復原本那個計算過程——如果證據能通過驗證，則驗證者會相信證明者的陳述為真。

數字身份公司Prove Identity和Experian合作進行身份驗證:金色財經報道，信息服務公司Experian和數字身份公司Prove Identity, Inc.(\"Prove\")今天宣布建立全球伙伴關系，通過先進的身份驗證技術促進全球金融包容性。作為合作關系的一部分，Prove將把以下解決方案（可能因地區而異）整合到Experian CrossCore中，這是一個數字身份和欺詐風險緩解平臺，使客戶能夠連接、訪問和協調利用多種數據源、驗證和認證能力以及高級分析的客戶決策和行動。這種合作關系將使Experian CrossCore的客戶能夠使用這些解決方案，這些解決方案可以與Experian的區域欺詐和身份識別產品整合。（businesswire）[2022/10/27 11:46:52]

注意！在類似STARK這樣的密碼學證明系統中，證明者和驗證者的計算負擔是不對稱的！

比起單單執行原本的計算過程，證明者的計算開銷要大得多；而驗證者則相反，得益于驗證者已經付出的巨大開銷，驗證者要執行的計算量比原本的計算過程要小得多，比如，如果原本需要執行10000筆交易，那驗證者只需付出10筆交易的計算開銷就夠了。

數據：DeFi市場正急劇去杠桿化，近六周已蒸發1240億美元:金色財經報道，據區塊鏈分析公司Glassnode最新分析數據顯示，隨著熊市的到來，ETH 價格已跌至 1,030 美元的低點，較歷史最高 4,808 美元下跌 75.2%，導致以太坊 DeFi 市場正在經歷一場急劇的去杠桿化，短短六周內超過1240 億美元的資金憑空消失，投資者目前已在現貨頭寸上嚴重虧損，并可能是歷史級別的巨大實現損失。DeFi協議TVL出現劇烈爆倉，主因兩個機制：1. 牛市期間市場積累的杠桿和循環借貸頭寸被平倉，無論是主動平倉還是通過清算。2. 由于鎖定在 DeFi 協議中的代幣的重新定價較低，加密抵押品的價值下降，這通常是由于上述第1點產生的賣方造成的。[2022/6/26 1:32:14]

此外，密碼學證明系統可以用來隱蔽輸入；這樣的密碼學證明系統就被稱作是“零知識的”，縮寫就是ZK-STARK。

密碼學證明系統如何擴展DeFi？

那么，今天的密碼學證明系統究竟能在哪些方面幫到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：STARKSTARSTAARKSTARK價格Kuky starSTATE幣etherark

Uniswap