Aave Labs stellt mehrschichtigen Sicherheitsplan für V4 nach 1,5-Millionen-Dollar-Audit-Programm vor
Aave Labs hat einen detaillierten Leitfaden zur Sicherung der nächsten Version des größten DeFi-Kreditprotokolls veröffentlicht und einen einjährigen Prüfungs- und Verifizierungsprozess für Aave V4 vorgestellt sowie zugesagt, diese Praktiken auf zukünftige Entwicklungen auszuweiten.
In einem diese Woche veröffentlichten Beitrag im Governance-Forum beschreibt das Unternehmen die V4-Initiative als ein "Sicherheits-orientiertes Framework", bei dem der Schutz von Smart Contracts bereits in den frühen Architekturphasen integriert wurde, anstatt als abschließende Vorabprüfung behandelt zu werden.
Das Programm kombiniert formale Verifikation, manuelle Audits, Invariantentests, Fuzzing und einen öffentlichen Sicherheitswettbewerb, was in Summe etwa 345 kumulierte Prüftage durch interne Teams, externe Prüfer und unabhängige Forscher ergibt.
Die Arbeiten wurden durch einen vom Aave DAO genehmigten Sicherheitsbudget von 1,5 Millionen Dollar finanziert, wie aus den geteilten Informationen hervorgeht.
Wichtige Zusagen
Aave Labs erklärte, dass diese Erfahrung dazu geführt hat, fünf langfristige Sicherheitszusagen für die zukünftige Protokollentwicklung zu übernehmen.
Das Einbinden formaler Verifikation bereits zu Beginn des Entwicklungszyklus, die Verwendung von mehrschichtigen Sicherheitsmethoden, die mehrere Prüfungstechniken kombinieren, kontinuierliche Verifikation parallel zur Entwicklung, der Start eines fortlaufenden Bug-Bounty-Programms sowie die Weiterentwicklung KI-gestützter Smart-Contract-Scanning-Technologien wurden als zentrale Zusagen für die Zukunft genannt.
Insbesondere die formale Verifikation spielte im V4-Prozess eine zentrale Rolle, so die Labs. Das Verifikationsunternehmen Certora arbeitete von den frühesten Design-Phasen an mit den Entwicklern von Aave zusammen und half dabei, die Architektur zu gestalten und Schwachstellen zu identifizieren, bevor der Code in formale Audit-Runden ging.
Über die formale Verifikation hinaus wurde das Protokoll mehreren manuellen Audit-Runden unterzogen, bei denen Firmen wie ChainSecurity, Trail of Bits und Blackthorn sowie unabhängige Sicherheitsforscher beteiligt waren. Ein separates Invariantentest-Suite wurde mit Fuzzing-Tools entwickelt, um das Verhalten von Kernkomponenten wie Liquiditätsbuchhaltung, Liquidationslogik und Zinssatzmodellen zu testen.
Die Codebasis des Protokolls wurde außerdem einem sechswöchigen öffentlichen Sicherheitswettbewerb unterzogen, der auf Sherlock zwischen Dezember 2025 und Januar 2026 stattfand. Mehr als 900 verifizierte Teilnehmer reichten während des Wettbewerbs über 950 Erkenntnisse ein, wobei das Programm jedoch keine kritischen oder schwerwiegenden Schwachstellen meldete.
Aave Labs erklärte, dass die V4-Codebasis bewusst kleiner und modularer konzipiert wurde als ihr Vorgänger, was dem neu gestalteten Hub-and-Spoke-Architektur des Protokolls folgt und gezieltere Prüfungen sowie eine vereinfachte Sicherheitsüberprüfung ermöglicht.
Das V4-Sicherheitsmodell beinhaltete außerdem Rückmeldungen von Risiko-Serviceanbietern und Integratoren, die Anwendungen auf Basis des Kreditprotokolls entwickeln. Ihr Input erweiterte das Bedrohungsmodell, um nicht nur direkte Nutzerinteraktionen, sondern auch die Sicherheitsannahmen integrierter Systeme, die auf Aave-Liquidität angewiesen sind, zu berücksichtigen.
Konflikt im Aave DAO
Die Sicherheitsinformation von Aave Labs erscheint in einer Phase innerer Turbulenzen für das Aave-Ökosystem. In jüngster Zeit haben Governance-Konflikte bezüglich Finanzierungszuweisungen, Protokollrichtung und der Rolle wichtiger Mitwirkender zugenommen.
Anfang dieses Jahres kündigte BGD Labs – ein langjähriger technischer Beitragender, der für Hauptteile der Protokoll-Infrastruktur verantwortlich ist – nach etwa vier Jahren die Beendigung von Aave-bezogenen Arbeiten an.
Kürzlich erklärte Marc Zeller, Gründer von ACI, dass die Aave Chan Initiative, ein weiterer wichtiger Governance-Akteur, plant, das Protokoll im Juli zu verlassen, angesichts zunehmender Spannungen zwischen Mitwirkenden.
Diese Entwicklungen folgten auf eine kontroverse Governance-Debatte über einen Vorschlag namens "Aave will win", der Einnahmeänderungen und breitere Pläne für das anstehende V4-Upgrade vorsah. Der Vorschlag bestand die Temperature-Check-Abstimmung mit 52,6% Zustimmung, was die Spaltungen innerhalb des DAO bezüglich der zukünftigen Ausrichtung des Protokolls deutlich machte.
Aave ist das größte Onchain-Kreditprotokoll und gehört laut Daten-Dashboard von The Block zu den führenden Generierern monatlicher DeFi-Gebühren.
Haftungsausschluss: Der Inhalt dieses Artikels gibt ausschließlich die Meinung des Autors wieder und repräsentiert nicht die Plattform in irgendeiner Form. Dieser Artikel ist nicht dazu gedacht, als Referenz für Investitionsentscheidungen zu dienen.
Das könnte Ihnen auch gefallen
Die Bank of England plant angeblich, den Verkauf von Langzeit-Anleihen auszusetzen – der radikalste „Bilanzkürzer“ in der globalen Anleihenkrise tritt auf die Bremse.
Einmal verkaufen, die Hälfte verlieren: Die Bank of England tritt beim Quantitative Tightening auf die Bremse.
Die Zinserhöhung der US-Notenbank am Donnerstag gilt fast als Konsens, warum weigert sich Standard Chartered, „aufzugeben“?
Standard Chartered ist der Ansicht, dass der Kerninflationsdruck möglicherweise überschätzt wird und Zinserhöhungen weiterhin die „falsche politische Entscheidung“ sind: Zölle treiben den PCE-Index um etwa 0,7 Prozentpunkte nach oben, aber der Einfluss dürfte nachlassen; der „Super Core“-CPI ist bereits in den normalen Bereich zurückgekehrt, und der Druck auf der Verbraucherseite ist begrenzt. Im Juli unterstützten nur drei stimmberechtigte Mitglieder eine Zinserhöhung, bislang reichen die aktuellen Daten nicht aus, um mehr Mitglieder zum Umdenken zu bewegen. Eine vernünftigere Vorgehensweise wäre, abzuwarten, bis die Auswirkungen der Zölle und die Datenrevisionen nachlassen, bevor man den Inflationstrend beurteilt.
Die Rendite der 10-jährigen US-Staatsanleihen überschreitet 5 %, während die japanischen Staatsanleihen auch die 3 % Marke unterschreiten. Der Druck auf die globalen Anleihemärkte nimmt stark zu!
Die weltweiten Anleihemärkte schlagen Alarm, die Rendite der US-Staatsanleihen steigt auf über 5% und erreicht ein neues Hoch seit 2007, während japanische Staatsanleihen ein 30-Jahreshoch erzielen. Steigende Ölpreise, hohe Inflation und enorme Schuldenlast führen zu einer Verkaufswelle. Institutionen warnen: 5% ist keineswegs das Ende, 6% ist bereits im Blickfeld! In dieser Woche stehen die Entscheidungen der Zentralbanken von USA und Japan bevor – ein noch heftigerer Sturm auf den Märkten könnte gerade erst beginnen.
AI-Handel verliert an Fahrt! Goldman Sachs warnt vor der größten Divergenz von Momentum-Trades seit fünf Jahren – Mittel fließen von Chips zu Software.
Goldman Sachs warnt davor, dass KI-Handel derzeit einer strukturellen Prüfung unterliegt; die Divergenz zwischen 3-Monats- und 12-Monats-Momentum hat ein Fünfjahreshoch erreicht, der KI-Index ist gegenüber seinem Höchststand um fast 45 % zurückgegangen. Gleichzeitig fließen Gelder von Halbleitern zu Software und treiben die beschleunigte Differenzierung des Momentum-Faktors voran. Goldman Sachs meint, dass bei einer Fortsetzung dieser dynamischen Entwicklungen die bisherige enge Korrelation zwischen KI und Momentum langfristig allmählich nachlassen könnte.
Krypto-Preise
Mehr
