AaveV4– tag –

CertoraとAaveが提携、Aave V4を支える6年にわたるセキュリティフレームワークを公開