Expand description
Row-major CPU prover backend for the SWIRL proof system.
This crate provides CpuBackend and CpuDevice, a prover backend that uses
row-major matrix layout for the constraint evaluation hot path (logup_zerocheck).
This gives significantly better cache locality and enables SIMD vectorization
via plonky3’s PackedField.
At PCS boundaries (trace commitment, WHIR opening), the row-major matrices are converted to column-major format, which is a one-time cost.
Re-exports§
pub use error::CpuProverError;
Modules§
- error
- logup_
zerocheck - Row-major LogupZerocheck implementation.
- merkle
- CpuMerkleTree — a Merkle tree backed by a [RowMajorMatrix].
Structs§
- CpuBackend
- Row-major CPU prover backend.
- CpuDevice
- Row-major CPU prover device.