XRPL, yeni borç verme piyasasının boşaltılamayacağını matematiksel olarak doğrulamaya çalışıyor
XRP Ledger geliştiricileri, yaklaşan borç verme protokolünün belirli sistem koşullarında boşaltılamadığını ya da iflasa sürüklenemediğini matematiksel olarak test ediyor. Protocol araştırma şirketi Common Prefix, 17 Eylül’de XRPL Lending Protocol üzerinde Lean 4 ile resmi doğrulama çalışması yürüttüğünü açıkladı. Lean 4, yazılımın tanımlanan matematiksel özellikleri olası durumlar boyunca karşılayıp karşılamadığını kanıtlamaya yarayan bir teorem ispat dili olarak kullanılıyor.
💡 Bilgi Notu: Resmi doğrulama, bir yazılımın sadece test edilmesinden farklıdır; sistemin belirli kuralları her olası durumda sağlayıp sağlamadığını matematiksel olarak kanıtlamaya çalışır. Lean 4 de bu tür ispatlar için kullanılan bir programlama ve ispat dilidir.
