Playground
Interactive demos powered by the Rust ZKP library compiled to WebAssembly.
Pedersen → Sigma → bit-OR → range → Merkle, then rollup demos — all in your browser.
Transaction Builder, Account Explorer, and Mempool Stream
call a rollup HTTP/WebSocket URL (defaults to the hosted demo API); point them at http://localhost:3000 when you run cargo run --bin zkp locally.
If the hosted API is cold, the first request can take ~30–60s — retry once.
Pedersen Commitment
Commit to a value with a blinding factor. Hiding + binding.
Sigma Protocol
Prove knowledge of a discrete log without revealing it.
Bit-OR (binary Pedersen)
Prove a committed bit is 0 or 1 with a Schnorr disjunction + Fiat–Shamir.
Range Proof
Prove a value is in a range via bit decomposition.
Merkle Membership
Prove an element belongs to a set using only the root (Ex4 → rollup state).
Transaction Builder
Sign in browser (WASM), POST JSON to your chosen rollup API (hosted or localhost).
Account Explorer
Fetch /accounts from the API and inspect balances and nonces.
Mempool Stream
Live WebSocket feed: see batches drained in real time.