---
id: 1573
title: "Tag, you’re it: Signal tagging in Circom"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2024/01/02/tag-youre-it-signal-tagging-in-circom/"
published_at: "2024-01-02T14:00:01Z"
tags: ["security-audit", "cryptography", "zero-knowledge", "trail-of-bits", "circom", "zk-circuits", "signal-tags"]
phying_url: "https://phying.com/item/1573"
lang: en
---

# Tag, you’re it: Signal tagging in Circom

## 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.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2024-01-02T14:00:01Z
- **Original:** https://blog.trailofbits.com/2024/01/02/tag-youre-it-signal-tagging-in-circom/
- **Phying News:** https://phying.com/item/1573