Wie alle Software sind auch Smart Contracts auf der Blockchain ernsthaften Sicherheitsanfälligkeiten und Programmierfehlern ausgesetzt. Die Tatsache, dass Smart Contracts oft direkt für Vermögenswerte verantwortlich sind und einmal auf der Blockchain nicht mehr geändert werden können, macht eine sichere Entwicklung und Ausführung unerlässlich. Einige Smart Contract-Plattformen haben ihre eigenen Sprachen, zum Beispiel Solidity in Ethereum. Fehler und Sicherheitsanfälligkeiten im Quellcode sowie Fehler in den von dem Netzwerk verwendeten virtuellen Maschinen sind die Hauptursachen für Sicherheitsprobleme bei Smart Contracts.
Projekte, die Blockchain-Anwendungen nutzen, sollten mit ständigen Veränderungen in der Sicherheitslandschaft rechnen. Neue Fehler, Sicherheitsrisiken und Best Practices werden im Laufe der Zeit weiterhin auftauchen. Trail of Bits ist ein Unternehmen für Software-Sicherheit, das in einer Vielzahl von Branchen für einige der führenden Unternehmen, einschließlich im Blockchain-Bereich, berät. Sie sind Experten darin, Risiken auf höchster Ebene und Implementierungsanfälligkeiten zu identifizieren und geben wesentliche Empfehlungen zu Best Practices. Dan Guido, der CEO und Mitgründer, erklärt alle Aspekte der Software-Sicherheit auf eine sehr detaillierte und technische, aber dennoch leicht verständliche Weise. Wir empfehlen Ihnen auch, ihren außergewöhnlichen Blog zu besuchen, der mit unschätzbaren Ressourcen gefüllt ist.
Themen, die in dieser Episode besprochen werden:
- Dans Hintergrund und wie er Trail of Bits gegründet hat
- Was Dan in den Blockchain-Bereich geführt hat
- Wie sich Sicherheitssoftware in den letzten 20 Jahren verändert hat
- Die einzigartigen Herausforderungen für die Sicherheit von Blockchain- und Smart Contract-Protokollen
- Smart Contract-Sprachen und Sicherheit
- Slither - die Suite von Ethereum-basierten Sicherheitswerkzeugen von Trail of Bits
- Dans Meinung zur Zukunft von Solidity und Vyper als Alternative
- Formal verifizierte Sprachen
- Ein Anwendungsfall, wie Trail of Bits funktioniert
- Arbeiten mit aktualisierbaren Verträgen
- Komponierbarkeit und Sicherheit
- Sind Compiler vertrauenswürdig?
- Weitere Sicherheitsprobleme im Blockchain-Bereich, während DeFi wächst
- Die Zukunft der Software-Sicherheit und die Rolle von KI
Links, die in dieser Episode erwähnt werden:
- 246 Erkenntnisse aus unseren Smart Contract-Audits: Eine Zusammenfassung für Führungskräfte:
https://bit.ly/2CYivSRDiese Episode wird von Sebastien Couture & Friederike Ernst moderiert. Show-Notizen und Höroptionen:
https://epicenter.tv/346