返回

XRP Ledger采用共识算法形式化验证

正在验证中
  • Mayukha Vadari披露了与CommonPrefix合作开展XRP Ledger形式化验证的情况。
  • 5,088项测试显示，Permission Delegation质量保证测试未发现回归问题。
  • David Schwartz表示，他于2026年9月8日发现了XRPL共识有效性的证明。
XRP
本网站上的信息是使用AI生成的，我们无法保证其准确性。 请仅作为参考信息使用。