Intelligente Vertragsprüfung und Wiedereintrittsverhinderung

Einführung

Die Prüfung intelligenter Verträge ist ein entscheidender Prozess in der Blockchain-Branche, um die Sicherheit und Integrität intelligenter Verträge zu gewährleisten. In diesem Kapitel konzentrieren wir uns auf die Prüfung intelligenter Verträge und die Verhinderung von Wiedereintritten, einer der häufigsten Schwachstellen bei der Programmierung intelligenter Verträge.

Wiedereintritt

Beim Wiedereintritt handelt es sich um eine Schwachstelle, die auftritt, wenn ein Smart-Vertrag eine Funktion in einem anderen Vertrag aufruft und der letztere Vertrag eine Funktion im ersten Vertrag aufruft, was zu einem unendlichen Aufrufzyklus führen und den gesamten Gasverbrauch des Vertrags verursachen kann.

Beispiel für Wiedereintritt

„Festigkeit
Pragma-Solidität ^0.8.0;

Vertrag ReentranceVulnerable {
Mapping(address => uint256) öffentliche Guthaben;

Funktion Einzahlung() öffentlich zahlbar {
balances[msg.sender] += msg.value;
}

Funktion Rückzug(uint256 Betrag) öffentlich {
require(balances[msg.sender] >= Betrag, „Unzureichendes Guthaben“);
balances[msg.sender] -= Betrag;
payable(msg.sender).transfer(amount);
}
}
„
Wenn in diesem Beispiel ein Angreifer die Funktion „Abheben“ mit einem Betrag aufruft, der größer als sein Guthaben ist, wird der Vertrag erneut abgeschlossen und verbraucht das gesamte verfügbare Gas.

Wiedereintrittsverhinderung

Es gibt mehrere Möglichkeiten, den Wiedereintritt in Smart Contracts zu verhindern:

1. Verwendung von „call.value()“ anstelle von „transfer()“.

Anstatt „transfer()“ zu verwenden, was zu einem erneuten Eintritt führen kann, sollten Sie „call.value()“ verwenden, um Geld auf ein anderes Konto zu senden.
„Festigkeit
Pragma-Solidität ^0.8.0;

Vertrag ReentrancySafe {
Mapping(address => uint256) öffentliche Guthaben;

Funktion Einzahlung() öffentlich zahlbar {
balances[msg.sender] += msg.value;
}

Funktion Rückzug(uint256 Betrag) öffentlich {
require(balances[msg.sender] >= Betrag, „Unzureichendes Guthaben“);
balances[msg.sender] -= Betrag;
(bool sent, ) = payable(msg.sender).call{value: amount}("");
require(sent, „Ether konnte nicht gesendet werden“);
}
}
„

2. Verwenden Sie „require“, um den Kontostand zu überprüfen, bevor Sie die Transaktion durchführen

Vor Durchführung der Transaktion muss überprüft werden, ob das Guthaben des Benutzers ausreicht.
„Festigkeit
Pragma-Solidität ^0.8.0;

Vertrag ReentrancySafe {
Mapping(address => uint256) öffentliche Guthaben;

Funktion Einzahlung() öffentlich zahlbar {
balances[msg.sender] += msg.value;
}

Funktion Rückzug(uint256 Betrag) öffentlich {
require(balances[msg.sender] >= Betrag, „Unzureichendes Guthaben“);
balances[msg.sender] -= Betrag;
payable(msg.sender).transfer(amount);
}
}
„

3. Verwenden Sie „Zurücksetzen“, um die Transaktion abzubrechen, falls nicht genügend Guthaben vorhanden ist

„revert“ muss verwendet werden, um die Transaktion abzubrechen, falls nicht genügend Mittel vorhanden sind.
„Festigkeit
Pragma-Solidität ^0.8.0;

Vertrag ReentrancySafe {
Mapping(address => uint256) öffentliche Guthaben;

Funktion Einzahlung() öffentlich zahlbar {
balances[msg.sender] += msg.value;
}

Funktion Rückzug(uint256 Betrag) öffentlich {
require(balances[msg.sender] >= Betrag, „Unzureichendes Guthaben“);
balances[msg.sender] -= Betrag;
payable(msg.sender).transfer(amount);
}
}
„

Smart Contracts-Prüfung

Bei der Prüfung intelligenter Verträge handelt es sich um einen Prozess, bei dem der Vertragscode überprüft wird, um Schwachstellen zu identifizieren und seine Sicherheit und Integrität sicherzustellen. Zu den Tools und Techniken, die bei der Smart Contracts-Prüfung verwendet werden, gehören:

1. Statische Analyse

Bei der statischen Analyse wird der Vertragscode überprüft, ohne ihn auszuführen. Es wird verwendet, um Fehler und Schwachstellen im Code zu identifizieren.
„Festigkeit
Pragma-Solidität ^0.8.0;

Vertrag StaticAudit {
FunktionanalysierenCode() public pure {
// Überprüfen Sie den Vertragscode
}
}
„

2. Dynamische Analyse

Bei der dynamischen Analyse geht es um die Ausführung des Vertrags und die Beobachtung seines Verhaltens. Sie dient der Identifizierung von Fehlern und Schwachstellen bei der Vertragsabwicklung.
„Festigkeit
Pragma-Solidität ^0.8.0;

ContractDynamicAudit {
Funktion „analysateBehavior()“ public {
// Führen Sie den Vertrag aus und beobachten Sie sein Verhalten
}
}
„

3. Unit-Tests

Bei Unit-Tests werden Tests für jede Funktion im Vertrag geschrieben, um sicherzustellen, dass sie ordnungsgemäß funktioniert.
„Festigkeit
Pragma-Solidität ^0.8.0;

Vertrag UnitTests {
Funktion testDeposit() public {
// Testen Sie die Einzahlungsfunktion
}

Funktion testWithdraw() public {
// Testen Sie die Auszahlungsfunktion
}
}
„

Fazit

Die Prüfung intelligenter Verträge und die Verhinderung des Wiedereintritts sind entscheidende Prozesse in der Blockchain-Branche, um die Sicherheit und Integrität intelligenter Verträge zu gewährleisten. Durch den Einsatz von Tools und Techniken wie statischer Analyse, dynamischer Analyse und Unit-Tests können Sie Schwachstellen in Smart Contracts identifizieren und verhindern.