Cannes, Frankrijk, 30 maart 2026, Chainwire
Na zes jaar samenwerking hebben Certora en Aave beveiliging direct ingebouwd in de architectuur van Aave V4, waarmee een van de sterkste beveiligingsframeworks in DeFi is gecreëerd.
Certora, toonaangevende aanbieder van tools voor formele verificatie en smartcontractaudits voor Web3‑protocollen, onthult details van het beveiligingsframework dat in samenwerking met Aave Labs is ontwikkeld om Aave V4 te beveiligen, de volgende generatie van een van de grootste uitleenprotocollen in de decentrale financiële sector.
“DeFi‑protocollen opereren steeds meer op de schaal en complexiteit van financiële infrastructuur,” zei Mooly Sagiv, oprichter en Chief Scientist van Certora. “Beveiliging kan niet langer vertrouwen op audits die slechts één momentopname zijn. Bij Aave V4 hebben we gedurende de hele ontwikkeling naast de engineers gewerkt en continu cruciale systeemeigenschappen geverifieerd om ervoor te zorgen dat het protocol zich precies gedraagt zoals bedoeld.”
In plaats van pas aan het einde van de ontwikkelfase in te stappen, sloot Certora meer dan een jaar voor de lancering aan bij het Aave V4‑project. In nauwe samenwerking met Aave‑engineers beoordeelde het team in een vroeg stadium de systeemarchitectuur, governance‑paden en economische aannames, zodat beveiligingsoverwegingen vanaf het begin invloed hadden op de structuur van het protocol.
Dit werk bouwt voort op een relatie tussen Certora en Aave die inmiddels meer dan zes jaar en meerdere versies van het protocol beslaat. Tijdens de ontwikkeling van Aave V4 werkten de onderzoekers van Certora samen met Aave‑engineers om continue formele verificatie, adversarial testing en handmatige auditing toe te passen, waardoor problemen vroegtijdig werden opgespoord en het systeem vóór implementatie werd versterkt.
Gedurende de hele ontwikkeling paste Certora formele verificatie toe, een wiskundige methode om te bewijzen dat software aan specifieke beveiligingseigenschappen voldoet. De samenwerking omvatte:
- Verificatie van belangrijke protocolgaranties, waaronder behoud van activa, onderpandregels, correctheid van liquidaties, rechten‑ en toegangsbeheer, upgradesecurity en consistentie tussen markten
- Continue handmatige beoordeling door seniore auditors met expertise in leenprotocollen, orakelsystemen, governance‑mechanismen en bekende DeFi‑exploitpatronen
- Een grootschalige externe beveiligingswedstrijd met onafhankelijke onderzoekers, waarbij geen kritieke of zeer ernstige kwetsbaarheden werden gevonden, wat extra bevestiging biedt van de beveiligingsarchitectuur van het protocol.
In deze langetermijnsamenwerking hebben Certora en Aave meerdere generaties van het protocol en miljarden dollars aan on‑chain liquiditeit beveiligd, waaronder:
- 169 smart contracts beoordeeld
- Meer dan 51.000 regels code geanalyseerd
- 800+ formele verificatieregels opgesteld en continu getest
- 28 significante kwetsbaarheden voorkomen vóór implementatie.
Terwijl decentrale financiën verder volwassen wordt en institutioneel kapitaal aantrekt, worden sterkere beveiligingsgaranties een randvoorwaarde voor grootschalige adoptie. Het werk van Certora met Aave weerspiegelt een bredere verschuiving in de sector richting continue security‑engineering. Alleen al in 2025 hielp Certora bij het beveiligen van $196,5 miljard aan total value locked in DeFi‑protocollen en voorkwam het dat meer dan 720 kwetsbaarheden de productie bereikten.
Voor meer informatie, ga naar certora.com/blog/certora-x-aavev4 of volg @Certora.
Over Certora
Certora is de security assurance‑partner die wordt vertrouwd door de meest geavanceerde teams in Web3. Certora, opgericht in 2018 door pioniers in programmeertalen en formele methoden, helpt toonaangevende protocollen zoals Lido, Aave, Uniswap en Compound om met vertrouwen miljarden aan waarde te beveiligen.
Contact
PR‑manager
Aarya Shah
[email protected]