tasm_lib::verifier::fri

Module test_helpers

Source

Structs§

Functions§

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