Proof Verifier

no wallet · read-only · mainnet · recomputed against Sui & Walrus

Verified — all 4 checks pass

Carry Proof #2 · 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 namespaces—

policy versionv4

digest40a3d9d590…f76a0632

chain_digestfa5bc9f05c…7e5a1da0

This page read the object from Sui, re-hashed the Walrus blob, and recomputed the verdict — none of it trusts Carry’s servers.