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.