2024年2月22日，ETHGlobal宣布了非同步黑客馬拉鬆活動的入圍名單，最後有7個計畫進入圍測階段。其中priv.cast是一個基於Farcaster Frames構建的應用程序，用於抵抗女巫攻擊和保護用戶隱私。 VeriBot則是基於zkML的契約審計機器人，可以驗證程式碼的保密性。而zkDL是一個人身驗證項目，利用零知識證明技術保護使用者隱私。其他項目包括0xShadows多簽錢包、ZK Open Banking私有銀行協議、EVMTrace鏈上資料儀表板和Myriad去中心化DAO治理平台。這些項目在保護用戶隱私、驗證程式碼保密性等方面有著創新性的應用。
整理：JIN，科技新聞
2024年2月22日，ETHGlobal官方公佈舉辦的非同步黑客鬆活動監測入圍名單
本次駭客最後篩選出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 是如何實現的：
電路（Circuit）：利用Noir語言中的零知識證明，驗證機器學習對智慧合約原始碼的推理，確保隱私和缺陷，從而消除洩漏原始碼。
Oracle：一個用Rust建構的內部，可以安全地連接鏈下機器學習預測與鏈上智能合約決策，完善智能合約功能，而不暴露資料基礎或模型。
機器學習（Machine Learning）：分析智慧合約原始碼，推斷出其屬性或漏洞，作為一種保護隱私的工具，抽象化複雜的合約邏輯，便於進行安全驗證。
zkDL－基於零知識論證的人格論證應用
zkDL是一個基於零知識證明技術的「人身驗證」項目，旨在保護使用者隱私。
zkDL驗證過程的核心是利用Noir編寫的零知識電路，並透過Sindri進行驗證。此電路可以接受mDL中數位簽章的數據，驗證其真實性，並產生一個無效證明（nullifier），智慧合約可以利用這個無效證明來發行NFT。
任何持有經過可信任發行方簽署的有效零知識證明的人都可以鑄造這些NFT。這允許創建一種代表經過驗證機制的代幣，從而洩露其隱私。
0xShadows —— 用戶可匿名使用的多簽錢包
0xShadows改進了秘密錢包的概念，該錢包不會將成員的投票（批准或反對）公開，而是將這些投票保留，同時確保沒有人能夠投票兩次。這樣，沒有人能夠知道哪個成員投了哪個票，同時保持系統的限制。
0xShadows由兩個部分組成：
智能合約。
DApp。
智慧合約是簡單的隱私錢包的Solidity實現，業主儲存在信號量組中。智能合約的實施已經使用Harhat進行了嚴格的測試。這裡使用信號量有一個巨大的好處：只有授權成員（業主） ）提交交易並批准或拒絕交易，同時保護他們的隱私，因為沒有人能夠知道哪個成員執行了上述操作。使用信號量還可以阻止雙重訊號，即成員可以兩次批准交易。
ZK Open Banking —— 由Aztec 網路支援的完全私有的開放銀行協議
透過使用Aztec 網絡，使用者可以以伐木模式處理數據，並且只需在需要時才共享某些其他協定的某些驗證。用戶連接到Open Banking 事業，然後使用Aztec 網路技術以伐木方式儲存資料。
EVMTrace－使用者友善的鏈上資料儀表板
EVMtrace 旨在在鏈上採用加密貨幣技術。使用追蹤、追蹤預編譯、模式識別和手動工作等技術收集資料。 EVMtrace 提供使用者介面的儀表板和類似的etherscan 的工具。
EVMtrace 追蹤加密貨幣預先編譯的使用情況，即ecRecover、ecAdd、ecMul 和ecPairing。分析了Groth16 或Plonk 等流行密碼技術的使用模式，並使用它們有效地標記合約。 EVMtrace 也從合約原始碼建置了4 個位元組目錄版本，以覆蓋阿富汗的選擇器。
EVMtrace 提供類似掃描的介面，使用者可以在其中查看即時交易、按加密貨幣使用進行過濾或根據標籤查找合約。
EVMtrace支援Arbitum、Base、Ethereum、Optimism和Scroll。
無數— 去中心化DAO 治理的平台
Myriad 建構在Farcaster 協定之上，並使用PSE（隱私和擴展探索）SDK 為使用者提供無縫體驗。我們使用Semaphore（負責透過投票和請求所需的隱私和離線運算）來允許使用者使用其Farcaster ID 建立建立並參與DAO。
資訊來源：0x資訊編譯自網際網路。版權歸作者Techub News所有，未經許可，不得轉載