Type Alias BooleanWhirTracePcs 

pub type BooleanWhirTracePcs<EF, Dft, MT, Challenger> = BooleanTraceCommitment<EF, BooleanWhirPcs<EF, Dft, MT, Challenger>>;

A batched trace of Boolean columns, discharged through the additive-domain proximity argument.

Aliased Type

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