Aave: Stable Vaults haben die formale Verifizierung durch Certora bestanden

Foresight News berichtet, dass Aave auf Twitter mitgeteilt hat, dass das Unternehmen für die formale Verifizierung von Smart Contracts, Certora, die Überprüfung der Stable Vaults abgeschlossen hat. Dabei wurden die Verträge StableVault, Funds Handler, Asset Registry, Allocator sowie IOU token abgedeckt. Die Verifizierung hat bestätigt, dass deren Solidity-Implementierung den formalen Regeln von Certora entspricht. Stable Vaults ist eine integrierte Lösung für feste Zinserträge mit Stablecoins, die in jedes Finanzprodukt eingebettet werden kann. Der entsprechende Audit-Bericht wurde bereits veröffentlicht.