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

在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可信任啟動”，其中涵蓋了可信任設置初始化、太空軌道上的可信設置及太空軌道可信設置的幾個客觀指標。

風投公司MetaWeb首支基金募資3000萬美元，將投資DeFi、游戲和DAO:金色財經消息，專注于加密初創公司的風險投資公司MetaWeb Ventures宣布已為其第一只基金募資3000萬美元，得到紅杉資本、蜻蜓資本、Near Foundation等支持。MetaWeb在郵件中表示，該基金旨在主要投資于去中心化社交媒體、去中心化金融(DeFi)、游戲和DAO。

MetaWeb 表示，該基金在過去幾個月以隱形模式運作，已經投資了30多家初創公司，其中包括去中心化交易協議 Orderly Network。MetaWeb Ventures 是作為NEAR Protocol的生態系統基金而成立的。（CoinDesk）[2022/9/9 13:18:14]

01可信任設置初始化

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

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

DAO信貸平臺Porter Finance完成500萬美元種子輪融資，ParaFi Capital等參投:4月8日消息，DAO 信貸平臺 Porter Finance 宣布完成 500 萬美元種子輪融資，ParaFi Capital、Dragonfly Capital、Nascent Ventures、Buckley Ventures、Robert Leshner、Kain Warwick、Tyler Ward、Joey Santoro 和 Sam Kazemian 參投。[2022/4/8 14:11:44]

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

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

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

Next Earth通過DAO向四家環保慈善機構捐贈330 BNB:12月12日消息，NFT項目Next Earth通過DAO向環境事業捐贈了330 BNB（約20.4萬美元）。四個受贈機構分別是：Amazon Watch、Kiss the Ground、SEE Turtles、The Ocean Cleanup。選擇這些機構是基于他們對環境事業的承諾，具體分配由社區決定。據了解，Next Earth平臺上所有土地10%的銷售額會被捐贈給慈善團體，由土地所有者投票決定哪些慈善機構獲得資金。（Bitcoinist）[2021/12/13 7:34:49]

snarkjsgroth16setupcircuit.r1csfinal.ptaucircuit.zkey

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

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

Developer DAO計劃于12月推出治理Token CODE:11月25日消息，Developer DAO創始人Nader Dabit表示，該DAO組織正在為新的治理Token制定合約，計劃在12月中旬至1月初之間正式將其推出，Token名稱暫定為CODE，相關提案將在未來幾天提交，并進行最終投票。

據悉，Developer Dao最近新增Cooper Turley為顧問，并將于近期吸納Preethi Kasireddy為新顧問。同時，該組織將在未來啟動贊助及招募計劃，并完善DAO組織結構，并于未來推出包括孵化器、NFT在內的項目。[2021/11/25 7:10:14]

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

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

02太空軌道上的可信啟動

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

慢霧：Badger DAO黑客已通過renBTC將約1125 BTC跨鏈轉移到10 個BTC地址:12月2日消息，Badger DAO遭遇黑客攻擊，用戶資產在未經授權的情況下被轉移。據慢霧MistTrack分析，截止目前黑客已將獲利的加密貨幣換成 renBTC，并通過renBTC 將約 1125 BTC 跨鏈轉移到 10 個 BTC 地址。慢霧 MistTrack 將持續監控被盜資金的轉移。[2021/12/2 12:46:11]

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

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

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

故意勾結或泄露秘密信息。產生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：DAOTPSHTTNARsdao幣是什么幣種tps幣圈HTT幣lunar幣歸零

火必交易所