零知识证明 (ZKP) 初创公司 Succinct Labs 宣布启动首个完全开源的零知识虚拟机 (zkVM) 审计竞赛。该竞赛旨在通过社区参与提高其技术的透明度和安全性。
根据比赛规则，成功破解 SP1 测试网的个人将获得 110,000 美元奖金。审计比赛仅限邀请参加，于 6 月 3 日 UTC 时间 20:00 开始，并将持续到 6 月 24 日 UTC 时间 20:00。比赛开始后 24 小时内，可从 Web3 安全解决方案市场 Cantina 获取邀请。鼓励参与者转发社交媒体平台 X 上的所有公告帖子以获得邀请。
此次审计主要针对 SP1 核心程序。最近，SP1 的核心证明器、约束和递归系统接受了两位领先的零知识 (ZK) 审计师的审计。此次竞赛是二次验证过程，以确保 SP1 不存在任何潜在的漏洞或漏洞。
为了帮助参与者了解每个程序，Cantina Discord 服务器上提供了 SP1 的代码演练。
SP1 代表一种高性能、完全开源且贡献者友好的 zkVM，旨在验证 Rust 程序或任何用 LLVM 编译的程序的执行。
它是根据 MIT / Apache 2.0 许可证开源的，没有代码混淆，所有开发都是公开进行的。与具有闭源、不可变约束逻辑的现有 zkVM 不同，SP1 从一开始就具有专为定制而设计的模块化架构。这种可定制性允许个人向核心 zkVM 逻辑添加“预编译”，从而显著提高性能。
宣布首次针对 100% 开源 zkVM 的审计竞赛。如果您能破解 SP1，将获得 110,000 美元的赏金。测试您的技能 pic.twitter.com/V3YEIKYrZV
— Succinct (@SuccinctLabs) 2024 年 6 月 3 日
什么是 Succinct Labs？
Succinct Labs 正在开发一个去中心化的证明者网络，以促进创建由加密验证保护的区块链应用程序和基础设施。通过统一证明供应链，它为汇总、协处理器和其他利用 ZKP 的应用程序提供高度可用的证明生成基础设施，并以具有竞争力的价格提供服务。
最近，这家初创公司筹集了 5500 万美元的种子轮和 A 轮融资，由 Paradigm Capital 领投，Robot Ventures、Bankless Ventures、Geometry 和其他知名投资者参投。
Succinct Labs 推出开源 ZkVM 审计竞赛，奖金 11 万美元，最先出现在 Metaverse Post 上。
