openvm_stark_backend::prover

Module opener

Expand description

Polynomial opening proofs

Structs§

AdjacentOpenedValues
OpenedValues
OpeningProof
PCS opening proof with opened values for multi-matrix AIR.
OpeningProver