Aave V4 Clears Formal Verification as Certora Confirms Core Protocol Security and Solvency
Key Takeaways:Certora has officially validated the core smart contracts of Aave V4, such as the Liquidity Hub and Spoke modules.The ...
Read moreDetails
Tag: Solvency
Was Sam Bankman-Fried Proven Right About FTX’s Solvency?
To make it brief, in the days leading up to FTX’s bankruptcy on Nov. 11, 2022, SBF was frantically trying ...
Read moreDetails