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

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

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

相关文章

加纳央行测试基于Stellar的Akuna钱包用于创意经济支付

Akuna Wallet进入加纳银行的VASP沙盒,测试基于Stellar的跨境支付工具,供创作者和自由职业者使用。 该平台针对撒哈拉以南非洲的支付成本,该地区跨境转账平均为8.8%,高于联合国3%的目标。 Akuna Wallet已加入加纳银行

CryptoNewsFlash37 分钟前

Brave推出支持比特币、Solana、Zcash和Cardano的跨链交换功能,由NEAR Intents提供支持

Brave Wallet v1.88 添加了 NEAR Intents,支持在比特币、Solana、Zcash、Cardano 和 EVM 网络之间进行跨链交换。 NEAR Intents 在与此钱包集成之前,已在 35 条链上处理了超过 1900 万次交换和超过 $14 亿美元的交易量。 Brave 已将 NEAR Intents 添加到其中

CryptoNewsFlash40 分钟前

Osmosis提案旨在让Cosmos围绕ATOM作为核心协调资产保持一致

Osmosis已提议将其链合并到Cosmos Hub中,使其DEX成为Hub的原生基础设施。 此次合并将以0.0355:1.998的比率将OSMO代币换成ATOM,这一比率基于过去30天的价格走势。 Osmosis,Cosmos中最大的去中心化应用程序

CryptoNewsFlash44 分钟前

VeChain星际门户质押平台在隼式分叉三个月后显示强劲增长

VeChain的StarGate质押平台在Hayabusa分叉后经历了显著增长,年度VTHO排放量减少了50.2%,活跃质押者增加了93.9%。该平台现在持有107亿个VET,增强了用户参与度和奖励结构。

CryptoNewsFlash48 分钟前

Kraken宣布即将上线Pi Network代币,提前庆祝2026年Pi日及重要升级

Kraken计划在Pi Network推进最近协议升级并接近其3月12日升级截止日期时上市PI。 PI已在OKX、Bitget、HTX和BitMart上市,而从3月12日开始的代币解锁可能会增加近期供应量。 Kraken已朝着上市Pi Network迈进

CryptoNewsFlash55 分钟前
评论
0/400
暂无评论