snark_verifier_sdk::halo2

Function gen_proof_gwc

Source 
pub fn gen_proof_gwc<C: Circuit<Fr>>(
    params: &ParamsKZG<Bn256>,
    pk: &ProvingKey<G1Affine>,
    circuit: C,
    instances: Vec<Vec<Fr>>,
    path: Option<(&Path, &Path)>,
) -> Vec<u8> ⓘ
Expand description

Generates a native proof using original Plonk (GWC ’19) multi-open scheme. Uses Poseidon for Fiat-Shamir.

Caches the instances and proof if path = Some(instance_path, proof_path) is specified.