ProofSize computes how large the proof for a circuit would be.

Prove consistency of the claimed assignment.

TopologicalSort sorts the wires in order of dependence.

Verify the consistency of the claimed output with the claimed input Unlike in Prove, the assignment argument need not be complete.

Gates defined by name.

Gate must be a low-degree polynomial.

WireAssignment is assignment of values to the same wire across many instances of the circuit.