pub fn eval_dag<EF>( dag: &AceDag<EF>, inputs: &[EF], layout: &InputLayout, ) -> Result<EF, AceError>where EF: Field,
Evaluate a lowered DAG against concrete inputs.