テクノロジーXRPL、新たな融資市場が枯渇しないことの数学的証明を目指す

XRPLの開発者は、次期融資プロトコルが資金を枯渇させたり債務超過に陥ったりしないかを検証するため、Lean 4による形式検証を進めている。Common Prefixによると、預金、融資、返済、債務不履行、償還の各状態で会計・安全規則が守られるかを調べる。先行調査では保管庫の不変条件違反や支払い処理の失敗、丸め誤差、仕様と実装の相違が見つかった。

XRPLブロックチェーン融資形式検証

CCryptoSlate★★☆☆☆2026-09-18 15:35元記事