Aave:Stable Vaults 已通过 Certora 形式化验证
相关推荐
Aave 的 Stable Vaults 将采用 Chainlink CCIP 作为跨链基础设施标准
Foresight News 消息,Aave 宣布已选择 Chainlink CCIP 作为其跨链基础设施标准,CCIP 目前已通过 Aave 交付基础设施(a.DI)承担跨链 GHO 转账与多链治理执行工作,后续还将通过 Stable Vaults 支持 Aave App 的跨链逻辑,覆盖金库再平衡、收益优化、存款和转账等场景,相关跨链操作将在以太坊、Base 与 Arbitrum 之间进行。
Blockchain Association 启动 Vaults 工作组,数十家成员机构参与政策讨论
Foresight News 消息,美国 Blockchain Association 发推表示,其于近日启动 Vaults 工作组,并有数十家成员机构加入,共同参与华盛顿的相关政策讨论。Blockchain Association 称,Vaults 是新兴的链上金融基础设施,可让用户获得多种资产敞口,并提供在人工控制、治理和风险等方面差异较大的可组合、个性化策略,有望让链上金融市场更透明、高效、可组合且更易进入。通过该工作组,成员将直接与美 SEC 沟通,支持负责任的产品发展,并帮助立法者理解 Vaults 的运作方式以及现有监管框架应如何适用。目标是让规则反映技术本身,使负责任的创新能在美国发展。 目前参与机构包括 a16z crypto、Aave、Casper Network、Dinari、dYdX Foundation、Ethena、FalconX、FWD、Grayscale、Ground、Halliday、Injective、Monarq、Morpho、Multicoin、Mysten Labs、Offchain Labs、Predicate、Plume Network、Stellar、UDHC、Uniswap、Wintermute 等。
Lido 与 Stakely 推出公共及机构版 ETH 质押 stVaults 产品
Foresight News 消息,Lido 发推表示,区块链基础设施提供商 Stakely 已基于 Lido 协议模块化质押基础设施 stVaults,推出两款产品:一款面向所有用户开放、将 ETH 质押与 EarnETH(Lido 的 ETH DeFi 策略)结合的公共质押金库;另一款为面向机构、可定制配置的专属金库,机构可自行定义费用及权限参数,资产保持隔离。Stakely 仅作为节点运营商运行验证者,不托管机构资产。 stVaults 旨在解决原生质押与池化质押之间流动性与控制权难以兼得的矛盾,让质押者在保留验证者选择权的同时获得 stETH 流动性。安全方面,Lido 表示 stVaults 智能合约已通过 Certora、MixBytes 等多家机构审计,并设有最高 200 万美元的漏洞赏金计划。
Babylon:TBV 完成安全审计,为原生比特币上线 Aave v4 主网做准备
Foresight News 消息,Babylon 发推表示,其 Trustless Bitcoin Vaults(TBV)协议已完成安全审计公司 Runtime Verification 的审计,为原生比特币在 Aave v4 主网上线抵押借贷做准备。Runtime Verification 表示,此次审计历时 7 周,于 2026 年 5 月完成,结合设计审查、人工代码审查及基于其符号执行引擎 Kontrol 的形式化验证,覆盖金库生命周期、原子化跨链兑入兑出流程,以及 Aave v4 集成中的结算、借贷与清算逻辑,审计过程中发现的所有问题均已在修复期内得到处理或确认。
Foresight News 将于 20:00 举办「从 RWA 到 Perps, Ondo 如何重塑链上交易生态」主题 X Spaces 活动
Foresight News 将于今日 20:00 举办「从 RWA 到 Perps, Ondo 如何重塑链上交易生态」主题 X Spaces 活动,本期对话嘉宾为 Ondo DeFi 负责人 Matt Blumberg。期待您的收听,我们不见不散。
Relay 将下线 Relay Vaults,提现页面将于 12 月 31 日关闭
Foresight News 消息,跨链协议 Relay 发推表示,其将下线 Relay Vaults。持有资金的用户需前往官方门户提现,该门户将于 2026 年 12 月 31 日关闭,用户此后仍可直接从合约提现。 官方表示,Vaults 是用户提供流动性的可选产品,因改进版本即将推出而下线,相关细节将在未来公布。Swap、支付及其他集成均不受影响,照常运行。