2026年9月18日 11:35 ET 发布 · 更新于 2 个月前 · 1 个来源
XRPL 试图用数学证明其新借贷市场无法被耗尽
CryptoSlate
·
原始报道
XRP Ledger (XRPL) 的开发者正在使用数学证明来测试该网络即将推出的借贷市场是否会被耗尽或变得无力偿还。9 月 17 日,协议研究公司 Common Prefix 表示,它正在使用 Lean 4(一种旨在确定软件是否满足跨可能系统定义的数学属性的定理证明语言)来正式验证 XRPL 的借贷协议 [...] XRPL 试图用数学证明其新借贷市场无法被耗尽一文发布于