Supplier — register & finance an invoice
The invoice is committed as a Poseidon hash; no field goes on-chain in plaintext. Buyer 7 is the approved buyer.
Financier B — the double-pledge attempt
A second financier is asked to fund the same registered invoice. The proof is valid and the invoice is eligible — but the invoice-bound nullifier already exists.
Expected: the chain emits DOUBLE_PLEDGE_BLOCKED, releases nothing, and does not revert — the evidence persists on-chain.
Live registry state
Registry root (on-chain)—
Invoices registered (session)0
Latest nullifier—
Nullifier spent (on-chain)—
Activity log
Testnet research prototype · unaudited · proof-of-concept trusted setup · do not use with real assets. Proofs are generated in your browser; secrets never leave the device.