戻る

XRP Ledger、コンセンサスアルゴリズムの形式検証を導入

検証中
  • マユカ・バダリ氏、XRP Ledgerの形式検証でCommonPrefixとの協力を明らかに
  • Permission Delegationの品質保証で5088件のテストに回帰なし
  • デービッド・シュワルツ氏、9月8日にXRPLのコンセンサスの妥当性を示す証明を発見したと発言
XRP
当サイトの情報はAIを用いて生成されており、正確性を保証するものではありません。 参考情報としてご活用ください。