零知識證明 (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 上。
