Sicherheits-Checkliste für Smart Contracts
Checkliste für die Entwicklung von Smart Contracts
Hier ist ein übergeordneter Prozess, den wir empfehlen, während Sie Ihre Smart Contracts schreiben.
Prüfen Sie auf bekannte Sicherheitsprobleme:
- Überprüfen Sie Ihre Verträge mit Slither (öffnet in einem neuen Tab). Es verfügt über mehr als 40 integrierte Detektoren für häufige Schwachstellen. Führen Sie es bei jedem Check-in mit neuem Code aus und stellen Sie sicher, dass es einen sauberen Bericht liefert (oder verwenden Sie den Triage-Modus, um bestimmte Probleme stummzuschalten).
- Überprüfen Sie Ihre Verträge mit Crytic (öffnet in einem neuen Tab). Es prüft auf 50 Probleme, die Slither nicht erkennt. Crytic kann Ihrem Team auch dabei helfen, den Überblick zu behalten, indem es Sicherheitsprobleme in Pull Requests auf GitHub leicht sichtbar macht.
Berücksichtigen Sie besondere Merkmale Ihres Vertrags:
- Sind Ihre Verträge aktualisierbar? Überprüfen Sie Ihren Upgrade-Code auf Fehler mit
slither-check-upgradeability(öffnet in einem neuen Tab) oder Crytic (öffnet in einem neuen Tab). Wir haben 17 Wege dokumentiert, wie Upgrades schiefgehen können. - Geben Ihre Verträge vor, ERCs zu entsprechen? Überprüfen Sie sie mit
slither-check-erc(öffnet in einem neuen Tab). Dieses Tool erkennt sofort Abweichungen von sechs gängigen Spezifikationen. - Integrieren Sie Token von Drittanbietern? Lesen Sie unsere Checkliste zur Token-Integration, bevor Sie sich auf externe Verträge verlassen.
Überprüfen Sie kritische Sicherheitsmerkmale Ihres Codes visuell:
- Überprüfen Sie den inheritance-graph (öffnet in einem neuen Tab)-Drucker von Slither. Vermeiden Sie unbeabsichtigtes Shadowing und Probleme mit der C3-Linearisierung.
- Überprüfen Sie den function-summary (öffnet in einem neuen Tab)-Drucker von Slither. Er meldet die Sichtbarkeit von Funktionen und Zugriffskontrollen.
- Überprüfen Sie den vars-and-auth (öffnet in einem neuen Tab)-Drucker von Slither. Er meldet Zugriffskontrollen für Zustandsvariablen.
Dokumentieren Sie kritische Sicherheitseigenschaften und verwenden Sie automatisierte Testgeneratoren, um diese auszuwerten:
- Lernen Sie, Sicherheitseigenschaften für Ihren Code zu dokumentieren. Es ist anfangs schwierig, aber es ist die wichtigste Einzelmaßnahme, um ein gutes Ergebnis zu erzielen. Es ist auch eine Voraussetzung für die Anwendung der fortgeschrittenen Techniken in diesem Tutorial.
- Definieren Sie Sicherheitseigenschaften in Solidity zur Verwendung mit Echidna (öffnet in einem neuen Tab) und Manticore (öffnet in einem neuen Tab). Konzentrieren Sie sich auf Ihre Zustandsmaschine, Zugriffskontrollen, arithmetische Operationen, externe Interaktionen und Standardkonformität.
- Definieren Sie Sicherheitseigenschaften mit der Python-API von Slither. Konzentrieren Sie sich auf Vererbung, Variablenabhängigkeiten, Zugriffskontrollen und andere strukturelle Probleme.
- Führen Sie Ihre Eigenschaftstests bei jedem Commit mit Crytic (öffnet in einem neuen Tab) aus. Crytic kann Sicherheitseigenschaftstests verarbeiten und auswerten, sodass jeder in Ihrem Team auf GitHub leicht sehen kann, dass sie bestanden wurden. Fehlschlagende Tests können Commits blockieren.
Achten Sie schließlich auf Probleme, die automatisierte Tools nicht leicht finden können:
- Mangelnde Privatsphäre: Alle anderen können Ihre Transaktionen sehen, während sie im Pool in der Warteschlange stehen
- Front-Running-Transaktionen
- Kryptografische Operationen
- Riskante Interaktionen mit externen Komponenten der Dezentralisierten Finanzen (DeFi)
Bitten Sie um Hilfe
Die Ethereum-Sprechstunden (öffnet in einem neuen Tab) finden jeden Dienstagnachmittag statt. Diese einstündigen 1-zu-1-Sitzungen bieten die Gelegenheit, uns alle Fragen zum Thema Sicherheit zu stellen, Fehlerbehebungen mit unseren Tools durchzuführen und Feedback von Experten zu Ihrem aktuellen Ansatz zu erhalten. Wir helfen Ihnen dabei, diesen Leitfaden durchzuarbeiten.
Treten Sie unserem Slack bei: Empire Hacking (öffnet in einem neuen Tab). Wir sind bei Fragen jederzeit in den Kanälen #crytic und #ethereum erreichbar.