Nollatietotekniikan demokratisointi: RISC Zero's Bonsai Networkin voima – Blockchain Capital

Julkaissut Platon

seuraajia: 0

By Bart Stephens, Ryan Sprouleja Yuan Han Li

Kuvittele maailma, jossa tietosuoja, turvallisuus ja luottamus eivät enää ole huolenaiheita, jossa ohjelmistojen toimitusketjut ovat läpinäkyviä ja todennettavissa ja jossa uuden sukupolven sovellukset voivat hyödyntää nollatietotekniikan tehoa ratkaistakseen joitain alan kiireellisimmistä haasteista. digiaika. Tämä on lupaus nolla-tietotekniikasta (ZK) ja syy, miksi investoimme RISC Zero, uraauurtava yritys, joka pyrkii demokratisoimaan ZK:n pääsyn Bonsai-verkostonsa kautta.

Zero Knowledge (ZK) -laskenta on vallankumouksellinen primitiivi, jonka avulla sovellukset ja protokollat voivat hyödyntää kolmea keskeistä ominaisuutta, joita ovat ytimellisyys, oikeellisuus ja nollatieto. Tämä tarkoittaa sitä, että tarkistamalla ZK-todistuksen (oikeuden) todentaja tietää – lähes matemaattisella takuulla – että laskenta suoritettiin oikein.

Lisäksi varmennettu todistus on paljon pienempi (tiiviys) kuin alkuperäinen laskelma, ja todisteen nollatietoominaisuutta voidaan myös hyödyntää sen varmistamiseksi, että todentaja ei opi mitään itse laskennasta. Tällä ainutlaatuisella ominaisuuksien yhdistelmällä on kauaskantoisia vaikutuksia ja se tarjoaa uuden tavan tarkistaa tiedot. Yhdessä kiinteistöt tasapainottavat yksityisyyden, turvallisuuden ja luottamuksen tarpeita ja tarjoavat mahdollisuuden turvallisempaan ja yksityisempään digitaaliseen maailmaan. Mutta useita esteitä on jäljellä ennen kuin ZK voi saavuttaa täyden potentiaalinsa.

Ensinnäkin laskennan suorittaminen ZK:ssa kestää liian kauan ja on liian kallista. Todistamisaikojen ja -kustannusten on laskettava rajusti, ennen kuin monimutkaiset ZK-laskennot voivat olla käytännöllisiä. Hyvä uutinen on, että ne ovat laskemassa rajusti: ZK:n todistusajat ja kustannukset ovat seuranneet tekniikan historiassa tuttua trendiä – olipa kyseessä Mooren laki, jossa tietojenkäsittelyn kustannukset puolittuivat joka toinen vuosi, tai Flatleyn laki, jossa kustannukset ihmisen genomin sekvensointi putosi vieläkin merkittävämmällä nopeudella, tai Kryderin laki, jossa magneettilevyjen tiheys kaksinkertaistuu noin 13 kuukauden välein. Viimeaikaiset arkkitehtoniset edistysaskeleet testausjärjestelmissä (Plonky2, Hyperplonk, STARKs) sekä edistyminen taustalla olevassa salakirjoituksessa (Poseidon) ovat vähentäneet yleiskustannusten määrää luodakseen ZK-todisteen kaikista laskelmista. Vaikka edistys näillä alueilla jatkuukin samaa vauhtia (etenkin ZK:n äskettäisen lahjakkuuden vuoksi), yleiskustannusten osoittaminen hyötyy myös laitteistokiihdytyksen (MSM, NTT) edistymisestä, jota on toistaiseksi vähän tutkittu. .

Toinen suuri este ZK:n massakäytölle on ZK-järjestelmille luontainen erittäin monimutkainen matematiikka ja kryptografia. ZK-innovaatioiden ajamiseen tarvittava syvyys ja asiantuntemus on tiukasti rajoitettu pieneen joukkoon erittäin taitavia teknisiä kehittäjiä.

Ihannetapauksessa kehittäjillä on vapaus kirjoittaa ohjelmia haluamallaan kielellä samalla kun he voivat todistaa laskelmat nollatiedolla ilman, että heidän tarvitsee kirjoittaa käsin ja suunnitella piirejä matalan tason ZK-spesifisillä ohjelmointikielillä. Tässä RISC Zeron Bonsai-alustasta tulee pelin muuttaja kehittäjille maailmanlaajuisesti, ja siksi investoimme RISC Zeroon.

Luomalla nollatietoisen virtuaalikoneen (zkVM), joka emuloi RISC-V-käskysarjaarkkitehtuuria (ISA), RISC Zero on rakentanut järjestelmän, joka pystyy todistamaan matalan tason koodin suorittamisen. Koska ISA on silta ihmisen luettavan koodin ja konetulkkien ohjeiden välillä, tämä saavutus tarkoittaa, että Bonsai-verkko voi todistaa minkä tahansa korkean tason ohjelman, joka voidaan kääntää tähän arkkitehtuuriin. Koska suurin osa nykyaikaisista ohjelmointikielistä on yhteensopivia RISC-V:n kanssa, RISC Zero's Bonsai mahdollistaa käytännössä minkä tahansa mielivaltaisen tietokoneohjelman suorittamisen ilman tietämystä.

Tulevaisuudessa, jossa zero-knowledge (ZK) -laskennasta tulee arkipäivää, monet sovellukset, jotka aiemmin olivat mahdottomia, otetaan käyttöön. Näitä ovat Ethereum-pohjaiset sovellukset, jotka hyödyntävät RISC Zeron Bonsai-verkkoa apuprosessorina – jotka suorittavat resurssiintensiivistä työtä ketjun ulkopuolella ennen tulosten tarkistamista ketjussa – vaan ne ulottuvat myös krypton ulkopuolisiin sovelluksiin. Esimerkiksi Bonsai voi antaa white-hat-hakkereille mahdollisuuden todistaa tietoturva-aukkojen ja bugien olemassaolon paljastamatta suoraan hyväksikäyttöä. Se voi myös estää tulevia toimitusketjun hyökkäyksiä ohjelmistoja vastaan antamalla käyttäjien ladata ja tarkistaa ZK-todisteita varmistaakseen, että he käyttävät koodia, joka on ennakkoauditoitu Bonsaissa. Mielenkiintoisinta on, että Bonsain laaja omaksuminen voi johtaa täysin uusiin käyttötapauksiin, joita ei vielä ole kuviteltu.

RISC Zeron vaikuttavia teknologisia läpimurtoja täydentää sen takana oleva uskomattoman vahva ja ainutlaatuinen tiimi. Kolme perustajaa -Brian Retford, Jeremy Bruestleja Frank Laub– ovat tunteneet toisensa yli 20 vuotta. Heidän yhteiseen historiaansa kuuluu useiden yritysten rakentaminen yhdessä, joista viimeisin oli tekoälyn optimointi- ja käännösavaruudessa ja jonka lopulta osti Intel.

Jokainen trion jäsen tuo RISC Zeroon runsaasti kokemusta – Brian hioi taitojaan Google Cloud Platformissa, jossa hän työskenteli hinnoittelu- ja mittausjärjestelmien parissa. Jeremy, elinikäinen matematiikan harrastaja, työskenteli GPU-kiihdytyksen parissa geenisekvensointia varten, ja hänellä on tausta salakirjoituksesta, HPC:stä ja turvallisuudesta. ja Frank, jolla on vahva tausta kääntäjistä ja joka on suunnitellut lukuisia koodikantoja. Yhteisen historiansa ja monipuolisten taitojensa ansiosta RISC Zero tiimillä on ainutlaatuiset valmiudet toimittaa nollatietotekniikkaa massoille ja mahdollisesti muokata digitaalista maisemaa prosessin aikana.

Kun katsomme tulevaisuuteen, jossa nollatietolaskenta on laajalle levinnyttä, innovaatiomahdollisuudet ovat rajattomat. RISC Zeron Bonsai-verkko, joka pystyy tukemaan monenlaisia ohjelmointikieliä, demokratisoi ZK-laskennan ja antaa kehittäjille mahdollisuuden luoda turvallisia, yksityisiä ja luotettavia sovelluksia eri aloilla. Tietoturvatoimien vahvistamisesta ohjelmistojen toimitusketjuihin kohdistuvan luottamuksen lisäämiseen ja ketjussa olevien sovellusten käytettävissä olevan laskentatehon dramaattiseen lisäämiseen, nollatietotekniikan potentiaalinen vaikutus on valtava. Nopeasti lyhenevien ZK:n testausaikkojen ja -kustannusten, RISC Zeron sitoutuneen tiimin ja Bonsain kehittymisen monipuoliseksi laskenta-alustaksi yhdistelmä ennakoi uutta aikakautta tietojenkäsittelyssä – aikakautta, jossa yksityisyys, turvallisuus ja luottamus on rakennettu osaksi järjestelmää. digitaalisesta maailmastamme.

paljastukset: Blockchain Capital on sijoittaja useisiin edellä mainituista protokollista.

Kussakin blogikirjoituksessa esitetyt näkemykset voivat olla kunkin kirjoittajan henkilökohtaisia näkemyksiä eivätkä välttämättä kuvasta Blockchain Capitalin ja sen tytäryhtiöiden näkemyksiä. Blockchain Capital tai kirjoittaja eivät takaa kussakin blogikirjoituksessa annettujen tietojen tarkkuutta, riittävyyttä tai täydellisyyttä. Blockchain Capital, kirjoittaja tai joku muu henkilö ei anna tai anna mitään nimenomaista tai epäsuoraa takuuta tai takuita minkään blogikirjoituksen sisältämien tietojen tarkkuudesta, täydellisyydestä tai oikeudenmukaisuudesta, eikä mitään vastuuta tai vastuuta hyväksytä. tällaisia tietoja varten. Mikään jokaisessa blogikirjoituksessa ei ole sijoitus-, sääntely-, laki-, säännöstenmukaisuus- tai vero- tai muita neuvoja, eikä siihen saa luottaa sijoituspäätöstä tehtäessä. Blogiviestejä ei pidä pitää nykyisinä tai menneinä suosituksina tai tarjouksina ostaa tai myydä arvopapereita tai omaksua sijoitusstrategia. Blogikirjoitukset voivat sisältää ennusteita tai muita tulevaisuuteen suuntautuvia lausuntoja, jotka perustuvat uskomuksiin, oletuksiin ja odotuksiin, jotka voivat muuttua monien mahdollisten tapahtumien tai tekijöiden seurauksena. Jos muutos tapahtuu, todelliset tulokset voivat poiketa olennaisesti tulevaisuutta koskevissa lausumissa esitetyistä. Kaikki tulevaisuuteen suuntautuvat lausunnot puhuvat vain tällaisten lausuntojen antamispäivästä, eivätkä Blockchain Capital tai kukin kirjoittaja ole velvollinen päivittämään tällaisia lausuntoja paitsi lain edellyttämällä tavalla. Siltä osin kuin Blockchain Capitalin tuottamiin, julkaisemiin tai muuten jakamiin asiakirjoihin, esityksiin tai muuhun materiaaliin viitataan missä tahansa blogitekstissä, tällaiset materiaalit tulee lukea ja huomioida huolellisesti kaikki niissä olevat vastuuvapauslausekkeet.