Gate News 消息,3 月 15 日,Scallop Lend 已完成由 Asymptotic(Mysten Labs 官方审计合作伙伴)进行的全面形式化验证。该验证确认了协议核心机制的数学正确性,包括核心记账逻辑、清算计算、访问控制以及定点数运算等关键模块。
免责声明:本页面信息可能来自第三方,不代表 Gate 的观点或意见。页面显示的内容仅供参考,不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证,对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为,价格波动剧烈,您可能损失全部投资本金。请充分了解相关风险,并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
Nous Research 深度解析:Paradigm 押注 10 億估值的去中心化 AI 實驗室,Hermes 模型與 Psyche 網路全面拆解
Nous Research 是一家开源 AI 实验室,专注于 Hermes 系列模型,并于 2025 年获得 Paradigm 投资 5,000 万美元,估值达到 10 亿。其独特之处在于由 crypto native 团队开发 AI 技术后再整合区块链。核心产品 Hermes 模型以降低拒绝率为设计理念,且数据来源以合成数据为主。同时,Psyche Network 在 Solana 上构建去中心化 AI 训练网络,通过代币机制激励参与者。Nous Research 采用开源与去中心化策略,旨在展示其技术实力及可行性。
鏈新聞abmedia34 分钟前
Ondo Finance 向美 SEC 提交不采取执法行动函请求,涉及代币化证券权益链上记录
Ondo Finance于4月13日向SEC提交请求,寻求确认在特定模式下,以代币化形式记录证券权益于以太坊主网的合规性。Ondo认为,这一链上记录能提升抵押品监控、优化流程并简化对账,旨在与传统金融协同运作。
GateNews2小时前
Pi Network 向 1M KYC 验证者分发 26.5M PI
Pi Network 在构建其生态系统方面又迈出了重要一步。该项目近日向超过 100 万名 KYC 验证者分发了 2650 万枚 PI 代币。
这些奖励发放给帮助在网络上验证身份的用户。这个过程很重要。因为它能够确保
Coinfomania2小时前
Aave 深陷信任危机:服务商集体出走,“技术、治理与风控”全面失守
作者:Jae,PANews
比起熊市的外部压力,Aave 内部反而先出现了一只“黑天鹅”。
长期盘踞借贷协议王座的 Aave,正遭遇自成立以来最惨烈的生态震荡。没有黑客攻击,没有代码漏洞,有的只是权力失控和利益反目。
从技术支柱 BGD Labs 的毅然离去,到治理先锋 ACI(Aave Chan Initiative)的公开决裂,再到风控管家 Chaos Labs 的官宣断交,一场服务商“ 大撤退”正在上演。
这场博弈的深度远超的合作纠纷,它触发了
区块客3小时前
Hyperliquid 主网上线优先费用机制,订单优先费用上限下调至 8 bps
Hyperliquid创始人Jeff在Discord宣布,优先费用机制已在主网以Alpha模式上线,包括Gossip和Order两种类型。用户可用HYPE代币支付,订单优先费用上限由20 bps降至8 bps,目前仅适用于HIP-3资产的IOC订单。
GateNews4小时前
Byreal 推出链上 AI 交易助手 RealClaw,支持第三方技能扩展
Byreal于4月13日推出了链上AI交易助手RealClaw,该工具基于OpenClaw框架,支持第三方技能扩展,用户可自定义交易策略,目前处于Alpha测试阶段,仅向受邀用户开放。
GateNews4小时前