Inputs

a:
b:
c:
randomness:

Proof

Verify

Audit

Click the "Verify" button on zkREPL to confirm that the current proving key matches the source code for the claimed circuit