表现
RD 热度指数
RD 增长指数
对比
关注更新
关注列表
人物
关于Zksecurity
zksecurity 是一家专注于零知识（zk）系统的安全审计公司。其核心业务是将 AI 驱动的漏洞发现与人工专家验证相结合，为 zk 电路、zkVM 和密码学库提供审计服务。
核心差异化在于自研 AI 流水线，可对候选发现进行初步筛选，降低定位和复现漏洞的成本。它还构建了开源工具，如针对 RISC-V zkVM 的差分模糊测试器 zkvmBlast，以及用于形式化验证和高效电路优化的竞技平台 zk.golf。这些工具解决了市场痛点：zk 代码手动审计难度极高，而纯 AI 输出往往给维护者带来大量误报。zksecurity 通过将机器生成的线索与人工 PoC 验证及负责任披露相结合来应对这一问题。
近半年（2026年3月至9月），zksecurity 发布了针对 Cloudflare CIRCL 库的 AI 审计，发现了 7 个真实漏洞（包括一个严重的 CP-ABE 访问控制绕过），并已在上游修复。它还发布了 zkvmBlast，在 SP1、Pico 和 OpenVM 中发现了 7 个不同问题，并推出了 zk.golf，以鼓励社区驱动的、经形式化验证的电路优化。
一个显著局限是：AI 自评的严重度往往与厂商确认的评级存在差异，且完整流水线细节（误报率、模型配置）未公开披露。这种透明度缺口意味着用户应将 AI 发现视为线索，而非最终结论。
zkSecurity成立于2023年5月30日，最初是一家ZK电路审计公司。早期里程碑包括联合创始人Brandon离职出任O(1) Labs CEO，Gregor和Mathias全职加入，团队扩展至约10名工程师。公司从纯ZK审计扩展至更广泛的先进密码学领域，涵盖MPC、FHE、TEE、阈值签名和共识协议。2024年，他们发布了Circom电路调试工具Circomscribe，并发布了ZK漏洞分类体系。2026年，zkao的推出是一个重要进展——这是一款AI驱动的持续安全扫描器，编码了100多次审计中积累的模式。同年，他们识别了针对活跃ZK电路的首次已知漏洞利用——两起均源于设置错误的Groth16验证器——并将此类漏洞检测集成到zkao中。
自2026年3月以来，zkSecurity重要进展包括：发布zkvmBlast——一个以太坊基金会部分资助的RISC-V zkVM差分模糊测试框架，在SP1、Pico、OpenVM中发现7个完整性与正确性漏洞，并复现了已知的RISC0 soundness漏洞；将Aleo/Leo集成至AI审计工具zkao，并完成了对HumanityLink援助分配系统的审计；针对Veil和Foom因缺失Groth16设置阶段导致的首次实弹ZK漏洞，在zkao中新增了该漏洞类别的自动检测。
未来重心：持续扩展zkao对更多语言与ZK DSL的覆盖；深化zkvmBlast开发，发布后续技术细节，并推动其作为CI工具被更多zkVM团队采用。
联合创始人及在职核心团队：
David Wong：zkSecurity联合创始人，著有《Real-World Cryptography》，曾任O(1) Labs密码学架构师、Facebook Novi Diem/Libra安全负责人、NCC Group密码学安全顾问。()
Gregor Mitscha-Baude：zkSecurity联合创始人，曾任O(1) Labs zk密码学工程师，维也纳工业大学应用数值数学博士。()
Brandon Kase：zkSecurity联合创始人，暂无公开详细履历。
Mathias Hall-Andersen：zkSecurity联合创始人，暂无公开详细履历。
Zksecurity 近期于2026年8月迎来新成员 Kobi Gurkan，担任研究职位。Kobi 在应用密码学、SNARKs 和阈值方案方面拥有深厚专业知识，曾参与 cpsnarks-set 和 aggregatable-dkg 等项目。他的加入增强了 Zksecurity 在零知识安全审计方面的研究能力。
此期间无离职报告。