リップルの最高技術責任者名誉職David Schwartz氏が、XRPの価格が1.41ドルで維持されている中、XRPLコンセンサスバリデーションの重要性を強調

XRP Ledger のソフトウェアエンジニアは、ネットワーク全体のコアコードを検証するための機械検証テストを拡張しました。RippleX のエンジニアである Mayukha Vadari は、リサーチ企業 CommonPrefix との提携を確認し、XRP Ledger のコア部分が意図通りに動作することを数学的に証明しました。

検証システムは、あらゆる可能な入力に対してソフトウェア仕様をテストするために、機械による数学的証明を使用します。標準的なテストスイートが特定のデータ実行を確認するのとは異なり、完全な数学的証明は入力空間全体を検証します。エンジニアリングチームは、複雑な数学定理を形式化するために同じコア技術を使用しています。

David Schwartz、XRP Ledger のコンセンサス証明を強調

この開発は、XRP (XRP-USD) コミュニティのメンバーや、Ripple CTO エメリタスの David Schwartz から注目を集めました。Schwartz は、XRP Ledger のオリジナルアーキテクチャ設計に携わり、その後エメリタス役職に就いています。発表に応じて、David Schwartz は「私は XRPL のコンセンサスアルゴリズムの形式的妥当性に関する素晴らしい証明を発見しましたが、X の投稿文字数制限のため、それを投稿するにはスペースが足りません」と述べました。

Schwartz は自身のネットワークハブを運営し続けており、データ収集とネットワークパフォーマンスの改善に取り組んでいます。彼の技術的な知見は、2023年7月末に見られたネットワークトラフィックスパイクを解消したソフトウェアリリース3.2.1にも貢献しました。

XRPのネットワーク、独立したセキュリティレビューを通過

セキュリティチームもまた、XRP Ledger のプロトコル機能に対する独立したチェックを完了しました。セキュリティ企業 Cantina Security は、Permission Delegation 機能に関して、内部品質保証テストとともに独立監査を完了しました。監査チームはバージョン 1.1 全体の修正を確認し、自動テストは5,088件のテストをコードエラーなしで完了しました。

Ripple Head of Engineering の JA Akinyele は、プロトコルレベルでの委任設定にはコアとなるトランザクション処理が変更されるため、高いセキュリティ基準が必要だったと指摘しました。一方、XRP は約1.41ドルで取引されており、200日指数移動平均線1.35ドル付近を上回るサポートを維持しています。