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

GateNews

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

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

相关文章

Topnod 自托管钱包成为 Layer1 区块链 Pharos 官方合作伙伴

Topnod 已与 Layer1 区块链 Pharos 合作,提供易于使用的自托管钱包,简化对现实世界资产的访问。它将支持 Pharos 的空投活动,并推动在 Pharos 链上分发 RWA 资产。

GateNews52 分钟前

Buck Protocol 宣布关闭,持有者将获得完整赎回

Buck 协议宣布立即关停,确保持有者获得 100% 资金回款,且储备完全有担保。赎回窗口已开启,不设时间限制,持有者可随时取回资产。

GateNews2小时前

Evernorth 首席执行官表示:XRP 正从桥资产演变为 DeFi 抵押品

Evernorth 首席执行官 Asheesh Birla 正在将 XRP 的角色从结算工具转变为去中心化金融中的生产性资产,并聚焦资本效率。该公司旨在通过诸如原生 XRP 借贷之类的举措来激活沉寂资本,并将 XRP 定位为信用市场中的关键参与者。

Crypto Frontier5小时前

Sui 在整个 DeFi 生态系统推出 USDsui 稳定币

Sui 已推出 USDsui,这是一种集成到其 DeFi 生态系统中的稳定币,用于交易、借贷和应用开发,以提升流动性,并支持开发者构建高效的金融工具。

GateNews12小时前

三井在 Optimism 主网上部署代币化黄金 Zipangcoin

三井 & Co. Digital Commodities 已在 Optimism 的 OP 主网推出 Zipangcoin (ZPG),该代币代表贵金属,可提升交易效率与投资者的可及性。此举支持在数字投资领域采用代币化的现实世界资产。

GateNews13小时前

贾斯汀·孙公布Tron后量子计划,随着加密安全争论不断升温

贾斯汀·孙表示,Tron 将推进一次后量子升级,目标是在其主网上引入得到 NIST 支持的加密技术。 要点: 贾斯汀·孙表示,Tron 将推出一项 PQC 升级。 由于签名体积增大 10 倍,NIST 标准可能会对 Tron 的吞吐量造成压力。 TRX 在路线图细节披露之际交易接近 $0.33

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