pub type InnerInputProof = Vec<InnerBatchOpening>;
pub struct InnerInputProof { /* private fields */ }