Smart-Contract-Entwicklung
Solidity, geschrieben zuerst für Prüfbarkeit. Kleine Angriffsfläche, ausdrückliche Invarianten und keine Cleverness, der eine prüfende Person nicht folgen kann.
- Solidity mit Foundry, Invarianten- und Differenztests
- Upgrade-Muster mit Zeitschlössern und klarer Governance
- Gas-Profiling und Optimierung, wo es die Nutzerkosten verändert
- Formale Spezifikation kritischer Invarianten