L2 (Layer 2)

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.

The primary language for EVM-compatible blockchains (Ethereum, Arbitrum, Base). Pascal-like syntax, low-level memory handling, TS-compatible toolchain (Foundry, Hardhat).

The shared execution environment across Ethereum and compatible chains (Arbitrum, Base, Polygon, Optimism). Writing a contract here means it runs on all of them.

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.

Running millions of pseudo-random inputs through a function to find a combination that breaks it. Echidna or Foundry fuzz campaigns.

A Rust-based Solidity toolchain (`forge`, `cast`, `anvil`). Faster with better invariant-test support than Hardhat. We run it on every DField audit project.