Module ark_circom::circom

Re-exports

• pub use r1cs_reader::R1CSFile;
• pub use r1cs_reader::R1CS;

Modules

• r1cs_reader
  R1CS circom file reader Copied from https://github.com/poma/zkutil Spec: https://github.com/iden3/r1csfile/blob/master/doc/r1cs_bin_format.md

Structs

• CircomBuilder
• CircomCircuit
• CircomConfig
• CircomReduction
  Implements the witness map used by snarkjs. The arkworks witness map calculates the coefficients of H through computing (AB-C)/Z in the evaluation domain and going back to the coefficients domain. snarkjs instead precomputes the Lagrange form of the powers of tau bases in a domain twice as large and the witness map is computed as the odd coefficients of (AB-C) in that domain. This serves as HZ when computing the C proof element.

Type Definitions

• ConstraintVec
• Constraints