← ClaudeAtlas

auditing-cross-chain-bridge-and-message-trustlisted

Audit a cross-chain bridge or messaging protocol for misplaced trust in messages that cross chains: a destination contract that accepts a mint or release on a forged or unverified proof of a source-chain event, a message whose signer set or validator quorum can be spoofed or is too small, a message that can be replayed on the destination or across chains for a repeated withdrawal, and a lock-and-mint or burn-and-release accounting that a crafted message pushes out of balance. Covers token bridges, message-passing layers, and any protocol where an action on one chain is authorized by an event claimed to have happened on another. Use when a destination-chain action depends on trusting a source-chain event and that verification is the boundary. The forged or replayed cross-chain message is the source, the unauthorized mint, release, or state change is the sink, and the missing or spoofable source-event verification is the bug.
UnboundCompute/security-agent-skills · ★ 5 · AI & Automation · score 80
Install: claude install-skill UnboundCompute/security-agent-skills
# Auditing cross-chain bridge and message trust: the destination must prove the source event, not assume it A cross-chain bridge does one hard thing: it makes an action on the destination chain, minting a wrapped token, releasing locked funds, running a message, conditional on an event that happened on the source chain. The destination cannot see the source directly, so it trusts a proof or an attestation that the event occurred, and every bridge hack is a failure of that trust. If the destination accepts a mint or release on a forged proof, an unverified claim, or an attestation from a signer set an attacker can spoof or that is too small to be safe, the attacker manufactures value from nothing. If a valid message can be replayed, on the destination twice, or on another chain, one legitimate event authorizes many withdrawals. And the lock-and-mint or burn-and-release accounting that is supposed to keep supply balanced can be pushed out of balance by a message that mints without a matching lock or releases without a matching burn. The audit follows a message from source event to destination action and checks that the destination genuinely verifies the event, binds the message so it executes once, and keeps the accounting balanced. You audit this by crafting messages the destination should reject and seeing whether it mints or releases. ## When to use - A bridge or messaging layer authorizes a destination-chain action (mint, release, call) on the strength of a claimed sou