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! 🚵‍♀️

#crypto101 #Web3 #Layer2 #rollup #ETH