Skip to content
Circom 2 Documentation
Testing circuits
Initializing search
GitHub
Getting started
Background in ZK
The circom Language
More circuits
Downloads
Circom 2 Documentation
GitHub
Getting started
Getting started
Installation
Writing circuits
Compiling circuits
Computing the witness
Proving circuits with ZK
Background in ZK
The circom Language
The circom Language
Signals
Signals
Signals
Variables & Mutability
Templates
Templates
Templates & Components
Pragma
Functions
Include
The main Component
Syntax
Syntax
Comment Lines
Identifiers
Reserved-keywords
Basic Operators
Constraint Generation
Control Flow
Data Types
Scoping
New features circom 2.1
New features circom 2.1
Anonymous Components and tuples
Tags
New features circom 2.2
New features circom 2.2
Buses
Code Quality
Code Quality
Code Assertion
Debugging Operations
Inspect Option
Circom Insight
Circom Insight
Compiler Phases
Constraint simplification
Compiler Messages
Unknowns
Circom Library
Complete compilation options
Format of the output files
Format of the output files
Sym
JSON constraints
JSON simplification substitutions
More circuits
More circuits
Basic circuits
Downloads
Table of contents
Writing a test
Run our tests
Testing circuits
Writing a test
Run our tests