Module prover

Re-exports§

AirProvingContext
ColMajorMatrix
ColMajorMatrixView
CommittedTraceData: The committed trace data for a single trace matrix. This type is used to store prover data for both preprocessed trace and cached trace.
Coordinator
CpuColMajorBackend
DeviceMultiStarkProvingKey: The proving key for a circuit consisting of multiple AIRs, after prover-specific data has been transferred to device. The host data (e.g., vkey) is owned by this struct.
DeviceStarkProvingKey: The proving key after prover-specific data has been transferred to device. The host data (e.g., vkey) is owned by this struct.
EvalHelper: For a single AIR
HostProof: Proof on the host, with respect to the host types in the generic PB.
LogupZerocheckCpu
ProvingContext
ReferenceDevice
StridedColMajorMatrixView: Vertically strided column-major matrix view.

DeviceDataTransporter: Trait to manage data transport of prover types from host to device.
MatrixDimensions
MatrixView: Trait to consolidate different virtual matrices that may not be backed by an in-memory matrix with a standard column-major or row-major layout.
MultiRapProver: This trait is responsible for the proving steps that reduce AIR zerocheck constraints and interaction consistency claims to polynomial opening claims.
OpeningProver: This trait is responsible for proving the evaluation claims of a collection of polynomials at a collection of points. The opening point may be the same across polynomials. The polynomials may be defined over different domains and are hence of “mixed” nature. The polynomials are already committed and provided in their committed form.
Prover: Trait for STARK/SNARK proving at the highest abstraction level.
ProverBackend: Associated types needed by the prover, in the form of buffers and views, specific to a specific hardware backend.
ProverDevice
TraceCommitter: Provides functionality for committing to a batch of trace matrices, possibly of different heights.