Was nicht auf Wikipedia steht: Den Wert einer intelligenten Vertragsprüfung maximieren

Neuauflage von Plato

Verfolger: 0

Eines schönen Tages hatten Sie eine bahnbrechende Idee, ein DeFi-Projekt aufzubauen. Sie haben das Projekt erfolgreich entwickelt und um es vor externen Bedrohungen zu schützen, haben Sie es prüfen lassen. Dennoch quält Sie Tag für Tag der Zweifel, ob die durchgeführte Prüfung den Anforderungen entsprach oder nicht!

Unabhängig davon, ob Sie ein Unternehmen sind, das das DeFi-Projekt besitzt (oder ein Smart-Contract-Prüfer), bleibt bei der Prüfung des Smart Contracts ein gewisser Mehrwert bestehen.

In den kommenden Abschnitten stellen wir Ihnen verschiedene Aspekte der Smart Contract-Prüfung vor, die nicht nur den Wert Ihres Smart Contracts steigern, sondern ihn auch sicherer machen können.

Bildquelle: Dzone

Es gibt einen sehr geringen Unterschied zwischen regulärer Code-Prüfung und intelligenter Vertragsprüfung. Letztere ähnelt der erstgenannten Code-Prüfung vor der Bereitstellung in der öffentlichen Cloud.

Im Folgenden sind einige der Schritte aufgeführt, deren Integration den Wert Ihrer Prüfung exponentiell steigern kann:

Tipps zur exponentiellen Steigerung des Werts Ihrer Smart-Contract-Prüfung:

Stellen Sie eine ordnungsgemäße Dokumentation bereit

Denken Sie daran: „Überlassen Sie den Auditoren nichts, was sie annehmen können!“. Verschaffen Sie sich ein tiefes Verständnis Ihres Projekts, bevor Sie mit dem Audit beginnen.

Einige spezifische Problembereiche umfassen spezifische Designentscheidungen, Überlegungen und Kompromisse.

Das beste Format zur Übermittlung dieser Informationen ist einfaches Englisch, das die Funktionalität sowohl auf hoher als auch auf niedriger Ebene erklärt. Ethereums EIPs und Synthetix’s SIP sind gute Beispiele für diese Art der Dokumentation.

Konsistenz bewahren

Versuchen Sie, eine Konsistenz der Variablen- und Funktionsnamen aufrechtzuerhalten, die die Absicht des Codes interpretiert. Verwenden Sie bei Bedarf die richtigen Kommentare, um komplexe Teile des Codes zu dokumentieren. Es ist auch wichtig, sich von unerwünschten Kommentaren fernzuhalten, da diese die Länge des Dokuments unnötig verlängern können.

Kommunikationskanal

Kanalisieren Sie einen geeigneten Weg für den Informationsaustausch zwischen Prüfern und Ihrem Team. Bieten Sie den Auditoren vor Beginn des Audits eine kurze Einweisung in den Kodex, pflegen Sie außerdem einen offenen Kanal und reagieren Sie im Verlauf des Audits schnell.

Testen Sie Ihren Code

Stellen Sie sicher, dass der Code vor der Prüfung vollständig getestet und kompiliert wird. Dies wird Prüfern helfen, sich stärker auf verschiedene andere Sicherheitsbereiche des Codes zu konzentrieren.

Obwohl wir bei QuillAudits Stellen Sie sicher, dass Sie einen ersten Bericht mit den Bugs/Fehlern im Code bereitstellen. Auch hier sollte Ihr Hauptaugenmerk darauf liegen, diese Art kleiner Fehler zu entschärfen, damit wir uns mehr auf das kontroverse Verhalten des Codes konzentrieren können.

Berücksichtigen Sie die Grenzen und Stärken

Die Prüfer sind mit Ihrem Code nicht sehr gut vertraut und es handelt sich auch nicht um einen Testdienst zur Beseitigung aller Fehler.

Prüfer haben keine Ahnung von den mathematischen Berechnungen im Backend, wenn sie ihnen nicht klar mitgeteilt werden. Bei mehrmaliger menschlicher Inspektion können Fehler (z. B. Nichtübereinstimmungen von Einheiten) übersehen werden, die von einem einfachen Testfall erkannt werden könnten.

Auditing ist eine unschlagbare Möglichkeit, Probleme auf Systemebene wie böswillige Manipulationen oder Interaktionen zwischen verschiedenen Protokollen zu identifizieren.

Ergänzen Sie Ihr Audit mit Auditing-Tools

Eine umfassende Prüfung umfasst Tests sowie Dokumentationen und Anwendungsfälle, die auf dem Benutzerverhalten basieren. Aber wie im letzten Punkt haben wir gesehen, dass die Möglichkeit menschlicher Fehler besteht. Um diese einmal zu mildern, sollten daher Praktiken der verhaltensgesteuerten Entwicklung (BDD) befolgt werden.

Hier sind wir QuillAudits Befolgen Sie die Best Practices für die Verwendung einiger interner und Open-Source-Testtools wie:

Schlittern
Mythril und Mythx
Surya
Trüffel und Ganache
Echidna & Scribble (manchmal, um Randfälle bei Eigenschaftstests zu finden)

Notwendige Prüfungen zur Sicherstellung mit Smart Contract Audits

Hier sind einige der Schritte, die unbedingt in Ihren Smart-Contract-Audit-Prozess integriert werden müssen:

Korrekte Sichtbarkeit der Funktionen
Verhindern Sie Überlauf und Unterlauf
Datenspeicher
Prüfen Sie auf Wiedereintritt und stellen Sie sicher, dass der Zustand vor dem externen Aufruf festgeschrieben wird.
Sparen Sie Benzin mit intelligenten Verträgen.
Compiler-Warnungen

Final Word

Wenn Sie bis hierher bei uns waren, herzlichen Glückwunsch! Jetzt sind Sie bereit, die Sicherheit Ihres Smart Contracts auf die nächste Stufe zu heben.

Die oben genannten Prozesse und Schritte sind eine große Hilfe, um die Qualität von Smart Contracts sowohl in Bezug auf Sicherheit als auch Funktionalität zu verbessern. Bei QuillAudits, unser Team aus erfahrenen Smart-Contract-Entwicklern, berücksichtigt alle oben genannten Schritte, um unseren Kunden und Partnern einen Vorteil zu verschaffen. Kontaktieren Sie uns! Bauen Sie mit uns Vertrauen in Ihre DeFi-Plattform auf, indem Sie die Sicherheit intelligenter Verträge optimal nutzen.

Wenden Sie sich an QuillAudits

QuillAudits bietet effiziente Smart Contract Audits. Wenn Sie Unterstützung bei der Prüfung von Smart Contracts benötigen, können Sie sich gerne an unsere Experten wenden hier!

Folgen Sie QuillAudits für weitere Updates

Twitter | LinkedIn | Facebook

Quelle: https://blog.quillhash.com/2021/07/30/whats-not-on-wikipedia-maximizing-the-value-of-a-smart-contract-audit/

Zeitstempel: 30. Juli 2021