Testning afslørede problemer, som standardmetoder overså. Ripple-softwareingeniør Vito Tumas afslørede, at den formelle verifikationsproces, der anvendes på XRP Ledgers kommende udlånsprotokol, allerede har fundet komplekse kanttilfælde, som almindelig testning ikke fangede.
Relateret læsning: En 400 milliarder Shiba Inu-overraskelse: Whale Wallet vågner til live igen
Ripple samarbejder med blockchain-sikkerhedsfirmaet Common Prefix om denne indsats. Sammen bygger teamsene en abstrakt model af protokollen og sammenligner den løbende med C++-implementeringen af xrpld — XRP Ledgers serversoftware — ved hjælp af en verifikationsramme designet til at opdage fejl og potentielle sårbarheder, før de når brugerne.
Hvorfor traditionel testning kommer til kort
Tumas forklarede, at konventionel testning kun dækker scenarier, som udviklere forventer at skulle tage højde for. Formel verifikation bruger derimod matematiske beviser til at bekræfte, at kode opfører sig korrekt på tværs af et meget bredere spektrum af betingelser — inklusive kanttilfælde, som menneskelige testere måske aldrig overvejer. Denne teknik bruges i felter, hvor fejl ikke er en mulighed, såsom flysystemer, atomkraftværker og militærsoftware.
Kommende udlånsprotokol får formel verifikation 👀!! Teknologien, der bruges til at beskytte atomkraftværker, fly og militærsystemer, anvendes på $XRP Ledger. Kald det Fortress XRP. XRPs native DeFi (ingen smarte kontrakter) møder bedste sikkerhedsstandarder i klassen… https://t.co/KSAm0UuJC1 pic.twitter.com/D3aSFOUePS — Vet (@Vet_X0) 8. juni 2026
Verifikationsarbejdet dækker to nøglefunktioner i XRPLs native DeFi-satsning: Udlånsprotokollen og Single Asset Vaults. Begge er designet til at bringe lån og udlån direkte til XRPLs Layer-1-arkitektur, hvilket fuldstændigt omgår behovet for traditionelle smarte kontrakter. Fordi DeFi-funktionalitet er indbygget på protokolniveau snarere end separate applikationslag, kan en fejl påvirke hele netværket — ikke kun en enkelt app.
AI og formel verifikation
XRPL dUNL-validatoren Vet, som bragte bredere opmærksomhed til initiativet gennem et opslag på X, sagde, at kunstig intelligens spiller en voksende rolle i at gøre formel verifikation mere praktisk og skalerbar. Han antydede, at kombinationen af AI med formel verifikation kunne øge institutionel tillid til XRP Ledger-økosystemet fremover.
XRPL-fællesskabet har allerede set, hvad AI-assisteret sikkerhedsanalyse kan gøre. Tidligere i år identificerede et AI-værktøj en fejl i det foreslåede Batch-amendment, som kunne have sat brugeres midler i fare.
Relateret læsning: XRP månedlig RSI falder til all-time low, mens markedet venter på bekræftelse
Native udlån nærmer sig aktivering
Udlånsprotokollen blev introduceret under XLS-66-amendmentet og gik ind i validatorafstemningsfasen tidligere i år efter udgivelsen af XRPL version 3.1.0. Ifølge Vet er udviklere stadig i testfasen, mens de nødvendige sikkerhedsforanstaltninger er på plads, før funktionen går live.
Når protokollen er aktiveret, forventes både institutionelle og detailbrugere at kunne få adgang til kredit ved hjælp af aktiver som XRP og RLUSD.
Fremhævet billede fra Biotech Healthcare, diagram fra TradingView
Ofte stillede spørgsmål
Her er en liste over ofte stillede spørgsmål om sikkerhedsmilepælen for XRP-udlånsprotokollen, skrevet i en naturlig tone med klare, enkle svar
Spørgsmål på begynderniveau
1 Hvad er præcist en militær-grade sikkerhedsgennemgang
Det betyder, at protokollen blev testet af top-sikkerhedseksperter, der brugte de samme høje standarder og stringente metoder, som bruges til at beskytte klassificerede militærsystemer. Det er det højeste niveau af sikkerhedsrevision, du kan få
2 Betyder dette, at min XRP er 100% sikker nu
Nej, sikkerhed er aldrig 100% garanteret, men at bestå denne gennemgang betyder, at protokollen er blevet grundigt tjekket for kritiske sårbarheder. Det reducerer markant risikoen for hacks eller fejl, hvilket gør den meget sikrere end en ikke-revideret platform
3 Hvorfor har jeg brug for en udlånsprotokol til XRP
I stedet for blot at holde XRP kan du låne det ud for at tjene renter. Låntagere kan også bruge deres XRP som sikkerhed for at få et lån i et andet aktiv. Denne milepæl gør den proces mere troværdig
4 Hvem udførte denne sikkerhedsgennemgang
Meddelelsen vil nævne et specifikt, velkendt sikkerhedsfirma. Disse er virksomheder, der specialiserer sig i at finde fejl i blockchain-kode
5 Hvordan adskiller dette sig fra en almindelig sikkerhedsrevision
En almindelig revision tjekker for almindelige fejl. En militær-grade gennemgang går dybere—den simulerer avancerede angreb, tjekker for logiske fejl og tester systemet under ekstrem stress, ligesom en militær entreprenør ville teste et missilsystem
Mellemliggende og avancerede spørgsmål
6 Hvilke specifikke sårbarheder ledte gennemgangen efter i en udlånsprotokol
Den tjekkede for ting som flashlånsangreb, orakelmanipulation, reentrancy-fejl og likvidationslogikfejl
7 Betyder det at bestå denne gennemgang, at protokollen er sikker mod alle DeFi-risici som impermanent tab eller likvidation
Nej. Gennemgangen tjekker kun koden og smarte kontrakters sikkerhed. Den beskytter dig ikke mod markedsrisici som
Impermanent tab
Likvidation