zkVerify Relayer — muladd2 @ scale

Headless relayer that submits unique Groth16 proofs for a tiny muladd2 circuit (pub1=a*b+a, pub2=a+b mod F).
Multi-worker with global rate gate + per-session jitter, plus watcher that writes finalized.csv to count unique Finalized proofs.

VKs

• main: 0xff384f49d16130a1ce838acb923df72d8e07f5a19862c8b996777739171dd350
• muladd2: 0x683aaaa6eb66ecdb2a25c059245652c78c0fd68ec2381b53bc715bded049c8d4

Wallet: 0x6f1d7ed70ece3a976774acb64e44e1eba0bd05a9

Ops notes

• Proofs via groth16.fullProve(input, wasm, zkey).
• Global gate (.rategate.gap ~6) + jitter → [429 delta 60s] ~ 0.
• Watcher single-instance + regex parser; backfill tool available.

This repo contains no secrets. Configure your own .env locally.

Latest stats (snapshot)

• TOTAL unique proofs: 2006 (main=2000, var=6)
• Snapshot bundle: see Releases (attached).