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

use openvm_stark_backend::prover::error::{
    LogupZerocheckError, StackedPcsError, StackedReductionError, WhirProverError,
};
use thiserror::Error;

/// Top-level error type for the CPU backend prover.
#[derive(Error, Debug)]
pub enum CpuProverError {
    #[error("Stacked PCS: {0}")]
    StackedPcs(#[from] StackedPcsError),
    #[error("LogupZerocheck: {0}")]
    LogupZerocheck(#[from] LogupZerocheckError),
    #[error("Stacked reduction: {0}")]
    StackedReduction(#[from] StackedReductionError),
    #[error("WHIR: {0}")]
    Whir(#[from] WhirProverError),
}