provekit-r1cs-compiler 1.0.0

R1CS compiler for ProveKit, translating Noir programs to R1CS constraints
Documentation 
1
2
3
4

pub(crate) mod constants;
mod permutation;

pub(crate) use permutation::add_poseidon2_permutation;