Gate News 消息，3 月 15 日，Scallop Lend 已完成由 Asymptotic（Mysten Labs 官方审计合作伙伴）进行的全面形式化验证。该验证确认了协议核心机制的数学正确性，包括核心记账逻辑、清算计算、访问控制以及定点数运算等关键模块。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
Wasabi Protocol 用户现在可以安全提取剩余资金
根据 Wasabi Protocol，用户现在可以安全地与该协议的智能合约交互，以提取剩余资金。团队表示，它正在继续调查这起安全事件，并将在条件允许后尽快与社区分享更多更新 as soon as conditions
GateNews1小时前
Bisq Protocol 遭攻击，5 月 4 日被盗 11 BTC；在 DAO 投票下制定补偿方案
根据 Bisq，该协议在 5 月 4 日遭受攻击，原因是缺少验证机制，导致约 11 BTC 被盗，主要来自山寨币交易。该平台正在讨论对受影响用户的补偿方案，用户可在以比特币或 BSQ 代币进行补偿之间进行选择 p
GateNews2小时前
Figure 的 10 亿美元当月里程碑推动区块链信贷市场扩张
该项目实现了 10 亿美元的月度里程碑，结束了为期数年的努力，旨在从信贷市场中移除中介，并将现实世界资产、借贷和股票转移到区块链网络上。
该公司的战略侧重于将传统金融基础设施上链，并以此方式（并在链上）
Crypto Frontier6小时前
Pi Network 在协议 23 智能合约上线前达到 421,000 活跃节点
据 Pi 核心团队称，Pi Network 主网于 5 月 3 日达到 421,000 个活跃节点，超过 100 亿枚 PI 代币已迁移至主网。该网络正在为 Protocol 23 启动做准备，该启动将首次激活完整的智能合约功能，使开发者能够构建 DeFi
GateNews12小时前
图杰妮：把区块链打造为华尔街新管道、FGRD 代币化股票上链
Figure Technology Solutions 的 Mike Cagney 正在将区块链打造成华尔街新渠道。近期单月贷款撮合达 10 亿美元，成为推动去中介化的关键里程碑。Figure 的链上产品涵盖真实世界资产代币化、贷款撮合与股权发行，五月初更直接上链自家股票 FGRD。Bernstein 将 FIGR 视为 2026 年首选，认为代币化市场放量超出预期，后续将关注 FGRD 流动性与监管动向。
鏈新聞abmedia12小时前
Curve Finance 推出坏账回收机制，使用户能够退出或修复仓位
根据 Curve Finance 的说法，该协议最近推出了一种基于市场的坏账回收机制，允许受影响的 CRV 持有人从多种策略中进行选择：出售债权以立即退出、持有并等待潜在回收，或提供流动性以赚取费用和激励。
GateNews13小时前
