Skip to content
Tag, you’re it: Signal tagging in Circom
blog.trailofbits.com | blog | #security-audit | #cryptography | #zero-knowledge | #trail-of-bits | #circom | #zk-circuits | #signal-tags
Summary
Trail of Bits explains Circom signal tags, a compile-time feature enforcing preconditions on ZK circuit templates, and shares four rules to prevent soundness bugs and ease auditing.
- Published
- Collected