tasm_lib::verifier::fri::test_helpers

Function extract_fri_proof

Source 
pub fn extract_fri_proof(
    proof_stream: &ProofStream,
    claim: &Claim,
    stark: &Stark,
) -> StarkProofExtraction
Expand description

Extracts a proof stream that will work for FRI verification from a proof stream that works for the whole STARK verification.