Custom Circuit Configuration NOIR_COMPATIBLE_V1

Drag & drop circuit files

Required: prover.pkp, verifier.pkv, inputs.json

REQUIREMENT CHECKLIST

-
prover.pkp
Waiting...
-
verifier.pkv
Waiting...
-
inputs.json / Prover.toml
Waiting...

PROOF GENERATION STEPS

1
Load WASM Modules
Status: Waiting...
2
Load Circuit & Artifacts
Status: Waiting...
3
Generate Witness (noir_js)
Status: Waiting...
4
Generate Proof (ProveKit WASM)
Status: Waiting...
5
Verify Proof (ProveKit WASM)
Status: Waiting...
SYSTEM LOG OUTPUT
TOTAL TIME (WITNESS + PROOF)
-
PROOF SIZE
-
CONSTRAINTS
-
WITNESSES
-