Wie lange dauert es, bis intelligente Verträge geprüft werden? DeFi

Fast die Hälfte der intelligenten Verträge im Ethereum-Ökosystem ist ungeprüft, was zu einer wachsenden Anzahl von Hacks führt. 

Die Prüfung intelligenter Verträge ist in der Regel der letzte Schritt auf dem Weg zu einem intelligenten Vertrag oder für die DeFi-Anwendung und wird häufig weggelassen. Angesichts der Bedeutung intelligenter Verträge in der DeFi-Welt oder in jeder Blockchain-Anwendung ist die Prüfung intelligenter Verträge ein entscheidender Bestandteil einer Anwendung. 

Unabhängig davon, ob es sich um die finanzielle Revolution, die Tokenisierung von Vermögenswerten oder die Implementierung eines Anwendungsfalls auf einer Blockchain-Plattform handelt, sind intelligente Verträge unerlässlich. Im Wesentlichen sind intelligente Verträge nur einige Codezeilen, die zum Ausführen einer Bedingung verwendet werden. Wenn Sie beispielsweise ein Darlehen aus einer DeFi-Anwendung wie Aave and Compound aufnehmen, indem Sie Sicherheiten stellen und definierte Zinsen für das Darlehen zahlen, werden alle Bedingungen durch eine Reihe intelligenter Verträge definiert. 

In diesem Szenario sind mehrere intelligente Verträge an der Schaffung eines digitalen Ökosystems finanzieller Interaktionen beteiligt. Hier muss erkannt werden, dass diese mehreren intelligenten Verträge voneinander abhängig sind. Ein kleiner Fehler in einer Codezeile eines intelligenten Vertrags kann zu drastischen Ergebnissen führen. 

Es ist ein weit verbreitetes Missverständnis, dass eine intelligente Vertragsprüfung unangemessen viel Zeit in Anspruch nimmt. Dies ist eine verallgemeinerte Ansicht, während in der Realität die für ein intelligentes Vertragsaudit erforderliche Zeit von der Komplexität des Anwendungsfalls und verschiedenen anderen Faktoren abhängt. Das mangelnde Wissen über die Prüfungszeit ist einer der Hauptgründe, warum viele intelligente Verträge ungeprüft bleiben.

Wie lange dauert die Prüfung intelligenter Verträge?

Im Folgenden sind einige zeitliche Möglichkeiten aufgeführt, die ein intelligentes Vertragsaudit in Anspruch nehmen kann:

1. Der häufigste Faktor für ein Audit ist die Projektgröße. Die Komplexität des Projekts spielt ebenfalls eine Rolle, aber die Größe des Projekts wird zum Hauptmerkmal bei der Festlegung der Zeit, die ein Audit in Anspruch nehmen wird.

Im Allgemeinen kann ein einfacher Smart-Vertrag wie ein Token-Vertrag für ERC20-Token einige Tage dauern, was bedeutet, dass die Prüfungszeit für solche Verträge zwischen 24 und 48 Stunden betragen kann. Dies hängt wiederum von der Komplexität des Projekts ab. Wenn ein ERC20 in einem Dapp verwendet wird, kann das Audit fast einen ganzen Monat dauern. 

Eine andere Art von Vertrag ist der Token-Verkaufsvertrag. Diese können als erweiterte ERC20-Verträge mit definierter Tokenomik und erweiterten Funktionen definiert werden. Funktionen wie Abstecken und Tauschen können ebenfalls Teil solcher Verträge sein. Eine vollständige Prüfung solcher Verträge kann ein bis zwei Wochen dauern, verglichen mit einigen Tagen für einen ERC20-Basisvertrag.

2. Wie oben erwähnt, hängt die Zeit für Audits auch von der Komplexität des Projekts ab. Wenn Sie beispielsweise eine dezentrale Börse oder einen dezentralen Geldmarkt wie Aave aufbauen, erfordert die Prüfung einen erfahrenen Prüfer und einen umfangreichen Zeitplan, um sicherzustellen, dass keine Hintertüren vorhanden sind. In einem solchen Fall müssen sogar die Orakel zusammen mit den automatisierten Market Makern und anderen Teilen des Ökosystems geprüft werden.

In einigen Fällen ist es aufgrund der Abhängigkeit eines Protokolls oder intelligenter Verträge von externen Faktoren großen Schwachstellen ausgesetzt, die zu unvorstellbaren Verlusten führen können. 

Daher erfordert eine solche Art von Anwendung ein Audit, das bis zu 1 Monat dauert. 

Andere Projekte, die unter diese Kategorie fallen, sind unter anderem Kredite, Kredite, Insurtech und Derivate. 

3. Arten von Audits spielen auch eine wichtige Rolle bei der Festlegung der erforderlichen Zeit. Wenn Ihr Smart-Vertrag mit den besten Entwicklungsrichtlinien codiert wurde und Sie sich über seine Integrität sicher sind, sollten Sie ein Zwischenaudit wählen. 

Bei einem Zwischenaudit wird einem Projekt ein Experte zugewiesen, der die Struktur überprüft und mögliche Schwachstellen analysiert. Ein Zwischenaudit hilft sicherzustellen, dass das Projekt in die richtige Richtung geht und eine mögliche Sicherheitsanfälligkeit, die die gesamte Struktur der Anwendung zu einem späteren Zeitpunkt ändern könnte, so früh wie möglich erkannt wird. Diese Prüfung dauert in der Regel einen Tag. 

Als nächstes folgt eine vollständige Sicherheitsüberprüfung. Während ein Zwischenaudit durchgeführt werden kann, während der Smart-Vertrag entwickelt wird, kommt nach Abschluss des Antrags ein vollständiges Sicherheitsaudit ins Spiel. Dies ist im Allgemeinen der letzte Schritt, der erforderlich ist, bevor die Anwendung im Hauptnetz bereitgestellt werden kann. Wenn eine Anwendung ohne vollständige Sicherheitsüberprüfung bereitgestellt wird, besteht eine hohe Wahrscheinlichkeit für Mainnet-Fehler und Schwachstellen. Die Zeit für eine vollständige Sicherheitsüberprüfung hängt von der Komplexität des Projekts ab, wie in Punkt 1 erläutert. 

Der Abschluss eines intelligenten Vertragsaudits kann manuell oder automatisch erfolgen. Bei der automatischen Prüfung wird der intelligente Vertragscode anhand verschiedener vordefinierter Funktionen und Testtools getestet. Dies bietet die allgemeine Schwachstellenbewertung für den Smart-Vertrag. Diese Art der Prüfung umfasst jedoch keine eingehende Analyse des Codes und anderer Schwachstellen wie Hintertüren. Hierzu muss ein manuelles Audit durchgeführt werden. Bei manuellen Audits definiert ein Expertenteam einige benutzerdefinierte Testfälle und überprüft verschiedene Aspekte des Codes. 

Das automatische Audit kann bei erc20 / bep20-Verträgen bis zu einem Tag dauern, während die manuellen Audits bei erc3 / bep5-Verträgen normalerweise zwischen 20 und 20 Tagen dauern, während bei komplexen Protokollen der Zeitpunkt des Audits vom Code abhängt. Wenden Sie sich an die Experten von QuillAudits, um eine kostenlose Beratung zu erhalten, um eine benutzerdefinierte Prüfung zu erhalten, wie lange die Prüfung für Ihr Protokoll dauern wird und welche Art von Prüfung am besten ist.

Angesichts der erforderlichen Zeit für verschiedene Arten von intelligenten Verträgen und DeFi-Anwendungen gehen viele Menschen mit ihren innovativen Produkten auf den Markt, ohne ein Audit zu erhalten. Der Hauptgrund dafür ist die Begeisterung oder das FOMO einer anderen Person, die ein ähnliches Projekt auf den Markt bringt. Ein weiterer Grund können zusätzliche Kosten sein, die eine Person möglicherweise nicht tragen möchte. 

Die Bedeutung eines intelligenten Vertragsaudits kann jedoch nicht genug betont werden. Nur ein bisschen mehr Zeit und Geld für die Prüfung intelligenter Verträge kann Millionen für die Benutzer einsparen. 

Um einen besseren Überblick über die Notwendigkeit einer intelligenten Vertragsprüfung zu erhalten, werden im Folgenden die wichtigsten DeFi-Hacks aufgeführt, die aufgrund eines einfachen Fehlers aufgetreten sind, bei dem keine Prüfung durchgeführt wurde.

Top DeFi Hacks

• Der DAO-Hack

DAO ist eine dezentrale autonome Organisation, die zum neuen Standard für die Definition des Governance-Modells jeder Anwendung wird. Im Wesentlichen trifft das DAO Entscheidungen für die Anwendung durch intelligente Verträge. Daher spielen intelligente Verträge in einem solchen Umfeld eine entscheidende Rolle. 

In einem solchen Fall, in dem das DAO für die Demokratisierung des Finanzierungsprozesses für den Ethereum-Prozess verantwortlich war, nutzte ein Hacker die Verwundbarkeit der Fallback-Funktion im Smart Contract aus. Mit einem Wiedereintrittsangriff stahl er 3.6 Millionen aus dem Protokoll. 

• Der Paritätsangriff

Parity führte das Konzept mehrerer Signaturen ein, um die Übertragung von Ethern zu authentifizieren. Diesem Prozess wurde durch eine Reihe intelligenter Verträge Rechnung getragen, für die mehr als eine digitale Signatur erforderlich war, um die Ether-Übertragung zu authentifizieren. 

Aufgrund einer nicht ordnungsgemäßen Prüfung konnte ein Hacker die Delegatecall- und Fallback-Funktion des Smart Contract nutzen und bis zu 30 Millionen Dollar in Ethers stehlen.

Zusammenfassung

Die oben genannten Hacks sind nur die Spitze des Eisbergs. Es gab unzählige Hacks im DeFi-Ökosystem. Mit dem Wachstum von DeFi wachsen diese Hacks auch exponentiell. Einer der Hauptgründe für diesen Anstieg sind ungeprüfte intelligente Verträge oder schlecht geprüfte intelligente Verträge. 

Die Prüfung Ihres intelligenten Vertrags gewährleistet nicht dessen Sicherheit, aber es kommt darauf an, ihn von einem erfahrenen und branchenweit anerkannten Team wie dem bei Quillaudits prüfen zu lassen. 

Selbst wenn es einige Zeit und Geld kostet, können Sie Ihre intelligenten Verträge von einem erfahrenen Team prüfen lassen, um ein nachhaltiges Projekt aufzubauen und den Höhepunkt seines Erfolgs zu erreichen.

Erreichen Sie QuillHash

Mit einer Branchenpräsenz von Jahren, QuillHasch hat weltweit Unternehmenslösungen geliefert. QuillHash mit einem Expertenteam ist ein führendes Blockchain-Entwicklungsunternehmen, das verschiedene Branchenlösungen einschließlich DeFi Enterprise anbietet. Wenn Sie Unterstützung bei der Prüfung intelligenter Verträge benötigen, wenden Sie sich bitte an unsere Experten hier!

Folgen Sie QuillHash für weitere Updates

Twitter |  LinkedIn | Facebook

Quelle: https://blog.quillhash.com/2021/04/30/how-long-does-it-take-to-get-smart-contracts-audited-defi/