rsnark 0.1.6

A Rust library to write Zero-Knowledge circuits for multiple prover systems
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60

use rsnark::core::{API, Circuit, CircuitWitness, circuit, curve::BN254};
use rsnark_core::{
    Witness,
    curve::{BLS12_377, BLS12_381, BLS24_315, BLS24_317, BW6_633, BW6_761},
};
use rsnark_provers_core::{Backend, Prover};
use rsnark_provers_gnark::{Groth16Backend, PlonkBackend};

#[circuit]
pub struct TestCircuit {
    a: u32,
    b: u32,
    pub c: u32,
}

impl Circuit for TestCircuit {
    fn define(&self, api: &mut impl API) {
        let c = api.add(&self.a, &self.b);

        let d = api.add(&c, &10);

        api.assert_is_equal(&d, &self.c);
    }
}

fn main() {
    run::<Groth16Backend<BN254>>();
    run::<Groth16Backend<BLS12_377>>();
    run::<Groth16Backend<BLS12_381>>();
    run::<Groth16Backend<BLS24_315>>();
    run::<Groth16Backend<BLS24_317>>();
    run::<Groth16Backend<BW6_761>>();
    run::<Groth16Backend<BW6_633>>();

    run::<PlonkBackend<BN254>>();
    run::<PlonkBackend<BLS12_377>>();
    run::<PlonkBackend<BLS12_381>>();
    run::<PlonkBackend<BLS24_315>>();
    run::<PlonkBackend<BLS24_317>>();
    run::<PlonkBackend<BW6_761>>();
    run::<PlonkBackend<BW6_633>>();
}

fn run<B: Backend>() {
    let prover = Prover::<B>::new();

    let circuit_prover = prover.compile_circuit::<TestCircuit>().unwrap();
    let (pk, vk) = circuit_prover.setup().unwrap();

    let circuit_witness = Witness::<TestCircuit> {
        a: 3,
        b: 4,
        c: 17, // 3 + 4 = 7
    };

    let proof = circuit_prover.prove(&pk, &circuit_witness).unwrap();

    let public_witness = circuit_witness.into_public_witness();
    circuit_prover.verify(&vk, &proof, public_witness).unwrap();
}