Gate News 消息,3 月 15 日,Scallop Lend 已完成由 Asymptotic(Mysten Labs 官方审计合作伙伴)进行的全面形式化验证。该验证确认了协议核心机制的数学正确性,包括核心记账逻辑、清算计算、访问控制以及定点数运算等关键模块。
免责声明:本页面信息可能来自第三方,不代表 Gate 的观点或意见。页面显示的内容仅供参考,不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证,对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为,价格波动剧烈,您可能损失全部投资本金。请充分了解相关风险,并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
以色列批准与新谢克尔挂钩的稳定币 BILS 在 Solana 上上线
Gate 新闻消息,4 月 28 日——以色列的资本市场、保险和储蓄监管机构已批准虚拟资产交易平台 Bits of Gold 启动 BILS,这是一种与以色列新谢克尔挂钩的稳定币 (ILS)。该稳定币在获得正式批准之前,已在 Solana 区块链上完成为期两年的试点。
GateNews17 分钟前
ZetaChain 推出 Anuma:注重隐私的 AI 聚合平台
Gate 新闻消息,4月28日——ZetaChain 团队已正式推出 Anuma,这是一款注重隐私的 AI 聚合平台,可让用户通过单一界面访问多个 AI 模型——包括 GPT、Claude、Gemini、Grok、DeepSeek、Kimi 和 Qwen。
Anuma 具备本地隐私存储,多模型协作,以及在不同模型之间提供统一的上下文记忆系统。该平台的 Web 界面现已开放使用。
GateNews24 分钟前
Solana 开发者制定计划,以保护网络免受量子威胁
Gate 新闻消息,4月28日——据 CoinDesk 报道,Solana 基金会的核心开发团队 Anza 以及 Jump Crypto 的 Firedancer 已就使用 Falcon 数字签名方案的后量子密码解决方案达成一致。团队已经开始构建该实现的早期版本。
GateNews36 分钟前
成立 MARA Foundation 以支持比特币长期健康,聚焦量子韧性与安全预算
Gate 新闻消息,4月28日——MARA 首席执行官 Peter Thiel 于周一宣布成立非营利组织 MARA Foundation,体现了该公司在战略上致力于支持比特币协议的长期健康、韧性与采用。
GateNews53 分钟前
Sky 宣布 Laniakea:机构级链上资本配置基础设施
Gate 新闻消息,4月27日——Sky Protocol 宣布开发 Laniakea,这是一套用于在其 Sky Agent Network 上进行机构级资本部署的标准化基础设施框架。该协议目前管理着超过 $11 billion 的 USDS 流通,并通过 DeFi 借贷、私募信贷以及合规的现实世界资产策略产生收益。
GateNews1小时前
ZetaChain GatewayEVM 合约遭利用,跨链交易已暂停
Gate 新闻消息,4月27日——ZetaChain 宣布,其 GatewayEVM 合约于 4月28日遭到利用,仅影响内部团队钱包。团队已封堵攻击向量,以防止进一步的资金损失,而此次事件未影响任何用户资金。
作为预防措施,ZetaChain 在调查持续期间已暂停跨链交易。待调查完成后,平台将发布一份详细的事后复盘报告。目前状态更新可在项目的官方追踪页面查看。
GateNews1小时前