pub type VerifierOpening<EF> = Opening<EF, ()>;
Opening on the verifier side: column index plus claimed evaluation.
pub struct VerifierOpening<EF> { /* private fields */ }