So überprüfen Sie Smart-Contract-Interaktionen vor der Unterzeichnung

Risiken bei Vertragsinteraktionen verstehen

1. Intelligente Verträge, die auf Ethereum- und EVM-kompatiblen Ketten bereitgestellt werden, führen externe Aufrufe aus, die unbeabsichtigte Zustandsänderungen über mehrere Vertragsadressen hinweg auslösen können.

2. Wiedereintrittsschwachstellen entstehen, wenn ein böswilliger Vertrag wiederholt eine Funktion aufruft, bevor die ursprüngliche Ausführung abgeschlossen ist, wodurch Gelder verschwendet oder die Logik beschädigt wird.

3. Vertragsübergreifende Aufrufe umgehen häufig Sichtbarkeitsmodifikatoren, sodass nicht vertrauenswürdiger Code den internen Speicher manipulieren kann, wenn die Zugriffskontrollen falsch konfiguriert sind.

4. Gasgrenzwerte und Stapeltiefenbeschränkungen können bei verschachtelten Interaktionen zu stillen Fehlern führen, was zu teilweisen Zustandsaktualisierungen ohne Rücksetzsignale führt.

5. Schnittstellenkonflikte zwischen ABI-Definitionen und dem tatsächlichen Bytecode führen zu einer ungültigen Calldata-Kodierung und lösen unerwartet Fallback-Funktionen aus.

Manuelle Überprüfung über Etherscan

1. Suchen Sie den Transaktions-Hash auf Etherscan und navigieren Sie zur Registerkarte „Vertrag“, um den überprüften Quellcode jedes beteiligten Vertrags anzuzeigen.

2. Identifizieren Sie alle externen Funktionsaufrufe mithilfe der Abschnitte „Als Proxy schreiben“ oder „Vertrag lesen“ und verweisen Sie sie auf die öffentliche Schnittstelle des Vertrags.

3. Überprüfen Sie, ob die aufgerufene Funktion das Checks-Effects-Interactions-Muster implementiert, indem Sie bestätigen, dass Statusvariablen aktualisiert werden, bevor ein externer Aufruf erfolgt.

4. Überprüfen Sie die während der Interaktion ausgegebenen Ereignisprotokolle, um zu überprüfen, ob erwartete Zustandsübergänge mit dem dokumentierten Verhalten in den Vertragskommentaren übereinstimmen.

5. Verwenden Sie das Tool „Eingabedaten dekodieren“, um die rohen Aufrufdaten zu rekonstruieren und Parametertypen und -werte mit der Solidity-Funktionssignatur zu vergleichen.

Werkzeuggestützte statische Analyse

1. Führen Sie Slither auf dem kompilierten Bytecode aus, um bekannte Anti-Patterns wie ungeschützte Selbstzerstörung, gefährliche Delegatecall-Nutzung oder fehlende Require-Anweisungen zu erkennen.

2. Laden Sie das Vertragspaar in MythX und konfigurieren Sie es so, dass es mithilfe der symbolischen Ausführung über kombinierte Kontrollflussdiagramme nach Wiedereintrittspfaden zwischen Verträgen sucht.

3. Wenden Sie Securify-Regeln an, um unsichere externe Aufrufe zu kennzeichnen, bei denen Rückgabewerte nicht validiert werden oder bei denen ungeprüfte arithmetische Operationen Zustandsänderungen vorausgehen.

4. Importieren Sie beide Verträge in die Remix-IDE und simulieren Sie die Interaktion mithilfe der JavaScript-VM, um den Gasverbrauch zu beobachten und die Bedingungen in Randfällen umzukehren.

5. Generieren Sie ein formales Modell mithilfe von VeriSolid-Bereitstellungsdiagrammen, um zu validieren, ob Interaktionssequenzen den angegebenen Sicherheitsinvarianten entsprechen.

Überprüfung des Laufzeitverhaltens

1. Stellen Sie mit Tenderly oder Hardhat Network einen lokalen Fork des Mainnets bereit, um den genauen Transaktionskontext einschließlich Saldostatus und Speicherlayouts wiederzugeben.

2. Fügen Sie mit ganache-cli --fork benutzerdefinierte Trace-Hooks ein, um jeden bei vertragsübergreifenden Aufrufen ausgeführten Opcode zu protokollieren und unerwartete Sprünge zu identifizieren.

3. Überwachen Sie Speichersteckplatzänderungen mit eth_getStorageAt vor und nach jedem externen Aufruf, um nicht autorisierte Schreibvorgänge zu erkennen.

4. Erfassen Sie Speicherauszüge bei jedem CALL-Befehl, um zu überprüfen, wie Aufrufdaten aufgebaut sind und ob vertrauliche Parameter in externe Kontexte gelangen.

5. Vergleichen Sie Stack-Traces von erfolgreichen und fehlgeschlagenen Simulationsläufen, um nicht deterministische Verzweigungen zu isolieren, die durch nicht initialisierte Variablen oder nicht initialisierte Zuordnungen verursacht werden.

Häufige Fragen und Antworten

F1: Kann ich Vertragsinteraktionen überprüfen, ohne den Quellcode zu haben? Ja. Bytecode-Disassemblierungstools wie evm-opcodes.com ermöglichen das Reverse Engineering von Funktionsselektoren und Speicherlayoutmustern auch ohne Solidity-Quelle.

F2: Gewährleistet die Überprüfung eines einzelnen Vertrags eine sichere Interaktion mit anderen? Nein. Ein verifizierter Vertrag kann immer noch logische Fehler enthalten, wenn er mit anderen Verträgen zusammengestellt wird, insbesondere wenn seine öffentliche Schnittstelle den veränderlichen Zustand für beliebige Aufrufer offenlegt.

F3: Warum wird bei einigen Transaktionen bei Etherscan die Meldung „Warnung! Bei der Vertragsausführung ist ein Fehler aufgetreten“ angezeigt? Dies weist darauf hin, dass die EVM mitten in der Ausführung aufgrund eines Assertionsfehlers, eines Überlaufs oder einer expliziten Revert-Anweisung zurückgesetzt wurde – oft ausgelöst durch inkompatible Interaktionsannahmen.

F4: Ist es sicher, unbegrenzte Token-Zuteilungen für DeFi-Protokolle zu genehmigen? Nein. Unbegrenzte Genehmigungen gewähren dem Zielvertrag die volle Kontrolle über Ihr Token-Guthaben und ermöglichen einen potenziellen Verlust, wenn seine Logik beeinträchtigt oder falsch konfiguriert ist.