Zero-Knowledge Computing democratiseren: de kracht van het Bonsai-netwerk van RISC Zero

Heruitgegeven door Plato

volgers: 0

By Bart Stephans, Ryan Sproule en Yuan Han Li

Stel je een wereld voor waarin gegevensprivacy, beveiliging en vertrouwen geen zorgen meer zijn, waar softwaretoeleveringsketens transparant en verifieerbaar zijn, en waar een nieuwe generatie applicaties de kracht van zero-knowledge computing kan benutten om enkele van de meest urgente uitdagingen van het digitale tijdperk op te lossen. Dit is de belofte van zero-knowledge (ZK) computing en de reden waarin we investeren RISC nul, een baanbrekend bedrijf dat via zijn Bonsai-netwerk de toegang tot ZK wil democratiseren.

Zero Knowledge (ZK) computing is een revolutionaire primitief waarmee toepassingen en protocollen de drie belangrijkste eigenschappen van beknoptheid, correctheid en nulkennis kunnen benutten. Dit betekent dat door een ZK-bewijs (juistheid) te verifiëren, de verificateur - met een bijna wiskundige garantie - weet dat de berekening correct is uitgevoerd.

Bovendien zal het geverifieerde bewijs veel kleiner zijn (beknoptheid) dan de oorspronkelijke berekening, en de nulkenniseigenschap van het bewijs kan ook worden gebruikt om ervoor te zorgen dat de verificateur niets leert over de berekening zelf. Deze unieke combinatie van eigenschappen heeft verstrekkende gevolgen en biedt een nieuwe manier om informatie te verifiëren. Samen brengen de eigendommen de behoeften aan privacy, veiligheid en vertrouwen in evenwicht en bieden ze het potentieel voor een veiligere en meer besloten digitale wereld. Maar er zijn nog verschillende obstakels voordat ZK zijn volledige potentieel kan bereiken.

Ten eerste duurt het uitvoeren van berekeningen in ZK te lang en is het te duur. Bewijstijden en -kosten moeten drastisch dalen voordat complexe berekeningen in ZK praktisch kunnen zijn. Het goede nieuws is dat deze drastisch afnemen: het traject van ZK-testtijden en -kosten volgen een bekende trend in de geschiedenis van de technologie - of het nu de wet van Moore was, waar de computerkosten elke twee jaar halveerden, de wet van Flatley, waar de kosten om het menselijk genoom te sequensen in een nog significanter tempo daalde, of de wet van Kryder, waar de dichtheid van magnetische schijven ruwweg elke 13 maanden verdubbelt. Recente architecturale vooruitgang in bewijssystemen (Plonky2, Hyperplonk, STARKs) samen met vooruitgang in onderliggende cryptografie (Poseidon) hebben de hoeveelheid overhead verlaagd die nodig is om een ZK-bewijs van elke berekening te maken. Hoewel de vooruitgang op deze gebieden in een vergelijkbaar tempo zal blijven plaatsvinden (vooral met de recente instroom van talent in ZK), zullen overheadkosten ook profiteren van de vooruitgang in hardwareversnelling (MSM, NTT), iets dat tot nu toe onvoldoende is onderzocht.

Het andere grote obstakel voor massale acceptatie van ZK is de zeer gecompliceerde wiskunde en cryptografie die inherent zijn aan ZK-systemen. Het niveau van diepgang en expertise dat nodig is om ZK-innovatie te stimuleren, is strikt beperkt tot een klein aantal zeer bekwame technische ontwikkelaars.

In het ideale geval hebben ontwikkelaars de vrijheid om programma's in hun voorkeurstaal te schrijven, terwijl ze nog steeds de mogelijkheid hebben om berekeningen te bewijzen zonder kennis, zonder dat ze met de hand hoeven te schrijven en circuits te ontwerpen in low-level, ZK-specifieke programmeertalen. Dit is waar het Bonsai-platform van RISC Zero een game-changer wordt voor ontwikkelaars over de hele wereld, en dat is de reden waarom we in RISC Zero investeren.

Door een zero-knowledge virtual machine (zkVM) te creëren die de RISC-V-instructiesetarchitectuur (ISA) emuleert, heeft RISC Zero een systeem gebouwd dat in staat is om de uitvoering van low-level code te bewijzen. Aangezien een ISA de brug vormt tussen door mensen leesbare code en machine-interpreteerbare instructies, impliceert deze prestatie dat het Bonsai-netwerk elk programma op hoog niveau kan bewijzen dat kan worden gecompileerd volgens deze architectuur. Aangezien de meeste moderne programmeertalen compatibel zijn met RISC-V, maakt Bonsai van RISC Zero de uitvoering mogelijk van vrijwel elk willekeurig computerprogramma zonder kennis van zaken.

In een toekomst waarin zero-knowledge (ZK)-berekening gemeengoed wordt, zullen tal van toepassingen mogelijk worden die voorheen onmogelijk waren. Deze omvatten niet alleen op Ethereum gebaseerde applicaties die gebruik maken van het Bonsai-netwerk van RISC Zero als een co-processor die resource-intensief werk off-chain uitvoert voordat de resultaten on-chain worden geverifieerd, maar strekt zich ook uit tot applicaties buiten crypto. Bonsai kan bijvoorbeeld white-hat hackers in staat stellen om het bestaan van beveiligingsproblemen en bugs te bewijzen zonder de exploit direct bekend te maken. Het kan ook toekomstige supply chain-aanvallen op software voorkomen door gebruikers in staat te stellen ZK-bewijzen te downloaden en te verifiëren om er zeker van te zijn dat ze code gebruiken die vooraf is gecontroleerd in Bonsai. Het meest opwindende is dat de wijdverbreide acceptatie van Bonsai zou kunnen leiden tot geheel nieuwe use-cases die nog niet zijn bedacht.

Zero-Knowledge Computing democratiseren: de kracht van het Bonsai-netwerk van RISC Zero - Blockchain Capital PlatoBlockchain Data Intelligence. Verticaal zoeken. Ai.

Naast de indrukwekkende technologische doorbraken van RISC Zero is het ongelooflijk sterke en unieke team erachter. De drie medeoprichters—Brian Retford, Jeremy Bruestle en Frank Laub- kennen elkaar al meer dan 20 jaar. Hun gedeelde geschiedenis omvat het samen bouwen van meerdere bedrijven, waarvan de meest recente zich op het gebied van AI-optimalisatie en -compilatie bevond en uiteindelijk werd overgenomen door Intel.

Elk lid van het trio brengt een schat aan ervaring mee naar RISC Zero: Brian verbeterde zijn vaardigheden bij Google Cloud Platform, waar hij werkte aan prijs- en meetsystemen; Jeremy, een levenslange wiskundeliefhebber, werkte aan GPU-versnelling voor gensequencing en heeft een achtergrond in cryptografie, HPC en beveiliging; en Frank, die een sterke achtergrond heeft in compilers en talloze codebases heeft ontworpen. Met hun gedeelde geschiedenis en diverse vaardigheden, de RISC nul team is uniek klaar om zero-knowledge computing aan de massa te leveren en mogelijk het digitale landschap in het proces opnieuw vorm te geven.

Als we kijken naar een toekomst waarin zero-knowledge computing wijdverspreid is, zijn de mogelijkheden voor innovatie grenzeloos. Het Bonsai-netwerk van RISC Zero, met zijn vermogen om een breed scala aan programmeertalen te ondersteunen, zal ZK-computing democratiseren en ontwikkelaars in staat stellen om veilige, private en betrouwbare applicaties in verschillende domeinen te creëren. Van het versterken van cyberbeveiligingsmaatregelen tot het vergroten van het vertrouwen in softwaretoeleveringsketens en het drastisch vergroten van de rekenkracht die beschikbaar is voor on-chain-applicaties, de potentiële impact van zero-knowledge computing is immens. De combinatie van snel afnemende ZK-testtijden en -kosten, een toegewijd team bij RISC Zero en de opkomst van Bonsai als een veelzijdig computerplatform luidt een nieuw tijdperk in de informatica in, een tijdperk waarin privacy, veiligheid en vertrouwen zijn ingebouwd in de structuur van onze digitale wereld.

informatieverschaffing: Blockchain Capital is een investeerder in verschillende van de bovengenoemde protocollen.

De standpunten die in elke blogpost worden uitgedrukt, kunnen de persoonlijke mening van elke auteur zijn en weerspiegelen niet noodzakelijkerwijs de mening van Blockchain Capital en zijn gelieerde ondernemingen. Noch Blockchain Capital, noch de auteur garandeert de juistheid, geschiktheid of volledigheid van de informatie die in elk blogbericht wordt verstrekt. Geen verklaring of garantie, expliciet of impliciet, wordt gemaakt of gegeven door of namens Blockchain Capital, de auteur of enige andere persoon met betrekking tot de juistheid en volledigheid of eerlijkheid van de informatie in een blogbericht en er wordt geen verantwoordelijkheid of aansprakelijkheid aanvaard voor dergelijke informatie. Niets in elk blogbericht vormt advies op het gebied van investeringen, regelgeving, juridische zaken, naleving of belasting of ander advies, noch kan er op worden vertrouwd bij het nemen van een investeringsbeslissing. Blogposts mogen niet worden gezien als huidige of vroegere aanbevelingen of verzoeken om een aanbod om effecten te kopen of te verkopen of om een beleggingsstrategie te volgen. De blogposts kunnen projecties of andere toekomstgerichte verklaringen bevatten, die gebaseerd zijn op overtuigingen, veronderstellingen en verwachtingen die kunnen veranderen als gevolg van vele mogelijke gebeurtenissen of factoren. Als er zich een verandering voordoet, kunnen de daadwerkelijke resultaten wezenlijk verschillen van die uitgedrukt in de toekomstgerichte verklaringen. Alle toekomstgerichte verklaringen gelden alleen vanaf de datum waarop dergelijke verklaringen zijn gedaan, en noch Blockchain Capital, noch elke auteur neemt enige plicht op zich om dergelijke verklaringen bij te werken, behalve zoals vereist door de wet. Voor zover er naar documenten, presentaties of ander materiaal geproduceerd, gepubliceerd of anderszins gedistribueerd door Blockchain Capital wordt verwezen in een blogpost, moet dergelijk materiaal worden gelezen met zorgvuldige aandacht voor eventuele disclaimers die daarin worden vermeld.