Type Alias BooleanTracePcs 

pub type BooleanTracePcs<EF, MT, MX> = BooleanTraceCommitment<EF, BooleanPcs<EF, MT, MX>>;

The trace commitment discharged through the folding-only bit commitment.

Aliased Type

pub struct BooleanTracePcs<EF, MT, MX> { /* private fields */ }