Ein Leitfaden zum Schreiben Ihres ersten Smart Contracts in Vyper

Die Designphilosophie von Vyper verstehen

1. Vyper priorisiert Sicherheit und Überprüfbarkeit gegenüber Funktionsreichtum und verzichtet bewusst auf komplexe Konstrukte wie Vererbung und rekursive Aufrufe.

2. Die Sprache erzwingt explizite Sichtbarkeitsdeklarationen für alle Funktionen und Zustandsvariablen und reduziert so Unklarheiten bei der Vertragsprüfung.

3. Es verwendet eine Python-ähnliche Syntax, wird jedoch ohne Zwischenabstraktionen direkt in EVM-Bytecode kompiliert, wodurch die Angriffsfläche minimiert wird.

4. Ganzzahliger Überlauf- und Unterlaufschutz ist integriert – es sind keine manuellen SafeMath-Muster erforderlich.

5. Alle externen Aufrufe werden mit dem @external- Dekorator markiert, wodurch Interaktionsgrenzen sofort im Quellcode sichtbar werden.

Einrichten der Entwicklungsumgebung

1. Installieren Sie Python 3.9+ und pip und führen Sie dann pip install vyper aus, um den offiziellen Compiler zu erhalten.

2. Verwenden Sie VS Code mit der Vyper-Erweiterung für Syntaxhervorhebung und grundlegende Linting-Unterstützung.

3. Konfigurieren Sie einen lokalen Testnet-Knoten über Anvil oder verwenden Sie den Anvil -Befehl von Foundry, um die Ausführung von Ethereum zu simulieren.

4. Integration mit Pytest für Unit-Tests – Vyper-Verträge stellen ABI-kompatible Schnittstellen bereit, die Pytest direkt aufrufen kann.

5. Speichern Sie kompilierten Bytecode und ABI in separaten JSON-Dateien, nachdem Sie vyper -f json my_contract.vy ausgeführt haben.

Einen Minimal-Token-Vertrag schreiben

1. Deklarieren Sie Speichervariablen mit öffentlichen oder privaten Modifikatoren, z. B. balance_of: public(HashMap[address, uint256]) .

2. Definieren Sie den Konstruktor mit @external und initialisieren Sie das Gesamtangebot und den Eigentümersaldo in einem Atomblock.

3. Implementieren Sie die Übertragungslogik mit strengen Prüfungen: ausreichendes Absenderguthaben, Empfängeradresse ungleich Null und Ereignisemission mithilfe von log Transfer(...) .

4. Verwenden Sie Assert- Anweisungen anstelle von Revert-Strings, um Invarianten zu erzwingen – Vyper unterstützt keine benutzerdefinierten Fehlermeldungen.

5. Vermeiden Sie Schleifen mit unbegrenzter Iteration; Nur Arrays fester Länge und begrenzte For-Schleifen sind zulässig, um eine Gaserschöpfung zu verhindern.

Kompilieren und Bereitstellen im Testnet

1. Kompilieren Sie mit vyper -f kombiniert_json my_contract.vy, um sowohl Bytecode als auch ABI in einer Ausgabe zu generieren.

2. Verwenden Sie web3.py, um eine Verbindung zu einem RPC-Endpunkt herzustellen, ein Vertragsobjekt zu instanziieren und Bereitstellungstransaktionen mit einem privaten Schlüssel zu signieren.

3. Überprüfen Sie die Gasschätzung vor der Einreichung – die deterministische Kompilierung von Vyper ermöglicht eine genaue Vorhersage der Gaskosten vor der Bereitstellung.

4. Bestätigen Sie die Bereitstellung, indem Sie die Vertragsadresse im Etherscan-Testnet-Explorer abfragen und ausgegebene Ereignisse überprüfen.

5. Interagieren Sie über web3.eth.contract()-Methoden und stellen Sie sicher, dass alle Argumente mit den erwarteten Typen übereinstimmen, die in der Vyper-Quelle definiert sind.

Häufig gestellte Fragen

F: Unterstützt Vyper Gleitkomma-Arithmetik? A: Nein. Vyper enthält keine nativen Gleitkommatypen. Festkomma-Mathematik muss manuell mithilfe ganzzahliger Skalierungsfaktoren implementiert werden.

F: Kann ich innerhalb meines Vertrags einen anderen Vyper-Vertrag aufrufen? A: Ja, aber nur, wenn die Schnittstelle des Zielvertrags explizit mithilfe von Schnittstellenblöcken deklariert wird und der Aufruf über eine typisierte Variable erfolgt.

F: Wie werden Strukturen in Vyper gehandhabt? A: Strukturen werden als benannte Gruppierungen von Feldern unterstützt, sie können jedoch nicht verschachtelt oder als Zuordnungsschlüssel verwendet werden. Sie müssen global mit dem Schlüsselwort struct deklariert werden.

F: Gibt es eine Standardmethode für den Umgang mit zeitbasierter Logik in Vyper? A: Ja. Verwenden Sie block.timestamp direkt – es ist als globale Konstante zugänglich und verhält sich identisch mit der Solidity-Version.