Skip to content
Circomspect 增加了更多分析通道！
blog.trailofbits.com | 博客 | #cryptography | #static-analysis | #blockchain | #zero-knowledge | #trail-of-bits | #circomspect | #circom
摘要
Trail of Bits 发布 Circomspect 0.8.0：这款 Circom 静态分析器新增五个分析通道，覆盖未约束信号、除零约束缺失、Circomlib LessThan 模板误用等问题，并支持 tags/tuples/匿名组件，本可捕获 Veridise 在 circom-pairing 中发现的「百万美元 ZK 漏洞」。
- 发布时间
- 收录时间