ERC-4337 (account abstraction)
Related service Blockchain
DEFINITION
Ethereum standard for smart-contract wallets without a consensus-layer change. UserOp mempool, bundlers, paymasters · gasless + social recovery + batched tx natively.
- 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).
- EVM (Ethereum Virtual Machine)→
The shared execution environment across Ethereum and compatible chains (Arbitrum, Base, Polygon, Optimism). Writing a contract here means it runs on all of them.
- 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.
- 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→