Dies ist die erste Ausgabe von ZK-Roller-Coaster, in der wir die aufregendsten, bedeutungsvollsten und verrücktesten ZK-Sachen der letzten zwei Wochen verfolgen und untersuchen.
Was zu erwarten ist? Neue und laufende ZK-Forschungsdiskussionen und -vorschläge, neue Projekte, Aktualisierungen bereits bestehender und beliebter Projekte, ZK-Drama, einige lehrreiche Anschauungen und Schriften, Möglichkeiten für Bauherren und Rätsel für Neugierige. Nicht alle davon jedes Mal, aber alle von Zeit zu Zeit.
Beginnen wir mit der ersten Ausgabe von ZK-Roller-Coaster! Festhalten! 🎢
Gewürz der Woche 🌶️
Anscheinend weiß niemand wirklich, wie Rollups tatsächlich funktionieren! Kelvin von Optimism präsentiert sein Rollup-Denkmodell sehr schön und behauptet, dass ZK-Rollups nicht existieren! Wie grauenhaft! (Aber optimistische Rollups tun das seiner Meinung nach auch nicht … sie sind alle nur Rollups).
ZK- und Rollup-Forschung 🧙
Ethresearch-Thread zu „basierten“ oder „L1-sequenzierten“ Rollups (von Justin Drake). TLDR: „Wir heben eine spezielle Teilmenge von Rollups hervor, die wir „basiert“ oder „L1-sequenziert“ nennen. Die Sequenzierung solcher Rollups – die basierte Sequenzierung – ist maximal einfach und erbt L1-Liveness und Dezentralisierung. Darüber hinaus sind basierte Rollups besonders wirtschaftlich auf ihre Basis L1 ausgerichtet.“ Taiko unterstützt den Ansatz, so dezentral wie möglich zu sein und sich bei der Dezentralisierung von Sequenzer/Proposer vollständig auf Ethereum zu verlassen.
ethresearch-Vorschlag: Designierte Prüfsignaturen mit Ethereum kompatibel machen (von Shrey Jain und Enrico Bottazzi). Kurze Zusammenfassung in Enricos Thread.
ethresearch-Vorschlag eines neuen ZK-basierten Cross-Rollup-Communication-Protokolls (von Daniel Ivanov von LimeLabs).
Eine von der Community gepflegte Sammlung von Fehlern, Schwachstellen und Exploits in Apps, die die ZK-Kryptowährung verwenden, durch die 0xPARC-Community.
Alex Stokes hat den Entwurf zur „Systematisierung des Wissens“ veröffentlicht: Was meinen wir, wenn wir von „Sequenzierung“ sprechen? Das ist noch in Arbeit, Sie können gerne mitwirken.
ZK- und Rollup-Updates 🎈
Espresso Systems hat ein Papier (von Ben Fisch und Benedikt Bünz) veröffentlicht, in dem Espresso Sequencer vorgestellt wird, ein Tool zur Rollup-Dezentralisierung.
Avail, die Datenverfügbarkeitslösung von Polygon, wird vollständig aus Polygon Labs ausgegliedert.
Geometry präsentiert Semacaulk, ein gaseffizientes Zero-Knowledge-Set-Mitgliedschaftsprotokoll.
Succinct Labs hat Telepathy eingeführt, ein dezentrales und sicheres zkSNARK-Interoperabilitätsprotokoll für Ethereum.
Sismo hat zkConnect gestartet = anonyme Authentifizierung + selektive Datenoffenlegung.
Porçu Quine (Filecoin Proofs-Team) stellte Lurk vor, eine neue LISP-basierte Programmiersprache für zk-SNARKs.
Arbitrum hat die Einführung der DAO-Governance angekündigt.
Highlights außerhalb der ZK-Branche 🎡
Zusammenfassung (von Tim Beiko) und Aufzeichnung des letzten Ethereum Execution Layer Meeting (Datum für Shapella-Mainnet festgelegt (!!), bisher alle potenziellen Cancun EIPs behandelt, lokaler Blockaufbau besprochen usw.)
Transparenzbericht von Flashbots.
Chancen 🏄♀️
19. April: Ein tiefer Einblick in Sangria, ein neues Faltschema für Plonk mit entspannten Plonk-Einschränkungen, ein Discord-Chat von Nico von Geometry.
Lesungen und Beobachtungen 🎞
Allgemein
Rollups Aren't Real: ein langer Longread von Jon Charbonneau über erzwungene Transaktionsaufnahmemechanismen, L2-Sequenzer-Dezentralisierung und (optional) Konsens, gemeinsam genutzte Sequenzer und X-Chain-Atomizität sowie MEV-bewusstes Design.
Rollups dekonstruieren: Was definiert das Rollup wirklich? Die Community oder eine Validierungsbrücke? – ein Artikel von Patrick McCorry.
Die Zukunft des privaten, flexiblen und anonymen Wählens (von Raf Solari von Tally und O(1) Labs), eine Twitter-Space-Aufzeichnung.
Danksharding Teil 1 mit Yuval Domb, ein Vortrag.
Rollups durch das Prisma der Validierungsbrücken, Folien aus dem ETHDubai-Vortrag von Toghrul Maharramov von Scroll.
Optimales zkVM-Design (von Max Gillett), ein kurzer Vortrag.
Ausgefallene Mathematik, Kryptographie und Quantenphysik
Konstante Gasfunktions-Dispatcher im EVM, ein Longread von Philylogy.
TFHE (Fully Homomorphic Encryption) Deep Dive – Teil I – Chiffretexttypen, ein Longread von Zama.
Der aktuelle Stand der EVM-Sprachen, ein langer Forschungsbericht von jtriley.
ZKWasm: Erweitern Sie den Horizont datenschutzschützender Technologien mit SuperNova, einem Longread von Wyatt Benno von ICME Labs.
Eine exponentielle Verbesserung für diagonalen Ramsey, Thread-Erklärung von Timothy Gowers.
Vereinheitlichung verschiedener Arten der Fehlertoleranz mit der ZX-Rechnung, ein Forschungspapier.
Vielen Dank fürs Lesen der ersten Ausgabe von ZK-Roller-Coaster. Wir sehen uns in zwei Wochen! 🚵♀️
