DEMO RAIL
A held deposit, with evidence.
A shielded holder sends you coins and an exit certificate: at least this much, in notes unmoved since a block you choose, and these are the notes. Check it under your own period and policy, then match the deposit when it lands.
DEMO RAILThis console plays a rail’s compliance desk. Verification is real (the same WASM verifier as /verify); the rail, its reuse registry (kept in this browser) and its release button are a demo. Vouch returns evidence; the rail decides, and nothing here moves money.
The rail’s policyLOADING
RUN A SCENARIO · REAL PROOFS
No certificate received yet. Run a scenario, or receive a .pof file.
WHAT IT PROVESA certificate shows the coins were already in the chain at a block and have not moved since, and names them by their nullifiers. It does not say where they were before that block; pick the block by your own policy. A deposit matches when every note it spends is one the certificate named. Wallets must build exit transactions without dummy spends (spend two or more certified notes into no more outputs than spends): a dummy spend’s nullifier cannot be told from an uncertified one, so it reads as a mismatch.