הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
Set the witness value and hit
Proof is valid
Error
Logs
0 constraints 
 L⋅R == O 
#LRO

		


	


	
	

		
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.