Scallop Lend 完成 Asymptotic 全面形式化验证

GateNews

Gate News 消息,3 月 15 日,Scallop Lend 已完成由 Asymptotic(Mysten Labs 官方审计合作伙伴)进行的全面形式化验证。该验证确认了协议核心机制的数学正确性,包括核心记账逻辑、清算计算、访问控制以及定点数运算等关键模块。

免责声明:本页面信息可能来自第三方,不代表 Gate 的观点或意见。页面显示的内容仅供参考,不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证,对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为,价格波动剧烈,您可能损失全部投资本金。请充分了解相关风险,并根据自身财务状况和风险承受能力谨慎决策。具体内容详见声明

相关文章

Drift 宣布 2.95 亿黑客事件恢复计划,按损失赔偿受攻击的钱包

根据 Drift Protocol 于 5 月 6 日在 X 平台发布的官方公告,Drift Protocol 正式推出针对 4 月 1 日黑客事件的用户恢复计划:每个受影响钱包将获得“恢复代币”(Recovery Token),每枚对应 1 美元的已验证损失,作为对恢复池的按比例索赔凭证。

Market Whisper1 分钟前

道富银行和 Galaxy 在 Solana 上使用 $200M 推出 SWEEP Fund,来自 Ondo Finance

根据周二 BusinessWire 的一则公告,State Street 和 Galaxy 推出了 State Street Galaxy Onchain Liquidity Sweep Fund(SWEEP),这是一种代币化投资工具,可将稳定币转换为收益型资产,以实现 24/7 的链上现金管理。 该基金最初将于

GateNews2 分钟前

Securitize 携手 Jump、Jupiter 在 Solana 推出「真实+合规」代币化美股:2026 年代币化股票最大里程碑

美国代币化证券基建商 Securitize、做市商巨头 Jump Trading Group、Solana 上 DEX 聚合器 Jupiter 5 月 5 日(美国时间)共同宣布,推出“完全链上+合规”的代币化股票交易——把真实的美股股权代币化、在 Solana 上即时清算、由 Jupiter 提供 DeFi 用户界面。三方联合公告确认,本案是 2026 年代币化股票最重要里程碑——不是衍生品(synthetic stock),是法律意义上的真股权,且全程符合 SEC、FINRA、EU DLT Pilot Regime 三大监管框架。 三家分工:Securitize 监管核心、Jump 流动性、

鏈新聞abmedia1小时前

Kelp 将 2.92 亿美元的漏洞归咎于 LayerZero,计划切换至 Chainlink

根据 Kelp DAO 周二发布的公告,该协议将责任归咎于 LayerZero,称其批准了一种存在风险的配置,使 4 月 18 日发生了 2.92 亿美元的漏洞利用。Kelp 表示,LayerZero 人员批准了 1-of-1 验证者设置——依赖单一实体来验证跨链交易——在不无

GateNews3小时前

Uniswap DAO 提议召回 1250 万枚 UNI 代币,估值为 4200 万美元

Uniswap DAO 正在考虑一项提案,收回 1250 万个 UNI 代币,按约 4200 万美元估值,这些代币此前在 2022 年和 2023 年被借给了 Uniswap 基金会以及治理代表。提案者认为,尽管借出的代币最初有助于推动治理

GateNews4小时前

西联汇款在 Solana 上推出 USDPT 稳定币以实现 24/7 清算

西联汇款近日推出 USDPT,这是一种由安克雷奇数字银行(Anchorage Digital Bank)发行的、在 Solana 上运行的美元支持型稳定币。该稳定币支持西联汇款与其代理及合作伙伴之间进行 24/7 的结算。

GateNews5小时前
评论
0/400
暂无评论