Toto je první vydání ZK-Roller-Coaster, kde sledujeme a zkoumáme ty nejvzrušující, smysluplné a bláznivé ZK-věci z předchozích dvou týdnů.
Co čekat? Nové a probíhající výzkumné diskuse a návrhy ZK, nové projekty, aktualizace již existujících a milovaných projektů, ZK-drama, některá vzdělávací sledování a texty, příležitosti pro stavitele a hádanky pro zvědavce. Ne všechny z nich pokaždé, ale všechny z nich čas od času.
Začněme prvním vydáním ZK-Roller-Coaster! Držet se pevně! 🎢
Koření týdne 🌶️
Zřejmě nikdo pořádně neví, jak rollupy vlastně fungují! Kelvin z Optimism předvádí pěknou prezentaci svého souhrnného mentálního modelu a tvrdí, že ZK Rollups neexistují! Horor! (Ale ani optimistické rollupy, podle něj… jsou to všechno jen rollupy).
Výzkum ZK a rollupů 🧙
ethresearch vlákno o „založených“ nebo „sekvenovaných L1“ souhrnech (od Justina Drakea). TLDR: „Zvýrazňujeme speciální podmnožinu souhrnů, které nazýváme „založené“ nebo „sekvenované L1“. Sekvenování takových rollupů – založené na sekvenování – je maximálně jednoduché a zdědí živost L1 a decentralizaci. Kromě toho jsou založené souhrny obzvláště ekonomicky sladěny se svou základnou L1.“ Taiko podporuje přístup být co nejvíce decentralizovaný, plně závislý na Ethereu pro decentralizaci sekvenceru/proposera.
Návrh ethresearch: Zajištění kompatibility podpisů určených ověřovatelů na Ethereu (od Shrey Jain a Enrica Bottazziho). Krátké shrnutí ve vlákně Enrico.
ethresearch návrh nového protokolu Cross-Rollup-Communication založeného na ZK (od Daniela Ivanova z LimeLabs).
Komunitou spravovaná sbírka chyb, zranitelností a exploitů v aplikacích využívajících krypto ZK od komunity 0xPARC.
Alex Stokes zveřejnil návrh „systemizace znalostí“: co máme na mysli, když mluvíme o „sekvenování“? Na tom se pracuje, klidně přispějte.
Aktualizace ZK a rollupů 🎈
Společnost Espresso Systems zveřejnila článek (od Bena Fische a Benedikta Bünze) představující Espresso Sequencer, nástroj pro rollup decentralizaci.
Avail, řešení Polygon Data Availability, bude zcela vyčleněno z Polygon Labs.
Geometrie představuje Semacaulk, plynově účinný protokol členství v sadě s nulovými znalostmi.
Společnost Succinct Labs představila telepatii, decentralizovaný a bezpečný protokol interoperability zkSNARK pro Ethereum.
Sismo spustilo zkConnect = anon auth + selektivní zpřístupnění dat.
Porçu Quine (tým Filecoin Proofs) představil Lurk, nový programovací jazyk založený na LISP pro zk-SNARK.
Arbitrum oznámilo spuštění DAO governance.
To nejlepší z oboru mimo ZK 🎡
Rekapitulace (Tim Beiko) a záznam poslední schůzky Ethereum Execution Layer Meeting (nastavení data mainnetu Shapella (!!), pokrývalo všechny potenciální Cancun EIP doposud, diskutovalo se o budování místních bloků atd.)
Zpráva o transparentnosti Flashbots.
Příležitosti 🏄♀️
19. dubna: hluboký ponor do Sangrie, nové schéma skládání pro Plonka s uvolněnými omezeními plunk, diskuzní chat od Nico z Geometry.
Čtení a sledování 🎞
Všeobecné
Souhrny nejsou skutečné: dlouhé čtení od Jona Charbonneaua o mechanismech nuceného začlenění transakcí, decentralizaci sekvenátoru L2 a (volitelně) konsensu, sdílených sekvenátorech a atomice X-řetězce a designu s vědomím MEV.
Deconstructing Rollups: co skutečně definuje rollup? Komunita nebo ověřovací most? – článek Patricka McCorryho.
Budoucnost soukromého, flexibilního a anonymního hlasování (od Rafa Solariho z Tally a O(1) Labs), vesmírná nahrávka na Twitteru.
Danksharding část 1 s Yuval Domb, přednáška.
Rollups Through the Prism of Validating Bridges, diapozitivy z přednášky ETHDubai Toghrula Maharramova ze Scroll.
Optimal zkVM Design (od Maxe Gilletta), krátká přednáška.
Efektní matematika, kryptografie a kvantová fyzika
Dispečeři konstantních plynových funkcí v EVM, filologií dlouho čtené.
TFHE (Fully Homomorphic Encryption) Deep Dive - Part I - Typy šifrovaného textu, longread od Zamy.
Současný stav jazyků EVM, výzkum dlouho přečtený jtriley.
ZKWasm: Rozšíření obzorů technologií na ochranu soukromí pomocí programu SuperNova, dlouhé čtení Wyatta Benna z ICME Labs.
Exponenciální vylepšení pro diagonální Ramsey, vysvětlení vlákna Timothyho Gowerse.
Sjednocení chutí odolnosti proti chybám s kalkulem ZX, výzkumným dokumentem.
Děkujeme, že jste si přečetli první vydání ZK-Roller-Coaster. Uvidíme se za dva týdny! 🚵♀️