Compile circuit - Advanced

This option is for advanced/experienced users.

Use this option to only compile the circuit without initiating trusted setup or proof generation. This is intended for advanced users who want to inspect the R1CS, WASM, and Sym files, or integrate with custom workflows.

py poseidon.py --compile-only circuit_name

For example, if the circuit name is circuit1.circom

py poseidon.py --compile-only circuit1

Outputs Generated:

  • .r1cs – the constraint system

  • .wasm – WebAssembly code to generate witnesses

  • .sym – symbol file for debugging

Useful when:

  • You’re debugging a circuit

  • You want manual control over the rest of the zk-SNARK pipeline

Last updated