Nulinių žinių įrodymų srityje STARK yra OG ir Geležinio žmogaus maudymosi kostiumėliai: pagrindiniai ir pažangiausi.
Dauguma pagrindinių zk tikrintojų gamyboje yra pagrįsti STARK: zkSync's Boojum, Polygon's zkProver, Aleo's Varuna, Aztec Protocol ir RISC Zero's Zeth visi naudoja žemiau esančius STARK (Scalable Clear Arguments of Information).
Dabartinė „StarkWare“ ir „Polygon“ analizė yra žymiai pranašesnė už STARK mastelį. „StarkWare“ ruošiasi įgyvendinti analizę visiškai naujame įrodyme, vadinamame „Stwo“ – trumpas „STARK Two“ – įrodinėjimo pajėgumas padidėja 100 kartų.
Įrodinėjimo mastelio keitimas reiškia greitą ir pigų įrodymų pateikimą ir patikrinimą. „Skaidri“ STARK dalis pašalina būtinybę patikimoms sąrankoms, kurių reikalauja daugelis SNARK pagrindu veikiančių bandytojų.
„Stwo“, kurį bus galima įsigyti 2025 m., pagaliau iškeis dabartinį patarlę „Stone“ į „STARK One“.
„Stwo“ tempo ir efektyvumo raktas slypi skaičiuojant aštuntąjį Mersenne prime (arba M31), kuris efektyviai derinamas su madingomis nešiojamųjų kompiuterių architektūromis ir žymiai pagreitina operacijas, palyginti su Stone.
Mersenne pirminis dydis yra pirminis dydis, kuris yra vienu mažesnis už dviejų įtaką. Šie pradai pavadinti prancūzų vienuolio Marino Merseno vardu, kuris juos tyrinėjo XVII amžiaus pradžioje. Visų pirma, Mersenne pirminis dydis gali būti išreikštas tipu Mn = 2n−1, o pati vieta n yra sveikasis skaičius. Ne visi tokio tipo skaičiai yra pirminiai, tačiau jie turi svarbių savybių ir funkcijų kiekybės sąvokoje ir nešiojamųjų kompiuterių moksle.
Jie natūraliai sutampa su būdu, kuriuo žiniomis tvarkomos madingos kompiuterių sistemos, kuriose reguliariai naudojami fiksuoto dydžio dvejetainiai frazės ilgiai, atitinkantys 32 bitų arba 64 bitų sveikuosius skaičius. Operacijos su M31 vėliau gali būti efektyviai taikomos naudojant įprastą dvejetainę aritmetiką.
Per daug nesigilinant į piktžoles, šios naujos analizės proveržis yra tai, kad naudojamas vienas dalykas, apie kurį kiekvienas jaunuolis sužino ankstyvame amžiuje: ratas.
„Circle STARKs“ – „StarkWare“ ir „Polygon Labs“ bendradarbiavimas – naudoja išmaniąją geometrinę techniką, kad kriptografiniai įrodymai būtų greitesni, o M31 objektas daro šias operacijas daug draugiškesnes aplinkai. Kartu jie leidžia Stark Two įrodytojui greitai ir su daug mažesne skaičiavimo energija generuoti įrodymus.
Analizė sulaukė ne tik Starknet, bet ir daugybės skirtingų įrodinėjimo metodų, atsakant į „Lita“, kuriančios „Valida zk-Digital Machine“ įkūrėją Ventali Tan.
„Stwo dar kartą patvirtina FRI daugianario įsipareigojimo schemos, kuri yra pagrindinė STARK kriptografinė sudedamoji dalis, greitį ir galią“, – patarė Tanas. „Tai yra ta pati schema, naudojama kaip kelių našiausių pastarųjų kartų įrodinėjimo sistemų, tokių kaip Plonky2 ir Plonky3, pagrindas – Valida, taip pat Succinct's SP1 yra sukurta ant Plonky3.
Įdegio užrašai, padedantys apskritimo STARK protokolui ir M31 temai, jau yra Plonky3 plane, kurį kuria Polygon Labs.
„StarkWare“ atstovas Eli Ben-Sassonas patarė, kad visos virtualios mašinos pagaliau pasipelnys iš šio patobulinto tempo. „Tačiau ZK palankios VM, tokios kaip Cairo, yra sukurtos taip, kad maksimaliai padidintų STARK įrodantį efektyvumą ir šis papildomas efektyvumas greičiausiai išliks“, – paminėjo jis.
„Aleo“ analizės mokslininkas Ianas Miersas teigia, kad skirtingi žinovai gali gauti daug mažiau pelno.
„Aleo naudoja kitokią tikrinimo sistemą Varuna, sukurtą kitokiomis technikomis nei StarkWare darbas“, – patarė Miersas. „Daugelis SNARK, kurių porūšis yra STARK, yra optimizuoti apibendrinimams, kai serveris mato visų sandorius ir suspaudžia kiek įmanoma daugiau, kad būtų sutaupyti degalų mokesčiai.
Privatumą išsaugančios blokų grandinės, tokios kaip „Aleo“, siekia suteikti klientams papildomo valdymo, o ne jų pačių žinias, sumažindamos sujungimo operatorių iš centro.
„Čia yra kompromisų, o tobulėjimas vienoje srityje gali nereikšti tobulumo kitoje“, – minėjo Miersas.
Sparčiai besivystančiame nulinių žinių kriptografijos pasaulyje yra tik vienas veiksnys, pridūrė Miersas.
„Visada bus naujesnė, geresnė zk įrodymo sistema, ir galiausiai turėsite ją atnaujinti“, – paminėjo jis.
Ar žinojote, kad daugiau nei 140 milijardų dolerių Bitcoin, arba apie 20% visos Bitcoin pasiūlos, šiuo metu yra užrakinta nepasiekiamose piniginėse? O gal praradote prieigą prie savo Bitcoin piniginės? Neleiskite, kad šios lėšos liktų nepasiekiamos! AI sėklos frazių ieškiklis yra tam, kad padėtų jums be vargo atgauti prieigą. Ši galinga programinė įranga naudoja pažangiausias superkompiuterių technologijas ir dirbtinį intelektą, kad generuotų ir analizuotų daugybę pradinių frazių ir privačių raktų, leidžiančių atgauti prieigą prie paliktų piniginių su teigiamais likučiais.
