verify_circuit_with_proof_config

remainder::prover::helpers

Function verify_circuit_with_proof_config 

Source 
pub fn verify_circuit_with_proof_config<F: Halo2FFTFriendlyField, Tr: TranscriptSponge<F>>(
    verifiable_circuit: &VerifiableCircuit<F>,
    proof_config: &ProofConfig,
    proof_as_transcript: TranscriptReader<F, Tr>,
)
Expand description

Wrapper around verify_circuit_internal() which uses a verifier config corresponding to the provided prover config.