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

GateNews

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小时前
评论
0/400
暂无评论