„RippleX Developers“ teigė, kad oficialus XRP Ledger tikrinimo darbas pereina nuo ilgai veikiančio mokėjimo variklio prie naujesnių vietinių DeFi protokolų, įskaitant „Single Asset Vault“ ir būsimą skolinimo protokolą, o tai reiškia perėjimą prie protokolo teisingumo įrodinėjimo prieš išsiunčiant svarbias funkcijas.
Birželio 8 d. paskelbtame įraše Vito Tumas, rašantis „RippleX Developers“, teigė, kad naujasis dėmesys skiriamas šių metų pradžioje su bendruoju prefiksu, kuris padėjo apibrėžti techninę apimtį ir formalių metodų taikymo XRPL naujos kartos vietiniams finansiniams primityvams strategiją.
„Šis posūkis parodo, kaip mes žiūrime į protokolo savųjų funkcijų kūrimą“, – rašė Tumas. „Užuot saugos tinklą, nuo pat pirmos dienos įdiegsime oficialią tikrinimo praktiką, nurodydami ir tikrindami sudėtingas naujas funkcijas. Įrodomą protokolo teisingumą paverčiame dizaino savybe.”
Kodėl tai svarbu XRP knygai
Skirtumas yra svarbus, nes XRPL požiūris į DeFi skiriasi nuo tinklų, kuriuose skolinimas, saugyklos ir kita finansinė logika paprastai yra atskirose išmaniosiose sutartyse. Remiantis RippleX, XRP Ledger savo DeFi primityvus įterpia tiesiai į pagrindinę C++ architektūrą. Toks dizainas gali būti naudingas našumui ir integracijai, tačiau taip pat padidina gedimo išlaidas.
Kaip įrašas buvo įrėmintas, išorinės išmaniosios sutarties klaida gali būti izoliuota arba pakeista. Pagrindinio Layer-1 C++ kodo pažeidžiamumas gali turėti įtakos visai knygai. Tai yra saugumo fonas, skirtas oficialiam patikrinimui, susijusiam su „Single Asset Vault“ ir „Lending Protocol“, kurie abu įveda sudėtingesnę vietinę ekonominę XRPL logiką.
RippleX teigė, kad sudėtingumas daugiausia susijęs ne su kodo apimtimi. Vietoj to, pagrindinis iššūkis yra išsaugoti skaitinį tikslumą atliekant kelias nuoseklias operacijas, kai negalima leisti, kad mažos apvalinimo problemos virstų didesnėmis apskaitos klaidomis. Skolinimo rinkose ir saugyklų sistemose toks tikslumas nėra antraeilis dalykas; tai yra ekonominio dizaino dalis.
„Oficialus patikrinimas yra natūralus šios klasės problemų įrankis“, – rašė Tumas, apibūdindamas tai kaip būdą matematiškai įrodyti šių mechanizmų teisingumą ir nustatyti standartą vietiniams DeFi primityvams.
Įrašas supriešino formalų patikrinimą su įprastiniu testavimu. Vienetų testai, integravimo testai ir sistemos testai gali patvirtinti konkrečius scenarijus, kuriuos numato inžinieriai, įskaitant numatomus vartotojų srautus ir priešingą sąveiką. RippleX teigė, kad apribojimas yra tas, kad inžinieriai gali išbandyti tik tuos atvejus, kuriuos jie galvoja parašyti.
„DeFi protokolui su beveik begaline būsenos erdve tos lubos yra žemos“, – rašė Tumas. „Testavimas patvirtina, kad sistema elgiasi teisingai pagal scenarijus, apie kuriuos buvo klausiama; ji negali kalbėti su tais, kurių nebuvo.
Formalus patvirtinimas pakeičia klausimą. Užuot klausęs, ar tam tikra įvestis sukuria tinkamą išvestį, procesas sukuria abstraktų numatyto protokolo elgesio modelį tikslia kalba, kurią kompiuteriai gali analizuoti. Esminis klausimas tampa, ar modelis gali elgtis neteisingai esant bet kokioms išreikštoms sąlygoms.
RippleX taip pat apibūdino, kaip šis modelis gali prisijungti prie gamybos įgyvendinimo. „Orakulas“, gautas iš patikrinto modelio, gali būti tiesos šaltinis, pagal kurį nuolat tikrinamas xrpld įgyvendinimas. Tie patys įėjimai tiekiami ir į orakulą, ir į C++ įgyvendinimą, o bet koks išvesties nukrypimas pažymimas.
„Bendradarbiaudami su „Common Prefix“ šią metodiką taikome „Single Asset Vault“ ir „Paskolinimo protokolui“, – rašė Tumas. „Modeliavimo fazėje jau buvo atskleisti atvejai, kurių standartiniai bandymai nebuvo praleisti, o ne kaip silpnumo požymį, o kaip įrodymą, kad formalus patikrinimas veikia tiksliai taip, kaip numatyta. Tai ankstyvieji rezultatai, tačiau jie atspindi metodiką su dešimtmečiais patvirtintais įrodymais, dabar pasiekiama pagrindinei inžinerijai.”
Spaudos metu XRP kainavo 1,17 USD.
Teminis vaizdas sukurtas naudojant DALL.E, diagrama iš TradingView.com
Redakcinis procesas „Bitcoinist“ yra orientuota į kruopščiai ištirto, tikslaus ir nešališko turinio teikimą. Mes laikomės griežtų tiekimo standartų, o kiekvieną puslapį kruopščiai peržiūri geriausių technologijų ekspertų komanda ir patyrę redaktoriai. Šis procesas užtikrina mūsų turinio vientisumą, aktualumą ir vertę mūsų skaitytojams.
