EVM (Ethereum Virtual Machine)
Related service Blockchain
DEFINITION
The shared execution environment across Ethereum and compatible chains (Arbitrum, Base, Polygon, Optimism). Writing a contract here means it runs on all of them.
- Smart contract→
Code running on a blockchain (Solidity, Rust) that auto-executes an agreement. A single bug can cost nine figures · why we audit, fuzz, and threat-model before deploy.
- Solidity→
The primary language for EVM-compatible blockchains (Ethereum, Arbitrum, Base). Pascal-like syntax, low-level memory handling, TS-compatible toolchain (Foundry, Hardhat).
- L2 (Layer 2)→
A secondary network (Arbitrum, Base, Optimism, zkSync) settling on Ethereum (L1) but much faster and cheaper. Rollups bring 10–100× lower gas.
- Invariant test→
A test that verifies a universal rule ('sum of user balances always equals total supply'). Feeds the contract random transaction sequences; the rule must hold in every state.
- Fuzz test→
Running millions of pseudo-random inputs through a function to find a combination that breaks it. Echidna or Foundry fuzz campaigns.
- Foundry→
A Rust-based Solidity toolchain (`forge`, `cast`, `anvil`). Faster with better invariant-test support than Hardhat. We run it on every DField audit project.
- 0122 Apr 2026Solana smart contract gotchas · what bites every Anchor dev in 2026→
- 0222 Apr 2026EIP-712 meta-transactions · gasless UX without compromising security→
- 0322 Apr 2026Foundry invariant testing · the patterns we write on every audit→
- 0419 Apr 2026Solidity gas optimization · 16 patterns we use on every audit→
- 0522 Mar 2026Smart contract audit checklist · the one we actually use→