pub fn assert_vk_commit_eq<AB: AirBuilder, I1: Into<AB::Expr>, I2: Into<AB::Expr>>( builder: &mut AB, x: VkCommit<I1>, y: VkCommit<I2>, )