Type Alias BooleanWhirProver 

pub type BooleanWhirProver<EF, Dft, MT, Challenger> = WhirProver<EF, EF, Dft, MT, Challenger, SuffixProver<EF, EF>>;

The proximity argument every packed claim is discharged against.

Aliased Type

pub struct BooleanWhirProver<EF, Dft, MT, Challenger> { /* private fields */ }