CESC '22: Feltnotater fra ZKP-verkstedet

Feltnotater er en serie hvor vi rapporterer på bakken ved viktige industri-, forskning- og andre arrangementer. I denne utgaven rapporterer Valeria Nikolaenko, en forskningspartner med a16z kryptolab, om Zero Knowledge Proof Workshop fra Crypto Economics Security Conference (CESC), som fant sted 30. oktober ved University of California i Berkeley. De program hadde som mål å bringe sammen forskere og praktikere for å vise frem og diskutere den siste utviklingen innen blockchain og web3. Du kan se opptak av presentasjonene her..

• Dawn Song (UC Berkeley) annonsert en ny MOOC for våren 2023 på nullkunnskapsbevis, som er planlagt til starter 17. januar 2023, og minnet om MOOC-ene som allerede kjører høsten 2022:

• Yupeng Zhang (Texas A&M University) presenterte en veiledning om nylig utvikling av ZKP-systemer, en eksepsjonell oversikt over ulike tilnærminger til å bygge zk-sikre systemer, kartlegge dem på tvers av 4 akser: poof kortfattethet, bevis- og verifikatorens effektivitet, og transparent kontra pålitelig oppsett.

• Dan Boneh (Universitetet i Stanford) presentert et overblikk av abstraksjon av IOPer generelt og Plonk polynomial-IOP spesielt.

Dan forklarte også et nytt system kalt HyperPlonk, som kan eliminere dyre FFTs på proverens side og håndterer porter av høy grad mye mer effektivt, noe som reduserer både testerens tid og bevisstørrelsen. Den interessante parameteren å huske er at FFT-er dominerer beviserens tid når antall porter er over 2²⁰.

• Tiancheng Xie (UC Berkeley) presentert på zkBridge (les avisen her.), fremhever viktigheten av bedre design for broer i lys av en rekke nyere hacks (Ronin Bridge utnyttelse, Ormehull hack, Nomadebroavløp, og så videre). zkBridge minimerer tillit og forbedrer ytelsen med deVirgo zero-knowledge proof system.
• Dawn Song (UC Berkeley) annonserte zkCollective – et grunnlag for sikker interoperabilitet på tvers av kjeder. Skjema for å delta i innsatsen kan fylles ut her..

• Leo fan (Kysisk) fremhevet resultatene deres for å akselerere multi-skalar multiplikasjon (MSM) på FPGA for zk-prover's, der MSM ofte står for mer enn 50% av prover's tid. De anslås å være raskere enn sammenlignbare tiltak (PipeMSM og CycloneMSM). Deres endelige mål er å bygge en ASIC.
• Marek Olszewski (hete) ga en flott demo om å kjøre Celos lysklient, Plumo, som har vært 2 år i utvikling og lansert i år. Klienten er utviklet som en massiv krets med 2²⁷ porter, og drevet av en optimist powers-of-tau seremoni som kan være nyttig for andre prosjekter. Fellesskapsmedlemmer genererer SNARK-bevis daglig (etter hver epokeskifte), et prøvetrykk tar ca. 1 time på en 256-kjerners maskin. WASM-biblioteket deres tillater verifisering av bevisene fra nettapper.
• Howard Wu (aleo) presenterte ideene bak utformingen av Aleo, som bygger en blokkjede for private transaksjoner som tillater samtidighet og effektive statlige oppdateringer.
• Jeremy Bruestle (Risc0) forklarte designrasjonale bak å bygge et zkVM for RISC-V instruksjonssett implementert med zkSTARKs. RISC-V har et veldig lite sett med instruksjoner (<40), godt støttet av forskjellige kompilatorer, helt åpen. Og viktigst av alt, den er designet for effektive maskinvareimplementeringer, noe som innebærer effektiv kretsdesign for zk-bevis.
• Uma Roy (Kortfattet Labs) ga en oversikt over en måte å kortfattet bekrefte Ethereums konsensus med zkSNARKs med bevistid på bare 1 minutt.

***

Valeria Nikolaenko er forskningspartner hos a16z crypto. Forskningen hennes fokuserer på kryptografi og blokkjedesikkerhet. Hun har også jobbet med temaer som langdistanseangrep i PoS-konsensusprotokoller, signaturordninger, post-kvantesikkerhet og flerpartsberegning. Hun har en doktorgrad i kryptografi fra Stanford University under veiledning av professor Dan Boneh, og jobbet på Diem blockchain som en del av kjerneforskerteamet.

***

Synspunktene som uttrykkes her er de fra individuelle AH Capital Management, LLC (“a16z”) personell som er sitert og er ikke synspunktene til a16z eller dets tilknyttede selskaper. Visse opplysninger her er innhentet fra tredjepartskilder, inkludert fra porteføljeselskaper av fond forvaltet av a16z. Selv om a16z er hentet fra kilder som antas å være pålitelige, har ikke a16z uavhengig verifisert slik informasjon og gir ingen representasjoner om den varige nøyaktigheten til informasjonen eller dens hensiktsmessighet for en gitt situasjon. I tillegg kan dette innholdet inkludere tredjepartsannonser; aXNUMXz har ikke vurdert slike annonser og støtter ikke noe reklameinnhold som finnes deri.

Dette innholdet er kun gitt for informasjonsformål, og bør ikke stoles på som juridisk, forretningsmessig, investerings- eller skatterådgivning. Du bør rådføre deg med dine egne rådgivere om disse sakene. Referanser til verdipapirer eller digitale eiendeler er kun for illustrasjonsformål, og utgjør ikke en investeringsanbefaling eller tilbud om å tilby investeringsrådgivningstjenester. Videre er dette innholdet ikke rettet mot eller ment for bruk av noen investorer eller potensielle investorer, og kan ikke under noen omstendigheter stoles på når du tar en beslutning om å investere i et fond som forvaltes av a16z. (Et tilbud om å investere i et a16z-fond vil kun gis av det private emisjonsmemorandumet, tegningsavtalen og annen relevant dokumentasjon for et slikt fond og bør leses i sin helhet.) Eventuelle investeringer eller porteføljeselskaper nevnt, referert til, eller beskrevet er ikke representative for alle investeringer i kjøretøy forvaltet av a16z, og det kan ikke gis noen garanti for at investeringene vil være lønnsomme eller at andre investeringer som gjøres i fremtiden vil ha lignende egenskaper eller resultater. En liste over investeringer foretatt av fond forvaltet av Andreessen Horowitz (unntatt investeringer som utstederen ikke har gitt tillatelse til at a16z kan offentliggjøre så vel som uanmeldte investeringer i børsnoterte digitale eiendeler) er tilgjengelig på https://a16z.com/investments /.

Diagrammer og grafer gitt i er kun for informasjonsformål og bør ikke stoles på når du tar investeringsbeslutninger. Tidligere resultater er ikke en indikasjon på fremtidige resultater. Innholdet taler kun fra den angitte datoen. Eventuelle anslag, estimater, prognoser, mål, prospekter og/eller meninger uttrykt i dette materialet kan endres uten varsel og kan avvike eller være i strid med meninger uttrykt av andre. Vennligst se https://a16z.com/disclosures for ytterligere viktig informasjon.