Wir prüfen Code, Berechtigungen und Wirtschaftslogik Ihrer Smart Contracts, mit eigenen Tests, einem Bericht nach Schweregrad und der Verifizierung jeder Korrektur.
Es prüft Code, Berechtigungen und Wirtschaftslogik Ihrer Smart Contracts, bevor diese Werte verwahren. Es kombiniert manuelle Prüfung Zeile für Zeile, Fuzzing und statische Analyse und mündet in einen Bericht, in dem jeder Befund nach Schweregrad klassifiziert ist. Ein Audit reduziert das Risiko, beseitigt es aber nicht; deshalb verifizieren wir auch jede Korrektur.
905 Mio. $
2025 durch Fehler in Smart Contracts verloren
122
Vorfälle bei Smart Contracts im Jahr 2025
+953 Mio. $
2024 durch Berechtigungsfehler verloren
Jeder Baustein hinterlässt einen Nachweis, den Ihr Team, ein Anleger oder eine Aufsichtsbehörde später prüfen kann: was untersucht wurde, was gefunden wurde und wie es gelöst wurde.
Wir legen Smart Contracts, Commit und Annahmen vor Beginn fest, damit der Bericht reproduzierbar ist.
Zeilenweise Durchsicht der Logik, der Berechtigungen und jedes Ablaufs, der in Ihren Smart Contracts Werte bewegt.
Eigenschaften, die immer gelten müssen, mit Foundry gegen Tausende zufälliger Eingaben getestet.
Slither prüft auf bekannte Schwachstellenmuster; jede Warnung wird vor der Meldung manuell kontrolliert.
Jeder Befund mit Schweregrad, Auswirkung, einem Proof of Concept und der von uns vorgeschlagenen Korrektur.
Wir prüfen jede Änderung und aktualisieren den Bericht mit dem Endstatus aller Befunde.
Die drei Methoden werden kombiniert. Die manuelle Prüfung findet Logik- und Designfehler, Tools decken das Wiederholbare bei jeder Änderung ab, und die formale Verifikation beweist konkrete Eigenschaften, wenn der gefährdete Wert es rechtfertigt.
| Kriterium | Manuelle Prüfung | Automatische Tools | Formale Verifikation |
|---|---|---|---|
| Was erkannt wird | Logik- und Berechtigungsfehler sowie Fehler im ökonomischen Design. | Bekannte Muster und vom Fuzzing erzeugte Grenzfälle. | Jede Verletzung der spezifizierten Eigenschaften. |
| Wichtigste Einschränkung | Hängt von Erfahrung und Zeit des Prüfers ab. | False Positives und kein Verständnis der Geschäftslogik. | Beweist nur das Spezifizierte. Eine fehlerhafte Spezifikation geht durch. |
| Relativer Aufwand | Mittel bis hoch. Wächst mit Code und Komplexität. | Niedrig. Läuft bei jeder Änderung in der Continuous Integration. | Am höchsten. Erfordert die Formalisierung jeder Eigenschaft. |
| Typischer Einsatz | Jeder Smart Contract, der Gelder Dritter verwahren soll. | Die laufende Basis jedes Projekts, vorher und nachher. | Kritische Kernkomponenten wie Vaults, Bridges oder Stablecoins. |
Ein Audit beschreibt, was in einem konkreten Commit geprüft wurde. Ändert sich der Code danach, braucht die Änderung eine eigene Prüfung.
Vier Phasen mit jeweils eigenem Ergebnis. Der Umfang wird festgelegt, bevor eine Zeile gelesen wird, und der Bericht gilt erst als abgeschlossen, wenn die Korrekturen geprüft sind.
Wir legen Commit, Smart Contracts und Akteure fest und dokumentieren, was in jedem Ablauf schiefgehen könnte.
Wir lesen jede Funktion gegen die Spezifikation und dokumentieren die Befunde mit ihrem Proof of Concept.
Fuzzing und Invarianten mit Foundry sowie statische Analyse mit Slither, um zu erfassen, was die manuelle Durchsicht nicht abdeckt.
Wir liefern den Bericht nach Schweregrad, verifizieren jede Korrektur und bereiten den Code bei Bedarf auf ein externes Audit vor.
Dieselben Sprachen und Test-Frameworks, in denen die Smart Contracts geschrieben sind, damit sich jeder Befund am tatsächlichen Code reproduzieren lässt.
Sprache für Smart Contracts mit verifizierbaren Regeln für EVM-Netzwerke.
Minimalistische Alternative zu Solidity mit Fokus auf Prüfbarkeit.
Tests in Solidity, Invarianten-Fuzzing und EVM-Kommandozeilenwerkzeuge.
Umgebung zum Kompilieren, Testen und Deployen von Contracts in EVM-Netzwerken aus Node heraus.
Auditierte Solidity-Contracts für Token, Zugriffskontrolle und Upgrades.
EVM-Contracts, Token und finale Abwicklung in einem offenen Proof-of-Stake-Netzwerk.
Ein Audit ist sinnvoll, bevor ein Smart Contract Gelder Dritter verwahrt, und jedes Mal, wenn sich seine Logik ändert.
Smart Contracts für Emission, Kupons und Tilgung, geprüft, bevor der erste Anleger zeichnet.
Blockchain für Banken und Finanzen
Übertragungsbeschränkungen und Listen verifizierter Anleger, geprüft vor der Emission.
Blockchain für Immobilien
Token und NFT, so geprüft, dass niemand mehr mintet oder abhebt, als die Spiellogik zulässt.
Blockchain für Gaming und Entertainment
Stilllegung von CO₂-Zertifikaten ohne Doppelzählung, jede Burn-Transaktion on-chain rückverfolgbar.
Blockchain für Energie und Nachhaltigkeit“Metlabs hat uns durch den gesamten Tokenisierungsprozess begleitet, von der Strategie und der Strukturierung des Vermögenswerts bis zur Technologie und zum Design unserer Plattform. Sie verbinden Geschäft, Regulierung und Technik und sind sehr nahbar. Wir werden weiter mit ihnen arbeiten.”
“Die Zusammenarbeit mit Metlabs im Web3-Bereich ist uns eine echte Freude. Bei Hacken arbeiten wir regelmäßig mit Entwicklungsagenturen zusammen, und das Team von Metlabs hebt sich immer wieder durch klare Kommunikation, schnelle Reaktionszeiten und ausgeprägte Professionalität ab. Die Kundenbeziehung managen sie mühelos, und das administrative Onboarding läuft absolut reibungslos. Ein äußerst zuverlässiger, proaktiver Technologiepartner, mit dem wir sehr gerne zusammenarbeiten.”
“Eines der Pionierunternehmen für Web3-Lösungen, digitale Vermögenswerte und Tokenisierung, anerkannt für seine Innovationskraft und seinen soliden Ruf in Spanien und Lateinamerika.”
“Wir haben mit ihnen die Tokenisierung von Immobilienprojekten strukturiert. Besonders hervorheben möchte ich die Fähigkeit des Teams, unsere unternehmerischen Anforderungen zu verstehen und umzusetzen.”
“Sie haben uns zur Machbarkeit der Tokenisierung von Immobilien in Uruguay beraten, freundlich und direkt. Ein professionelles Team, schnell und immer erreichbar.”
“Hervorragende Profis in der Strukturierung tokenisierter Projekte, mit technischer Kompetenz und Liebe zum Detail, die in jeder Phase der Arbeit volles Vertrauen schaffen.”
“Als Blockchain-Anwältin schätze ich ihre Erfahrung und Professionalität in der Beratung und Umsetzung von Tokenisierungsprojekten. Technologiepartner, denen man voll vertrauen kann.”
“Hervorragende Profis, sehr aufmerksam gegenüber ihren Kunden und stets auf jedes Detail bedacht. Die Zusammenarbeit mit ihrem Team war von Anfang bis Ende eine echte Freude.”
“Ein sehr professionelles und zugleich zugängliches Unternehmen, das auf Ihre Fragen und Bedürfnisse eingeht. Sehr empfehlenswert für Gründer mit einem Tokenisierungsprojekt.”
“In jeder Hinsicht herausragend. Aus rechtlicher Sicht schätze ich ihre Sorgfalt und Transparenz: Mit Metlabs zu arbeiten steht für Professionalität, Innovation und Sicherheit.”
“Exzellenter Service in den Bereichen Blockchain-Entwicklung, Tokenisierung von Vermögenswerten und Beratung. Ein sehr professionelles Team, das ich uneingeschränkt und ohne Vorbehalt empfehle.”
“Ich habe mit ihnen an mehreren Projekten gearbeitet und sie sind sehr professionell. Eine Garantie dafür, dass alles rundläuft. Ohne jeden Zweifel zu 100 % empfehlenswert.”
“Metlabs hat uns durch den gesamten Tokenisierungsprozess begleitet, von der Strategie und der Strukturierung des Vermögenswerts bis zur Technologie und zum Design unserer Plattform. Sie verbinden Geschäft, Regulierung und Technik und sind sehr nahbar. Wir werden weiter mit ihnen arbeiten.”
“Wir haben mit ihnen die Tokenisierung von Immobilienprojekten strukturiert. Besonders hervorheben möchte ich die Fähigkeit des Teams, unsere unternehmerischen Anforderungen zu verstehen und umzusetzen.”
“Als Blockchain-Anwältin schätze ich ihre Erfahrung und Professionalität in der Beratung und Umsetzung von Tokenisierungsprojekten. Technologiepartner, denen man voll vertrauen kann.”
“In jeder Hinsicht herausragend. Aus rechtlicher Sicht schätze ich ihre Sorgfalt und Transparenz: Mit Metlabs zu arbeiten steht für Professionalität, Innovation und Sicherheit.”
“Die Zusammenarbeit mit Metlabs im Web3-Bereich ist uns eine echte Freude. Bei Hacken arbeiten wir regelmäßig mit Entwicklungsagenturen zusammen, und das Team von Metlabs hebt sich immer wieder durch klare Kommunikation, schnelle Reaktionszeiten und ausgeprägte Professionalität ab. Die Kundenbeziehung managen sie mühelos, und das administrative Onboarding läuft absolut reibungslos. Ein äußerst zuverlässiger, proaktiver Technologiepartner, mit dem wir sehr gerne zusammenarbeiten.”
“Sie haben uns zur Machbarkeit der Tokenisierung von Immobilien in Uruguay beraten, freundlich und direkt. Ein professionelles Team, schnell und immer erreichbar.”
“Hervorragende Profis, sehr aufmerksam gegenüber ihren Kunden und stets auf jedes Detail bedacht. Die Zusammenarbeit mit ihrem Team war von Anfang bis Ende eine echte Freude.”
“Exzellenter Service in den Bereichen Blockchain-Entwicklung, Tokenisierung von Vermögenswerten und Beratung. Ein sehr professionelles Team, das ich uneingeschränkt und ohne Vorbehalt empfehle.”
“Eines der Pionierunternehmen für Web3-Lösungen, digitale Vermögenswerte und Tokenisierung, anerkannt für seine Innovationskraft und seinen soliden Ruf in Spanien und Lateinamerika.”
“Hervorragende Profis in der Strukturierung tokenisierter Projekte, mit technischer Kompetenz und Liebe zum Detail, die in jeder Phase der Arbeit volles Vertrauen schaffen.”
“Ein sehr professionelles und zugleich zugängliches Unternehmen, das auf Ihre Fragen und Bedürfnisse eingeht. Sehr empfehlenswert für Gründer mit einem Tokenisierungsprojekt.”
“Ich habe mit ihnen an mehreren Projekten gearbeitet und sie sind sehr professionell. Eine Garantie dafür, dass alles rundläuft. Ohne jeden Zweifel zu 100 % empfehlenswert.”
Metlabs ist ein Blockchain-Entwicklungsunternehmen mit Sitz in A Coruña. Ein eigenes Team deckt jeden Teil des Projekts ab, von Produkt und Engineering bis zu Infrastruktur und rechtlicher Einordnung. Wer Ihre Architektur entwirft, schreibt, testet und deployt auch den Code.
Team kennenlernen
Isaac González
Head of Innovation
Carlos Peña
Full Stack Engineer
Pablo Castro
DevOps Engineer
Helena Ramos
Product Designer
Javier Yáñez
Legal
Jedes Release durchläuft dieselbe Checkliste, bevor es ins Mainnet geht. Von Projekt zu Projekt unterscheidet sich nur die Tiefe der einzelnen Kontrollen, denn ein MVP trägt nicht dasselbe Risiko wie ein Smart Contract, der Fremdgelder verwahrt.
Ist der Umfang noch nicht definiert? Beginnen Sie mit der Blockchain-Beratung
Keine Stelle zertifiziert Smart Contracts als sicher. Welches Dokument Sie fordern, ob es den deployten Code abdeckt und wann das Gesetz es verlangt.
Hardhat 3 führt jetzt Foundry-kompatible Solidity-Tests aus: Unterschiede beim Deployment und eine Invarianten-Kampagne, die besteht, ohne etwas zu prüfen.
Was die T-REX-Suite aus OpenZeppelin 4.8 übernimmt, was ERC-3643 bei Identität und Rechten ergänzt und wie Sie mint, forcedTransfer und Recovery testen.
Senden Sie uns das Repository und den Commit, den Sie prüfen lassen möchten. Sie erhalten von uns Umfang, Methode und Zeitplan des Audits.
Pressestimmen
