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

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

孫宇晨：FTX官方確認債權人實際債務后DebtDAO將向所有FUD持有者發放空投:金色財經報道，波場TRON創始人、火必Huobi全球顧問委員會成員孫宇晨在社交媒體發文表示，FUD 為FTX 債權人提供了新的流動性水平，使他們能夠在公開市場上交易其 FTX 債務，更好地控制自己的資產，并開辟了新的投資機會。通過DebtDAO提供的合約確認，該債務規模約為數千萬美元。FUD早鳥發行階段將以折扣價出售 FTX 債券，1 FUD = 1 美元，FUD初始發行量和流動性為2000萬，公平價格為 0 < 1FUD ≤ 5USDT。

在FTX恢復數據庫或FTX官方確認債權人的實際債務后，DebtDAO將根據債務的實際數額進行二次公募并向所有FUD持有者發放空投，屆時公平價格為0 < 1 FUD ≤ 1 美元。根據DebtDAO的規則，二次公募前持有1 FUD的用戶，將額外獲得 2 FUD 空投，空投后DebtDAO將對持有FUD的用戶進行1:1的債務回購。[2023/2/5 11:48:20]

01可信任設置初始化

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

收益協議veToken Finance宣布完成種子輪融資，DegenDAO等參投:7月19日消息，收益協議 veToken Finance 宣布完成種子輪融資，本輪融資由 DegenDAO、OWL Ventures、Fisher 8 Capital 的 2x、Mr. Block 和 Issac（Nansen COO）以及 Curve、Yearn Finance、Perpetual Protocol 團隊成員等參投。融資將用于幫助擴大團隊等。[2022/7/19 2:23:20]

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

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

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

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

NFT資產制作平臺BreederDAO推出首個提案DAOstitution:7月17日消息，據官方消息，NFT資產制作平臺BreederDAO推出首個提案DAOstitution，這將作為平臺的核心治理文件。BreederDAO是面向區塊鏈游戲的NFT資產制作平臺，此前，BreederDAO宣布完成由A16Z和Delphi Digital領投的1000萬美元A輪融資，Hashed、com2us、Morningstar Ventures、Mechanism Capital、Sfermion、The LAO和Emfarsis等參投。[2022/7/17 2:18:34]

snarkjsgroth16setupcircuit.r1csfinal.ptaucircuit.zkey

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

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

HDAO NFT流動性挖礦正式啟動節點競選:據官方消息，去中心化金融服務平臺HDAO正式啟動節點競選活動。根據此白皮書，HDAO將開啟本輪為期1個月的NFT流動性挖礦活動，活動分為節點競選，社區投票，抵押確認，NFT代幣鑄造，流動性挖礦等幾個步驟。

本次節點共設15個專業節點包括評估節點3位、律所節點2位、媒體節點5位及區塊鏈專業節點5位。專業節點須持倉1 000 000 HDAO，將享有NFT抵押市值0.5%的HDAO作為獎勵。

另外除了15個專業節點以外，社區將設立20位代表。歡迎社區的HDAO粉絲前來競選。社區代表則須持倉500 000 HDAO，將享有NFT抵押市值0.3%的HDAO作為獎勵。[2020/10/6]

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

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

02太空軌道上的可信啟動

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

動態 | 幣安研究院：所有DeFi產品鎖定了大約5億美元 MakerDAO占近六成:幣安研究院在推特上表示，自過去一年以來，Decentralized Finance（DeFi）已經穩步得到采用。所有DeFi產品鎖定了大約5億美元。其中MakerDAO仍然占比最大，其鎖定價值高達2.901億美元。[2019/7/25]

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

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

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

故意勾結或泄露秘密信息。產生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：DAOTPSHTTARKfacedao幣怎么買入賣出https://etherscan.ioCHTT幣StarSharks

歐易交易所app官網下載