Function reverie::evaluate_composite_program
source · pub fn evaluate_composite_program(
program: &[CombineOperation],
bool_inputs: &[bool],
arith_inputs: &[u64]
)
Expand description
Evaluates a composite program (in the clear). Uses assert! to check AssertZero
gates