NewApi creates a new GKR API.

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

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

Gate must be a low-degree polynomial.

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