整理：JIN，Techub News
2024 年2 月22 日，ETHGlobal 官方公佈舉辦的Async 黑客鬆活動決賽入圍名單
本次黑客松最終篩選出7 個入圍決賽項目。這些項目將共享ETHGlobal 聯合Scroll、Iron Fish、Aztec、Sindri、PSE、Avail 等6 個項目提供的5 萬美元獎金。
priv.cast：基於Farcaster Frames 構建的、抗女巫攻擊和隱私投票應用程式
priv.cast該專案使用Noir、Anon Aadhaar、Airstack、Farcaster 技術構建，並部署在Scroll 網路上。
Caption
用戶可以創建投票，用戶透過生成零知識證明進行投票，該零知識證明經過驗證並發送到應用程式的外部儲存。
一旦每個人都完成了投票，所有證明的Merkle 根就會使用遞歸證明的原理遞歸地得到。最終證明上傳到鏈上以更新用戶的投票。
Airstack 用於取得使用者的遠播設定檔。產生並驗證Anon Aadhar 證明，以防止透過多個遠端設定檔投票來防止女巫攻擊。
VeriBot —— 基於zkML （零知識機器學習）的合約審計機器人
透過VeriBot，開發人員現在可以自信地展示他們合約的完整性，而無需洩露程式碼的機密性。透過零知識證明和機器學習，VeriBot 在保持程式碼隱私的同時，證明合約的可靠性。
VeriBot 是如何實現的:
-
電路（Circuit）：利用Noir 語言中的零知識證明，驗證機器學習對智慧合約原始碼的推理，確保隱私和完整性，而無需洩漏原始碼。
-
Oracle：一個用Rust 建構的中介，可以安全地連接鏈下機器學習預測與鏈上智能合約決策，完善智能合約功能，而不會暴露基礎資料或模型。
-
機器學習（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。
