XRPL、新レンディング市場の脆弱性を数学的に検証

XRP Ledger（XRPL）の開発チームは、近日導入予定のレンディング市場において、資金流出や破綻のリスクがないことを数学的に証明する取り組みを進めている。プロトコル研究企業のCommon Prefixは、定理証明言語「Lean 4」を用いて、会計ルールや安全性が守られることを検証している。これは、xrpldバージョン3.4.0で導入されたレンディングプロトコルに関連する重要なプロセスとなる。