Skip to content
抓到你了：Circom 中的信号标记
blog.trailofbits.com | 博客 | #security-audit | #cryptography | #zero-knowledge | #trail-of-bits | #circom | #zk-circuits | #signal-tags
摘要
Trail of Bits 介绍 Circom 的 signal tags 特性：在编译期为 ZK 电路模板强制前置与后置条件，并给出四条使用规则，帮助开发者防范 soundness 类缺陷、降低约束重复并便于审计。
- 发布时间
- 收录时间