Demokratisering av Zero-Knowledge Computing: Kraften i RISC Zeros Bonsai Network - Blockchain Capital

Demokratisering av Zero-Knowledge Computing: Kraften i RISC Zeros Bonsai Network – Blockchain Capital

Källnod: 2773838

By Bart Stephens, Ryan Sprouleoch Yuan Han Li

Föreställ dig en värld där datasekretess, säkerhet och förtroende inte längre är bekymmer, där mjukvaruförsörjningskedjor är transparenta och verifierbara, och där en ny generation av applikationer kan utnyttja kraften hos nollkunskapsdatorer för att lösa några av de mest pressande utmaningarna i den digitala tidsåldern. Detta är löftet om noll-kunskap (ZK) datoranvändning och anledningen till att vi investerar i RISC noll, ett banbrytande företag som syftar till att demokratisera tillgången till ZK genom sitt Bonsai-nätverk.

Noll kunskap (ZK) datoranvändning är en revolutionerande primitiv som gör att applikationer och protokoll kan utnyttja de tre nyckelegenskaperna korthet, korrekthet och noll kunskap. Vad detta betyder är att genom att verifiera ett ZK-bevis (riktighet), vet verifieraren – med en nästan matematisk garanti – att beräkningen utfördes korrekt.

Dessutom kommer det verifierade beviset att vara mycket mindre (kortfattat) än den ursprungliga beräkningen, och bevisets nollkunskapsegenskap kan också utnyttjas för att säkerställa att verifieraren inte lär sig något om själva beräkningen. Denna unika blandning av egenskaper har långtgående konsekvenser och ger ett nytt sätt att verifiera information. Tillsammans balanserar fastigheterna behoven av integritet, säkerhet och förtroende, vilket erbjuder potentialen för en säkrare och privatare digital värld. Men flera hinder återstår innan ZK kan nå sin fulla potential.

För det första tar att köra beräkningar i ZK för lång tid och är för dyrt. Provningstider och kostnader måste minska drastiskt innan komplexa beräkningar i ZK kan vara praktiska. Den goda nyheten är att dessa minskar drastiskt: ZK:s väg för att bevisa tider och kostnader har följt en välbekant trend i teknikens historia – oavsett om det var Moores lag där kostnaden för datoranvändning halverades vartannat år, Flatleys lag där kostnaden att sekvensera det mänskliga genomet föll i en ännu mer betydande takt, eller Kryders lag där densiteten av magnetiska skivor fördubblas ungefär var 13:e månad. Nya arkitektoniska framsteg inom provningssystem (Plonky2, Hyperplonk, STARKs) tillsammans med framsteg inom underliggande kryptografi (Poseidon) har sänkt mängden overhead för att skapa ett ZK-bevis för alla beräkningar. Även om framsteg inom dessa områden kommer att fortsätta att ske i liknande takt (särskilt med den senaste tillströmningen av talang till ZK), kommer bevisa omkostnader också att dra nytta av framsteg inom hårdvaruacceleration (MSM, NTT), något som hittills har varit underutforskat .

Det andra stora hindret för massantagande av ZK är den mycket komplicerade matematiken och kryptografin som är inneboende i ZK-system. Nivån på djup och expertis som behövs för att driva ZK-innovation har varit strikt begränsad till en liten uppsättning mycket skickliga tekniska utvecklare.

Helst har utvecklare friheten att skriva program på sitt föredragna språk samtidigt som de fortfarande har förmågan att bevisa beräkningar med noll kunskap, utan att behöva skriva för hand och designa kretsar i ZK-specifika programmeringsspråk på låg nivå. Det är här RISC Zeros Bonsai-plattform blir en spelväxlare för utvecklare över hela världen, och är anledningen till att vi investerar i RISC Zero.

Genom att skapa en virtuell maskin med noll kunskap (zkVM) som emulerar RISC-V-instruktionsuppsättningsarkitekturen (ISA), har RISC Zero byggt ett system som kan bevisa exekvering av lågnivåkod. Eftersom en ISA är bryggan mellan läsbar kod och maskintolkbara instruktioner, innebär denna prestation att Bonsai-nätverket kan bevisa vilket högnivåprogram som helst som kan kompileras till denna arkitektur. Eftersom majoriteten av moderna programmeringsspråk är kompatibla med RISC-V, möjliggör RISC Zeros Bonsai exekvering av praktiskt taget alla godtyckliga datorprogram utan kunskap.

I en framtid där nollkunskapsberäkning (ZK) blir vanligt, kommer många applikationer som tidigare var omöjliga att aktiveras. Dessa inkluderar inte bara Ethereum-baserade applikationer som utnyttjar RISC Zeros Bonsai-nätverk som en co-processor – som utför resurskrävande arbete utanför kedjan innan de verifierar resultat i kedjan – utan sträcker sig även till applikationer utanför krypto. Bonsai kan till exempel göra det möjligt för hackare med white-hat att bevisa förekomsten av säkerhetsbrister och buggar utan att direkt avslöja utnyttjandet. Det kan också förhindra framtida attacker i försörjningskedjan på programvara genom att tillåta användare att ladda ner och verifiera ZK-bevis för att säkerställa att de kör kod som var förreviderad i Bonsai. Mest spännande är att den utbredda adoptionen av Bonsai kan leda till helt nya användningsfall som ännu inte föreställts.

Till de imponerande tekniska genombrotten för RISC Zero är det otroligt starka och unika teamet bakom det. De tre medgrundarna—Brian Retford, Jeremy Bruestleoch Frank Laub-har känt varandra i över 20 år. Deras delade historia inkluderar att bygga flera företag tillsammans, varav det senaste var inom AI-optimering och kompileringsutrymme och slutligen förvärvades av Intel.

Varje medlem i trion tar med sig en mängd erfarenhet till RISC Zero—Brian finslipade sina kunskaper på Google Cloud Platform, där han arbetade med prissättning och mätsystem; Jeremy, en livslång matematikentusiast, arbetade med GPU-acceleration för gensekvensering och har en bakgrund inom kryptografi, HPC och säkerhet; och Frank, som har en stark bakgrund inom kompilatorer och har skapat många kodbaser. Med sin delade historia och mångsidiga kompetens, RISC noll Teamet är unikt redo att leverera noll-kunskapsdatorer till massorna och, potentiellt, omforma det digitala landskapet i processen.

När vi ser mot en framtid där nollkunskapsberäkning är utbredd, är möjligheterna till innovation oändliga. RISC Zeros Bonsai-nätverk, med dess förmåga att stödja ett brett utbud av programmeringsspråk, kommer att demokratisera ZK-beräkningar och ge utvecklare möjlighet att skapa säkra, privata och tillitslösa applikationer inom olika domäner. Från att stärka cybersäkerhetsåtgärder till att öka förtroendet för mjukvaruförsörjningskedjor och drastiskt öka beräkningskraften som är tillgänglig för applikationer i kedjan, är den potentiella effekten av nollkunskapsberäkning enorm. Kombinationen av snabbt sjunkande ZK-provningstider och kostnader, ett engagerat team på RISC Zero och framväxten av Bonsai som en mångsidig datorplattform, förebådar en ny era inom datoranvändning – en där integritet, säkerhet och förtroende är inbyggt i själva strukturen av vår digitala värld.


upplysningar: Blockchain Capital är en investerare i flera av de ovan nämnda protokollen.

Åsikterna som uttrycks i varje blogginlägg kan vara varje författares personliga åsikter och återspeglar inte nödvändigtvis åsikterna från Blockchain Capital och dess dotterbolag. Varken Blockchain Capital eller författaren garanterar riktigheten, adekvatheten eller fullständigheten av informationen som tillhandahålls i varje blogginlägg. Inga utfästelser eller garantier, uttryckliga eller underförstådda, görs eller ges av eller på uppdrag av Blockchain Capital, författaren eller någon annan person beträffande riktigheten och fullständigheten eller rättvisan hos informationen i något blogginlägg och inget ansvar eller ansvar accepteras. för sådan information. Ingenting i varje blogginlägg utgör investerings-, reglerings-, juridiska, efterlevnads- eller skatte- eller andra råd och det är inte heller att lita på det när man fattar ett investeringsbeslut. Blogginlägg ska inte ses som nuvarande eller tidigare rekommendationer eller uppmaningar om ett erbjudande om att köpa eller sälja några värdepapper eller att anta någon investeringsstrategi. Blogginläggen kan innehålla prognoser eller andra framtidsinriktade uttalanden, som är baserade på övertygelser, antaganden och förväntningar som kan förändras som ett resultat av många möjliga händelser eller faktorer. Om en förändring inträffar kan faktiska resultat avvika väsentligt från de som uttrycks i de framåtblickande uttalandena. Alla framåtblickande uttalanden talar endast från det datum sådana uttalanden görs, och varken Blockchain Capital eller varje författare tar på sig någon skyldighet att uppdatera sådana uttalanden förutom vad som krävs enligt lag. I den mån det hänvisas till dokument, presentationer eller annat material som producerats, publicerats eller på annat sätt distribuerats av Blockchain Capital i något blogginlägg, bör sådant material läsas med noggrann uppmärksamhet på eventuella friskrivningar som tillhandahålls där.

Tidsstämpel:

Mer från Blockchain Capital