- 1CommitCompany
- 2ProveClearing House
- 3VerifyClearing House
- 4SettleBoth
Clearing House: You collect everyone's rows, generate one proof of the whole netting, verify it on Soroban, and release the escrow to the receivers.
Prove & verify the round
No game scenario found, so this is a sample round. Generate one ZK proof of the whole netting and verify it on Stellar testnet. Play the game to prove your own numbers.
Debt matrix (owes ↓ / to →)
sample round| A | B | C | D | |
|---|---|---|---|---|
| A | — | 100 | 0 | 0 |
| B | 50 | — | 100 | 0 |
| C | 80 | 0 | — | 0 |
| D | 30 | 0 | 0 | — |
Prove → Verify
- 1Generate proof off-chain (snarkjs)
- 2Verify proof on-chain (Groth16Verifier, BN254)
Connect a funded testnet wallet to verify the proof on-chain.
Who owes whom · private
gross 3605 separate debts — never revealed on-chain
ZK netting
What actually moves · public
Ayou
awaiting proof…B
awaiting proof…C
awaiting proof…D
awaiting proof…