Type Alias BooleanWhirData 

pub type BooleanWhirData<EF, MT> = WhirProverData<EF, EF, MT, SuffixProver<EF, EF>>;

Prover-side data retained between committing and opening.

Aliased Type

pub struct BooleanWhirData<EF, MT> {
    pub layout: SuffixProver<EF, EF>,
    pub merkle_data: <MT as Mmcs<EF>>::ProverData<DenseMatrix<EF>>,
    /* private fields */
}

Fields

layout: SuffixProver<EF, EF>

Layout-mode prover holding the per-table opening claims accumulator.

merkle_data: <MT as Mmcs<EF>>::ProverData<DenseMatrix<EF>>

Merkle prover data behind the initial commitment; reused to open STIR queries.