A nulla tudású számítástechnika demokratizálása: A RISC Zero's Bonsai Network ereje – Blockchain Capital

A nulla tudású számítástechnika demokratizálása: A RISC Zero's Bonsai Network ereje – Blockchain Capital

Forrás csomópont: 2773838

By Bart Stephens, Ryan Sprouleés Yuan Han Li

Képzeljen el egy olyan világot, ahol az adatvédelem, a biztonság és a bizalom többé nem számít, ahol a szoftverellátási láncok átláthatóak és ellenőrizhetők, és ahol az alkalmazások új generációja kihasználhatja a nulla tudásalapú számítástechnika erejét a legsürgetőbb kihívások megoldására. a digitális korszak. Ez a zéró tudású (ZK) számítástechnika ígérete, és ezért fektetünk be. RISC Zero, egy úttörő vállalat, amelynek célja, hogy Bonsai hálózatán keresztül demokratizálja a ZK-hoz való hozzáférést.

A nulla tudás (ZK) számítástechnika egy forradalmi primitív, amely lehetővé teszi az alkalmazások és protokollok számára, hogy kihasználják a tömörség, a helyesség és a nulla tudás három kulcsfontosságú tulajdonságát. Ez azt jelenti, hogy a ZK-bizonyítás (helyesség) ellenőrzésével a hitelesítő – majdnem matematikai garanciával – tudja, hogy a számítást helyesen hajtották végre.

Ezenkívül az ellenőrzött bizonyíték sokkal kisebb lesz (tömörség), mint az eredeti számítás, és a bizonyíték nulla tudástulajdonsága is kihasználható annak biztosítására, hogy a hitelesítő semmit sem tanuljon magáról a számításról. A tulajdonságoknak ez az egyedülálló keveréke messzemenő következményekkel jár, és új módot kínál az információk ellenőrzésére. Az ingatlanok együtt egyensúlyozzák az adatvédelem, a biztonság és a bizalom iránti igényeket, lehetőséget kínálva egy biztonságosabb és privát digitális világra. De számos akadály még hátra van, mielőtt a ZK elérheti teljes potenciálját.

Egyrészt a számítás ZK-ban való futtatása túl sokáig tart és túl drága. A bizonyítási időknek és a költségeknek drasztikusan csökkenniük kell, mielőtt a ZK-ban végzett bonyolult számítások gyakorlatiassá válnának. A jó hír az, hogy ezek drasztikusan csökkennek: a ZK bizonyítási idők és költségek pályája a technológia történetében jól ismert trendet követett – legyen szó akár Moore törvényéről, ahol a számítási költségek kétévente felére csökkentek, vagy a Flatley-törvényről, ahol a költségek Az emberi genom szekvenálása még jelentősebb ütemben esett vissza, vagy a Kryder-törvény, ahol a mágneses korongok sűrűsége nagyjából 13 havonta megduplázódik. A bizonyítási rendszerek (Plonky2, Hyperplonk, STARK) legújabb építészeti fejlesztései, valamint a mögöttes kriptográfia (Poseidon) fejlesztései csökkentették a többletköltséget, amellyel bármilyen számítás ZK-bizonyítékát hozták létre. Míg ezeken a területeken a fejlődés továbbra is hasonló ütemben fog történni (különösen a közelmúltban a ZK-ba beáramló tehetségek miatt), a rezsiköltségek bizonyítása a hardveres gyorsítás (MSM, NTT) fejlődéséből is profitál majd, ami eddig nem volt eléggé feltárva. .

A ZK tömeges elterjedésének másik nagy akadálya a ZK rendszerekben rejlő rendkívül bonyolult matematika és kriptográfia. A ZK innováció előmozdításához szükséges mélység és szakértelem szigorúan a magasan képzett műszaki fejlesztők kis csoportjára korlátozódott.

Ideális esetben a fejlesztők szabadon írhatnak programokat az általuk preferált nyelven, miközben továbbra is képesek bizonyítani a számításokat nulla tudással, anélkül, hogy alacsony szintű, ZK-specifikus programozási nyelveken kellene kézzel írniuk és áramköröket tervezniük. Ez az a hely, ahol a RISC Zero Bonsai platformja a fejlesztők számára világszerte megváltoztatja a játékot, és ez az oka annak, hogy beruházunk a RISC Zero-ba.

A RISC-V utasításkészlet architektúrát (ISA) emuláló nulla tudású virtuális gép (zkVM) létrehozásával a RISC Zero olyan rendszert épített fel, amely képes bizonyítani az alacsony szintű kódok végrehajtását. Mivel az ISA a hidat az ember által olvasható kód és a gépileg értelmezhető utasítások között, ez a vívmány azt jelenti, hogy a Bonsai hálózat minden olyan magas szintű programot bizonyíthat, amely erre az architektúrára fordítható. Mivel a legtöbb modern programozási nyelv kompatibilis a RISC-V-vel, a RISC Zero's Bonsai gyakorlatilag bármilyen tetszőleges számítógépes program zéró tudás nélküli futtatását teszi lehetővé.

Egy olyan jövőben, ahol a nulla tudás (ZK) számítása általánossá válik, számos olyan alkalmazást engedélyezni fognak, amelyek korábban lehetetlenek voltak. Ezek nemcsak az Ethereum-alapú alkalmazásokat foglalják magukban, amelyek társprocesszorként hasznosítják a RISC Zero Bonsai hálózatát – erőforrás-igényes munkát végeznek a láncon kívül, mielőtt a láncon belül ellenőriznék az eredményeket –, hanem kiterjednek a kripton kívüli alkalmazásokra is. Például a Bonsai lehetővé teheti a fehér kalapos hackerek számára, hogy bebizonyítsák a biztonsági rések és hibák létezését anélkül, hogy közvetlenül felfednék a kizsákmányolást. Megakadályozhatja a szoftverek elleni jövőbeli ellátási lánc támadásokat is azáltal, hogy lehetővé teszi a felhasználók számára a ZK-bizonyítványok letöltését és ellenőrzését, hogy megbizonyosodjon arról, hogy a Bonsai-ban előzetesen ellenőrzött kódot futtatnak. A legizgalmasabb, hogy a bonsai széles körben elterjedt alkalmazása teljesen újszerű felhasználási esetekhez vezethet, amelyeket még nem képzeltek el.

A RISC Zero lenyűgöző technológiai áttöréseihez hozzájárul a mögötte álló hihetetlenül erős és egyedülálló csapat. A három társalapító –Brian Retford, Jeremy Bruestleés Frank Laub- több mint 20 éve ismerik egymást. Közös történetük több vállalat közös felépítését is magában foglalja, amelyek közül a legutóbbi a mesterséges intelligencia optimalizálási és fordítási területe volt, és végül az Intel megvásárolta.

A trió minden tagja rengeteg tapasztalatot hoz a RISC Zero-ba – Brian a Google Cloud Platformnál csiszolta tudását, ahol árképzési és mérőrendszereken dolgozott; Jeremy, egy élethosszig tartó matematika-rajongó, a génszekvenáláshoz használt GPU-gyorsításon dolgozott, és kriptográfiai, HPC- és biztonsági háttérrel rendelkezik; és Frank, aki erős fordítói múlttal rendelkezik, és számos kódbázist készített. Közös történelmükkel és sokrétű készségkészletükkel a RISC Zero csapata egyedülállóan kész arra, hogy a tudás nélküli számítástechnikát a tömegekhez juttatja el, és ennek során potenciálisan átalakítsa a digitális tájat.

Ahogy olyan jövőbe tekintünk, ahol a nulla tudásalapú számítások széles körben elterjedtek, az innováció lehetőségei határtalanok. A RISC Zero Bonsai hálózata, amely számos programozási nyelvet képes támogatni, demokratizálja a ZK számításait, és lehetővé teszi a fejlesztők számára, hogy biztonságos, privát és megbízható alkalmazásokat hozzanak létre különböző tartományokban. A kiberbiztonsági intézkedések megerősítésétől a szoftverellátási láncokba vetett bizalom növeléséig és a láncon belüli alkalmazások számára rendelkezésre álló számítási teljesítmény drasztikus növeléséig a zéró tudású számítástechnika potenciális hatása óriási. A gyorsan csökkenő ZK bizonyítási idők és költségek, a RISC Zero elkötelezett csapata és a Bonsai sokoldalú számítási platformként való megjelenése új korszakot hirdet a számítástechnikában – egy olyan korszakot, ahol a magánélet, a biztonság és a bizalom beépül a szövetbe. digitális világunkból.


közzétételek: A Blockchain Capital több fent említett protokoll befektetője.

Az egyes blogbejegyzésekben kifejtett nézetek az egyes szerzők személyes nézetei lehetnek, és nem feltétlenül tükrözik a Blockchain Capital és leányvállalatai nézeteit. Sem a Blockchain Capital, sem a szerző nem garantálja az egyes blogbejegyzésekben közölt információk pontosságát, megfelelőségét vagy teljességét. A Blockchain Capital, a szerző vagy bármely más személy nem vállal semmilyen kifejezett vagy hallgatólagos nyilatkozatot vagy garanciát a blogbejegyzésekben szereplő információk pontosságára, teljességére vagy tisztességére vonatkozóan, és semmilyen felelősséget vagy felelősséget nem vállalunk. minden ilyen információért. Az egyes blogbejegyzésekben semmi sem minősül befektetési, szabályozási, jogi, megfelelőségi, adózási vagy egyéb tanácsnak, és nem is lehet rá támaszkodni a befektetési döntés meghozatalakor. A blogbejegyzéseket nem szabad értékpapírok vételére vagy eladására, illetve befektetési stratégia elfogadására vonatkozó jelenlegi vagy korábbi ajánlásoknak vagy felkéréseknek tekinteni. A blogbejegyzések tartalmazhatnak előrejelzéseket vagy más előremutató állításokat, amelyek olyan hiedelmeken, feltételezéseken és várakozásokon alapulnak, amelyek számos lehetséges esemény vagy tényező hatására változhatnak. Ha változás történik, a tényleges eredmények lényegesen eltérhetnek az előretekintő nyilatkozatokban megfogalmazottaktól. Minden előretekintő állítás csak az ilyen kijelentések időpontjában szól, és sem a Blockchain Capital, sem a szerzők nem vállalnak semmilyen kötelezettséget az ilyen kijelentések frissítésére, kivéve a törvény által előírt eseteket. Amennyiben a Blockchain Capital által készített, közzétett vagy más módon terjesztett dokumentumokra, prezentációkra vagy egyéb anyagokra hivatkozás történik bármely blogbejegyzésben, az ilyen anyagokat figyelmesen kell elolvasni a benne foglalt felelősségkizárásokra.

Időbélyeg:

Még több Blockchain Capital