XRP Ledger test leningenplatform met wiskundige bewijzen op veiligheid

Het netwerk XRPL onderzoekt of het nieuwe leningsysteem tegen insolvabiliteit bestand is. Onderzoeksbedrijf Common Prefix voert een formele verificatie uit met behulp van Lean 4, een programmeertaal die wiskundig kan bewijzen dat software voldoet aan gestelde veiligheidseigenschappen.

Nieuw leningsprotocol vraagt om extra zekerheid

Deze week verscheen versie 3.4.0 van xrpld met LendingProtocolV1_1, een update die gesloten beleggingskluizen en directe boekhouding introduceert. Het systeem stelt beleggers in staat kapitaal in te brengen dat makelaars kunnen uitlenen als ongedekte leningen met vaste looptijd. Onderhandeling over kredietwaardigheid gebeurt buiten het netwerk, terwijl XRPL alleen de registratie en betalingen verwerkt.

Het risico op boekhoudkundige fouten neemt toe doordat ingebrachte middelen gedurende een vooraf bepaalde periode zijn ingevroren. Als berekeningen van kluisbalansen of leningbetalingen fout gaan, raken alle beleggers tegelijk.

Directe belangstelling van institutionele partijen

Het protocol kent drie fasen: inschrijving, belegging en terugbetaling. Kapitaal kan alleen worden opgenomen na afloop van de beleggingsperiode. Voor renteinkomen geldt nu: rente wordt alleen als ontvangen opgeteld, niet wanneer een lening wordt aangegaan.

Common Prefix onderzoekt hoe deze overgangen consistent blijven bij stortingen, uitkeringen van leningen, terugbetalingen en eventuele wanbetalingen. Het bedrijf bouwt het leningslogica om in Lean 4 en test deze tegen de werkelijke implementatie.

Earlier onderzoeksfasen tussen februari en april onthulden al tekortkomingen: schendingen van kluisinvarianten, fouten bij leningbetalingen en afrondingsfouten. Deze werden opgelost in versies 3.1.3 en 3.2.0.

Kredietrisico blijft onzichtbaar voor wiskunde

Mathematische bewijzen kunnen echter niet garanderen dat kredietnemers terugbetalen. XRPL vertrouwt op offchain-onderzoek naar kredietwaardigheid en gebruikt geen automatische onderpanding zoals veel decentraliseerde leningplatformen. Makelaars kunnen verlieskapitaal inzetten, maar dit elimineert kredietrisico niet volledig.

De verificatie richt zich op de boekhouding van XRPL zelf. Of makelaars correct bepalen wie ze uitlenen, valt daar buiten.