Learning Path

00Orientation

01Ledger and Execution3

Blockchain State, Consensus & Finality~8

EVM Execution, Gas & Storage~8

Solidity & Contract Architecture~8

02Standards, Identity and Authority3

Tokens, Signatures & Contract Standards~8

Smart Accounts & Wallet UX~8

Access Control, Upgrades & Governance~8

03Correctness and Adversarial Engineering2

Testing, Fuzzing & Formal Methods~8

Smart Contract Security & Exploit Labs~8

04On-chain Markets and Finance5

Automated Market Makers & Liquidity~8

Lending, Collateral & Liquidations~8

Vaults, Yield & Tokenized Positions~8

Oracles, Automation & Randomness~8

Stablecoins, RWAs & Permissioned Assets~8

05Execution Markets and Scaling3

MEV, Mempools, Intents & Auctions~8

Rollups, Data Availability & L2~8

Cross-Chain Messaging & Bridges~8

06Proofs and Privacy1

Zero Knowledge, Privacy & Verifiable Compute~8

★Always Active1

dApp Clients, Indexing & Protocol Operations~8

registryUpdated 2026-07-18#registry#tools#versions

Tools Registry

Snapshot consulted on 2026-07-18; re-pin when the first atomic note is implemented.

Tool	Planned pin	Role
Solidity	`0.8.36`	Contract language/compiler; pin exact compiler and optimizer settings
Foundry	`1.7.1`	Forge tests/build, Cast inspection, Anvil local chain
OpenZeppelin Contracts	`5.6.1`	Audited/stable library baseline; do not silently select release candidates
viem	`2.55.2`	TypeScript clients, simulation, encoding, transaction and log handling
Slither	revalidate	Static analysis and review support
Echidna	revalidate	Property fuzzing comparison
Halmos / SMTChecker	revalidate	Symbolic and SMT-assisted checks
Circom + snarkjs / Noir	revalidate per proof track	Circuit and verifier laboratories

Every executable project will commit its lockfiles, compiler configuration, RPC/chain assumptions, deployment manifest, verification command, and a short compatibility note. “Latest” is never a reproducible version.