Smart-Contract-
Prüfung.
Für kleine Solidity-Projekte: eine feste Codefassung prüfen, Befunde belegen und Grenzen klar benennen.
Kleine Solidity-Projekte vor dem Start.
Für wen und was nötig ist.
Pontark prüft kleine EVM- und Solidity-Projekte, etwa von Web3-Teams, Solidity-Freelancern, Studios und Token-Projekten vor dem Start.
Vorausgesetzt werden verfügbarer Quellcode, ein fester Commit-Stand, ein baubares Projekt und ein zuvor begrenzter, vereinbarter Umfang.
Ein festgelegter Stand. Klar dokumentierte Befunde.
Zunächst werden Umfang und Commit festgelegt. Danach folgen ein reproduzierbarer Build, statische Analyse, automatisierte Tests sowie Fuzz- und Invariant-Tests. Länger laufende Tests und die Prüfung von Rechten und Berechtigungen beim Deployment ergänzen den Ablauf.
Ein Befund kommt nur in den Bericht, wenn ein reproduzierbarer Test ihn belegt. Nach Korrekturen kann eine getrennte Nachprüfung stattfinden.
Was im Bericht steht.
- Prüfumfang
- Commit-Hash
- Methoden und Werkzeuge
- Befunde und Schweregrad
- Beleg je Befund
- Nicht geprüfte Bereiche
- Verbleibende Risiken
- Berichtsnummer
Die Grenzen gehören dazu.
Die Prüfung ist für kleinere Projekte angelegt, nicht für Bridges, ZK-Systeme, L1- oder L2-Kerne oder Verwahrsysteme.
Sie schließt nicht alle Fehler oder Sicherheitsrisiken aus, ist keine formale Verifikation und kein Rechtsgutachten. Sie enthält auch keine Zusage für die Aufnahme bei einer Börse oder einem Launchpad.
Gefundene Mängel behebt Pontark nicht im selben Auftrag. Nach Korrekturen kann eine gesonderte Nachprüfung vereinbart werden.
Fragen zu diesem Bereich?
info@pontark.com