Type Alias TransposedVerifiers 

pub type TransposedVerifiers<S> = HashMap<CoefficientIndex, Vec<(PolynomialIndex, PixGroupRepr<S>)>>;

Polynomial coefficient commitments laid out coefficient-major, which is how the wire messages chunk them.

PIX only ever populates CONSTANT_TERM_COEFFICIENT, so in practice this holds exactly one key. The map shape is retained because the wire format still admits higher coefficient indices — see SsaPartCommitment for why none are produced.

Aliased Type

pub struct TransposedVerifiers<S> { /* private fields */ }