Skip to content
在「够好用」的 AI 时代做审计
blog.trailofbits.com | 博客 | #ai-security | #cryptography | #audit | #static-analysis | #zero-knowledge | #formal-verification | #trail-of-bits | #zkvm
摘要
Trail of Bits 介绍了在 Miden zkVM 审计中如何利用 agent 构建工具链和 Lean 模型，发现了一个可伪造 Falcon 签名的缺陷，并产出 95 个机器校验证明。
- 发布时间
- 收录时间