Smart contract engineering
Solidity written for auditability first. Small surface area, explicit invariants, and no cleverness that a reviewer cannot follow.
- Solidity with Foundry, invariant and differential testing
- Upgradeability patterns with timelocks and clear governance
- Gas profiling and optimisation where it changes user cost
- Formal specification of critical invariants