Cannes, Frankreich, 30. März 2026, Chainwire
Aufbauend auf sechs Jahren Zusammenarbeit haben Certora und Aave Sicherheit direkt in die Architektur von Aave V4 eingebettet und damit eines der stärksten Sicherheits-Frameworks im DeFi-Bereich geschaffen.
Certora, führender Anbieter von Tools zur formalen Verifikation und Smart-Contract-Audits für Web3-Protokolle, enthüllt Details des Sicherheits-Frameworks, das in Zusammenarbeit mit Aave Labs entwickelt wurde, um Aave V4 – die nächste Generation eines der größten dezentralen Kreditprotokolle – abzusichern.
„DeFi-Protokolle agieren zunehmend in Größenordnung und Komplexität klassischer Finanzinfrastruktur“, sagte Mooly Sagiv, Gründer und Chief Scientist von Certora. „Sicherheit kann sich nicht länger auf einmalige Audits stützen. Bei Aave V4 haben wir während der gesamten Entwicklung mit den Ingenieuren zusammengearbeitet und kritische Systemeigenschaften kontinuierlich verifiziert, um sicherzustellen, dass sich das Protokoll exakt wie vorgesehen verhält.“
Anstatt erst gegen Ende der Entwicklung in den Prozess einzusteigen, schloss sich Certora der Aave-V4-Initiative mehr als ein Jahr vor dem Start an. In enger Zusammenarbeit mit den Aave-Ingenieuren überprüfte das Team Systemarchitektur, Governance-Pfade und ökonomische Annahmen bereits in der frühen Designphase, sodass Sicherheitsaspekte die Struktur des Protokolls von Beginn an prägen konnten.
Diese Arbeit baut auf einer über sechs Jahre laufenden Beziehung zwischen Certora und Aave sowie mehreren Protokollversionen auf. Während der gesamten Entwicklung von Aave V4 arbeiteten die Forscher von Certora Seite an Seite mit den Aave-Ingenieuren, um kontinuierliche formale Verifikation, adversarielle Tests und manuelle Audits anzuwenden, Probleme frühzeitig zu erkennen und das System vor der Bereitstellung zu stärken.
Während der Entwicklung setzte Certora formale Verifikation ein – einen mathematischen Ansatz, der nachweist, dass Software bestimmte Sicherheitseigenschaften erfüllt. Die Zusammenarbeit umfasste:
- Verifikation zentraler Protokollgarantien, darunter Werterhaltung der Assets, Besicherungsregeln, Korrektheit von Liquidationen, Berechtigungs-Sicherheit, Upgrade-Sicherheit und Konsistenz zwischen Märkten
- Kontinuierliche manuelle Überprüfung durch Senior-Auditoren mit Expertise in Kreditprotokollen, Oracle-Systemen, Governance-Mechanismen und typischen DeFi-Exploits
- Einen groß angelegten externen Sicherheitswettbewerb mit unabhängigen Forschern, bei dem keine kritischen oder hochgradig wirkenden Schwachstellen identifiziert wurden und der zusätzliche Bestätigung für die Sicherheitsarchitektur des Protokolls lieferte.
In dieser langfristigen Partnerschaft haben Certora und Aave mehrere Protokollgenerationen und Milliarden von US-Dollar an On-Chain-Liquidität abgesichert, darunter:
- 169 geprüfte Smart Contracts
- Über 51.000 analysierte Codezeilen
- Über 800 erstellte und kontinuierlich getestete Regeln zur formalen Verifikation
- 28 bedeutende Schwachstellen, die vor der Bereitstellung verhindert wurden.
Während sich dezentrale Finanzmärkte weiterentwickeln und zunehmend institutionelles Kapital anziehen, werden stärkere Sicherheitsgarantien zur Grundvoraussetzung für eine breite Einführung. Die Arbeit von Certora mit Aave spiegelt einen breiteren Wandel der Branche hin zu kontinuierlichem Security Engineering wider. Allein im Jahr 2025 half Certora, secure 196,5 Milliarden US-Dollar an Total Value Locked in DeFi-Protokollen zu schützen und mehr als 720 Schwachstellen vom Produktionseinsatz abzuhalten.
Weitere Informationen finden Sie unter certora.com/blog/certora-x-aavev4 oder auf @Certora.
Über Certora
Certora ist der Security-Assurance-Partner, dem die fortschrittlichsten Teams im Web3 vertrauen. Gegründet 2018 von Pionieren in Programmiersprachen und formalen Methoden, hilft Certora führenden Protokollen wie Lido, Aave, Uniswap und Compound, mit Zuversicht Werte in Milliardenhöhe abzusichern.
Kontakt
PR-Managerin
Aarya Shah
[email protected]