CESC '22: Feltnoter fra ZKP-værkstedet

Feltnoter er en serie, hvor vi rapporterer på stedet ved vigtige industri-, forskning- og andre begivenheder. I denne udgave rapporterer Valeria Nikolaenko, en forskningspartner med a16z kryptolaboratoriet, om Zero Knowledge Proof Workshop fra Crypto Economics Security Conference (CESC), som fandt sted den 30. oktober på University of California i Berkeley. Det program havde til formål at samle forskere og praktikere for at fremvise og diskutere den seneste udvikling inden for blockchain og web3. Du kan se optagelser af præsentationerne link..

• Dawn sang (UC Berkeley) annonceret en ny MOOC til foråret 2023 på nul-viden beviser, som er planlagt til start den 17. januar 2023 og mindet om de MOOC'er, der allerede kører i efteråret 2022:

• Yupeng Zhang (Texas A&M University) præsenterede en tutorial om den seneste udvikling af ZKP-systemer, en enestående oversigt over forskellige tilgange til at bygge zk-sikre systemer, kortlægning dem på tværs af 4 akser: poof kortfattethed, beviser og verifikator effektivitet og gennemsigtig vs. betroet opsætning.

• Dan Boneh (Stanford University) forelagt et overblik af abstraktion af IOP'er generelt og Plonk polynomial-IOP i særdeleshed.

Dan forklarede også et nyt system kaldet HyperPlonk, som kan eliminere dyre FFT'er på proverens side og håndterer porte af høj grad meget mere effektivt, hvilket reducerer både testerens tid og bevisets størrelse. Den interessante parameter at huske er, at FFT'er dominerer beviserens tid, når antallet af porte er over 2²⁰.

• Tiancheng Xie (UC Berkeley) præsenteret på zkBridge (læs papiret link.), der fremhæver vigtigheden af ​​bedre design for broer i lyset af talrige nylige hacks (Ronin Bridge udnyttelse, Ormehulshack, Nomadebroafløb, og så videre). zkBridge minimerer tillid og forbedrer ydeevnen med deVirgo nul-viden bevis system.
• Dawn sang (UC Berkeley) annoncerede zkCollective – et grundlag for sikker interoperabilitet på tværs af kæder. Skemaet for at deltage i indsatsen kan udfyldes link..

• Leo fan (Cysisk) fremhævede deres resultater for acceleration af multi-scalar multiplikation (MSM) på FPGA for zk-prover's, hvor MSM ofte tegner sig for mere end 50% af prover's tid. De vurderes at være hurtigere end sammenlignelige indsatser (PipeMSM , CycloneMSM). Deres ultimative mål er at bygge en ASIC.
• Marek Olszewski (Celo) gav en fantastisk demo om at køre Celos lysklient, Plumo, som har været 2 år under udvikling og lanceret i år. Klienten er udviklet som et massivt kredsløb med 2²⁷ porte, og drevet af en optimistisk powers-of-tau ceremoni, der kan være nyttig til andre projekter. Fællesskabsmedlemmer genererer SNARK-proofs dagligt (efter hvert epokeskifte), en korrektur tager ca. 1 time på en maskine med 256 kerner. Deres WASM-bibliotek tillader verifikation af beviserne fra webapps.
• Howard Wu (aleo) præsenterede ideerne bag designet af Aleo, som bygger en blockchain til private transaktioner, der tillader samtidighed og effektive tilstandsopdateringer.
• Jeremy Bruestle (Risc0) forklarede designrationalet bag at bygge et zkVM til RISC-V instruktionssæt implementeret med zkSTARKs. RISC-V har et meget lille sæt instruktioner (<40), godt understøttet af forskellige compilere, fuldt åbne. Og vigtigst af alt er det designet til effektive hardwareimplementeringer, hvilket indebærer effektivt kredsløbsdesign til zk-beviser.
• Uma Roy (Kortfattede Labs) gav et overblik over en måde at kortfattet verificere Ethereums konsensus med zkSNARKs med bevistid på kun 1 minut.

***

Valeria Nikolaenko er forskningspartner hos a16z crypto. Hendes forskning fokuserer på kryptografi og blockchain-sikkerhed. Hun har også arbejdet med emner som langdistanceangreb i PoS-konsensusprotokoller, signaturordninger, post-kvantesikkerhed og multi-party beregning. Hun har en ph.d. i kryptografi fra Stanford University under vejledning af professor Dan Boneh og arbejdede på Diem blockchain som en del af kerneforskerteamet.

***

De synspunkter, der er udtrykt her, er dem fra det enkelte AH Capital Management, LLC ("a16z") personale, der er citeret, og er ikke synspunkter fra a16z eller dets tilknyttede selskaber. Visse oplysninger indeholdt heri er indhentet fra tredjepartskilder, herunder fra porteføljeselskaber af fonde forvaltet af a16z. Selvom det er taget fra kilder, der menes at være pålidelige, har a16z ikke uafhængigt verificeret sådanne oplysninger og fremsætter ingen erklæringer om informationernes vedvarende nøjagtighed eller deres passende for en given situation. Derudover kan dette indhold omfatte tredjepartsreklamer; a16z har ikke gennemgået sådanne annoncer og støtter ikke noget reklameindhold indeholdt deri.

Dette indhold er kun givet til informationsformål og bør ikke påberåbes som juridisk, forretningsmæssig, investerings- eller skatterådgivning. Du bør rådføre dig med dine egne rådgivere om disse spørgsmål. Henvisninger til værdipapirer eller digitale aktiver er kun til illustrationsformål og udgør ikke en investeringsanbefaling eller tilbud om at levere investeringsrådgivningstjenester. Ydermere er dette indhold ikke rettet mod eller beregnet til brug af nogen investorer eller potentielle investorer og kan under ingen omstændigheder stoles på, når der træffes en beslutning om at investere i en fond, der administreres af a16z. (Et tilbud om at investere i en a16z-fond vil kun blive givet af private placement-memorandummet, tegningsaftalen og anden relevant dokumentation for en sådan fond og bør læses i deres helhed.) Eventuelle investeringer eller porteføljeselskaber nævnt, refereret til eller beskrevne er ikke repræsentative for alle investeringer i køretøjer, der administreres af a16z, og der kan ikke gives sikkerhed for, at investeringerne vil være rentable, eller at andre investeringer foretaget i fremtiden vil have lignende karakteristika eller resultater. En liste over investeringer foretaget af fonde forvaltet af Andreessen Horowitz (undtagen investeringer, hvortil udstederen ikke har givet tilladelse til, at a16z offentliggør såvel som uanmeldte investeringer i offentligt handlede digitale aktiver) er tilgængelig på https://a16z.com/investments /.

Diagrammer og grafer, der er angivet i, er udelukkende til informationsformål og bør ikke stoles på, når der træffes nogen investeringsbeslutning. Tidligere resultater er ikke vejledende for fremtidige resultater. Indholdet taler kun fra den angivne dato. Alle fremskrivninger, estimater, prognoser, mål, udsigter og/eller meninger udtrykt i disse materialer kan ændres uden varsel og kan afvige fra eller være i modstrid med andres meninger. Se venligst https://a16z.com/disclosures for yderligere vigtige oplysninger.