ETH:DAOrayaki：太空軌道中的zk-SNARK可信啟動

原文作者:?EricZhang

原文標題:?zk-SNARKTrustSetupinSpaceOrbit

在ETHDenver的一周里，我們看到了兩個與零知識證明相關的趨勢。

開發者社區對zk應用的興趣濃厚。Hacker們正在將注意力從zk作為Layer2基礎設施轉移到具體的zk應用上，如位置證明、所有權證明、教育游戲等。

DoraHacks團隊在ETHDenver社區內首次成功地進行了抗共謀的二次方投票資助輪次。MACI輪次很有意思，根據SPORK社區的投票，有效地將匹配池資金分配給了30個決賽選手。所有的投票都是加密的，其結果由零知識證明來驗證。

隱私和規模效應是零知識安全系統所具備的兩個最重要的特征。在治理系統中，我們重視可信度。正常的二次方資助輪次經常被批評，因為存在各種形式的共謀，這損害了整個系統的可信度，最終使系統無法擴展。ETHDenver的MACI輪次，社區對結果幾乎沒有爭議，整個過程顯然更可信。

在更大的范圍內，由zk驅動的基礎設施和應用的質押量飆升。區塊鏈和Layer2協議的鎖倉價值TVL也在不斷的積累，在這些基礎設施之上的應用程序正在開發，從而形成了一個快速增長的生態系統。

很大比例的zk應用是基于zk-SNARK的，它需要預先進行可信啟動。一個zk應用的規模越大，對可信設置的安全性要求就越高。在這篇文章中，讓我們先總結可信設置初始化的安全假設，并探索我們如何使用太空軌道設備作為隔離的執行環境來安全地計算可信設置。太空可信啟動解決方案，不僅能夠成為目前基于MPC的可信啟動過程的替代品，而且還能支持即將到來的太空原生數字經濟。發射成本正在迅速降低，這不再是科幻小說。為此，DAOrayaki社區貢獻者編譯了DoraHacks發起人EricZhang撰寫的“太空軌道中的zk-SNARK可信任啟動”，其中涵蓋了可信任設置初始化、太空軌道上的可信設置及太空軌道可信設置的幾個客觀指標。

ApeCoin DAO發起新提案AIP-240擬組建“話語促進團隊”:金色財經報道，據Snapshot數據顯示，ApeCoin DAO已發起新提案AIP-240擬組建“話語促進團隊”，該團隊將負責監督提案流程、主持討論、執行規則，并根據DAO批準的指南促進社區參與。數據顯示，該提案將于4月27日結束投票，當前反對票占比達到48.96%。[2023/4/22 14:19:56]

01?可信任設置初始化

目前，zk研究領域正在快速發展。有大量的研究和工程工作正在進行，以建立不需要可信啟動，具有透明參數生成的ZKP。另一方面，學術界和區塊鏈太空正在進行密集的研究，以創建通用的SNARK方案。

**圖注:關于目前零知識證明算法方案的一個有用說明，來自"了解PLONK"，閱讀這篇文章也很有用.

SNARK的痛點是需要進行可信設置。這比較令人討厭，因為整個方案的安全性依賴于可信啟動。如果可信啟動的設置不安全或者它被破壞，SNARK就會被破壞。然而，考慮到簡潔性，zk-SNARK仍然占據重要地位，因為效率是構建zk基礎設施和應用時的主導因素。因此，只要zk-SNARK繼續成為zk應用的首要選擇，可信啟動就很重要。

為了可信啟動的安全，我們需要保護用于生成共同參考字符串的隨機元素，其中包含證明者密鑰和驗證者密鑰。這些隨機元素，通常被稱為“有廢物”。有廢物如何幫助創建假的zk-SNARK證明，可以在這篇文章中找到。

ENS DAO“出售1萬枚ETH以支付未來兩年運營費用”的鏈上投票獲得通過:2月7日消息，ENS DAO 在推特發布鏈上投票更新： EP 3.2 -“工作組資金請求”已通過；EP 3.3 -“出售1萬枚ETH換取USDC”已通過。兩項提案現在都在等待執行。在 2 天的時間鎖定后，兩個提案都將被執行。已通過的 EP 3.3 提案將 10,000 ETH 兌換成 USDC，以確保 ENS DAO 有足夠的資金來支付 18 - 24 個月的運營費用。[2023/2/7 11:52:30]

可信設置初始化有一個演變，從2016年的第一個版本ZCash初始化到現在常用的PowerofTau初始化。PowersofTau初始化允許串行參與和驗證，因此它可以擴展參與者的數量。DoraHacks的MACI倉庫是基于MACI1.0的，它依賴于Groth16和一個MMORPG類型的可信設置初始化。該初始化分為兩個階段，第一步是永續PowersofTau初始化，然后使用SnarkJS將輸出和電路轉換為一個特定關系的CRS，例如:

snarkjsgroth16setupcircuit.r1csfinal.ptaucircuit.zkey

可信設置的復雜性通常取決于問題的復雜性和應用所需的安全級別。例如，對于ETHDenver的MACIgrant，可信設置是以一種比較簡單的方式進行的，只需要一個用于bn128的ptau文件和一個包括2*22次方的信標。將輸出結果與電路一起，為每個有一個contribution的電路創建一個Groth16pkey文件。

Gearbox社區發起的550萬美元DAO戰略融資提案已獲得通過:7月5日消息，DeFi可組合性杠桿協議Gearbox發起的進行 550 萬美元 DAO 戰略融資提案以 99.49% 的支持率獲得通過。此前報道，Gearbox 社區發起以 1.5 億美元完全稀釋估值進行 550 萬美元 DAO 戰略融資的提案，目前計劃進行投資的機構包括 Placeholder、A.Capital Ventures、Galaxy Digital、Zee Prime Capital、Polymorphic Capital、LedgerPrime、Global Coin Research，承諾的投資金額已達 565 萬美元。[2022/7/5 1:52:40]

這對于一個實驗性的輪次來說足夠了。然而，如果所涉及的價值很高，我們就需要一個更安全的初始化和來自利益相關者/社區的多個貢獻來生成最終的輸出。如果問題的規模增加，那么ptau文件的輸出就會呈指數級增長。

PowerofTau初始化的假設是，眾多參與者中至少有一個是誠實的，而且他/她的計算硬件是安全的。一般來說，應該在完成初始化后刪除隨機性。隨著參與者數量的增加，最終輸出被破壞的概率也變得可以忽略不計。

在實踐中，PowersofTau初始化有以下限制。初始化通常在某一群體中進行，這有內在的人口統計學限制。另一個限制是，初始化一般比較耗時，需要一群人在相當長的一段時間內進行協調。有一些提案用于提高效率，但限制仍然存在。

MakerDAO聯創提議創建MetaDAO和合成ETH代幣MATH:6月3日消息，MakerDAO聯合創始人Rune Christensen發布了一項新的里程碑式的提議，目標是將該項目推進到最終形式，稱之為“The Endgame Plan”。

Christensen解釋道，Maker目前的治理模式造成了僵局，使得協議難以有效處理復雜的現實世界金融交易，并降低了其在面對金融機構時的競爭力。

該計劃的核心是形成MetaDAO，旨在解決Maker生態系統內的特定治理問題，并緩解目前存在的緩慢的單線程決策過程的擁堵情況。每個MetaDAO可以看作是MakerDAO的一個分部，它將發行自己的代幣，并由對其特定目標感興趣的Maker參與者管理。

此外，Christensen還提議Maker推出名為MATH的合成ETH代幣，利用合并（the Merge）并以盡可能低的初始成本產生更多收入。MATH費用最初可以設置為0%以鼓勵采用，但最終它可以為該協議創造收入，類似Synths在THORChain中的作用。（Cointelegraph）[2022/6/3 4:00:03]

02?太空軌道上的可信啟動

可信啟動的目標是確保生成CRS的隨機元素是安全的。安全地生成CRS有兩個基本挑戰：我們能否在生成CRS后安全地計算和存儲或銷毀隨機元素？以及我們能否防止相關人員和設備有意的共謀？

去中心化組織Badger DAO遭遇黑客攻擊，目前已暫停所有交易:12月 2日，據官方 Discord 消息，去中心化組織 Badger DAO 遭遇黑客攻擊，用戶資產在未經授權的情況下被轉移。據開發人員初步清點受損資產后表示，本次事件中已損失 13.6 萬枚 bcvxCRV、6.4 萬枚 bveCVX、38 枚 ibBTC/sBTC、13 bibBTC/sBTC，以及 19 枚 DIGG。目前已暫停所有交易。[2021/12/2 12:45:58]

具體來說，我們要防止以下攻擊：

物理黑客。服務器和計算機可以被物理黑客攻擊或入侵。這在現實世界中其實是經常發生的，也是在地面上很難解決的一個問題。

網絡入侵。通信被意外的入侵者監控。

故意勾結或泄露秘密信息。產生CRS的一方由于賄賂、共謀或任何其他原因，故意引導信息。

為了應對這些挑戰，我們可以確保計算的硬件和軟件安全，設計機制或MPC算法來減少單點故障以及隔離計算環境。

由于向太空發射有效載荷的成本正在不斷降低甚至會變得更低，太空隔離可以幫助創建一個可信的執行環境。因此，現在我們考慮一下太空軌道中的可信設置過程，將會發現它不需要MPC過程來保證安全。

太空可信設置的目標是創造一個完全隔離的執行環境，以計算CRS和儲存有廢物。

太空的執行環境自動避免了第一種攻擊，因為很難在太空軌道上物理訪問一個物體。先進的軍事技術可能被開發出來，使捕捉和訪問衛星的成本降低。然而，正如SpaceTEE論文中所概述的，我們可以采取多種措施來監測和防止太空的潛在攻擊：

北美航空航天防御司令部有一個雷達系統，持續監測和預測太空物體的軌跡。

有各種方法來增加發射前的物理保護。一旦衛星被物理訪問，一些內部狀態將發生變化，并能夠被監測。

我們肯定還可以設計其他機制來保護安全。一個想法是，我們可以在衛星上植入一個自毀系統。如果衛星被抓，自毀系統就會被觸發，徹底摧毀衛星內的數據。

一個更簡單的方法是在CRS生成和傳輸后立即摧毀衛星。這是基于這樣的假設，即衛星除了創建可信設置外不提供任何其他功能。更通用的方法是持續監測衛星的慣性力矩。一旦發現一個意外的變化，衛星就會自動銷毀自己。有幾種方法可以搭建自毀的組件，其中一些需少量成本。

如果CRS是在太空中產生的，并且衛星保持完好無損，那么衛星可以與地面站或其他衛星進行通信。自毀并不都是可用選項。在某些情況下，自毀可能會危及其他有效載荷，或者我們希望衛星能夠提供其他功能，使衛星得到最大的利用。這種情況下，我們需要確保通信安全，并確保隨機元素不會從衛星電子設備中傳輸出去，以及防止惡意軟件從衛星硬件中竊取信息和泄漏有廢物。

為了防止惡意軟件獲取信息，我們可以將整個可信設置程序加載到硬件可信執行環境中。可信設置計算可以在可信模塊內執行，而有廢物會無限期地留在可信模塊內。我們有預先定義函數表，可以調用這些函數來訪問可信模塊，只要這些函數不訪問和泄露來自TrustZone的有廢物數據，有廢物數據就保持安全。然后，從可信設置程序中產生的CRS可以通過veneertable上可以訪問的一些函數進行傳輸。

這里需要一些遠程加密證明，通過建立一個信任鏈來保證系統啟動過程的安全。重要的是要確保系統正確啟動，受信任模塊中的程序是預定的程序，并且veneertable沒有意外的函數可以釋放數據。

最后剩下的問題是制造和供應鏈安全。然而，這是所有可信設置方法的一個常見問題，因為如果設備制造商是壞人，我們就是會陷入一個糟糕或被動的局面。保護系統免受單點故障的一個方法是由多個未公開的購買者從多個制造商那里隨機購買多個芯片。然后隨機選擇其中一個設備集成到要發射的衛星上。

如果我們正確地實施上述所有內容。并在太空軌道上物理隔離，一個受信任的執行模塊保護可信設置的計算和隨機元素，遠程證明驗證代碼的正確性和模塊的狀態。當我們擁有所有這些功能時，共謀就是不可能的，因為CRS是在沒有人類參與的情況下創建的，而且數據在物理上是不可訪問的。

最后，回顧一下PowersofTau初始化和太空軌道可信設置的幾個客觀指標：

參考文獻：

1.https://ethresear.ch/t/minimal-anti-collusion-infrastructure/5413

2.https://hackerlink.io/grant/ethdenver22/

3.https://hackerlink.io/grant/ethdenver22/proof

4.https://twitter.com/ericzhang90/status/1499911341686939649

5.https://vitalik.ca/general/2019/09/22/plonk.html

6.https://hackmd.io/@sin7y/ByYZfpn3Y

7.https://medium.com/qed-it/how-toxic-is-the-waste-in-a-zksnark-trusted-setup-9b250d59bdb4

8.https://github.com/dorahacksglobal/qf-maci

9.https://www.cryptosat.io/

10.https://www.cryptosat.io/paper.pdf

11.https://www.youtube.com/watch?v=zuoFO4W2FdM

12.https://www.youtube.com/watch?v=uAxOHgrPk2E

Tags：DAOHTTTPSETHMakerDAOBHTTtps幣圈PETH價格

DAI