Demokratisering af Zero-Knowledge Computing: Kraften ved RISC Zero's Bonsai Network - Blockchain Capital

Genudgivet af Platon

Abonnenter: 0

By Bart Stephens, Ryan Sprouleog Yuan Han Li

Forestil dig en verden, hvor databeskyttelse, sikkerhed og tillid ikke længere er bekymringer, hvor softwareforsyningskæder er gennemsigtige og verificerbare, og hvor en ny generation af applikationer kan udnytte kraften i nul-viden computing til at løse nogle af de mest presserende udfordringer. den digitale tidsalder. Dette er løftet om nul-viden (ZK) computing og grunden til, at vi investerer i RISC nul, en banebrydende virksomhed, der har til formål at demokratisere adgangen til ZK gennem sit Bonsai-netværk.

Zero viden (ZK) computing er en revolutionerende primitiv, der gør det muligt for applikationer og protokoller at udnytte de tre nøgleegenskaber kortfattethed, korrekthed og nul viden. Hvad dette betyder er, at ved at verificere et ZK-bevis (korrekthed), ved verifikatoren - med en næsten matematisk garanti - at beregningen blev udført korrekt.

Desuden vil det verificerede bevis være meget mindre (kortfattethed) end den oprindelige beregning, og bevisets nulvidenegenskab kan også udnyttes til at sikre, at verifikatoren ikke lærer noget om selve beregningen. Denne unikke blanding af egenskaber har vidtrækkende konsekvenser og giver en ny måde at verificere information på. Tilsammen balancerer ejendommene behovene for privatliv, sikkerhed og tillid, hvilket giver potentialet for en mere sikker og privat digital verden. Men der er flere forhindringer tilbage, før ZK kan nå sit fulde potentiale.

For det første tager det at køre beregning i ZK for lang tid og er for dyrt. Prøvetider og omkostninger skal falde drastisk, før komplekse beregninger i ZK kan være praktiske. Den gode nyhed er, at disse falder drastisk: ZK's bane for at bevise tider og omkostninger har fulgt en velkendt tendens i teknologihistorien – uanset om det var Moores lov, hvor omkostningerne ved computere blev halveret hvert andet år, Flatleys lov, hvor omkostningerne at sekvensere det menneskelige genom faldt med en endnu større hastighed, eller Kryders lov, hvor tætheden af magnetiske diske fordobles omtrent hver 13. måned. Nylige arkitektoniske fremskridt inden for bevissystemer (Plonky2, Hyperplonk, STARKs) sammen med fremskridt inden for underliggende kryptografi (Poseidon) har sænket mængden af overhead for at skabe et ZK-bevis for enhver beregning. Mens fremskridt på disse områder vil fortsætte med at ske i samme tempo (især med den seneste tilstrømning af talent til ZK), vil beviser for faste omkostninger også drage fordel af fremskridt inden for hardwareacceleration (MSM, NTT), noget der hidtil har været underudforsket .

Den anden store hindring for masseadoption af ZK er den meget komplicerede matematik og kryptografi, der er iboende i ZK-systemer. Niveauet af dybde og ekspertise, der er nødvendigt for at drive ZK-innovation, har været strengt begrænset til et lille sæt højt kvalificerede tekniske udviklere.

Ideelt set har udviklere friheden til at skrive programmer på deres foretrukne sprog, mens de stadig har evnen til at bevise beregninger i nul-viden uden behov for håndskrift og design af kredsløb i ZK-specifikke programmeringssprog på lavt niveau. Det er her, RISC Zeros Bonsai-platform bliver en game-changer for udviklere over hele verden, og det er grunden til, at vi investerer i RISC Zero.

Ved at skabe en nulkendt virtuel maskine (zkVM), der emulerer RISC-V instruktionssætarkitekturen (ISA), har RISC Zero bygget et system, der er i stand til at bevise udførelsen af lavniveaukode. Da en ISA er broen mellem menneskelæsbar kode og maskinfortolkelige instruktioner, indebærer denne præstation, at Bonsai-netværket kan bevise et hvilket som helst program på højt niveau, der kan kompileres til denne arkitektur. Da størstedelen af moderne programmeringssprog er kompatible med RISC-V, muliggør RISC Zero's Bonsai udførelse af stort set ethvert vilkårligt computerprogram uden viden.

I en fremtid, hvor nul-viden (ZK) beregning bliver almindelig, vil adskillige applikationer, der tidligere var umulige, blive aktiveret. Disse inkluderer ikke kun Ethereum-baserede applikationer, der udnytter RISC Zeros Bonsai-netværk som en co-processor – der udfører ressourcekrævende arbejde uden for kæden før verificering af resultater på kæden – men udvider også til applikationer uden for krypto. For eksempel kan Bonsai sætte white-hat hackere i stand til at bevise eksistensen af sikkerhedssårbarheder og fejl uden direkte at afsløre udnyttelsen. Det kan også forhindre fremtidige forsyningskædeangreb på software ved at give brugerne mulighed for at downloade og verificere ZK-beviser for at sikre, at de kører kode, der blev forhåndsrevideret i Bonsai. Mest spændende er det, at den udbredte adoption af Bonsai kan føre til helt nye use cases, der endnu ikke er forestillet.

Det utroligt stærke og unikke team bag RISC Zero bidrager til de imponerende teknologiske gennembrud. De tre medstiftere -Brian Retford, Jeremy Bruestleog Frank Laub-har kendt hinanden i over 20 år. Deres fælles historie inkluderer at bygge flere virksomheder sammen, hvoraf den seneste var inden for AI-optimering og kompileringsområdet og i sidste ende blev opkøbt af Intel.

Hvert medlem af trioen bringer et væld af erfaring med til RISC Zero—Brian finpudsede sine færdigheder på Google Cloud Platform, hvor han arbejdede med prissætning og målesystemer; Jeremy, en livslang matematikentusiast, arbejdede på GPU-acceleration til gensekventering og har en baggrund i kryptografi, HPC og sikkerhed; og Frank, som har en stærk baggrund inden for compilere og har designet adskillige kodebaser. Med deres fælles historie og forskelligartede færdigheder er de RISC nul teamet er unikt klar til at levere nul-viden computing til masserne og potentielt omforme det digitale landskab i processen.

Når vi ser mod en fremtid, hvor nul-viden-beregning er udbredt, er mulighederne for innovation ubegrænsede. RISC Zeros Bonsai-netværk, med dets evne til at understøtte en bred vifte af programmeringssprog, vil demokratisere ZK-beregning og give udviklere mulighed for at skabe sikre, private og tillidsløse applikationer på forskellige domæner. Fra styrkelse af cybersikkerhedsforanstaltninger til øget tillid til softwareforsyningskæder og drastisk forøgelse af den tilgængelige beregningskraft til on-chain applikationer, er den potentielle effekt af nul-viden computing enorm. Kombinationen af hurtigt faldende ZK-prøvetider og -omkostninger, et engageret team hos RISC Zero og fremkomsten af Bonsai som en alsidig computerplatform indvarsler en ny æra inden for databehandling - en hvor privatliv, sikkerhed og tillid er indbygget i selve strukturen af vores digitale verden.

Oplysninger: Blockchain Capital er investor i flere af ovennævnte protokoller.

Synspunkterne i hvert blogindlæg kan være den enkelte forfatters personlige synspunkter og afspejler ikke nødvendigvis synspunkterne fra Blockchain Capital og dets tilknyttede selskaber. Hverken Blockchain Capital eller forfatteren garanterer nøjagtigheden, tilstrækkeligheden eller fuldstændigheden af oplysningerne i hvert blogindlæg. Ingen repræsentation eller garanti, hverken udtrykkelig eller underforstået, er givet eller givet af eller på vegne af Blockchain Capital, forfatteren eller nogen anden person med hensyn til nøjagtigheden og fuldstændigheden eller retfærdigheden af oplysningerne indeholdt i et blogindlæg, og intet ansvar eller ansvar accepteres. for sådanne oplysninger. Intet indeholdt i hvert blogindlæg udgør investerings-, lovgivnings-, lov-, overholdelses- eller skatte- eller anden rådgivning, og det er heller ikke til at stole på, når der skal træffes en investeringsbeslutning. Blogindlæg bør ikke ses som aktuelle eller tidligere anbefalinger eller opfordringer til et tilbud om at købe eller sælge værdipapirer eller vedtage en investeringsstrategi. Blogindlæggene kan indeholde fremskrivninger eller andre fremadrettede udsagn, som er baseret på overbevisninger, antagelser og forventninger, der kan ændre sig som følge af mange mulige begivenheder eller faktorer. Hvis der sker en ændring, kan de faktiske resultater afvige væsentligt fra dem, der er udtrykt i de fremadrettede udsagn. Alle fremadrettede udsagn taler kun fra datoen for sådanne udsagn, og hverken Blockchain Capital eller hver forfatter påtager sig nogen pligt til at opdatere sådanne udsagn, undtagen som krævet ved lov. I det omfang der henvises til dokumenter, præsentationer eller andet materiale, der er produceret, offentliggjort eller på anden måde distribueret af Blockchain Capital, i et blogindlæg, skal sådanne materialer læses med omhyggelig opmærksomhed på eventuelle ansvarsfraskrivelser deri.