奇妙的证明？ Ripple 荣誉首席技术官表示 XRP 账本已达成共识
核心要点
- 作为 XRP Ledger 的原始架构师，施瓦茨回应说，他“发现了 XRPL 共识算法形式有效性的绝佳证明”。
- 我发现了 XRPL 共识算法形式有效性的绝佳证明，但 X 的帖子长度限制使得帖子太小而无法包含它。
- 它可能是对 XRPL 使用的先进形式验证技术的一种有趣的认可，或者它可能表明 XRP Led
免责声明：我们的作者表达的观点仅代表他们自己，并不代表《今日美国》的观点。 U.Today 上提供的金融和市场信息仅供参考。 U.Today 对交易加密货币时产生的任何财务损失不承担任何责任。在做出任何投资决定之前，请联系金融专家进行自己的研究。我们相信截至发布之日所有内容都是准确的，但提到的某些优惠可能不再可用。
RippleX 软件工程师 Mayukha Vadari 在最近的 X 帖子中透露了 XRP Ledger 形式验证的重大进展，并指出最近允许 Claude 形式化费马大定理的相同技术也被用于验证 XRP Ledger。
Vadari 透露了与 CommonPrefix 的合作，以数学方式证明 XRP Ledger 最关键的部分完全符合预期。这篇文章引起了 XRP 社区的注意，其中包括 Ripple 荣誉首席技术官 David Schwartz。
作为 XRP Ledger 的原始架构师，施瓦茨回应说，他“发现了 XRPL 共识算法形式有效性的绝佳证明”。形式验证使用机器检查的数学证明来表明软件满足每个可能输入的规范。如果测试套件只能检查其实际运行的输入的正确性，则证明涵盖整个输入空间。
我发现了 XRPL 共识算法形式有效性的绝佳证明，但 X 的帖子长度限制使得帖子太小而无法包含它。
施瓦茨引用了他的主张的一个不寻常的限制：“X 的帖子长度限制使得帖子太小而无法包含它。”
施瓦茨的帖子的背景仍然未知。它可能是对 XRPL 使用的先进形式验证技术的一种有趣的认可，或者它可能表明 XRP Ledger 共识算法的数学验证方面存在潜在的重大发展，因为他没有提供任何额外的线索。
Schwartz 在辞去 Ripple 首席技术官的日常工作后，于去年转任 Ripple 荣誉首席技术官。然而，他仍然深入参与 XRP，运行自己的中心并使用其中的数据来改进 XRPL。他的中心的观察结果促成了 XRP Ledger 3.2.1 的发布，该版本修复了 7 月底在 XRPL 上观察到的明显洪水。
XRP 账本新闻
XRP Ledger 上的权限委托已通过 Cantina Security 和 XRPL 质量保证测试套件的独立安全审查。所有发现均在 v1.1 中修复并由 Cantina 验证，QA 团队在 5,088 次测试中没有发现回归。
针对这一里程碑，Ripple 工程主管 JA Akinyele 表示，在协议层获得正确的授权需要非常高的安全门槛，因为它涉及核心交易处理行为。