Questa è la prima edizione di ZK-Roller-Coaster in cui tracciamo e investighiamo le cose ZK più emozionanti, significative e folli delle due settimane precedenti.
Cosa aspettarsi? Discussioni e proposte di ricerca ZK nuove e in corso, nuovi progetti, aggiornamenti dai progetti già esistenti e amati, dramma ZK, alcune visioni e scritti educativi, opportunità per i costruttori e enigmi per i curiosi. Non tutti questi ogni volta, ma tutti questi di tanto in tanto.
Cominciamo con la prima edizione di ZK-Roller-Coaster! Tieni duro! 🎢
La spezia della settimana 🌶️
Apparentemente nessuno sa davvero come funzionano effettivamente i rollup! Kelvin di Optimism fa una bella presentazione sul suo modello mentale di rollup e afferma che gli ZK Rollups non esistono! L'orrore! (Ma nemmeno i rollup ottimistici, secondo lui... sono tutti semplici rollup).
ZK e ricerca sui rollup 🧙
thread di ethresearch sui rollup "basati" o "sequenziati in L1" (di Justin Drake). TLDR: “evidenziamo uno speciale sottoinsieme di rollup che chiamiamo “basato” o “sequenziato L1”. Il sequenziamento di tali rollup - sequenziamento basato - è estremamente semplice ed eredita la vivacità e il decentramento di L1. Inoltre, i rollup basati sono particolarmente allineati economicamente con la loro base L1.” Taiko sostiene che l'approccio sia il più decentralizzato possibile, dipendendo completamente da Ethereum per la decentralizzazione del sequenziatore/proponente.
Proposta di ethresearch: rendere compatibili le firme designate del verificatore su Ethereum (di Shrey Jain ed Enrico Bottazzi). Breve riassunto nel thread di Enrico.
proposta di ricerca di un nuovo protocollo di comunicazione cross-rollup basato su ZK (di Daniel Ivanov di LimeLabs).
Una raccolta di bug, vulnerabilità ed exploit gestita dalla comunità nelle app che utilizzano la crittografia ZK dalla comunità 0xPARC.
Alex Stokes ha pubblicato il progetto di “sistematizzazione della conoscenza”: cosa intendiamo quando parliamo di “sequenziamento”? Questo è un lavoro in corso, sentiti libero di contribuire.
Aggiornamenti ZK e rollup 🎈
Espresso Systems ha pubblicato un articolo (di Ben Fisch e Benedikt Bünz) che presenta Espresso Sequencer, uno strumento per la decentralizzazione del rollup.
Avail, la soluzione Polygon Data Availability, sarà completamente scorporata da Polygon Labs.
Geometry presenta Semacaulk, un protocollo di appartenenza a un set a conoscenza zero ed efficiente in termini di gas.
Succinct Labs ha introdotto Telepathy, il protocollo di interoperabilità zkSNARK decentralizzato e sicuro per Ethereum.
Sismo ha lanciato zkConnect = anon auth + divulgazione selettiva dei dati.
Porçu Quine (team Filecoin Proofs) ha presentato Lurk, un nuovo linguaggio di programmazione basato su LISP per zk-SNARKs.
Arbitrum ha annunciato il lancio della governance DAO.
Punti salienti del settore non ZK 🎡
Riepilogo (di Tim Beiko) e registrazione dell'ultimo Ethereum Execution Layer Meeting (impostare la data della mainnet di Shapella (!!), coprire ogni potenziale EIP di Cancun finora, discutere la costruzione di blocchi locali, ecc.)
Rapporto sulla trasparenza di Flashbot.
Opportunità 🏄♀️
19 aprile: un tuffo nel profondo della Sangria, un nuovo schema di piegatura per Plonk con vincoli plonk rilassati, una chiacchierata su Discord di Nico di Geometry.
Letture e visioni 🎞
Generale
I rollup non sono reali: una lunga lettura di Jon Charbonneau sui meccanismi di inclusione forzata delle transazioni, decentralizzazione del sequenziatore L2 e (facoltativo) consenso, sequenziatori condivisi e atomicità della catena X e progettazione MEV-Aware.
Decostruire i rollup: cosa definisce realmente il rollup? La comunità o un ponte validante? – un articolo di Patrick McCorry.
Il futuro del voto privato, flessibile e anonimo (di Raf Solari di Tally e O(1) Labs), una registrazione nello spazio Twitter.
Danksharding parte 1 con Yuval Domb, una conferenza.
Rollup Attraverso il prisma dei ponti di convalida, diapositive del discorso di ETHDubai di Toghrul Maharramov da Scroll.
Optimal zkVM Design (di Max Gillett), un breve discorso.
Matematica, crittografia e fisica quantistica
Dispatcher di funzioni di gas costanti nell'EVM, una lunga lettura della filologia.
TFHE (Crittografia completamente omomorfica) Approfondimento - Parte I - Tipi di testo cifrato, una lettura approfondita di Zama.
Lo stato attuale dei linguaggi EVM, una ricerca letta da tempo da jtriley.
ZKWasm: espandere gli orizzonti delle tecnologie di tutela della privacy con SuperNova, una lettura approfondita di Wyatt Benno di ICME Labs.
Un miglioramento esponenziale per la diagonale Ramsey, spiegazione del thread di Timothy Gowers.
Unificare i sapori della tolleranza agli errori con il calcolo ZX, un documento di ricerca.
Grazie per aver letto la prima edizione di ZK-Roller-Coaster. Ci vediamo tra due settimane! 🚵♀️