In dieser praktischen Sitzung gehen wir ins Eingemachte: wie man einen Solidity-Smart-Contract formal verifiziert, indem wir Kontrol verwenden. Die Ingenieure von Runtime Verification, Palina und Andrei, führen Paul durch eine vollständige Live-Verifikationssitzung – vom Anfang bis zum Ende per Bildschirmfreigabe.
Keine neue Sprache. Keine Lizenzgebühren. Nur kostenlose, Open-Source-Tools, die darauf ausgelegt sind, jeden Entwickler, der bereits weiß, wie man Foundry-Tests schreibt, auf das nächste Level zu bringen.
✅ Formale Verifikation ohne neue Syntax – wenn Sie einen Foundry-Test schreiben können, können Sie auch einen Kontrol-Beweis schreiben
🚀 In 45 Minuten starten – alles, was Sie wissen müssen, um Ihre eigenen Smart Contracts zu verifizieren
🔍 Sehen Sie den gesamten Workflow – von der Einrichtung über das Ausführen des Beweises bis zur Interpretation der Ergebnisse
🛠 Keine Tricks, keine Bezahlschranke – Kontrol ist Open Source und bereit zur Nutzung
🔗 Probieren Sie Kontrol aus: kontrol.runtimeverification.com
🌐 Erfahren Sie mehr über Runtime Verification: runtimeverification.com
🎵 Musikcredit:
For So Long - Rhye Remix
Darbietung von: Mouth Water, Rhye
Geschrieben von: Lawrence Fancelli
Produziert von: Rhye
Quelle: Through The Void