速覽 ETHGlobal Async 黑客松決賽項目：DAO 治理隱私保護趨勢湧現

整理：JIN，Techub News

2024 年 2 月 22 日， ETH Global 官方公布舉辦的 Async 黑客松活動決賽入圍名單

本次黑客松最終篩選出 7 個入圍決賽項目。這些項目將共享 ETHGlobal 聯合 Scroll、Iron Fish、Aztec、Sindri、PSE、Avail 等 6 家項目提供的 5 萬美元獎金。

priv.cast：基於 Farcaster Frames 構建的、抗女巫攻擊和隱私投票應用程序

priv.cast 該項目使用 Noir、Anon Aadhaar、Airstack、Farcaster 技術構建，並部署在 Scroll 網絡上。

用戶可以創建投票，用戶通過生成零知識證明進行投票，該零知識證明經過驗證並發送到應用程序的外部存儲。

一旦每個人都完成了投票，所有證明的 Merkle 根就會使用遞歸證明的原理遞歸地得到。最終證明上傳到鏈上以更新用戶的投票。

Airstack 用於獲取用戶的遠播配置文件。生成並驗證 Anon Aadhar 證明，以防止通過多個遠端配置文件投票來防止女巫攻擊。

VeriBot —— 基於 zkML （零知識機器學習）的合約審計機器人

通過 VeriBot，开發人員現在可以自信地展示他們合約的完整性，而無需泄露代碼的機密性。通過零知識證明和機器學習，VeriBot 在保持代碼私密性的同時，證明合約的可靠性。

VeriBot 是如何實現的:

1. 電路（Circuit）：利用 Noir 語言中的零知識證明，驗證機器學習對智能合約源代碼的推理，確保隱私和完整性，而無需泄露源代碼。

2. Oracle：一個用 Rust 構建的中介，可以安全地連接鏈下機器學習預測與鏈上智能合約決策，完善智能合約功能，而不會暴露基礎數據或模型。

3. 機器學習（Machine Learning）: 分析智能合約源代碼，推斷出其屬性或漏洞，作為一種保護隱私的工具，抽象化復雜的合約邏輯，以便進行安全驗證。

zkDL —— 基於零知識證明的人格證明應用

zkDL 是一個基於零知識證明技術的「人身驗證」項目,旨在保護用戶隱私。

zkDL 驗證過程的核心是使用 Noir 編寫的零知識電路，並通過 Sindri 進行驗證。該電路可以接受 mDL 中數字籤名的數據，驗證其真實性，並生成一個無效證明（nullifier），智能合約可以利用這個無效證明來發行 NFT。

任何持有經過可信發行方籤名的有效零知識證明的人都可以鑄造這些 NFT。這種機制允許創建一種代表經過驗證的代幣，而無需泄露其隱私。

0xShadows —— 用戶可匿名使用的多籤錢包

0xShadows 改進了多重籤名錢包的概念，該錢包不會將成員的投票（批准或反對）公开，而是將這些投票保持私密，同時確保沒有人能夠投票兩次。這樣，沒有人能夠知道哪個成員投了哪個票，同時保持系統的完整性。

0xShadows 由兩部分組成：

• 智能合約。

• DApp。

智能合約是簡單多重籤名錢包的 Solidity 實現，所有者存儲在信號量組中。智能合約的實施已經使用 Hardhat 進行了嚴格的測試。在這裏使用信號量有一個巨大的好處：只有授權成員（所有者）才能提交交易並批准或拒絕交易，同時保護他們的隱私，因為沒有人能夠知道哪個成員執行了上述操作。使用信號量還可以防止雙重信號，即成員可以兩次批准交易。

ZK Open Banking —— 由 Aztec 網絡支持的完全私有的开放銀行協議

通過使用 Aztec 網絡，用戶可以以私有模式處理數據，並且僅在需要時才共享某些其他協議的某些驗證。用戶連接到 Open Banking 提供商，然後使用 Aztec 網絡技術以私有方式存儲數據。

EVMTrace —— 用戶友好的鏈上數據儀表板

EVMtrace 旨在闡明在鏈上採用加密技術。使用跟蹤、跟蹤預編譯、模式識別和手動工作等技術收集數據。EVMtrace 提供用戶友好的儀表板和類似 etherscan 的工具。

EVMtrace 跟蹤加密預編譯的使用情況，即 ecRecover、ecAdd、ecMul 和 ecPairing。分析了 Groth16 或 Plonk 等流行密碼技術的使用模式，並使用它們有效地標記合約。EVMtrace 還從合約源代碼構建了 4bytes 目錄版本，以覆蓋缺失的選擇器。

EVMtrace 提供類似 Scan 的界面，用戶可以在其中查看實時交易、按加密使用進行過濾或根據標籤查找合約。

EVMtrace 支持 Arbitum、Base、Ethereum、Optimism 和 Scroll。

Myriad —— 去中心化 DAO 治理的平臺

Myriad 構建在 Farcaster 協議之上，並使用 PSE（隱私和擴展探索）SDK 為用戶提供無縫體驗。我們使用 Semaphore（負責通過投票和提案所需的隱私和離线計算）來允許用戶使用其 Farcaster ID 創建和參與 DAO。