pub fn create_binding(proofs: &[&ZkProof]) -> [u8; 32]
Helper to create a binding value for AND compositions