Integer Division Rounding Error를 통한 Protocol Fee 0원 최적화 취약점 분석
How 1,000 Wei Can Drain Protocol Fees: A Deep Dive into CoW Protocol Rounding Errors
반복되는 Cross-Chain Bridge 취약점 패턴 분석 및 Foundry 기반 검증 전략
Anatomy of a Cross-Chain Bridge Exploit: Patterns That Keep Repeating in 2026
MMR 증명 버그와 권한 검증 부재로 인한 10억 DOT 무단 발행 사고
Polkadot Bridge Hack: MMR Proof Bug Leads to 1B DOT Mint
CrossCurve 브릿지가 expressExecute() 함수에서 단일 접근 제어 검증만 수행해 공격자가 $3M을 횡령
The CrossCurve $3M Bridge Exploit: How One Missing Check Let Attackers Forge Cross-Chain Messages
DeFi 라우터 2개 프로토콜이 검증되지 않은 calldata 주입 공격으로 1,700만 달러 손실, 10개 항목 체크리스트로 방어
Calldata Injection: The $17M Vulnerability Pattern Hiding in Every DeFi Router
Step Finance가 단일 개인 지갑으로 프로그램 업그레이드 권한을 관리해 261,854 SOL($27.3M) 손실, 5가지 운영 보안 가드레일 도입으로 방지 가능
Solana Program Authority Security: 5 Upgrade Guardrails That Would Have Saved Step Finance's $27M
a16z crypto가 Halmos 기호 실행 도구를 Foundry와 통합해 퍼징으로 절대 발견 불가능한 스마트 컨트랙트 버그를 수학적으로 증명하는 방식으로 검출
Halmos + Foundry: How Symbolic Testing Catches the Bugs Your Fuzzer Will Never Find