provekit-r1cs-compiler 1.0.0

R1CS compiler for ProveKit, translating Noir programs to R1CS constraints
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
mod binops;
mod digits;
mod memory;
mod noir_proof_scheme;
mod noir_to_r1cs;
mod poseidon2;
mod range_check;
mod sha256_compression;
mod spread;
mod uints;
mod whir_r1cs;
mod witness_generator;

pub use {
    noir_proof_scheme::NoirProofSchemeBuilder,
    noir_to_r1cs::{noir_to_r1cs, noir_to_r1cs_with_breakdown, R1CSBreakdown},
    whir_r1cs::WhirR1CSSchemeBuilder,
};