The Auditless Codex

Our field guide for developing smart contract systems. These articles capture development best practices for smart contracts, spanning research, design, implementation, testing, deployment, and security review.

Discover

Article	Type
How to Quickly Understand a Protocol	Process
What is the Discover Phase?	Process

Design

Article	Type
How to Write a Specification	Process
What is the Design Phase?	Process
Vaults	Reference

Develop

Article	Type
Boundary Value Analysis	Process
Cause-Effect Graph Testing	Process
Classification Tree Partitioning	Process
Condition Testing	Process
Decision Table Testing	Process
Decision/Branch Testing	Process
Domain Analysis	Process
Equivalence Partitioning	Process
Formal Verification Campaign	Process
Formal Verification Testing	Process
Fuzz Testing	Process
Fuzzing Campaign	Process
How to Debug Hardhat	Process
How to Get Unstuck with Ethereum	Process
How to Improve Testing Productivity	Process
How to Profile and Optimize Gas Consumption	Process
How to Test Smart Contracts	Process
Integration and Scenario Testing	Process
LCSAJ or Loop Testing	Process
Learning Solidity for Engineers	Process
Manual Testing	Process
Model Based Testing	Process
Mutation Testing	Process
Pairwise Testing	Process
Parametrized and Random Testing	Process
Path Testing	Process
Private Network Testing	Process
Protocol Interface Testing	Process
State Transition Testing	Process
Statement Testing	Process
Test Coverage	Process
Testnet and Acceptance Testing	Process
Unit Testing	Process
Use Case and Behavior Testing	Process
Vulnerability Taxonomy Testing	Process
What is the Develop Phase?	Process
Property Testing	Tool
Test Coverage Tool	Tool
Transaction Debugger	Tool

Deploy

Article	Type
What is the Deploy Phase?	Process

Defend

Article	Type
Access Control Review	Process
Assembly Code Review	Process
Code Quality Review	Process
ERC Standards Review	Process
External Interactions Review	Process
Flow of Value Analysis	Process
How to Assess Security Risk?	Process
How to Do a Security Review	Process
How to Prepare for a Security Audit	Process
Line-by-line Code Review	Process
Numerical Review	Process
Oracle Review	Process
Potential Integrations Review	Process
Risk Communication	Process
State Transition Review	Process
Storage Analysis	Process
Test Quality Review	Process
Upgradeability Review	Process
Use Both Internal and External Security Reviews	Process
Vulnerability Scanning	Process
What is the Defend Phase?	Process
How to improve Web Design Process	Reference
What Will Website Be Like In 100 Years?	Reference
Echidna	Tool
Formal Verification	Tool
Fuzzing	Tool
Slither	Tool
Solidity Visual Developer	Tool
Static Analysis	Tool
Surya	Tool
Visual Inspection Tool	Tool

Distribute

Article	Type
What is the Distribute Phase?	Process

Misc

Article	Type
How to Use the Codex	Reference
What's New	Reference