Proof

On-chain proof

Everything below is a real Monad testnet record. Verify each value on the explorer directly; the frontend renders these addresses and transactions as-is from the chain.

Verified transactions

Contracts

What you can verify

• Directly from the chain: the listing state, both token balances, the transaction hash, the decoded Settled / SettlementRefused event, timestamps, and the immutable contract configuration.
• From Cleanverse: A-Pass existence, tier, state, expiry, and KYC commitments returned by verify_apass and query_apass.
• Relayer attestations: the short-lived EIP-712 packet that binds the exact trade, actors, amounts, outcome, and deadline. The contract verifies its signer, freshness, and listing binding before transferring.
• A receipt proves: that the desk accepted a valid signed packet, the exact legs moved (or did not), and the KYC commitments bound at that moment.
• A receipt does not prove: that the KYC commitments correspond to any real person (synthetic sandbox data only), nor that a frozen or revoked A-Pass stays frozen forever. Tokens and rules can change after settlement.