- instruct the delivery (next)
- publish inbound v2
- instruct the same delivery
sending side
Chani
Chani’s institution · directory book India
1 share on the desk
Outbound T-bill policy v1
sealed0x3e9a…3dc4
same seal both sides. The v1 clauses are identical here, and an unsalted hash of identical clauses matches
the channel
nothing instructed
the chain reads two receipts, one per institution
beneficiary side
Paul
Paul’s institution · directory book US
0 shares on the books
Inbound T-bill policy v1
sealed0x3e9a…3dc4
same seal both sides. The v1 clauses are identical here, and an unsalted hash of identical clauses matches
what just happened
Instruct Chani’s institution to deliver 1 T-bill share to Paul.
Nothing has been instructed. Both policies are sealed and in force.
the chain read
- Nothing yet. Chani has not instructed
withheld from the wire
- The other institution’s policy: one policy per stdin, never both
- Which clause refused: the desk emits no such field
- The clauses in bytes: only their seals were transmitted
The v1 seal enumerates in under 200 guesses; the fix is in crates/policy. See known limits.
known limits
- The v1 seal is enumerable: Unsalted hash; under 200 guesses recover the clauses. policy_commitment in crates/policy; wiring it changes the vkey.
- The receipts name a demo token id: Both receipts commit 0x3333…; the proof is not bound to the asset that moves. Deploy the token first, then prove against its address.
- One operator key stands in for two institutions: One clerk signs both calls; two receipts, one machine. Stdin is 146 bytes; a decode error if two policies are concatenated.
- Proving is precomputed, verification is live: Four receipts were generated ahead of time; this page does not prove. Instant means two verifyProof calls, roughly 540k gas.
On-chain transcript
Nothing on chain yet. Chani has not instructed.
desk 0x5b37017f3DB35eEB51F7eBB49CffB2652B4463f1
vkey 0x00035e8be65b2881b5409b3238047ddd679c9cce04cb4140973e04e9ed3330cd