openvm_stark_backend::prover::helper

Trait AirProofInputTestHelper

Source 
pub trait AirProofInputTestHelper<SC: StarkGenericConfig> {
    // Required method
    fn cached_traces_no_pis(
        air: Arc<dyn AnyRap<SC>>,
        cached_traces: Vec<RowMajorMatrix<Val<SC>>>,
        common_trace: RowMajorMatrix<Val<SC>>,
    ) -> Self;
}
Expand description

Test helper trait for AirProofInput Don’t use this trait in production code

Required Methods§

Source

fn cached_traces_no_pis( air: Arc<dyn AnyRap<SC>>, cached_traces: Vec<RowMajorMatrix<Val<SC>>>, common_trace: RowMajorMatrix<Val<SC>>, ) -> Self

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§