Smart contract-engineering
Solidity geschreven met controleerbaarheid voorop. Klein aanvalsoppervlak, expliciete invarianten en geen slimmigheden die een reviewer niet kan volgen.
- Solidity met Foundry, invarianten- en differentiële tests
- Upgradepatronen met timelocks en heldere governance
- Gasprofilering en optimalisatie waar het de gebruikerskosten raakt
- Formele specificatie van kritieke invarianten