Solidity Smart Contract Audit Service

Von superadmin, 16. September 2023

Audit of Solidity Smart Contracts by Alef Invest

Willkommen bei unserem Solidity Smart Contract Audit Service

Dieses Dokument bietet einen Überblick über unseren Solidity Smart Contract Audit Service, der exklusiv von Alef Invest angeboten wird. Wir sind verpflichtet, die Sicherheit und Zuverlässigkeit Ihrer Smart Contracts zu gewährleisten.

Service Details:

Die Kosten für die Überprüfung Ihres Solidity Smart Contracts mit unserer Methodik betragen 1.500 US-Dollar für bis zu 200 Zeilen Code, ordnungsgemäß formatiert mit Prettier. Die Mindestvertragsgröße, die für die Überprüfung in Frage kommt, beträgt 100 Zeilen. Wir berechnen die Kosten in US-Dollar zu einem Wechselkurs von 40 UAH pro Dollar. Unser Service umfasst maximal drei Iterationen von Analyse, Feedback und erneuter Analyse. Das endgültige Ergebnis ist ein umfassender Prüfbericht.

Verantwortlichkeiten des Kunden:

Bevor Sie Ihren Smart Contract zur Überprüfung einreichen, stellen Sie bitte sicher, dass Folgendes erledigt ist:

Erstellen Sie Unterlagen für Ihren Smart Contract, einschließlich einer technischen Spezifikation, die den Zweck des Vertrags beschreibt, und einer technischen Beschreibung, die die Funktionalität jeder Funktion und die Rollen der Benutzer erklärt (z. B. Eigentümer, Administrator, normale Benutzer).
Erstellen Sie Unit-Tests für Ihren Smart Contract mit Hardhat und stellen Sie uns die Testdateien zur Verfügung.
Stellen Sie sicher, dass der Code Ihres Vertrags zu 100% von Tests abgedeckt ist.

Unser Prüfprozess:

Unser Prüfprozess besteht aus mehreren Phasen:

Erstprüfung des Codes und Überprüfung auf offensichtliche Probleme. Ihr Vertrag kann in diesem Stadium mit kurzen Kommentaren zur Überarbeitung zurückgegeben werden.
Durchführung von Unit-Tests zur Bestätigung der Übereinstimmung mit der technischen Beschreibung Ihres Vertrags sowie Erstellung eines vorläufigen Berichts. Wenn Probleme identifiziert werden, kann Ihr Vertrag zusammen mit dem vorläufigen Bericht an die Entwickler zurückgegeben werden.
Automatisches Scannen des Codes mithilfe von Tools wie Slither, Mythril, Solgraph und Echidna.
Manuelle Überprüfung des Codes auf Einhaltung der Sicherheitsanforderungen, einschließlich der Ethereum Security Specification.
Erstellung eines endgültigen Berichts mit Detailangaben zu identifizierten Schwachstellen, einschließlich solcher, die in der SWC-100 und zusätzlichen Kategorien aufgeführt sind, nach Schweregrad geordnet.

Loslegen:

Wenn Sie unsere Methodik zur Prüfung von Soliditäts-Smart-Contracts ansprechend finden, würden wir uns freuen, mit Ihnen zusammenzuarbeiten! Bitte teilen Sie uns Ihre Bankverbindung mit, damit wir mit der Vertragsunterzeichnung fortfahren können. Darüber hinaus würden wir gerne mehr über Ihren Smart Contract erfahren. Könnten Sie uns bitte einige Details mitteilen?