/// Generates structured (meaning circuit-depending) Groth16
/// CRS (that comprises proving and verificaton keys) over BLS12-381
/// for the circuit defined in circuit.rs using OS RNG.
Generates structured (meaning circuit-depending) Groth16
CRS (that comprises proving and verificaton keys) over BLS12-381
for the circuit defined in circuit.rs using OS RNG.
Generates structured ( meaning circuit - depending ) Groth16 CRS ( that comprises proving and verificaton keys ) over BLS12 - 381 for the circuit defined in circuit . rs using OS RNG .
pub fn generate_crs<A: 'static + PoseidonArity>(depth: u32) -> SynthesisResult<groth16::Parameters<Bls12>>
{
    let circuit = crate::circuit::RingVRF::<A> {
        depth,
        unblinding: None,
        pk_blinded: None,
        extra: None,
        copath: RingSecretCopath::random(depth, &mut rand_hack()), // TODO: blank?
    };
    groth16::generate_random_parameters(circuit, &mut rand_hack())
}
pub fn generate_crs < A : ' static + PoseidonArity > ( depth : u32 ) -> SynthesisResult < groth16 :: Parameters < Bls12 > > { let circuit = crate :: circuit :: RingVRF :: < A > { depth , unblinding : None , pk_blinded : None , extra : None , copath : RingSecretCopath :: random ( depth , & mut rand_hack ( ) ) , // TODO: blank? } ; groth16 :: generate_random_parameters ( circuit , & mut rand_hack ( ) ) }
Generates structured (meaning circuit-depending) Groth16
CRS (that comprises proving and verificaton keys) over BLS12-381
for the circuit defined in circuit.rs using OS RNG.
Generates structured ( meaning circuit - depending ) Groth16 CRS ( that comprises proving and verificaton keys ) over BLS12 - 381 for the circuit defined in circuit . rs using OS RNG .
depth
u32