Democratizing Zero-Knowledge Computing: The Power Of RISC Zero's Bonsai Network - Blockchain Capital

Ponovno objavil Platon

Spremljevalci: 0

By Bart Stephens, Ryan Sproulein Yuan Han Li

Predstavljajte si svet, kjer zasebnost podatkov, varnost in zaupanje ne predstavljajo več skrbi, kjer so dobavne verige programske opreme pregledne in preverljive in kjer lahko nova generacija aplikacij izkoristi moč računalništva brez znanja za reševanje nekaterih najbolj perečih izzivov digitalna doba. To je obljuba računalništva brez znanja (ZK) in razlog, da vlagamo v RISC nič, revolucionarno podjetje, ki želi demokratizirati dostop do ZK preko svojega omrežja Bonsai.

Računalništvo z ničelnim znanjem (ZK) je revolucionaren primitiv, ki omogoča aplikacijam in protokolom, da izkoristijo tri ključne lastnosti jedrnatosti, pravilnosti in ničelnega znanja. To pomeni, da s preverjanjem dokaza ZK (pravilnosti) preveritelj ve – s skoraj matematičnim jamstvom – da je bil izračun izveden pravilno.

Poleg tega bo preverjen dokaz veliko manjši (jedrnatost) od prvotnega izračuna, prav tako pa je mogoče izkoristiti lastnost dokaza brez znanja, da se zagotovi, da se preveritelj ne nauči ničesar o samem izračunu. Ta edinstvena mešanica lastnosti ima daljnosežne posledice in zagotavlja nov način preverjanja informacij. Lastnosti skupaj uravnotežijo potrebe po zasebnosti, varnosti in zaupanju ter ponujajo potencial za bolj varen in zaseben digitalni svet. Vendar ostaja nekaj ovir, preden lahko ZK doseže svoj polni potencial.

Prvič, izvajanje računanja v ZK traja predolgo in je predrago. Časi in stroški dokazovanja se morajo drastično zmanjšati, preden so zapleteni izračuni v ZK praktični. Dobra novica je, da se ti drastično zmanjšujejo: potek dokaznih časov in stroškov ZK je sledil znanemu trendu v zgodovini tehnologije – bodisi po Moorovem zakonu, kjer so se stroški računalništva vsaki dve leti prepolovili, Flatleyjevem zakonu, kjer so stroški za zaporedje je človeški genom padel s še pomembnejšo hitrostjo, ali Kryderjev zakon, kjer se gostota magnetnih diskov podvoji približno vsakih 13 mesecev. Nedavni arhitekturni napredek v sistemih za dokazovanje (Plonky2, Hyperplonk, STARKs) skupaj z napredkom v osnovni kriptografiji (Poseidon) je zmanjšal količino režijskih stroškov, ki so potrebni za ustvarjanje dokaza ZK za kakršen koli izračun. Medtem ko se bo napredek na teh področjih še naprej dogajal s podobno hitrostjo (zlasti zaradi nedavnega priliva talentov v ZK), bo režijskim stroškom dokazovanja koristil tudi napredek pri pospeševanju strojne opreme (MSM, NTT), kar je bilo doslej premalo raziskano. .

Druga velika ovira za množično sprejetje ZK je zelo zapletena matematika in kriptografija, ki sta del sistemov ZK. Raven globine in strokovnega znanja, ki sta potrebna za spodbujanje ZK inovacij, je bila strogo omejena na majhno skupino visoko usposobljenih tehničnih razvijalcev.

V idealnem primeru imajo razvijalci svobodo pisanja programov v svojem želenem jeziku, medtem ko imajo še vedno možnost dokazati izračune brez znanja, ne da bi morali ročno pisati in načrtovati vezja v programskih jezikih nizke ravni, specifičnih za ZK. Tu platforma Bonsai RISC Zero spremeni igro za razvijalce po vsem svetu in je razlog, da vlagamo v RISC Zero.

Z ustvarjanjem virtualnega stroja z ničelnim znanjem (zkVM), ki posnema arhitekturo nabora ukazov RISC-V (ISA), je RISC Zero zgradil sistem, ki je sposoben dokazati izvajanje nizkonivojske kode. Ker je ISA most med človeku berljivo kodo in navodili, ki jih je mogoče strojno interpretirati, ta dosežek pomeni, da lahko omrežje Bonsai dokaže kateri koli program na visoki ravni, ki ga je mogoče prevesti v to arhitekturo. Ker je večina sodobnih programskih jezikov združljivih z RISC-V, RISC Zero's Bonsai omogoča izvajanje praktično katerega koli poljubnega računalniškega programa brez znanja.

V prihodnosti, ko bo računanje brez znanja (ZK) postalo nekaj običajnega, bodo omogočene številne aplikacije, ki so bile prej nemogoče. Ti ne vključujejo le aplikacij, ki temeljijo na Ethereumu in uporabljajo omrežje Bonsai RISC Zero kot soprocesor – ki opravlja delo, ki zahteva veliko virov zunaj verige, preden preveri rezultate v verigi – ampak se razširijo tudi na aplikacije zunaj kripto. Na primer, Bonsai lahko hekerjem z belim klobukom omogoči, da dokažejo obstoj varnostnih ranljivosti in hroščev, ne da bi neposredno razkrili izkoriščanje. Prav tako lahko prepreči prihodnje napade dobavne verige na programsko opremo, tako da uporabnikom omogoči prenos in preverjanje dokazov ZK, da zagotovi, da izvajajo kodo, ki je bila predhodno revidirana v Bonsaiju. Najbolj vznemirljivo je, da bi lahko široka uporaba bonsajev vodila do povsem novih primerov uporabe, ki si jih še ni mogoče predstavljati.

Dodatek k impresivnim tehnološkim prebojem RISC Zero je neverjetno močna in edinstvena ekipa, ki stoji za njim. Trije soustanovitelji -Brian Retford, Jeremy Bruestlein Frank Laub— se poznata že več kot 20 let. Njuna skupna zgodovina vključuje skupno izgradnjo več podjetij, od katerih je bilo zadnje na področju optimizacije in prevajanja umetne inteligence in ga je nazadnje kupil Intel.

Vsak član tria prinaša bogate izkušnje v RISC Zero – Brian je svoje veščine izpopolnjeval na platformi Google Cloud Platform, kjer je delal na sistemih določanja cen in merjenja; Jeremy, vseživljenjski navdušenec nad matematiko, je delal na pospeševanju GPE za zaporedje genov in ima izkušnje s kriptografijo, HPC in varnostjo; in Frank, ki ima veliko izkušenj s prevajalniki in je arhitektiral številne kodne baze. S skupno zgodovino in raznolikim naborom spretnosti so RISC nič ekipa je edinstveno pripravljena, da množicam ponudi računalništvo brez znanja in potencialno preoblikuje digitalno krajino v procesu.

Ko gledamo v prihodnost, kjer je računalništvo brez znanja zelo razširjeno, so možnosti za inovacije neomejene. Omrežje Bonsai podjetja RISC Zero bo s svojo sposobnostjo podpiranja širokega nabora programskih jezikov demokratiziralo računanje ZK in razvijalcem omogočilo ustvarjanje varnih, zasebnih in nezaupljivih aplikacij na različnih področjih. Od krepitve ukrepov kibernetske varnosti do krepitve zaupanja v dobavne verige programske opreme in drastičnega povečanja računalniške moči, ki je na voljo aplikacijam v verigi, je potencialni vpliv računalništva brez znanja ogromen. Kombinacija hitrega zmanjševanja časa in stroškov dokazovanja ZK, predane ekipe pri RISC Zero in pojava Bonsaija kot vsestranske računalniške platforme napoveduje novo dobo v računalništvu – tisto, kjer so zasebnost, varnost in zaupanje vgrajeni v samo strukturo. našega digitalnega sveta.

Razkritja: Blockchain Capital je vlagatelj v več zgoraj omenjenih protokolov.

Stališča, izražena v vsaki objavi v spletnem dnevniku, so lahko osebna stališča vsakega avtorja in ne odražajo nujno stališč Blockchain Capitala in njegovih podružnic. Niti Blockchain Capital niti avtor ne jamčita za točnost, ustreznost ali popolnost informacij, navedenih v vsaki objavi v spletnem dnevniku. Blockchain Capital, avtor ali katera koli druga oseba ne dajejo ali dajejo nobene izjave ali jamstva, izrecnega ali implicitnega, ali v njegovem imenu glede točnosti in popolnosti ali poštenosti informacij, vsebovanih v kateri koli objavi v spletnem dnevniku, in ne prevzema nobene odgovornosti za kakršne koli take informacije. Nič, kar vsebuje vsaka objava v spletnem dnevniku, ne predstavlja naložbenega, regulativnega, pravnega, davčnega ali drugega svetovanja, prav tako se nanj ni mogoče zanašati pri odločanju o naložbi. Objav v spletnem dnevniku ne smete obravnavati kot trenutna ali pretekla priporočila ali nagovarjanje k ponudbi za nakup ali prodajo kakršnih koli vrednostnih papirjev ali za sprejetje kakršne koli naložbene strategije. Objave v spletnem dnevniku lahko vsebujejo napovedi ali druge izjave o prihodnosti, ki temeljijo na prepričanjih, predpostavkah in pričakovanjih, ki se lahko spremenijo zaradi številnih možnih dogodkov ali dejavnikov. Če pride do spremembe, se lahko dejanski rezultati bistveno razlikujejo od tistih, izraženih v izjavah o prihodnosti. Vse izjave, ki se nanašajo na prihodnost, veljajo samo za datum, ko so take izjave podane, in niti Blockchain Capital niti vsak avtor ne prevzemata nobene dolžnosti, da bi posodabljal takšne izjave, razen če to zahteva zakon. Če se kateri koli dokument, predstavitev ali drugo gradivo, ki ga je ustvaril, objavil ali kako drugače distribuira Blockchain Capital, sklicuje na katero koli objavo v spletnem dnevniku, je treba takšno gradivo prebrati s posebno pozornostjo na morebitne zavrnitve odgovornosti, navedene v njem.