XRPL, yeni kredi piyasasının boşaltılamayacağına dair matematiksel kanıt arıyor

XRPL geliştiricileri, yakında kullanıma sunulacak kredi piyasasının boşaltılıp boşaltılamayacağını veya iflas edip edemeyeceğini test etmek için matematiksel kanıtlar kullanıyor. Common Prefix, 17 Eylül'de XRPL'nin Lending Protocol'ünü Lean 4 ile biçimsel olarak doğruladığını açıkladı. Çalışmanın amacı, protokolün muhasebe ve güvenlik kurallarını ihlal eden durumlara giremeyeceğini göstermek. 3.4.0 sürümünde LendingProtocolV1_1 yer alıyor. Değişiklik, belirli süreli kredi kasaları ile nakit esaslı muhasebe ekliyor. Değişikliğin yürürlüğe girmesi için XRP Ledger'ın değişiklik süreci kapsamında hâlâ onay gerekiyor. Kredi tasarımı, mevduat sahiplerinin varlıklarını kredi brokerlarının teminatsız, sabit vadeli kredilerde kullanması için bir havuzda birleştirmesine olanak tanıyor. Borçlu değerlendirmesi ve kredi analizi zincir dışında gerçekleştiriliyor. Defter, kredilerin oluşturulmasını, geri ödemeleri ve muhasebe işlemlerini kaydediyor. Belirli süreli kasalarda abonelik, yatırım ve itfa aşamaları bulunuyor. Mevduat sahipleri abonelik sırasında varlık ekleyebilir veya çekebilir. Yatırım sırasında her iki işlem de engelleniyor. Çekimler itfa sırasında yeniden başlıyor. Kasanın zaman çizelgesi oluşturulurken belirleniyor ve daha sonra değiştirilemiyor. Nakit esaslı muhasebe, faizi yalnızca ödemeler geldiğinde muhasebeleştiriyor. Daha önceki keşif amaçlı doğrulamada kasa değişmezlerinin ihlalleri, kredi ödemelerine ilişkin doğrulama hataları, aritmetik yuvarlama hataları ve yazılı XLS spesifikasyonları ile bunların uygulaması arasındaki farklılıklar tespit edilmişti. Common Prefix, sorunların 3.1.3 ve 3.2.0 sürümleri genelinde giderildiğini söyledi. Doğrulama, C++ kod tabanının tamamını doğrulamak yerine ilgili protokol mantığını Lean 4'te yeniden oluşturuyor. Bir oracle, matematiksel model ile üretim uygulamasındaki eşdeğer girdileri karşılaştırıyor. Güvenceler yalnızca tanımlanmış özellikler ve modellenmiş varsayımlar için geçerli. Protokol, zincir dışı kredi değerlendirmesine dayanıyor ve şu anda otomatik zincir üstü teminat ve tasfiye mekanizmaları kullanmıyor. Kredi brokerları ilk zarar sermayesi sağlayabilir ancak XRPL belgeleri bunun kredi riskini ortadan kaldırmadığını belirtiyor. Evernorth ve VS1.Finance, Single Asset Vaults ve Lending Protocol'ü kullanmaya veya bunların çevresinde yapı oluşturmaya hazırlanıyor. LendingProtocolV1_1'in etkinleşip etkinleşmeyeceğine nihai olarak doğrulayıcılar karar verecek.