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.
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

LVMH ist in diesem Jahr um 37 % gefallen, nachdem es einst das nach Marktkapitalisierung größte Unternehmen Europas war, hat es jetzt die Top Ten verlassen.
Am Dienstag fiel der Aktienkurs von LVMH um 2,6 %, wodurch die Marktkapitalisierung auf 201 Milliarden Euro (etwa 232 Milliarden US-Dollar) sank und damit leicht unter L’Oréal lag. Damit verlor LVMH erstmals seit 2017 seinen Platz unter den Top Ten Europas. Die Aktie von LVMH ist in diesem Jahr insgesamt um 37 % gefallen und hat das Niveau erreicht, das während des pandemiebedingten weltweiten Lockdowns verzeichnet wurde. Angesichts der sinkenden Nachfrage nach Luxusgütern haben mehrere Investmentbanken ihre Bewertung von LVMH herabgestuft.

