circom-prover 0.1.2

Circom prover is a Rust library for generating and verifying proofs for Circom circuits.
Documentation
1
2
3
4
5
6
7
8
fn main() {
    if std::env::var("CIRCOM_PROVER_TEST_WITNESS").unwrap_or_default() != "" {
        #[cfg(feature = "rustwitness")]
        rust_witness::transpile::transpile_wasm("./test-vectors".to_string());
        #[cfg(feature = "witnesscalc")]
        witnesscalc_adapter::build_and_link("./test-vectors");
    }
}