Function gen_proof

pub fn gen_proof<'params, C, P, V>(
    params: &'params ParamsKZG<Bn256>,
    pk: &ProvingKey<G1Affine>,
    circuit: C,
    instances: Vec<Vec<Fr>>,
    path: Option<(&Path, &Path)>,
) -> Vec<u8> 
where
    C: Circuit<Fr>,
    P: Prover<'params, KZGCommitmentScheme<Bn256>>,
    V: Verifier<'params, KZGCommitmentScheme<Bn256>, Guard = GuardKZG<'params, Bn256>, MSMAccumulator = DualMSM<'params, Bn256>>,

Generates a native proof using either SHPLONK or GWC proving method. Uses Poseidon for Fiat-Shamir.

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