速览 ETHGlobal Async 黑客松决赛项目：DAO 治理隐私保护趋势涌现

整理：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 网络上。

用户可以创建投票，用户通过生成零知识证明进行投票，该零知识证明经过验证并发送到应用程序的外部存储。

一旦每个人都完成了投票，所有证明的 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 进行了严格的测试。在这里使用信号量有一个巨大的好处：只有授权成员（所有者）才能提交交易并批准或拒绝交易，同时保护他们的隐私，因为没有人能够知道哪个成员执行了上述操作。使用信号量还可以防止双重信号，即成员可以两次批准交易。