Über den Service
ÜbersetztIch entwickle und verifiziere Smart Contracts für die Tezos Blockchain auf allen Ebenen des Stacks. Michelson ist eine Low-Level-Stack-Sprache, die von der Tezos-virtuellen Maschine tatsächlich ausgeführt wird und für formale Verifikation geeignet ist. Ich schreibe Verträge direkt in Michelson, wenn präzise Kontrolle über Gas-, Speicher- und Stack-Operationen erforderlich ist, und verwende höhere LIGO- und SmartPy-Sprachen, wenn ein schnellerer und lesbarer Weg zum gleichen Bytecode wichtiger ist. Egal von welchem Ende wir starten, ich lese und analysiere das kompilierte Michelson, damit Sie genau wissen, was ins Netzwerk geht.
Was Sie erhalten: einen funktionierenden Vertrag mit einem durchdachten Speicherschema und Einstiegspunkten; korrekt implementierte FA2- und FA1.2-Token-Standards; modulare und Eigenschaftstests; Überprüfung der Gas- und Speicherkosten; einen Bericht mit einer Aufschlüsselung jedes Einstiegspunkts, Fehlerzweigs und Berechtigungsprüfung. Ich teste im Sandbox und auf Ghostnet vor dem Hauptnetzstart und dokumentiere die Ursprungs- und Aktualisierungsschritte, damit Ihr Team ohne mich neu bereitstellen kann.
Ich prüfe auch fertige Verträge: Ich erstelle eine Speicherkarten, verfolge jeden Einstiegspunkt, suche nach Reentrancy, Integer-Überlauf, fehlerhafte Zugriffskontrolle und unsichere externe Aufrufe und stelle eine priorisierte Liste von Ergebnissen mit Lösungen zur Verfügung. Senden Sie mir eine Spezifikation oder aktuellen Code – ich antworte mit dem Arbeitsumfang, einem Festpreis und einem Zeitplan.
Was Sie erhalten: einen funktionierenden Vertrag mit einem durchdachten Speicherschema und Einstiegspunkten; korrekt implementierte FA2- und FA1.2-Token-Standards; modulare und Eigenschaftstests; Überprüfung der Gas- und Speicherkosten; einen Bericht mit einer Aufschlüsselung jedes Einstiegspunkts, Fehlerzweigs und Berechtigungsprüfung. Ich teste im Sandbox und auf Ghostnet vor dem Hauptnetzstart und dokumentiere die Ursprungs- und Aktualisierungsschritte, damit Ihr Team ohne mich neu bereitstellen kann.
Ich prüfe auch fertige Verträge: Ich erstelle eine Speicherkarten, verfolge jeden Einstiegspunkt, suche nach Reentrancy, Integer-Überlauf, fehlerhafte Zugriffskontrolle und unsichere externe Aufrufe und stelle eine priorisierte Liste von Ergebnissen mit Lösungen zur Verfügung. Senden Sie mir eine Spezifikation oder aktuellen Code – ich antworte mit dem Arbeitsumfang, einem Festpreis und einem Zeitplan.
