pub fn example_circuit_header() -> CircuitHeader
A test circuit of inputs x,y,zz such that x^2 + y^2 = zz.