pub fn gen_proof_shplonk<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 SHPLONK multi-open scheme. Uses Poseidon for Fiat-Shamir.
Caches the instances and proof if path is specified.