AI Smart Contract Auditor
AI Smart Contract Auditors combine deep blockchain security expertise with AI-powered static and dynamic analysis tools to identif…
Skill Guide
A systematic classification of the most common and critical attack vectors in Ethereum Virtual Machine (EVM) smart contracts, focusing on the four pillars: reentrancy, flash loan attacks, oracle manipulation, and access control flaws.
Scenario
You are provided with the source code of a simplified, vulnerable Vault contract that is susceptible to a classic reentrancy attack.
Scenario
You must audit a novel lending protocol that uses a spot price oracle from a single decentralized exchange (DEX) for collateral valuation.
Scenario
Audit a new yield-aggregator protocol that stakes user funds into multiple underlying DeFi protocols, each with their own governance and upgrade mechanisms.
Foundry is the primary development and testing environment for writing and running exploit PoCs. Slither is a static analyzer for automated vulnerability detection. Mythril performs symbolic execution for deeper analysis. Use them in sequence: Slither for quick scans, Mythril for complex path exploration, and Foundry for manual testing and exploit development.
The SWC Registry provides a canonical taxonomy with IDs for every weakness type. Ethernaut and Capture The Ether offer hands-on, interactive lessons. Rekt.news is essential reading for understanding real-world exploit mechanics and economic impact.
Answer Strategy
The answer must demonstrate a process, not just definitions. A strong candidate will describe a multi-step approach: 1) Manual review using the Checks-Effects-Interactions pattern as a mental model, 2) Running Slither with specific detectors (e.g., reentrancy-eth, reentrancy-no-eth), 3) Writing Foundry fuzz tests that attempt reentrant calls, 4) Considering cross-function and cross-contract reentrancy, not just simple single-function reentrancy.
Answer Strategy
Tests understanding of economic attack surfaces. A good answer will: 1) Clearly state the attack involves using a flash loan to skew the pool's reserves, 2) Explain that the manipulated spot price can be used to drain the protocol via under-collateralized borrowing, 3) Propose a concrete mitigation like switching to a TWAP oracle from Uniswap V3 or using a Chainlink price feed.
1 career found
Try a different search term.