Struct IOPProver 

pub struct IOPProver<F: Field> { /* private fields */ }

IOP prover for a particular constraint system.

This struct encapsulates the constraint system and pre-computed wiring transpose, 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<F: Field> IOPProver<F>

pub fn new(constraint_system: ConstraintSystemPadded<F>) -> Self

Constructs an IOP prover for a constraint system.

pub const fn constraint_system(&self) -> &ConstraintSystemPadded<F>

pub fn commit_precommit<P, Channel, A>( &self, witness: &Witness<F>, rng: &mut impl CryptoRng, channel: &mut Channel, alloc: &A, ) -> (Channel::Oracle, FieldVec<P, A>)

where F: BinaryField, P: PackedField<Scalar = F>, Channel: IOPProverChannel<P, A>, A: Allocator,

Packs and commits the precommit segment of a witness on the channel.

This must be called before Self::prove, and the returned oracle handle and packed buffer must be passed into prove. Callers that wrap the IOP (e.g. the ZK wrapper) can invoke this separately so the precommit oracle handle is available before the rest of the protocol runs.

pub fn prove<P, Channel, A>( &self, witness: &Witness<F>, precommit_oracle: Channel::Oracle, precommit_packed: FieldVec<P, A>, rng: impl CryptoRng, channel: &mut Channel, alloc: &A, ) -> Result<(), Error>

where F: BinaryField, P: PackedField<Scalar = F>, Channel: IOPProverChannel<P, A>, A: Allocator,

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.

Arguments

• witness - The witness values for the constraint system
• precommit_oracle - Oracle handle obtained from Self::commit_precommit
• precommit_packed - Packed precommit buffer obtained from Self::commit_precommit
• rng - Random number generator for blinding
• channel - The IOP prover channel (public input must be observed on transcript before creating the channel; the precommit oracle must already have been committed on it via Self::commit_precommit)

Trait Implementations

impl<F: Debug + Field> Debug for IOPProver<F>

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

Formats the value using the given formatter.