pub fn round( builder: &mut ConstraintSystemBuilder<'_>, name: impl ToString, state: &[OracleId; 16], m: &[OracleId; 16], log_size: usize, ) -> Result<[OracleId; 16], Error>