Skip to main content

wire_values

hekate_program::predicate

Function wire_values 

Source 
pub fn wire_values<F: TowerField + HardwareField>(
    ast: &ConstraintAst<F>,
    node_values: &[Flat<F>],
) -> Vec<[Flat<F>; 3]>
Expand description

Honest (lhs, rhs, product) per reachable Mul, numbered exactly as compile numbers its wires.