Circom 2 Documentation
Downloads
Initializing search
    GitHub
    • Getting started
    • Background in ZK
    • The circom Language
    • More circuits
    • Downloads
    GitHub
      • Installation
      • Writing circuits
      • Compiling circuits
      • Computing the witness
      • Proving circuits with ZK
    • Background in ZK
        • Signals
        • Variables & Mutability
        • Templates & Components
        • Pragma
        • Functions
        • Include
        • The main Component
        • Comment Lines
        • Identifiers
        • Reserved-keywords
      • Basic Operators
      • Constraint Generation
      • Control Flow
      • Data Types
      • Scoping
        • Anonymous Components and tuples
        • Tags
        • Buses
        • Code Assertion
        • Debugging Operations
        • Inspect Option
        • Compiler Phases
        • Constraint simplification
        • Compiler Messages
        • Unknowns
        • Circom Library
      • Complete compilation options
        • Sym
        • JSON constraints
        • JSON simplification substitutions
      • Basic circuits
    • Downloads

    Downloads

    circom Linux binary

    circom macOS binary

    circom Windows binary

    Made with Material for MkDocs