...
Set the witness value and hit
Proof is valid
Error
{{ errMsg }}
Logs
{{log}}
{{ nbConstraints }} constraints

L⋅R == O qL⋅xa + qR⋅xb + qO⋅xc + qM⋅(xaxb) + qC == 0

# L R O
# qL⋅xa qR⋅xb qO⋅xc qM⋅(xaxb) qC
{{index}} {{part}}

Run gnark [github|docs] in your browser.

About the playground

gnark circuits are written in Go. A webservice compiles the snippet into a WebAssembly (Wasm) executable, which is then executed inside the browser to solve the constraint system (it doesn't run the [Groth16/PlonK] prover).
The circuit must be named Circuit and implement the Define method.

This playground uses the latest stable release of gnark and is inspired by go.dev/play.

This is a test environment - we make no guarantees or warranties to its safety and reliability.