Testauksessa paljastui ongelmia, joita tavanomaiset menetelmät eivät havainneet. Ripple-ohjelmistoinsinööri Vito Tumas kertoi, että XRP Ledgerin tulevaan lainausprotokollaan sovellettu formaali verifiointiprosessi on jo löytänyt monimutkaisia reunatapauksia, joita tavallinen testaus ei havainnut.
Aiheeseen liittyvä lukeminen: 400 miljardin Shiba Inun yllätys: Valaslompakko herää henkiin
Ripple tekee yhteistyötä lohkoketjuturvayritys Common Prefixin kanssa tässä hankkeessa. Yhdessä tiimit rakentavat protokollasta abstraktin mallin ja vertaavat sitä jatkuvasti xrpld:n – XRP Ledgerin palvelinohjelmiston – C++-toteutukseen käyttäen verifiointikehystä, joka on suunniteltu havaitsemaan virheet ja mahdolliset haavoittuvuudet ennen kuin ne saavuttavat käyttäjät.
Miksi perinteinen testaus jää vajaaksi
Tumas selitti, että tavanomainen testaus kattaa vain skenaariot, joita kehittäjät osaavat ennakoida. Formaali verifiointi sen sijaan käyttää matemaattisia todisteita varmistaakseen, että koodi toimii oikein paljon laajemmalla ehtojoukolla – mukaan lukien reunatapaukset, joita ihmistestaajat eivät ehkä koskaan harkitse. Tätä tekniikkaa käytetään aloilla, joilla epäonnistuminen ei ole vaihtoehto, kuten lentokonejärjestelmissä, ydinvoimaloissa ja sotilastason ohjelmistoissa.
Tuleva lainausprotokolla saa formaalin verifioinnin 👀!! Ydinvoimaloiden, lentokoneiden ja sotilasjärjestelmien turvaamiseen käytettyä tekniikkaa sovelletaan $XRP Ledgeriin. Kutsu sitä Fortress XRP:ksi. XRP:n natiivi DeFi (ilman älysopimuksia) kohtaa parhaan luokan turvallisuusstandardit… https://t.co/KSAm0UuJC1 pic.twitter.com/D3aSFOUePS — Vet (@Vet_X0) 8. kesäkuuta 2026
Verifiointityö kattaa kaksi keskeistä ominaisuutta XRPL:n natiivissa DeFi-panostuksessa: Lainausprotokolla ja Yksittäisomaisuusvarastot. Molemmat on suunniteltu tuomaan lainaaminen ja lainaaminen suoraan XRPL:n Layer-1-arkkitehtuuriin ohittaen täysin perinteisten älysopimusten tarpeen. Koska DeFi-toiminnallisuus on rakennettu protokollatasolle eikä erillisiin sovelluskerroksiin, vika voisi vaikuttaa koko verkkoon – ei vain yhteen sovellukseen.
Tekoäly ja formaali verifiointi
XRPL dUNL -validaattori Vet, joka toi aloitteen laajempaan tietoisuuteen X:ssä julkaistulla viestillä, sanoi tekoälyn olevan yhä suuremmassa roolissa formaalin verifioinnin tekemisessä käytännöllisemmäksi ja skaalautuvammaksi. Hän ehdotti, että tekoälyn yhdistäminen formaaliin verifiointiin voisi lisätä institutionaalista luottamusta XRP Ledger -ekosysteemiin tulevaisuudessa.
XRPL-yhteisö on jo nähnyt, mitä tekoälyavusteinen turvallisuusanalyysi voi tehdä. Aiemmin tänä vuonna tekoälytyökalu tunnisti vian ehdotetussa Batch-muutoksessa, joka olisi voinut vaarantaa käyttäjien varoja.
Aiheeseen liittyvä lukeminen: XRP:n kuukausittainen RSI laskee kaikkien aikojen alimmalle tasolle markkinoiden odottaessa vahvistusta
Natiivi lainaus lähestyy aktivointia
Lainausprotokolla otettiin käyttöön XLS-66-muutoksen alla ja se siirtyi validaattoriäänestysvaiheeseen aiemmin tänä vuonna XRPL-version 3.1.0 julkaisun jälkeen. Vetin mukaan kehittäjät ovat edelleen testausvaiheessa, kun tarvittavat turvatoimet asetetaan paikoilleen ennen ominaisuuden käyttöönottoa.
Kun protokolla on aktivoitu, sekä institutionaalisten että yksityisten käyttäjien odotetaan voivan käyttää luottoa omaisuuserillä, kuten XRP ja RLUSD.
Esittelykuva Biotech Healthcare -sivustolta, kaavio TradingView-sivustolta
**Usein kysytyt kysymykset**
Tässä on lista usein kysytyistä kysymyksistä XRP-lainausprotokollan turvallisuusvirstanpylväästä, kirjoitettu luonnolliseen sävyyn selkeillä ja yksinkertaisilla vastauksilla.
**Aloittelijatason kysymykset**
1. **Mikä tarkalleen ottaen on sotilastason turvallisuustarkastus?**
Se tarkoittaa, että protokolla on testattu huipputason turvallisuusasiantuntijoiden toimesta käyttäen samoja korkeita standardeja ja tiukkoja menetelmiä, joita käytetään luokiteltujen sotilasjärjestelmien suojaamiseen. Se on korkein mahdollinen turvallisuustarkastustaso.
2. **Tarkoittaako tämä, että XRP:ni on nyt 100 % turvassa?**
Ei, turvallisuus ei ole koskaan 100-prosenttisesti taattu, mutta tämän tarkastuksen läpäiseminen tarkoittaa, että protokolla on perusteellisesti tarkistettu kriittisten haavoittuvuuksien varalta. Se vähentää merkittävästi hakkerointien tai bugien riskiä, tehden siitä paljon turvallisemman kuin tarkastamaton alusta.
3. **Miksi tarvitsen lainausprotokollaa XRP:lle?**
Sen sijaan, että vain pidät XRP:tä, voit lainata sitä ansaitaksesi korkoa. Lainaajat voivat myös käyttää XRP:tään vakuutena saadakseen lainan toisessa omaisuuserässä. Tämä virstanpylväs tekee prosessista luotettavamman.
4. **Kuka suoritti tämän turvallisuustarkastuksen?**
Ilmoituksessa nimetään tietty tunnettu turvallisuusyritys. Nämä ovat yrityksiä, jotka ovat erikoistuneet löytämään vikoja lohkoketjukoodista.
5. **Miten tämä eroaa tavallisesta turvallisuustarkastuksesta?**
Tavallinen tarkastus etsii yleisiä bugeja. Sotilastason tarkastus menee syvemmälle – se simuloi kehittyneitä hyökkäyksiä, tarkistaa loogisia virheitä ja testaa järjestelmää äärimmäisessä rasituksessa, aivan kuten sotilastoimittaja testaisi ohjusjärjestelmää.
**Keskitaso ja edistyneet kysymykset**
6. **Mitä erityisiä haavoittuvuuksia tarkastus etsi lainausprotokollasta?**
Se tarkisti asioita, kuten flash-lainahyökkäykset, orakkelimanipulaatio, uudelleenkirjautumisbugit ja likvidaatiologiikan virheet.
7. **Tarkoittaako tämän tarkastuksen läpäiseminen, että protokolla on turvallinen kaikilta DeFi-riskeiltä, kuten pysyvältä tappiolta tai likvidaatiolta?**
Ei. Tarkastus tarkistaa vain koodin ja älysopimusten turvallisuuden. Se ei suojaa sinua markkinariskeiltä, kuten:
* Pysyvä tappio
* Likvidaatio