legogroth16 0.18.0

An implementation of the LegoGroth16, the Legosnark variant of Groth16 zkSNARK proof system
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

pub mod circuit;
pub mod error;
pub mod r1cs;
/// Parser for .r1cs file generated by Circom compiler.
#[cfg(feature = "std")]
pub mod r1cs_reader;
#[cfg(test)]
mod tests;
pub mod wasm;
/// Parser for .wasm file generated by Circom compiler. And calculates values for all the wires
/// of the circuit given public and private inputs.
pub mod witness;

/// BN128 curve's largest subgroup order
pub const BN128_ORDER: &str =
    "21888242871839275222246405745257275088548364400416034343698204186575808495617";
/// BLS12-381 curve's largest subgroup order
pub const BLS12_381_ORDER: &str =
    "52435875175126190479447740508185965837690552500527637822603658699938581184513";

pub use circuit::CircomCircuit;
pub use error::CircomError;
pub use r1cs::R1CS;
pub use witness::WitnessCalculator;