Struct IOPProver 

pub struct IOPProver { /* private fields */ }

IOP prover for a particular constraint system.

This struct encapsulates the constraint system and pre-computed keys, providing the core proving logic independent of the specific IOP compilation strategy. Most users should use Prover instead, which wraps this with a BaseFold compiler.

Implementations

impl IOPProver

pub fn new(iop_verifier: IOPVerifier, key_collection: KeyCollection) -> Self

Constructs an IOP prover from an IOP verifier and pre-computed keys.

pub const fn constraint_system(&self) -> &ConstraintSystem

Returns the constraint system.

pub const fn key_collection(&self) -> &KeyCollection

Returns a reference to the KeyCollection.

This can be used to serialize the KeyCollection for later use.

pub fn prove<A, P, Channel>( &self, witness: &ValueVec, channel: &mut Channel, alloc: &A, ) -> Result<(), Error>

where A: Allocator, P: PackedField<Scalar = B128>, Channel: IOPProverChannel<P, A> + WordIPProverChannel<B128, Word = Word>,

Proves using an IOP channel interface.

This is the core proving logic, independent of the specific IOP compilation strategy. For most users, Prover::prove is the simpler interface.

Trait Implementations

impl Debug for IOPProver

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.