prove_circuit_internal

remainder::prover::helpers

Function prove_circuit_internal 

Source 
fn prove_circuit_internal<F: Halo2FFTFriendlyField, Tr: TranscriptSponge<F>>(
    provable_circuit: &ProvableCircuit<F>,
) -> (ProofConfig, TranscriptReader<F, Tr>)
Expand description

Generates a GKR proof (in the form of a [TranscriptReader<F, Tr>]) and a [ProofConfig] (to be used in verification) for the given ProvableCircuit<F>.