Gate News 消息，3 月 15 日，Scallop Lend 已完成由 Asymptotic（Mysten Labs 官方审计合作伙伴）进行的全面形式化验证。该验证确认了协议核心机制的数学正确性，包括核心记账逻辑、清算计算、访问控制以及定点数运算等关键模块。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
Cobo 推出采用清算层 (ACL)，用于多链支付激励
Cobo 已推出采用清算层 (ACL)，这是一个针对区块链和支付机构的激励结算平台。它提供跨多链的支付路由，使用户能够获得返现，并在生态系统中提升交易量。
GateNews32 分钟前
WLFI 代币将锁仓到川普下台？孙宇晨惨被割韭菜，痛批“世界暴政”
川普家族的加密项目 WLFI 推出新的治理提案，将早期投资者代币的锁仓期延长至四年，引发孙宇晨等投资者强烈反对。孙批评该提案为“威胁”，并认为这是对投资者的胁迫。WLFI 则表示该提案可确保市场健康，并面临外界的法律挑战。
鏈新聞abmedia38 分钟前
Aave Labs 推出 Aave Checkpoint，这是一套由人工智能驱动的治理安全系统
Aave Labs 已推出 Aave Checkpoint，这是一套由 AI 驱动的治理安全系统，旨在通过自动化分析和强制性的人工验证，对提案进行严格审查，从而增强 Aave 的去中心化自治组织。
GateNews1小时前
Aave Labs 推出 Aave Checkpoint，通过人工审核防范 DAO 治理风险
Aave Labs 于 4 月 15 日发布 Aave Checkpoint，结合 AI 自动分析和强制人工审核，要求至少两名审核员验证治理提案。此系统自 2026 年 3 月运行，涵盖预言机操纵等 DeFi 风险。同时，Aave V4 引入再投资模块，动态配置闲置流动性，保持资金即时流动性。
Market Whisper2小时前
WLFI 提交锁仓提案，孙宇晨及 Moonrock Capital 创办人公开批评
World Liberty Financial（WLFI）于 4 月 15 日（周三）向其治理论坛提交提案，拟将早期投资者持有的 WLFI 代币锁定两年，随后在两年内分批释放；不接受新解锁计划的持有者，代币将“无限期继续被锁定”，此举引发孙宇晨（Justin Sun）等主要投资者批评。
Market Whisper2小时前
Ledger于2026年推出AI安全套件，提供面向AI智能体的硬件锚定式控制
Ledger 正携带新硬件进入 AI 安全市场，以保护用户免受恶意 AI 代理的侵害。该公司强调需要在硬件层面提供保护，并计划推出一整套技术，旨在确保到 2026 年时，AI 行为与人类意图保持一致。
GateNews3小时前
