Proving knowledge of x such that x³ + x + 5 = 35. Each gate produces a constraint equation. A valid witness is a set of wire values that satisfies every constraint simultaneously.
x
x³ + x + 5 = 35
Click any output value to tamper with the witness