CESC '22: Veldnotities van de Zero Knowledge Workshop

Noot van de redactie: Aantekeningen is een serie waarin we ter plaatse verslag doen van belangrijke industrie-, onderzoeks- en andere evenementen. In deze editie deelt Valeria Nikolaenko, a16z crypto-onderzoekspartner haar snelle hoogtepunten uit de Zero Knowledge Proof-workshop aangesloten bij de Crypto Economics-beveiligingsconferentie (CESC), die op 30 oktober plaatsvond aan de University of California in Berkeley. De programma gericht op het samenbrengen van onderzoekers en praktijkmensen om de meest recente ontwikkelingen in blockchain en web3 te presenteren en te bespreken. U kunt opnames van de presentaties bekijken hier.

• Dawn Song (UC Berkeley) aangekondigd een nieuwe MOOC voor het voorjaar van 2023 over zero-knowledge proofs, die gepland staat voor start op 17 januari 2023, en herinnert aan de MOOC's die al lopen in het najaar van 2022:

• Yupeng Zhang (Texas A&M University) presenteerde een tutorial over recente ontwikkeling van ZKP-systemen, een uitzonderlijk overzicht van verschillende benaderingen voor het bouwen van zk proof-systemen, in kaart gebracht over 4 assen: poef beknoptheid, bewijs- en verificatie-efficiëntie, en transparante vs. vertrouwde setup.

• Dan Boneh (Stanford universiteit) gepresenteerd een overzicht van abstractie van IOP's in het algemeen en Plonk polynoom-IOP in het bijzonder.

Dan legde ook een nieuw systeem uit genaamd HyperPlonk, die dure FFT's aan de kant van de prover kan elimineren en gates van hoge mate veel efficiënter kan afhandelen, waardoor zowel de prover's tijd als de proof's size wordt verminderd. De interessante parameter om te onthouden is dat FFT's de tijd van de bewijzer domineren wanneer het aantal poorten hoger is dan 2²⁰.

• Tiancheng Xie (UC Berkeley) gepresenteerd op de zkBridge (lees de krant hier), waarin het belang van een beter ontwerp voor bruggen wordt benadrukt in het licht van talrijke recente hacks (Ronin Bridge exploiteren, Wormgat hack, Nomadenbrug afvoer, enzovoort). zkBridge minimaliseert het vertrouwen en verbetert de prestaties met het deVirgo zero-knowledge proof-systeem.
• Dawn Song (UC Berkeley) kondigde zkCollective aan — een basis voor veilige interoperabiliteit tussen ketens. Het formulier om deel te nemen aan de inspanning kan worden ingevuld hier.
• Leo Fan (Cysisch) benadrukten hun resultaten voor het versnellen van multi-scalaire vermenigvuldiging (MSM) op FPGA voor zk-prover's, waar MSM vaak meer dan 50% van de tijd van de prover voor zijn rekening neemt. Ze zijn naar schatting sneller dan vergelijkbare inspanningen (PijpMSM en CycloonMSM). Hun uiteindelijke doel is om een ​​ASIC te bouwen.
• Marek Olszewski (Ijver) gaf een geweldige demo over het runnen van Celo's light client, Plumo, die 2 jaar in ontwikkeling is geweest en dit jaar is gelanceerd. De client is ontwikkeld als een enorm circuit met 2²⁷ poorten, en aangedreven door een optimistische krachten-van-tau ceremonie die nuttig kan zijn voor andere projecten. Leden van de gemeenschap genereren dagelijks SNARK-proofs (na elke verandering van tijdperk), een proof duurt ongeveer 1 uur op een machine met 256 cores. Hun WASM-bibliotheek maakt de verificatie van de bewijzen van web-apps mogelijk.
• Howard Wu (aleo) presenteerde de ideeën achter het ontwerp van Aleo, dat een blockchain bouwt voor privétransacties die gelijktijdigheid en efficiënte statusupdates mogelijk maakt.
• Jeremy Bruestle (Risico0) legde de ontwerpgrondslag uit achter het bouwen van een zkVM voor RISC-V-instructieset geïmplementeerd met zkSTARKs. RISC-V heeft een zeer kleine set instructies (<40), goed ondersteund door verschillende compilers, volledig open. En, belangrijker nog, het is ontworpen voor efficiënte hardware-implementaties, wat een efficiënt circuitontwerp voor zk-proeven impliceert.
• Oma Roy (Beknopte Labs) gaf een overzicht van een manier om de consensus van Ethereum met zkSNARK's bondig te verifiëren met een bewijstijd van slechts 1 minuut.

Valeria Nikolaenko is een onderzoekspartner bij a16z crypto. Haar onderzoek richt zich op cryptografie en blockchain-beveiliging. Ze heeft ook gewerkt aan onderwerpen als langeafstandsaanvallen in PoS-consensusprotocollen, handtekeningschema's, post-kwantumbeveiliging en multi-party computation. Ze is gepromoveerd in cryptografie aan de Stanford University en werkte aan de Diem-blockchain als onderdeel van het kernonderzoeksteam.

-

De standpunten die hier naar voren worden gebracht, zijn die van het individuele personeel van AH Capital Management, LLC (“a16z”) dat wordt geciteerd en zijn niet de standpunten van a16z of haar gelieerde ondernemingen. Bepaalde informatie in dit document is verkregen uit externe bronnen, waaronder van portefeuillebedrijven van fondsen die worden beheerd door a16z. Hoewel ontleend aan bronnen die betrouwbaar worden geacht, heeft a16z dergelijke informatie niet onafhankelijk geverifieerd en doet het geen uitspraken over de blijvende nauwkeurigheid van de informatie of de geschiktheid ervan voor een bepaalde situatie. Bovendien kan deze inhoud advertenties van derden bevatten; a16z heeft dergelijke advertenties niet beoordeeld en keurt de daarin opgenomen advertentie-inhoud niet goed.

Deze inhoud is uitsluitend bedoeld voor informatieve doeleinden en mag niet worden beschouwd als juridisch, zakelijk, investerings- of belastingadvies. U dient hierover uw eigen adviseurs te raadplegen. Verwijzingen naar effecten of digitale activa zijn alleen voor illustratieve doeleinden en vormen geen beleggingsaanbeveling of aanbod om beleggingsadviesdiensten te verlenen. Bovendien is deze inhoud niet gericht op of bedoeld voor gebruik door beleggers of potentiële beleggers, en mag er in geen geval op worden vertrouwd bij het nemen van een beslissing om te beleggen in een fonds dat wordt beheerd door a16z. (Een aanbod om te beleggen in een a16z-fonds wordt alleen gedaan door middel van het onderhandse plaatsingsmemorandum, de inschrijvingsovereenkomst en andere relevante documentatie van een dergelijk fonds en moet in hun geheel worden gelezen.) Alle genoemde beleggingen of portefeuillebedrijven waarnaar wordt verwezen, of beschreven zijn niet representatief voor alle investeringen in voertuigen die door a16z worden beheerd, en er kan geen garantie worden gegeven dat de investeringen winstgevend zullen zijn of dat andere investeringen die in de toekomst worden gedaan vergelijkbare kenmerken of resultaten zullen hebben. Een lijst van investeringen die zijn gedaan door fondsen die worden beheerd door Andreessen Horowitz (met uitzondering van investeringen waarvoor de uitgevende instelling geen toestemming heeft gegeven aan a16z om openbaar te maken, evenals onaangekondigde investeringen in openbaar verhandelde digitale activa) is beschikbaar op https://a16z.com/investments /.

De grafieken en grafieken die hierin worden verstrekt, zijn uitsluitend bedoeld voor informatieve doeleinden en er mag niet op worden vertrouwd bij het nemen van een investeringsbeslissing. In het verleden behaalde resultaten zijn geen indicatie voor toekomstige resultaten. De inhoud spreekt alleen vanaf de aangegeven datum. Alle projecties, schattingen, voorspellingen, doelstellingen, vooruitzichten en/of meningen die in deze materialen worden uitgedrukt, kunnen zonder voorafgaande kennisgeving worden gewijzigd en kunnen verschillen of in strijd zijn met meningen van anderen. Zie https://a16z.com/disclosures voor aanvullende belangrijke informatie.