snark_verifier_sdk::halo2

Function gen_snark_gwc

Source 
pub fn gen_snark_gwc<ConcreteCircuit: CircuitExt<Fr>>(
    params: &ParamsKZG<Bn256>,
    pk: &ProvingKey<G1Affine>,
    circuit: ConcreteCircuit,
    path: Option<impl AsRef<Path>>,
) -> Snark
Expand description

Generates a SNARK using GWC multi-open scheme. Uses Poseidon for Fiat-Shamir.

Tries to first deserialize from / later serialize the entire SNARK into path if specified. Serialization is done using bincode.