skills/case-studies/wormhole-bridge/SKILL.md
Case study of the 2022 Wormhole Bridge exploit: missing signature validation draining ~$320M
npx skillsauth add apegurus/solidity-argus wormhole-bridgeInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
In February 2022, the Wormhole bridge was exploited for 120,000 wETH (worth ~$320M) on the Solana side. The attacker was able to bypass the signature verification process and mint wETH without providing any collateral on the Ethereum side.
The vulnerability existed in the Wormhole's Solana program. Specifically, the verify_signatures function used a deprecated Solana system function load_instruction_at to verify the instructions sysvar. The attacker provided a spoofed sysvar account that mimicked the real sysvar but contained fake data, allowing them to bypass the signature check.
verify_signatures function did not properly validate the instructions sysvar account.instructions sysvar.post_vaa with the spoofed sysvar, which made the program believe the signatures were valid.complete_wrapped_eth to mint 120,000 wETH on Solana.2thJ77y986Yfs4S6996Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9 (Example representation)399986Yfs4S6996Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9Yv9load_instruction_at or other deprecated sysvar loading methods in Solana without proper account validation.sysvar::instructions) are actually the official system accounts.get_instruction_relative or properly validate the sysvar account address.testing
Specialist profile for mechanically applying the attack-vector deck and classifying vectors as skip, drop, or investigate.
tools
Specialist profile for libraries, helpers, base contracts, adapters, encoders, wrappers, and integration glue.
testing
Specialist profile for rounding, scale, decimal, downcast, and arithmetic accounting edge cases.
testing
Specialist profile for extracting conservation laws and state couplings, then searching for violating paths.