整理：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 是如何实现的:

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

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

   - 星际资讯
   
   免责声明：投资有风险，入市须谨慎。本资讯不作为投资建议。