Proof Verifier
no wallet · read-only · recomputed against Sui & Walrus
Verified — all three checks pass
Carry Proof #0 · agent “aria”
Hash chain intact
chain_digest = blake2b256(prev_digest ++ digest)
Content binding (Walrus ↔ chain)
blake2b256 of the canonical Walrus blob equals the on-chain digest
Authorization recomputed
is_allowed(agent, namespace) for every used namespace matches all_authorized
On-chain receipt
all_authorizedtrue
used namespaceshealth
blocked namespaces—
digest698dfa4b59…6e816391
chain_digest1c985d1983…f8ff7d4d
walrus blobyPe_41r_8G…yonm6BUA ↗
object0x435148fd…774ae215
This page read the object from Sui, re-hashed the Walrus blob, and recomputed the verdict — none of it trusts Carry’s servers.