Aave: Stable Vaults przeszły formalną weryfikację Certora

Foresight News informuje, że Aave ogłosiło na Twitterze, iż firma Certora, zajmująca się formalną weryfikacją smart kontraktów, zakończyła weryfikację Stable Vaults. Obejmuje ona kontrakty StableVault, Funds Handler, Asset Registry, Allocator oraz IOU token, potwierdzając zgodność ich implementacji w Solidity z formalnymi zasadami Certora. Stable Vaults to kompleksowe rozwiązanie dla stabilnych monet o stałym oprocentowaniu, które może być zintegrowane z dowolnym produktem finansowym. Odpowiedni raport z audytu został opublikowany.