fflonk 0.32.10

Reference implementation of fflonk prover and verifier
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

use super::*;

#[derive(Clone, Debug)]
pub struct MockCircuitWidth3;
impl Circuit<Bn256> for MockCircuitWidth3 {
    type MainGate = NaiveMainGate;

    fn synthesize<CS: bellman::plonk::better_better_cs::cs::ConstraintSystem<Bn256> + 'static>(
        &self,
        cs: &mut CS,
    ) -> Result<(), bellman::SynthesisError> {
        todo!()
    }
    fn declare_used_gates() -> Result<
        Vec<Box<dyn bellman::plonk::better_better_cs::cs::GateInternal<Bn256>>>,
        bellman::SynthesisError,
    > {
        Ok(vec![Self::MainGate::default().into_internal()])
    }
}
#[derive(Clone, Debug)]
pub struct MockCircuitWidth4DNextCustomGate;
impl Circuit<Bn256> for MockCircuitWidth4DNextCustomGate {
    type MainGate = SelectorOptimizedWidth4MainGateWithDNext;

    fn synthesize<CS: bellman::plonk::better_better_cs::cs::ConstraintSystem<Bn256> + 'static>(
        &self,
        cs: &mut CS,
    ) -> Result<(), bellman::SynthesisError> {
        todo!()
    }
    fn declare_used_gates() -> Result<
        Vec<Box<dyn bellman::plonk::better_better_cs::cs::GateInternal<Bn256>>>,
        bellman::SynthesisError,
    > {
        Ok(vec![
            Self::MainGate::default().into_internal(),
            Rescue5CustomGate::default().into_internal(),
        ])
    }
}