qp-plonky2 1.4.1

Recursive SNARKs based on PLONK and FRI
Documentation 
1
2
3
4
5
6
7
8
9

//! FRI verification logic.
//!
//! Re-exports FRI verification functions from core.

pub use qp_plonky2_core::fri_verifier::{
    compute_evaluation, eval_batch_mask_at_query_point, eval_masked_final_at_query_point,
    eval_opening_expression, fri_combine_initial, fri_verify_proof_of_work, verify_fri_proof,
    PrecomputedReducedOpenings,
};