ExpandZKProof Network Testnet View circuit

Live browser prover

Prove an agent stayed inside its trading policy.

Generate a real UltraHonk proof from a Noir circuit, verify it locally, and inspect the public commitment without exposing the private trade witness.

Circuit
Agent Risk Guard
Proof system
UltraHonk / EVM
Execution
Local browser

Private witness

Trade state

Max order2,500,000
Max daily loss1,000,000
Max exposure1,800 bps

Witness values stay in this browser tab. The first run loads the prover and can take a few seconds.

Testnet run

Ready to prove

Ready
  1. 01
    Load proverNoir + Barretenberg
  2. 02
    Build witnessConstrain private inputs
  3. 03
    Generate proofUltraHonk, EVM target
  4. 04
    VerifyLocal cryptographic check
Proof size
--
Total time
--
Public inputs
--
Verifier target
EVM
Action commitment No proof generated

Choose a scenario and start a testnet run.

What this proves

A valid proof means all three private measurements satisfy the public policy limits.

This is an unaudited testnet circuit and local verifier preview. It generates real proofs, but it is not a production deployment or a hosted proving service.