openvm-cpu-backend 2.0.0

Row-major CPU prover backend for the SWIRL proof system
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

#![allow(
    clippy::type_complexity,
    clippy::too_many_arguments,
    clippy::needless_range_loop,
    clippy::useless_conversion,
    clippy::unnecessary_cast,
    clippy::wrong_self_convention
)]
//! 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.

mod backend;
mod device;
pub mod error;
pub mod logup_zerocheck;
pub mod merkle;
mod pcs_data;
mod row_major_ops;
mod stacked_reduction;
mod two_adic;
mod whir;

pub use backend::*;
pub use device::*;
pub use error::CpuProverError;