CESC '22: Helyi jegyzetek a ZKP Workshopból

A Field Notes egy olyan sorozat, amelyben jelentős iparági, kutatási és egyéb eseményekről számolunk be. Ebben a kiadásban Valeria Nikolaenko, az a16z kriptolaboratórium kutatópartnere számol be a Zero Knowledge Proof Workshop tól Crypto Economics Security Conference (CESC), amelyre október 30-án került sor a Kaliforniai Egyetemen Berkeleyben. A program célja, hogy összehozza a kutatókat és a gyakorlati szakembereket, hogy bemutassák és megvitassák a blokklánc és a web3 legújabb fejlesztéseit. Az előadások felvételei megtekinthetők itt.

• Hajnali dal (UC Berkeley) bejelentette egy új MOOC 2023 tavaszára a nulla tudásszintű igazolásokról, amely a tervek szerint 17. január 2023-én indul, és emlékeztetett a 2022 őszén már futó MOOC-okra:

• Yupeng Zhang (Texas A&M Egyetem) bemutatta a oktatóanyag a ZKP rendszerek legújabb fejlesztéséről, kivételes áttekintést ad a zk proof rendszerek felépítésének különböző megközelítéseiről, leképezve azokat 4 tengelyen: poof tömörség, bizonyító és ellenőrző hatékonyság, valamint átlátható és megbízható beállítás.

• Dan Boneh (Stanford Egyetem) bemutatott áttekintést az IOP-k általában, és különösen a Plonk polinom-IOP absztrakciója.

Dan egy új rendszert is elmagyarázott HyperPlonk, amely kiküszöböli a drága FFT-ket a prover oldalán, és sokkal hatékonyabban kezeli a magas fokú kapukat, csökkentve a bizonyítási időt és a bizonyítás méretét. Az érdekes paraméter, amelyet meg kell jegyeznünk, hogy az FFT-k uralják a próbaidőt, amikor a kapuk száma 2 felett van.²⁰.

• Tiancheng Xie (UC Berkeley) a zkBridge-en (olvassa el a papírt itt), kiemelve a hidak jobb tervezésének fontosságát a közelmúltban történt számos feltörés fényében (A Ronin híd kizsákmányolása, Féreglyuk hack, Nomád híd lefolyó, stb). A zkBridge minimálisra csökkenti a bizalmat és javítja a teljesítményt a deVirgo zéró tudásbiztos rendszerével.
• Hajnali dal (UC Berkeley) bejelentette a zkCollective-t – a láncok közötti biztonságos interoperabilitás alapját. Az erőfeszítésben való részvételhez szükséges űrlap kitölthető itt.

• Leo Fan (Cysic) kiemelte az FPGA-n végzett többskaláris szorzás (MSM) felgyorsítására vonatkozó eredményeiket a zk-próbák esetében, ahol az MSM gyakran a prover idejének több mint 50%-át teszi ki. A becslések szerint gyorsabbak, mint a hasonló erőfeszítések (PipeMSM és a Ciklon MSM). Végső céljuk egy ASIC felépítése.
• Marek Olszewski (Buzgóság) nagyszerű bemutatót adott a Celo könnyű kliensének, a Plumo-nak a futtatásáról, amelyet 2 éve fejlesztettek és idén indítottak el. A klienst egy hatalmas áramkörként fejlesztették ki 2-vel²⁷ kapuk, és egy optimista hajtja hatalom-of-tau ceremónia, amely hasznos lehet más projektekhez. A közösség tagjai naponta készítenek SNARK-proofokat (minden korszakváltás után), egy 1 magos gépen a próba ~256 órát vesz igénybe. WASM-könyvtáruk lehetővé teszi a webalkalmazásokból származó bizonyítékok ellenőrzését.
• Howard Wu (aleo) bemutatta az Aleo tervezése mögött rejlő ötleteket, amely blokkláncot épít a privát tranzakciókhoz, amely lehetővé teszi a párhuzamosságot és a hatékony állapotfrissítéseket.
• Jeremy Bruestle (Risc0) elmagyarázta a zkVM felépítésének indokait a zkSTARK-okkal megvalósított RISC-V utasításkészlethez. A RISC-V nagyon kicsi utasításkészlettel rendelkezik (<40), amelyeket különböző fordítók jól támogatnak, teljesen nyitott. És ami a legfontosabb, hatékony hardvermegvalósításra tervezték, ami hatékony áramkör-tervezést jelent a zk-bizonyításokhoz.
• Uma Roy (Succinct Labs) áttekintést adott arról, hogyan lehet tömören ellenőrizni az Ethereum konszenzusát a zkSNARK-okkal, a bizonyítási idő mindössze 1 perc.

***

Valeria Nikolaenko az a16z crypto kutatási partnere. Kutatásai a kriptográfiára és a blokklánc biztonságra összpontosítanak. Olyan témákkal is foglalkozott, mint a hosszú távú támadások a PoS konszenzus protokollokban, az aláírási sémák, a kvantum utáni biztonság és a többoldalú számítás. A Stanford Egyetemen szerzett PhD fokozatot kriptográfiából Dan Boneh professzor vezetésével, és a kutatócsoport tagjaként a Diem blokkláncon dolgozott.

***

Az itt kifejtett nézetek az AH Capital Management, LLC („a16z”) egyes alkalmazottainak nézetei, és nem az a16z vagy leányvállalatai nézetei. Az itt található bizonyos információk harmadik féltől származnak, többek között az a16z által kezelt alapok portfólióvállalataitól. Noha megbízhatónak vélt forrásokból származnak, az a16z nem ellenőrizte önállóan ezeket az információkat, és nem nyilatkozik az információk tartós pontosságáról vagy adott helyzetre való megfelelőségéről. Ezenkívül ez a tartalom harmadik féltől származó hirdetéseket is tartalmazhat; az a16z nem vizsgálta át az ilyen hirdetéseket, és nem támogatja az abban található reklámtartalmat.

Ez a tartalom csak tájékoztatási célokat szolgál, és nem támaszkodhat rá jogi, üzleti, befektetési vagy adótanácsadásként. Ezekkel a kérdésekkel kapcsolatban konzultáljon saját tanácsadójával. Bármely értékpapírra vagy digitális eszközre történő hivatkozások csak illusztrációs célt szolgálnak, és nem minősülnek befektetési ajánlásnak vagy ajánlatnak befektetési tanácsadási szolgáltatások nyújtására. Ezen túlmenően ez a tartalom nem befektetőknek vagy leendő befektetőknek szól, és nem is szánható felhasználásra, és semmilyen körülmények között nem támaszkodhat rá az a16z által kezelt alapokba történő befektetésről szóló döntés meghozatalakor. (A16z alapba történő befektetésre vonatkozó ajánlatot csak az ilyen alap zártkörű kibocsátási memoranduma, jegyzési szerződése és egyéb vonatkozó dokumentációja tesz, és azokat teljes egészében el kell olvasni.) Minden említett, hivatkozott befektetés vagy portfóliótársaság, ill. A leírtak nem reprezentatívak az a16z által kezelt járművekbe történő összes befektetésre, és nem garantálható, hogy a befektetések nyereségesek lesznek, vagy a jövőben végrehajtott egyéb beruházások hasonló tulajdonságokkal vagy eredménnyel járnak. Az Andreessen Horowitz által kezelt alapok befektetéseinek listája (kivéve azokat a befektetéseket, amelyek esetében a kibocsátó nem adott engedélyt az a16z számára a nyilvánosságra hozatalra, valamint a nyilvánosan forgalmazott digitális eszközökbe történő be nem jelentett befektetéseket) a https://a16z.com/investments oldalon érhető el. /.

A benne található diagramok és grafikonok kizárólag tájékoztató jellegűek, és nem szabad rájuk hagyatkozni befektetési döntések meghozatalakor. A múltbeli teljesítmény nem jelzi a jövőbeli eredményeket. A tartalom csak a feltüntetett dátum szerint beszél. Az ezekben az anyagokban megfogalmazott előrejelzések, becslések, előrejelzések, célok, kilátások és/vagy vélemények előzetes értesítés nélkül változhatnak, és mások véleményétől eltérhetnek vagy ellentétesek lehetnek. További fontos információkért látogasson el a https://a16z.com/disclosures oldalra.