CESC '22: Note sul campo dal seminario ZKP

Le note sul campo sono una serie in cui riportiamo sul campo in occasione di importanti eventi dell'industria, della ricerca e di altro tipo. In questa edizione Valeria Nikolaenko, Research Partner del crypto lab a16z, racconta il Workshop a prova di conoscenza zero dal Conferenza sulla sicurezza dell'economia delle criptovalute (CESC), che ha avuto luogo il 30 ottobre presso l'Università della California a Berkeley. Il Programma mirava a riunire ricercatori e professionisti per mostrare e discutere gli sviluppi più recenti in blockchain e web3. È possibile guardare le registrazioni delle presentazioni qui.

• Dawn Song (UC Berkeley) ha annunciato un nuovo MOOC per la primavera 2023 su prove a conoscenza zero, che dovrebbe iniziare il 17 gennaio 2023 e ha ricordato i MOOC che sono già in corso nell'autunno del 2022:

• Yupeng Zhang (Texas A&M University) ha presentato a tutorial sul recente sviluppo dei sistemi ZKP, un'eccezionale panoramica dei diversi approcci alla creazione di sistemi zk proof, mappandoli su 4 assi: semplicità di sintesi, efficienza di prover e verificatore e configurazione trasparente rispetto a quella affidabile.

• Dan Boneh (Università di Stanford) presentata una panoramica di astrazione di IOP in generale e Plonk polynomial-IOP in particolare.

Dan ha anche spiegato un nuovo sistema chiamato HyperPlonk, che può eliminare le costose FFT sul lato della provetta e gestisce i cancelli di alto grado in modo molto più efficiente, riducendo sia il tempo della provetta che le dimensioni della prova. Il parametro interessante da ricordare è che le FFT dominano il tempo del prover quando il numero di porte è superiore a 2²⁰.

• Tiancheng Xi (Università di Berkeley) presentato su zkBridge (leggi il paper qui), sottolineando l'importanza di una migliore progettazione dei ponti alla luce di numerosi recenti hack (Sfruttamento del ponte Ronin, Hackeraggio del wormhole, Scarico ponte nomade, e così via). zkBridge riduce al minimo la fiducia e migliora le prestazioni con il sistema deVirgo a prova di conoscenza zero.
• Dawn Song (UC Berkeley) ha annunciato zkCollective, una base per l'interoperabilità cross-chain sicura. Il modulo per partecipare allo sforzo può essere compilato qui.

• Leone Fan (Cisico) hanno evidenziato i loro risultati per l'accelerazione della moltiplicazione multiscalare (MSM) su FPGA per zk-prover, dove MSM rappresenta spesso più del 50% del tempo del prover. Si stima che siano più veloci di sforzi comparabili (PipeMSM ed CicloneMSM). Il loro obiettivo finale è costruire un ASIC.
• Marek Olszewski (Zelo) ha fornito un'ottima demo sull'esecuzione del client leggero di Celo, Plumo, che è stato sviluppato per 2 anni e lanciato quest'anno. Il client è sviluppato come un circuito enorme con 2²⁷ cancelli e alimentato da un ottimista poteri di tau cerimonia che può essere utile per altri progetti. I membri della comunità generano prove SNARK ogni giorno (dopo ogni cambio di epoca), una prova richiede circa 1 ora su una macchina a 256 core. La loro libreria WASM consente la verifica delle prove da app web.
• Howard Wu (aleo) ha presentato le idee alla base della progettazione di Aleo, che costruisce una blockchain per le transazioni private che consente la concorrenza e aggiornamenti di stato efficienti.
• Jeremy Bruestlé (Ris0) ha spiegato la logica di progettazione alla base della creazione di un set di istruzioni zkVM per RISC-V implementato con zkSTARK. RISC-V ha un set di istruzioni molto piccolo (<40), ben supportato da diversi compilatori, completamente aperto. E, soprattutto, è progettato per implementazioni hardware efficienti, il che implica una progettazione di circuiti efficiente per le prove zk.
• Umma Roy (Laboratori succinti) ha fornito una panoramica di un modo per verificare succintamente il consenso di Ethereum con zkSNARKs con un tempo di prova di solo 1 minuto.

***

Valeria Nikolaenko è un partner di ricerca presso a16z crypto. La sua ricerca si concentra sulla crittografia e sulla sicurezza blockchain. Ha anche lavorato su argomenti come attacchi a lungo raggio nei protocolli di consenso PoS, schemi di firma, sicurezza post-quantistica e calcolo multipartitico. Ha conseguito un dottorato di ricerca in crittografia presso la Stanford University sotto la consulenza del professor Dan Boneh e ha lavorato sulla blockchain di Diem come parte del team di ricerca principale.

***

Le opinioni qui espresse sono quelle del personale di AH Capital Management, LLC ("a16z") citato e non sono le opinioni di a16z o delle sue affiliate. Alcune informazioni qui contenute sono state ottenute da fonti di terze parti, incluse società in portafoglio di fondi gestiti da a16z. Sebbene tratti da fonti ritenute affidabili, a16z non ha verificato in modo indipendente tali informazioni e non fornisce dichiarazioni sull'accuratezza duratura delle informazioni o sulla loro adeguatezza per una determinata situazione. Inoltre, questo contenuto può includere pubblicità di terze parti; a16z non ha esaminato tali annunci pubblicitari e non approva alcun contenuto pubblicitario in essi contenuto.

Questo contenuto viene fornito solo a scopo informativo e non deve essere considerato come consulenza legale, commerciale, di investimento o fiscale. Dovresti consultare i tuoi consulenti in merito a tali questioni. I riferimenti a qualsiasi titolo o risorsa digitale sono solo a scopo illustrativo e non costituiscono una raccomandazione di investimento o un'offerta per fornire servizi di consulenza in materia di investimenti. Inoltre, questo contenuto non è diretto né destinato all'uso da parte di investitori o potenziali investitori e non può in alcun caso essere invocato quando si decide di investire in qualsiasi fondo gestito da a16z. (Un'offerta per investire in un fondo a16z sarà fatta solo dal memorandum di collocamento privato, dal contratto di sottoscrizione e da altra documentazione pertinente di tale fondo e dovrebbe essere letta nella sua interezza.) Eventuali investimenti o società in portafoglio menzionati, citati o descritti non sono rappresentativi di tutti gli investimenti in veicoli gestiti da a16z, e non si può garantire che gli investimenti saranno redditizi o che altri investimenti effettuati in futuro avranno caratteristiche o risultati simili. Un elenco degli investimenti effettuati da fondi gestiti da Andreessen Horowitz (esclusi gli investimenti per i quali l'emittente non ha autorizzato a16z a divulgare pubblicamente e gli investimenti non annunciati in asset digitali quotati in borsa) è disponibile all'indirizzo https://a16z.com/investments /.

Grafici e grafici forniti all'interno sono esclusivamente a scopo informativo e non dovrebbero essere presi in considerazione quando si prende una decisione di investimento. I rendimenti passati non sono indicativi di risultati futuri. Il contenuto parla solo a partire dalla data indicata. Eventuali proiezioni, stime, previsioni, obiettivi, prospettive e/o opinioni espresse in questi materiali sono soggette a modifiche senza preavviso e possono differire o essere contrarie alle opinioni espresse da altri. Si prega di consultare https://a16z.com/disclosures per ulteriori informazioni importanti.