時髦的密碼學工具能幫助DeFi嗎？
編者按：本文來自以太坊愛好者（ID：ethfans）編者按：本文來自
以太坊愛好者（ID：ethfans）
以太坊愛好者（ID：ethfans）
以太坊愛好者（ID：ethfans）
去中心化金融（DeFi）運動誓言要讓金融世界平等化，要讓它更為公平和透明。但是，DeFi 若要在全球範圍內實現這個目標，像以太坊這樣的去中心化區塊鏈就需要拓展吞吐量！這就意味著我們要運用新的密碼學證明方案（有些人會把這些方案統稱為“零知識證明”、“ZKP”）。
二級標題
正文
二級標題
正文
圖片描述
正文
圖片描述
答案是我們還想要保證去中心化。區塊鏈保持免許可性的先決條件是：每一個使用普通筆記本的用戶都能驗證交易歷史的完整性。這裡有一個核心原則，我們稱之為“包容的可追責性”，意思是：我們不能操之過急地提高系統的處理能力，否則它會退化成一個中心化的支付系統，只有少數幾個財閥來控制的那種（也就是“現在的金融系統”）。
二級標題
圖片描述
因此，所有的擴展方案，包括Plasma、Optimistic Rollup 和我們的方法（基於密碼學證明系統，通常被稱為ZK Rollup 方案），都引入了兩類不同的實體：一小群“強大的” 參與方，需要投入大量的資源來執行密集的計算；還有一大群節點，這些節點負責驗證交易、保證強大參與方產生的計算結果是可審計的。
二級標題
如何能夠在保證去中心化的同時擴展吞吐量呢？那就讓強大的參與方來計算、而弱小的參與保證來保證可審計性唄。強大參與方是不是惡意的不重要，重要的是弱小的參與方能保證可追責性！
二級標題
你得懂點密碼學證明系統
那麼，今天的密碼學證明系統究竟能在哪些方面幫到DeFi 呢？
- 可擴展性
- 隱私性
- 公平性
公平性
隱私性
正文
公平性
隱私性
正文
公平性
正文
我們回到最根本的那個挑戰：保持包容可追責性的同時擴展以太坊吞吐量。我們需要一種技術，既能大幅提高吞吐量（方法是把計算負擔分配給少量的“強大參與者”），同時許多“弱小參與者” 可以完全驗證這些強大參與者的計算完整性（computational integrity ） ，而且，還不會增加弱小參與者的負擔。其它擴展方案，比如Plasma 和Optimistic Rollup 都依賴於錯誤性證明（Fraud Proof），而我們在這篇文章裡解釋過為什麼密碼學證明系統是更好的解決方案（編者註：中譯本見文末超鏈接《有效性證明vs. 錯誤性證明》）。
說得更細一些，ZK Rollup 可擴展性解決方案的基礎是讓大的計算任務（或者一大批小的計算任務）在鏈下執行，鏈下的計算資源富足得多；然後生成出計算執行過程的有效性證明並發送到區塊鏈上（伴隨著一個對新狀態的承諾）；然後由一個驗證者智能合約來驗證這些證明。通過驗證之後，網絡參與者就能相信整個計算是有效的（同時不需要信任任何一個實體）。正是因為我們沒有任何信任假設，我們才能公正地接受一個有效性證據，哪怕是黑武士發出的也沒關係。
正文
正文
正文
正文
因此，挑戰在於：如何能夠獲得隱私性，又不至於犧牲DeFi 的免信任性呢？可以藉助ZKP 的零知識屬性！
正文
正文
如上所述，零知識證使我們可以在不公開私密輸入的前提下證明一個計算型陳述。這種屬性應用在區塊鏈上，就能讓獨門信息被包含在私密輸入中，證據完全不會暴露這個輸入。結果就是皆大歡喜：隱私又能得到保護，同時任何人都能驗證區塊鏈的狀態，還不用引入信任假設，完美。
正文
正文
3. ZKP 增強公平性
正文
市場的公平性不僅在哲學玄思中有意義。交易員會遠離他們認為不公平的交易場所，因此，公平性對流動性是有幫助的。損害市場公平性的辦法有很多種，但大部分的辦法都包含系統運營者（例如交易所自身）濫用提前知情權作為其中一環。 ZKP 可以幫助參與者保證運營者不能濫用自身特權、不能偏袒。
二級標題
