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

整理：JIN，TechubNews

2024年2月22日，ETHGlobal官方公布举办的Async黑客松活动决赛入围名单

本次黑客松最终筛选出7个入围决赛项目。这些项目将共享ETHGlobal联合Scroll、IronFish、Aztec、Sindri、PSE、Avail等6家项目提供的5万美元奖金。

priv.cast：基于FarcasterFrames构建的、抗女巫攻击和隐私投票应用程序

priv.cast 该项目使用Noir、AnonAadhaar、Airstack、Farcaster技术构建，并部署在Scroll网络上。

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

一旦每个人都完成了投票，所有证明的Merkle根就会使用递归证明的原理递归地得到。最终证明上传到链上以更新用户的投票。

Airstack用于获取用户的远播配置文件。生成并验证AnonAadhar证明，以防止通过多个远端配置文件投票来防止女巫攻击。

VeriBot——基于zkML（零知识机器学习）的合约审计机器人

通过VeriBot，开发人员现在可以自信地展示他们合约的完整性，而无需泄露代码的机密性。通过零知识证明和机器学习，VeriBot在保持代码私密性的同时，证明合约的可靠性。

VeriBot是如何实现的:

电路（Circuit）：利用Noir语言中的零知识证明，验证机器学习对智能合约源代码的推理，确保隐私和完整性，而无需泄露源代码。

Oracle：一个用Rust构建的中介，可以安全地连接链下机器学习预测与链上智能合约决策，完善智能合约功能，而不会暴露基础数据或模型。

机器学习（MachineLearning）:分析智能合约源代码，推断出其属性或漏洞，作为一种保护隐私的工具，抽象化复杂的合约逻辑，以便进行安全验证。

zkDL——基于零知识证明的人格证明应用

zkDL 是一个基于零知识证明技术的「人身验证」项目,旨在保护用户隐私。

zkDL验证过程的核心是使用Noir编写的零知识电路，并通过Sindri进行验证。该电路可以接受mDL中数字签名的数据，验证其真实性，并生成一个无效证明（nullifier），智能合约可以利用这个无效证明来发行NFT。

任何持有经过可信发行方签名的有效零知识证明的人都可以铸造这些NFT。这种机制允许创建一种代表经过验证的代币，而无需泄露其隐私。

0xShadows——用户可匿名使用的多签钱包

0xShadows 改进了多重签名钱包的概念，该钱包不会将成员的投票（批准或反对）公开，而是将这些投票保持私密，同时确保没有人能够投票两次。这样，没有人能够知道哪个成员投了哪个票，同时保持系统的完整性。

0xShadows由两部分组成：

智能合约。

DApp。

智能合约是简单多重签名钱包的Solidity实现，所有者存储在信号量组中。智能合约的实施已经使用Hardhat进行了严格的测试。在这里使用信号量有一个巨大的好处：只有授权成员（所有者）才能提交交易并批准或拒绝交易，同时保护他们的隐私，因为没有人能够知道哪个成员执行了上述操作。使用信号量还可以防止双重信号，即成员可以两次批准交易。

ZKOpenBanking——由Aztec网络支持的完全私有的开放银行协议

通过使用Aztec网络，用户可以以私有模式处理数据，并且仅在需要时才共享某些其他协议的某些验证。用户连接到OpenBanking提供商，然后使用Aztec网络技术以私有方式存储数据。

EVMTrace——用户友好的链上数据仪表板

EVMtrace提供类似Scan的界面，用户可以在其中查看实时交易、按加密使用进行过滤或根据标签查找合约。

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

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

Myriad构建在Farcaster协议之上，并使用PSE（隐私和扩展探索）SDK为用户提供无缝体验。我们使用Semaphore（负责通过投票和提案所需的隐私和离线计算）来允许用户使用其FarcasterID创建和参与DAO。