Ich überprüfe und auditierte deine Smart Contracts
Smart Contract und Web3 Entwickler, Solidity, dApps, Wallet Integration
Über diesen Service
Du startest einen Smart Contract und brauchst eine sicherheitsorientierte Prüfung, der du vertrauen kannst? Ich bin hier, um zu helfen!
Ich bin ein erfahrener Solidity Smart Contract Auditor mit starkem Fokus auf automatisiertes Testen, formale Verifikation und tiefgehende Sicherheitsanalyse mit branchenüblichen Tools.
Was ich anbiete:
- Fuzz Testing & Invariant Testing mit Foundry
- Formale Verifikation mit Certora Prover
- Statische Analyse mit Slither und Aderyn
- Manuelle Überprüfung von Logik, Mathematik, Modifikatoren, Zugriffskontrolle und Edge Cases
- Gas-Optimierung und Best-Practice-Checks
- Sicherheitsüberprüfung für upgradebare Verträge
- Umfassende und klare Prüfberichte
Tools & Technologien:
- Foundry (forge, fuzzing, invariants, cheatcodes)
- Certora Prover (formale Spezifikationen und Assertions)
- Slither (statische Analyse)
- Aderyn (semantischer Diff & Regression-Checks)
- Solidity, EVM, OpenZeppelin Bibliotheken
- Auf Foundry basierende Projekte
Was du bekommst:
- Eine vollständige Sicherheitsprüfung deiner Smart Contracts
- PDF-Bericht mit Schwachstellen, Schweregrad und Empfehlungen
- Fix-Validierung & optionale Re-Audit (bei Standard- & Premium-Paketen)
- Einblicke in Gasverbrauch & Optimierungsvorschläge
Schreib mir, um dein Projekt zu besprechen und ein individuelles Angebot zu erhalten, das auf deine Bedürfnisse zugeschnitten ist.
Tools:
MythX
•
Slither
•
Etherscan
Bewahre deine Assets und Informationen sicher auf
Dienstleistungen im Bereich Kryptowährung konzentrieren sich ausschließlich auf die Entwicklung und Programmierung. Teile niemals vertrauliche Informationen oder private Schlüssel mit anderen.
Mein Portfolio
Meine weiteren Dienstleistungen im Bereich Blockchain-Entwicklung & -Lösungen
FAQ
Automatische Übersetzung
Welche Unterlagen muss ich zur Prüfung vorlegen?
Github-Repository mit entsprechender Readme. Der Code sollte den natspec-Standards entsprechen.
Was ist im Analysebericht enthalten?
Der Bericht enthält identifizierte Schwachstellen, deren Schweregrad (niedrig/mittel/hoch/kritisch), Vorschläge zur Behebung, Gas-Optimierungstipps und relevante Testnachweise (für Fuzz-/formale Ergebnisse).
Bietest du Nachprüfungen an, nachdem ich die Fixes angewendet habe?
Ja! Alle Standard- und Premium-Pakete beinhalten eine kostenlose Nachprüfung nach der Umsetzung der Fixes. Ich überprüfe die Änderungen und aktualisiere den Bericht entsprechend.

