整理：JIN，Techub News
2024 年 2 月 22 日，ETHGlobal 官方公布举办的 Async 黑客松活动决赛入围名单
本次黑客松最终筛选出 7 个入围决赛项目。这些项目将共享 ETHGlobal 联合 Scroll、Iron Fish、Aztec、Sindri、PSE、Avail 等 6 家项目提供的 5 万美元奖金。
priv.cast 该项目使用 Noir、Anon Aadhaar、Airstack、Farcaster 技术构建，并部署在 Scroll 网络上。
用户可以创建投票，用户通过生成零知识证明进行投票，该零知识证明经过验证并发送到应用程序的外部存储。
一旦每个人都完成了投票，所有证明的 Merkle 根就会使用递归证明的原理递归地得到。最终证明上传到链上以更新用户的投票。
Airstack 用于获取用户的远播配置文件。生成并验证 Anon Aadhar 证明，以防止通过多个远端配置文件投票来防止女巫攻击。
通过 VeriBot，开发人员现在可以自信地展示他们合约的完整性，而无需泄露代码的机密性。通过零知识证明和机器学习，VeriBot 在保持代码私密性的同时，证明合约的可靠性。
VeriBot 是如何实现的:
电路（Circuit）：利用 Noir 语言中的零知识证明，验证机器学习对智能合约源代码的推理，确保隐私和完整性，而无需泄露源代码。
Oracle：一个用 Rust 构建的中介，可以安全地连接链下机器学习预测与链上智能合约决策，完善智能合约功能，而不会暴露基础数据或模型。
机器学习（Machine Learning）: 分析智能合约源代码，推断出其属性或漏洞，作为一种保护隐私的工具，抽象化复杂的合约逻辑，以便进行安全验证。
zkDL 是一个基于零知识证明技术的「人身验证」项目,旨在保护用户隐私。
zkDL 验证过程的核心是使用 Noir 编写的零知识电路，并通过 Sindri 进行验证。该电路可以接受 mDL 中数字签名的数据，验证其真实性，并生成一个无效证明（nullifier），智能合约可以利用这个无效证明来发行 NFT。
任何持有经过可信发行方签名的有效零知识证明的人都可以铸造这些 NFT。这种机制允许创建一种代表经过验证的代币，而无需泄露其隐私。
0xShadows 改进了多重签名钱包的概念，该钱包不会将成员的投票（批准或反对）公开，而是将这些投票保持私密，同时确保没有人能够投票两次。这样，没有人能够知道哪个成员投了哪个票，同时保持系统的完整性。
0xShadows 由两部分组成：
智能合约。
DApp。
智能合约是简单多重签名钱包的 Solidity 实现，所有者存储在信号量组中。智能合约的实施已经使用 Hardhat 进行了严格的测试。在这里使用信号量有一个巨大的好处：只有授权成员（所有者）才能提交交易并批准或拒绝交易，同时保护他们的隐私，因为没有人能够知道哪个成员执行了上述操作。使用信号量还可以防止双重信号，即成员可以两次批准交易。
通过使用 Aztec 网络，用户可以以私有模式处理数据，并且仅在需要时才共享某些其他协议的某些验证。用户连接到 Open Banking 提供商，然后使用 Aztec 网络技术以私有方式存储数据。
EVMtrace 旨在阐明在链上采用加密技术。使用跟踪、跟踪预编译、模式识别和手动工作等技术收集数据。EVMtrace 提供用户友好的仪表板和类似 etherscan 的工具。
EVMtrace 跟踪加密预编译的使用情况，即 ecRecover、ecAdd、ecMul 和 ecPairing。分析了 Groth16 或 Plonk 等流行密码技术的使用模式，并使用它们有效地标记合约。EVMtrace 还从合约源代码构建了 4bytes 目录版本，以覆盖缺失的选择器。
EVMtrace 提供类似 Scan 的界面，用户可以在其中查看实时交易、按加密使用进行过滤或根据标签查找合约。
EVMtrace 支持 Arbitum、Base、Ethereum、Optimism 和 Scroll。
Myriad 构建在 Farcaster 协议之上，并使用 PSE（隐私和扩展探索）SDK 为用户提供无缝体验。我们使用 Semaphore（负责通过投票和提案所需的隐私和离线计算）来允许用户使用其 Farcaster ID 创建和参与 DAO。
52
29
27
24
24
