CESC '22: Helyi jegyzetek a ZKP Workshopból

Field notes is a series where we report on the ground at significant industry, research, and other events. In this edition, Valeria Nikolaenko, a Research Partner with the a16z crypto lab, reports on the Zero Knowledge Proof Workshop tól Crypto Economics Security Conference (CESC), which took place on October 30 at the University of California at Berkeley. The program aimed to bring together researchers and practitioners to showcase and discuss the most recent developments in blockchain and web3. You can watch recordings of the presentations itt.

• Hajnali dal (UC Berkeley) announced a new MOOC for Spring 2023 on zero-knowledge proofs, which is scheduled to start on January 17, 2023, and reminded of the MOOCs that are already running in the Fall of 2022:

• Yupeng Zhang (Texas A&M University) presented a tutorial on recent development of ZKP systems, an exceptional overview of different approaches to building zk proof systems, mapping them across 4 axes: poof succinctness, prover and verifier efficiency, and transparent vs. trusted setup.

• Dan Boneh (Stanford University) bemutatott áttekintést of abstraction of IOPs in general and Plonk polynomial-IOP in particular.

Dan also explained a new system called HyperPlonk, which can eliminate expensive FFTs on the prover’s side and handles gates of high degree much more efficiently, reducing both prover’s time and proof’s size. The interesting parameter to remember is that FFTs dominate the prover’s time when the number of gates is above 2²⁰.

• Tiancheng Xie (UC Berkeley) presented on the zkBridge (read the paper itt), highlighting the importance of better design for bridges in light of numerous recent hacks (A Ronin híd kizsákmányolása, Féreglyuk hack, Nomad bridge drain, and so on). zkBridge minimizes trust and improves performance with deVirgo zero-knowledge proof system.
• Hajnali dal (UC Berkeley) announced zkCollective – a foundation for secure cross-chain interoperability. The form to participate in the effort can be filled out itt.

• Leo Fan (Cysic) highlighted their results for accelerating multi-scalar multiplication (MSM) on FPGA for zk-prover’s, where MSM often accounts for more than 50% of prover’s time. They are estimated to be faster than comparable efforts (PipeMSM és a CycloneMSM). Their ultimate goal is to build an ASIC.
• Marek Olszewski (Buzgóság) gave a great demo on running Celo’s light client, Plumo, which has been 2 years in development and launched this year. The client is developed as a massive circuit with 2²⁷ gates, and powered by an optimistic powers-of-tau ceremony that can be useful for other projects. Community members are generating SNARK-proofs daily (after each epoch change), a proof takes ~1 hour on a 256-core machine. Their WASM library allows the verification of the proofs from web apps.
• Howard Wu (aleo) presented the ideas behind the design of Aleo, which builds a blockchain for private transactions that permits concurrency and efficient state updates.
• Jeremy Bruestle (Risc0) explained the design rationale behind building a zkVM for RISC-V instruction set implemented with zkSTARKs. RISC-V has a very small set of instructions (<40), well supported by different compilers, fully open. And, most importantly, it’s designed for efficient hardware implementations, which implies efficient circuit design for zk proofs.
• Uma Roy (Succinct Labs) gave an overview of a way to succinctly verify Ethereum’s consensus with zkSNARKs with proving time is only 1 minute.

***

Valeria Nikolaenko is a Research Partner at a16z crypto. Her research focuses on cryptography and blockchain security. She has also worked on topics such as long-range attacks in PoS consensus protocols, signature schemes, post-quantum security, and multi-party computation. She holds a PhD in Cryptography from Stanford University under advisorship of Professor Dan Boneh, and worked on the Diem blockchain as part of the core research team.

***

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.