XRPL, Borç Verme Protokolünü İflas Risklerine Karşı Test Ediyor

Common Prefix, XRP Ledger’ın yakında kullanıma sunulacak Borç Verme Protokolünü Lean 4 ile biçimsel olarak doğruluyor ve muhasebe ile güvenlik kurallarının olası sistem durumlarında geçerli olup olmadığını test ediyor. Çalışma, doğrulayıcıların onayından sonra etkinleştirilmesi gereken LendingProtocolV1_1 değişikliğini içeren xrpld 3.4.0 sürümünün yayımlanmasının ardından başladı.

Protokol, kapalı uçlu borç verme kasaları üzerine kuruluyor. Mevduat sahipleri abonelik sırasında varlık ekleyebilir veya çekebilir, ancak yatırım dönemi boyunca sermaye kilitli kalır ve sabit vadeli, teminatsız krediler için kullanılabilir hale gelir. Çekimler itfa döneminde yeniden başlar. Nakit esaslı muhasebe, krediler oluşturulduğunda değil, borçlu ödemeleri geldiğinde faiz kaydı yapar.

Neden önemli

Kasa bakiyeleri, kredi ödemeleri veya pay hesaplamalarındaki muhasebe hataları, havuzdaki mevduat sahibi fonlarını etkileyebilir. Common Prefix’in önceki modellemesi, kasa değişmezlerinin ihlallerini, kredi ödemelerinde doğrulama hatalarını, aritmetik yuvarlama hatalarını ve yazılı spesifikasyonlarla uygulama arasındaki farkları ortaya çıkardı. RippleX, bu sorunların xrpld 3.1.3 ve 3.2.0 sürümlerinde giderildiğini söyledi.

Mevcut çalışma, xrpld C++ kod tabanının tamamını doğrulamaya çalışmak 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ırarak yazılım geliştikçe uyumsuzlukların belirlenmesine yardımcı oluyor.

Piyasa etkisi

Biçimsel doğrulama, doğrulayıcılar değişikliği etkinleştirmeden ve daha fazla mevduat sahibi sermayesi taahhüt edilmeden önce XRPL’in borç verme altyapısına duyulan güveni güçlendirebilir. Tasarım, Evernorth ve VS1.Finance’ın ticari ilgisini de çekiyor. Bu durum, öngörülebilir kasa muhasebesinin önemini artırıyor.

Kanıtlamanın net sınırları bulunuyor. Borçluların geri ödeme performansı, kredi değerlendirmesi ve risk analizi zincir dışında kalırken, brokerların ilk zarar sermayesi temerrüt riskini ortadan kaldırmıyor. Doğrulama, tanımlanmış özellikleri ve varsayımları test edebilir, ancak her borçlunun, dış entegrasyonun veya operasyonel sürecin güvenli biçimde çalışacağını kanıtlayamaz.