pub fn hash_constraint_system(cs: &Circuit) -> [u8; 32]