Democratizarea calculului cu cunoștințe zero: puterea rețelei Bonsai a RISC Zero

Republicat de Platon

Urmaritori: 0

By Bart Stephens, Ryan Sproule, și Yuan Han Li

Imaginați-vă o lume în care confidențialitatea datelor, securitatea și încrederea nu mai sunt preocupări, în care lanțurile de aprovizionare cu software sunt transparente și verificabile și în care o nouă generație de aplicații poate valorifica puterea calculului fără cunoștințe pentru a rezolva unele dintre cele mai presante provocări ale era digitală. Aceasta este promisiunea calculului zero-knowledge (ZK) și motivul pentru care investim în RISC Zero, o companie inovatoare care își propune să democratizeze accesul la ZK prin intermediul rețelei sale Bonsai.

Calculul cu cunoștințe zero (ZK) este o primitivă revoluționară care permite aplicațiilor și protocoalelor să utilizeze cele trei proprietăți cheie: concisență, corectitudine și cunoștințe zero. Ceea ce înseamnă aceasta este că prin verificarea unei dovezi ZK (corectitudine), verificatorul știe - cu o garanție aproape matematică - că calculul a fost efectuat corect.

Mai mult decât atât, demonstrația verificată va fi mult mai mică (concizie) decât calculul original, iar proprietatea de cunoștințe zero a dovezii poate fi, de asemenea, valorificată pentru a se asigura că verificatorul nu învață nimic despre calculul în sine. Acest amestec unic de proprietăți are implicații de anvergură și oferă o nouă modalitate de verificare a informațiilor. Împreună, proprietățile echilibrează nevoile de confidențialitate, securitate și încredere, oferind potențialul pentru o lume digitală mai sigură și privată. Dar mai multe obstacole rămân înainte ca ZK să-și atingă potențialul maxim.

În primul rând, rularea calculelor în ZK durează prea mult și este prea costisitoare. Timpul de demonstrare și costurile trebuie să scadă drastic înainte ca calculele complexe în ZK să poată fi practice. Vestea bună este că acestea sunt în scădere drastică: traiectoria timpilor și costurilor dovedirii ZK au urmat o tendință familiară în istoria tehnologiei – fie că a fost Legea lui Moore, unde costul de calcul s-a înjumătățit la fiecare doi ani, Legea lui Flatley, unde costul pentru a secvența genomul uman a scăzut cu o rată și mai semnificativă, sau legea lui Kryder, în care densitatea discurilor magnetice se dublează aproximativ la fiecare 13 luni. Progresele recente ale arhitecturii în sistemele de verificare (Plonky2, Hyperplonk, STARKs) împreună cu progresele în criptografia subiacentă (Poseidon) au redus cantitatea de suprasarcină existentă pentru a crea o dovadă ZK a oricărui calcul. În timp ce progresele în aceste domenii vor continua să se întâmple într-un ritm similar (în special cu afluxul recent de talente în ZK), cheltuielile generale doveditoare vor beneficia și de progresele în accelerarea hardware (MSM, NTT), ceva care a fost subexplorat până acum. .

Celălalt obstacol mare în calea adoptării în masă a ZK este matematica și criptografia extrem de complicate inerente sistemelor ZK. Nivelul de profunzime și expertiză necesare pentru a conduce inovația ZK a fost strict limitat la un set mic de dezvoltatori tehnici de înaltă calificare.

În mod ideal, dezvoltatorii au libertatea de a scrie programe în limbajul lor preferat, având în același timp capacitatea de a dovedi calcule în cunoștințe zero, fără a fi nevoie să scrie de mână și să proiecteze circuite în limbaje de programare de nivel scăzut, specifice ZK. Acesta este locul în care platforma Bonsai a RISC Zero devine un schimbător de joc pentru dezvoltatorii din întreaga lume și este motivul pentru care investim în RISC Zero.

Prin crearea unei mașini virtuale cu cunoștințe zero (zkVM) care emulează arhitectura setului de instrucțiuni RISC-V (ISA), RISC Zero a construit un sistem capabil să demonstreze execuția codului de nivel scăzut. Deoarece un ISA este puntea dintre codul care poate fi citit de om și instrucțiunile interpretabile de mașină, această realizare implică faptul că rețeaua Bonsai poate dovedi orice program de nivel înalt care poate fi compilat la această arhitectură. Având în vedere că majoritatea limbajelor de programare moderne sunt compatibile cu RISC-V, Bonsai de la RISC Zero permite executarea practic a oricărui program de calculator arbitrar în cunoștințe zero.

Într-un viitor în care calculul zero-knowledge (ZK) devine obișnuit, vor fi activate numeroase aplicații care anterior erau imposibile. Acestea nu includ doar aplicații bazate pe Ethereum care folosesc rețeaua Bonsai a RISC Zero ca co-procesor - efectuând lucrări intensive de resurse în afara lanțului înainte de a verifica rezultatele în lanț - dar se extind și la aplicațiile din afara cripto. De exemplu, Bonsai poate permite hackerilor cu pălărie albă să demonstreze existența unor vulnerabilități de securitate și erori fără a dezvălui direct exploitul. De asemenea, poate preveni viitoarele atacuri ale lanțului de aprovizionare asupra software-ului, permițând utilizatorilor să descarce și să verifice dovezile ZK pentru a se asigura că rulează cod care a fost pre-auditat în Bonsai. Cel mai interesant este că adoptarea pe scară largă a Bonsai ar putea duce la cazuri de utilizare complet noi, care nu au fost încă imaginate.

Democratizarea calculului cu cunoștințe zero: puterea rețelei Bonsai a RISC Zero - Blockchain Capital PlatoBlockchain Data Intelligence. Căutare verticală. Ai.

La descoperirile tehnologice impresionante ale RISC Zero se adaugă echipa incredibil de puternică și unică din spatele acestuia. Cei trei co-fondatori -Brian Retford, Jeremy Bruestle, și Frank Laub— se cunosc de peste 20 de ani. Istoria lor comună include construirea mai multor companii împreună, dintre care cea mai recentă a fost în spațiul de optimizare și compilare AI și a fost achiziționată în cele din urmă de Intel.

Fiecare membru al trio-ului aduce o mulțime de experiență la RISC Zero — Brian și-a perfecționat abilitățile la Google Cloud Platform, unde a lucrat la sistemele de prețuri și contorizare; Jeremy, un pasionat de matematică de o viață, a lucrat la accelerarea GPU pentru secvențierea genelor și are experiență în criptografie, HPC și securitate; și Frank, care are o experiență solidă în compilatoare și a proiectat numeroase baze de cod. Cu istoria lor comună și setul divers de abilități, RISC Zero Echipa este pregătită în mod unic să ofere calculului fără cunoștințe pentru mase și, potențial, să remodeleze peisajul digital în acest proces.

În timp ce privim un viitor în care calculul fără cunoștințe este larg răspândit, posibilitățile de inovare sunt nelimitate. Rețeaua Bonsai a RISC Zero, cu capacitatea sa de a susține o gamă largă de limbaje de programare, va democratiza calculul ZK și va permite dezvoltatorilor să creeze aplicații sigure, private și fără încredere în diferite domenii. De la consolidarea măsurilor de securitate cibernetică până la creșterea încrederii în lanțurile de aprovizionare cu software și creșterea drastică a puterii de calcul disponibilă pentru aplicațiile în lanț, impactul potențial al calculului fără cunoștințe este imens. Combinația dintre timpii și costurile în scădere rapidă a probei ZK, o echipă angajată la RISC Zero și apariția Bonsai ca platformă de calcul versatilă, anunță o nouă eră în domeniul calculului - una în care confidențialitatea, securitatea și încrederea sunt încorporate în structura. a lumii noastre digitale.

Dezvaluiri: Blockchain Capital este un investitor în mai multe dintre protocoalele menționate mai sus.

Părerile exprimate în fiecare postare pe blog pot fi părerile personale ale fiecărui autor și nu reflectă neapărat punctele de vedere ale Blockchain Capital și ale afiliaților săi. Nici Blockchain Capital și nici autorul nu garantează acuratețea, adecvarea sau caracterul complet al informațiilor furnizate în fiecare postare de blog. Nicio reprezentare sau garanție, expresă sau implicită, nu este făcută sau oferită de către sau în numele Blockchain Capital, autor sau orice altă persoană cu privire la acuratețea și exhaustivitatea sau corectitudinea informațiilor conținute în orice postare de blog și nu este acceptată nicio responsabilitate sau răspundere. pentru orice astfel de informații. Nimic din conținutul fiecărei postări de blog nu constituie sfaturi de investiții, de reglementare, juridice, de conformitate sau fiscale sau alte sfaturi și nici nu trebuie să se bazeze pe el în luarea unei decizii de investiție. Postările de pe blog nu trebuie privite ca recomandări sau solicitări actuale sau trecute ale unei oferte de cumpărare sau vânzare de valori mobiliare sau de adoptare a oricărei strategii de investiții. Postările de blog pot conține proiecții sau alte declarații prospective, care se bazează pe convingeri, ipoteze și așteptări care se pot schimba ca urmare a multor evenimente sau factori posibili. Dacă apare o schimbare, rezultatele reale pot varia semnificativ de cele exprimate în declarațiile prospective. Toate declarațiile prospective vorbesc numai de la data la care aceste declarații sunt făcute și nici Blockchain Capital și nici fiecare autor nu își asumă obligația de a actualiza astfel de declarații, cu excepția cazului în care este cerut de lege. În măsura în care orice documente, prezentări sau alte materiale produse, publicate sau distribuite în alt mod de Blockchain Capital sunt menționate în orice postare de blog, astfel de materiale trebuie citite cu atenție la orice declinare a răspunderii furnizate în acestea.