To pierwsza edycja ZK-Roller-Coaster, w której śledzimy i badamy najbardziej ekscytujące, znaczące i szalone rzeczy związane z ZK z poprzednich dwóch tygodni.
Czego oczekiwać? Nowe i trwające dyskusje i propozycje badawcze ZK, nowe projekty, aktualizacje już istniejących i ukochanych projektów, dramat ZK, pewne edukacyjne obserwacje i teksty, możliwości dla budowniczych i zagadki dla ciekawskich. Nie wszystkie z nich za każdym razem, ale wszystkie od czasu do czasu.
Ruszamy z pierwszą edycją ZK-Roller-Coaster! Trzymaj się mocno! 🎢
Przyprawa tygodnia 🌶️
Najwyraźniej nikt tak naprawdę nie wie, jak działają rollupy! Kelvin z Optimism ładnie prezentuje swój mentalny model rollupów i twierdzi, że ZK Rollupy nie istnieją! Horror! (Ale optymistyczne podsumowania też nie są, według niego… wszystkie są po prostu podsumowaniami).
Badania ZK i rollupów 🧙
wątek ethresearch dotyczący zestawień zbiorczych „opartych” lub „sekwencyjnych L1” (autor: Justin Drake). TLDR: „wyróżniamy specjalny podzbiór zestawień, które nazywamy „opartymi” lub „sekwencyjnymi L1”. Sekwencjonowanie takich rollupów — oparte na sekwencjonowaniu — jest maksymalnie proste i dziedziczy żywotność i decentralizację L1. Co więcej, rollupy oparte są szczególnie ekonomiczne w połączeniu z bazowym L1.” Taiko popiera podejście możliwie najbardziej zdecentralizowane, w pełni zależne od Ethereum w zakresie decentralizacji sekwencera/proponującego.
propozycja ethresearch: Zapewnienie kompatybilności podpisów wyznaczonych weryfikatorów w Ethereum (autorzy: Shrey Jain i Enrico Bottazzi). Krótkie podsumowanie w wątku Enrico.
propozycja ethresearch nowego protokołu komunikacji typu Cross-Rollup opartego na ZK (autor: Daniel Ivanov z LimeLabs).
Utrzymywany przez społeczność zbiór błędów, luk i exploitów w aplikacjach korzystających z kryptowaluty ZK autorstwa społeczności 0xPARC.
Alex Stokes opublikował projekt „usystematyzowania wiedzy”: co mamy na myśli, mówiąc o „sekwencjonowaniu”? To praca w toku, możesz wnieść swój wkład.
ZK i aktualizacje rollupów 🎈
Espresso Systems opublikowało artykuł (autorzy: Ben Fisch i Benedikt Bünz) prezentujący Espresso Sequencer, narzędzie do decentralizacji rollupów.
Avail, rozwiązanie Polygon Data Availability, zostanie całkowicie wydzielone z Polygon Labs.
Geometry przedstawia Semacaulk, wydajny gazowo protokół członkostwa w zbiorze o wiedzy zerowej.
Succinct Labs wprowadziło Telepatię, zdecentralizowany i bezpieczny protokół interoperacyjności zkSNARK dla Ethereum.
Sismo uruchomiło zkConnect = anonimowe uwierzytelnianie + selektywne ujawnianie danych.
Porçu Quine (zespół Filecoin Proofs) przedstawił Lurk, nowy język programowania oparty na LISP dla zk-SNARK.
Arbitrum ogłosił rozpoczęcie zarządzania DAO.
Ciekawostki z branży spoza ZK 🎡
Podsumowanie (autor: Tim Beiko) i nagranie ostatniego spotkania warstwy wykonawczej Ethereum (ustalenie daty głównej sieci Shapella (!!), omówienie wszystkich potencjalnych dotychczasowych EIP w Cancun, omówienie budowy lokalnych bloków itp.)
Raport przejrzystości dotyczący Flashbotów.
Możliwości 🏄♀️
19 kwietnia: głębokie zanurzenie się w Sangrię, nowy schemat składania dla Plonka ze złagodzonymi ograniczeniami plonkowania, czat na discordzie prowadzony przez Nico z Geometry.
Czytania i oglądania 🎞
Ogólny
Rollupy nie są prawdziwe: długa, długa lektura Jona Charbonneau na temat mechanizmów wymuszonego włączania transakcji, decentralizacji sekwencera L2 i (opcjonalnie) konsensusu, współdzielonych sekwencerów i atomowości łańcucha X oraz projektowania uwzględniającego MEV.
Dekonstrukcja pakietów zbiorczych: co tak naprawdę definiuje pakiet zbiorczy? Społeczność czy pomost walidujący? – artykuł Patricka McCorry’ego.
Przyszłość głosowania prywatnego, elastycznego i anonimowego (autor: Raf Solari z Tally i O(1) Labs), nagranie z przestrzeni na Twitterze.
Danksharding część 1 z Yuvalem Dombem, wykład.
Rollupy przez pryzmat sprawdzania mostów, slajdy z wykładu ETHDubai prowadzonego przez Toghrula Maharramova ze Scroll.
Optymalny projekt zkVM (autor: Max Gillett), krótka rozmowa.
Fantazyjna matematyka, kryptografia i fizyka kwantowa
Dyspozytorzy funkcji stałego gazu w EVM, długo czytana przez filologię.
TFHE (Fully Homomorphic Encryption) Deep Dive - Część I - Typy szyfrogramu, dawno przeczytane przez Zamę.
Obecny stan języków EVM, badania dawno czytane przez jtriley.
ZKWasm: Expanding the Horizons of Privacy-Conserving Technologies with SuperNova, długa lektura Wyatta Benno z ICME Labs.
Wykładnicza poprawa przekątnej Ramseya, wyjaśnienie wątku autorstwa Timothy'ego Gowersa.
Artykuł badawczy „Ujednolicenie cech tolerancji na błędy za pomocą rachunku różniczkowego ZX”.
Dziękujemy za przeczytanie pierwszego wydania ZK-Roller-Coastera. Do zobaczenia za dwa tygodnie! 🚵♀️