Function eval_record 

pub fn eval_record<F>(inputs: &EvalInputs<'_, F>) -> Result<EvalOutput<F>>
where
    F: HardwareField + Into<Block128> + From<u128>,

The eval row’s mask form propagated through the rounds, plus the ring gadget.