pub type OuterInputProof = Vec<OuterBatchOpening>;
pub struct OuterInputProof { /* private fields */ }