表现
RD 熱度指數
RD 增長指數
比較
跟隨更新
跟隨列表
人物
關於Zksecurity
zksecurity 是一家專注於零知識（zk）系統的安全審計公司。其核心業務結合了 AI 驅動的漏洞發現與人工專家驗證，為 zk 電路、zkVM 及密碼學庫提供審計服務。 主要差異化優勢包括內部 AI 流程，可對候選發現進行分類，降低定位與重現漏洞的成本。此外，該公司還開發開源工具，例如 zkvmBlast（一種針對 RISC-V zkVMs 的差異化模糊測試工具）以及 zk.golf（一個用於形式化驗證且高度最佳化電路的競賽平台）。這些工具解決了市場痛點：zk 程式碼向來難以手動審計，而純 AI 輸出往往會用大量誤報淹沒維護者。zksecurity 透過結合機器生成的線索、人工概念驗證驗證及負責任的揭露流程來解決此問題。 在過去六個月（2026 年 3 月至 9 月），zksecurity 發布了針對 Cloudflare CIRCL 函式庫的 AI 審計報告，發現了七個真實漏洞（包括一個關鍵的 CP-ABE 存取控制繞過漏洞），這些漏洞已在上游修復。該公司還推出了 zkvmBlast，在 SP1、Pico 和 OpenVM 中發現了七個不同的問題，並發布了 zk.golf 以鼓勵社群驅動的形式化驗證電路最佳化。 一個值得注意的限制是，AI 的嚴重性評估往往與供應商確認的評級不一致，且完整的流程細節（誤報率、模型配置）並未公開揭露。這種透明度差距意味著使用者應將 AI 發現視為線索，而非最終結論。
zkSecurity 成立於 2023 年 5 月 30 日，最初是一家 ZK 電路審計公司。早期里程碑包括共同創辦人 Brandon 離職並出任 O(1) Labs 的 CEO，而 Gregor 與 Mathias 則全職加入，團隊擴展至約 10 名工程師。公司業務從純 ZK 審計擴展至更廣泛的先進密碼學領域，涵蓋 MPC、FHE、TEE、門檻簽名及共識協議。2024 年，他們推出了 Circomscribe（一款用於 Circom 電路的除錯工具），並發表了 ZK 漏洞分類學。2026 年迎來重大進展：推出 zkao——一款由 AI 驅動的持續安全掃描器，可將他們在 100 多項審計中發現的模式編碼。同年，他們識別出針對實際運行中 ZK 電路的首批兩個已知漏洞——兩者皆源於設置錯誤的 Groth16 驗證器——並將此漏洞類別的檢測功能整合至 zkao。
自2026年3月以來，zkSecurity的重大進展包括：推出zkvmBlast——一個針對RISC-V zkVM的差分模糊測試框架，部分由以太坊基金會資助，發現了SP1、Pico和OpenVM中的七個完整性/正確性錯誤，並重現了已知的RISC0可靠性錯誤；將Aleo/Leo整合到其AI審計工具zkao中，並完成了對HumanityLink援助分配系統的審計；此外，在因缺少Groth16設置階段而導致首次真實ZK漏洞利用（Veil和Foom）後，在zkao中新增了對此漏洞類別的自動檢測功能。 未來重點：持續擴展zkao對更多語言和ZK領域特定語言（DSL）的覆蓋範圍，並深化zkvmBlast的開發，發布更多技術細節，並鼓勵更多zkVM團隊將其作為CI工具採用。
共同創辦人及現任核心團隊： - David Wong：zkSecurity 共同創辦人，《Real-World Cryptography》作者，曾任 O(1) Labs 密碼學架構師、Novi（Facebook）Diem/Libra 安全負責人，以及 NCC Group 密碼學服務部門安全顧問。（） - Gregor Mitscha-Baude：zkSecurity 共同創辦人，曾任 O(1) Labs 零知識密碼學工程師，維也納科技大學應用數值數學博士。（） - Brandon Kase：zkSecurity 共同創辦人；無詳細公開履歷。 - Mathias Hall-Andersen：zkSecurity 共同創辦人；無詳細公開履歷。
Zksecurity 於 2026 年 8 月迎來 Kobi Gurkan 加入研究團隊。Kobi 在應用密碼學、SNARKs 及門檻方案方面擁有深厚專業知識，曾參與 cpsnarks-set 與 aggregatable-dkg 等專案。他的加入強化了 Zksecurity 在零知識安全審計領域的研究能力。 此期間無人員離職報告。