Back to News
SourceForesight News

Aave:Stable Vaults 已通过 Certora 形式化验证

Foresight News 消息,Aave 发推表示,智能合约形式化验证公司 Certora 已完成对 Stable Vaults 的验证,覆盖 StableVault、Funds Handler、Asset Registry、Allocator 及 IOU token 等合约,验证确认其 Solidity 实现符合 Certora 的形式化规则。Stable Vaults 是一套面向固定利率稳定币收益的一体化解决方案,可嵌入任意金融产品中,相关审计报告已公开发布。
Disclaimer: The views above are the author's only and do not represent 711BTC. Nothing here constitutes investment advice.

Related

07-02 21:16

Aave V3 is now available on Monad, with initial market support for 12 assets including USDT0.

According to Foresight News , Aave has deployed its V3 lending protocol on Monad, initially supporting 12 assets: USDT0, USDC, Aave stablecoins GHO, USDe, mUSD, AUSD, WETH, cbBTC, wstETH, weETH, syrupUSDC, and sUSDe. In this deployment, Aave is enabling Chainlink's Smart Value Recovery (SVR) mechanism from the outset, returning a portion of the MEV value generated during liquidation to the protocol. According to Aave governance documents, the Monad Foundation will invest $15 million as incentive funds in the first 12 months after the project's launch and has agreed to purchase 10 million GHO tokens and hold them for at least six months; Aave DAO has also committed to investing 500,000 GHO tokens as incentives to support applications on Monad.

06-30 22:02

MetaMask launches self-custodied Money Accounts on Monad, offering stablecoin yields and payment functionality.

PANews reported on June 30th that, according to Decrypt, MetaMask has launched Money Accounts, a self-custodied account feature that integrates stablecoin yields, payments, and trading into a single balance. Built on the Monad blockchain and using the mUSD stablecoin, users can choose to deploy their deposited funds to DeFi lending protocols such as Morpho (with Aave to be integrated later) via the Veda infrastructure, earning up to approximately 4% floating annualized yield, and can spend directly through the MetaMask Card. This feature is available to global mobile users except in the UK and some restricted regions, and supports deposits from crypto assets or fiat currency. The report notes that the 1:1 USD and short-term US Treasury reserves of mUSD are separate from the yield generated by Money Accounts.

06-29 20:28

Sky has been confirmed as the provider of USDS liquidity for FX Layer, the stablecoin exchange system for Spark and Uniswap.

According to Foresight News , Sky (formerly MakerDAO), in conjunction with Spark and Uniswap, announced that approximately $150 million in liquidity migrated from Sky's USDS ecosystem to its previously launched stablecoin FX Layer project. USDS serves as the initial pricing asset within the network, providing basic liquidity for the USDS/USDT and USDS/PYUSD pools. The three parties stated that this is the first large-scale implementation of this liquidity framework, with a long-term vision of enabling more issuers (such as PayPal's continuously expanding PYUSD, Ripple's RLUSD, and institutions like Robinhood and Revolut exploring stablecoin businesses) to access this shared infrastructure, rather than building their own independent liquidity networks. They also aim to explore ways to allow idle funds to generate returns within the governance framework even when not participating in market making. Previously, on June 25, Spark and Uniswap announced the joint launch of the stablecoin exchange system FX Layer, which aims to provide shared liquidity infrastructure for multiple stablecoin issuers such as banks, fintech companies, and payment companies, avoiding the need for them to build their own liquidity pools, market makers, and inventory management. Spark, as the orchestration layer, determines how liquidity is allocated and coordinated among different stablecoins, while Uniswap v4 provides a programmable AMM architecture (a DualPool hook based on hooks mechanism) to execute specific transaction paths.

07-08 14:57

Aave Labs has initiated a syrupUSDG proposal to integrate Maple with V4.

According to Foresight News , Aave Labs has released a proposal to integrate Maple Finance's newly launched yield token syrupUSDG into the Global Dollar Hub on Aave V4, and to introduce syrupUSDG as collateral for the Aave DAO.

07-07 19:21

Fluid launches Fluid Lite USD, a stablecoin Vault product with fixed yields.

According to Foresight News , Fluid has launched Fluid Lite USD, a stablecoin fixed-yield Vault product, claiming a minimum annual yield of 6%, with historical data typically showing yields between 8% and 10%. Fluid Lite USD is already listed on Ethereum and supports cross-chain yield strategies, covering Arbitrum, Plasma, and Ethereum. Users can deposit USDC, and the Vault will generate yields through sUSDe, syrupUSDC, syrupUSDT, and sUSDai.

07-06 18:46Important

Summer.fi An attack has been officially confirmed; all vaults in the Lazy Summer Protocol have been suspended.

According to Foresight News , Lazy Summer Protocol has officially confirmed an attack and has suspended all vaults under its umbrella. The cause is currently under investigation, and updates will be provided as they become available.