Proof Verifier
no wallet · read-only · mainnet · recomputed against Sui & Walrus
Verified — all 4 checks pass
Carry Proof #6 · agent “aria”
Hash chain intact
chain_digest = blake2b256(prev_digest ++ digest)
Content binding (Walrus ↔ chain)
blake2b256 of the blob at aggregator.walrus-mainnet.walrus.space equals the on-chain digest
Authorization recomputed
is_allowed(agent, namespace) for every used namespace matches all_authorized
Policy version accepted on-chain
anchored at v4; the policy has since moved to v26
On-chain receipt
all_authorizedtrue
used namespaceshealth
blocked namespacesbilling
policy versionv4
digest909ce9d088…728d6f64
chain_digestaa64a4c590…7228eb70
walrus blob2FAgvpFlbw…5iG4aVJM ↗
object0x0837e76b…265e8f71
This page read the object from Sui, re-hashed the Walrus blob, and recomputed the verdict — none of it trusts Carry’s servers.