Module predicate 

Structs

AffineRow

Σ unknowns = Σ claims + constant.

ClaimLayout

half is V + K.

Form

PredicateRows

Hadamard rows are implicit: Lhs · Rhs = Product for each mul in 0..mul_nodes.

Enums

Unknown

WireRole

Functions

compile

wire_values

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