Il s'agit de la première édition de ZK-Roller-Coaster dans laquelle nous suivons et enquêtons sur les trucs ZK les plus excitants, significatifs et fous des deux semaines précédentes.
À quoi s'attendre? Discussions et propositions de recherche ZK nouvelles et en cours, nouveaux projets, mises à jour des projets déjà existants et appréciés, drame ZK, quelques observations et écrits éducatifs, opportunités pour les constructeurs et énigmes pour les curieux. Pas tout cela à chaque fois, mais tout cela de temps en temps.
Commençons par la première édition de ZK-Roller-Coaster ! Tenez bon ! 🎢
Épice de la semaine 🌶️
Apparemment, personne ne sait vraiment comment fonctionnent réellement les rollups ! Kelvin d'Optimism fait une belle présentation de son modèle mental de rollup et affirme que les ZK Rollups n'existent pas ! L'horreur! (Mais les rollups optimistes non plus, selon lui… ce ne sont que des rollups).
Recherche ZK et rollups 🧙
fil de discussion ethresearch sur les rollups « basés » ou « séquencés L1 » (par Justin Drake). TLDR : « nous mettons en évidence un sous-ensemble spécial de rollups que nous appelons « basés » ou « séquencés L1 ». Le séquençage de tels cumuls – le séquençage basé – est extrêmement simple et hérite de la vivacité et de la décentralisation de L1. De plus, les rollups basés sont particulièrement économiquement alignés sur leur base L1. Taiko soutient l'approche visant à être aussi décentralisée que possible, dépendant entièrement d'Ethereum pour la décentralisation du séquenceur/proposeur.
proposition ethresearch : Rendre les signatures de vérificateurs désignés compatibles sur Ethereum (par Shrey Jain et Enrico Bottazzi). Bref résumé dans le fil de discussion d'Enrico.
proposition ethresearch d'un nouveau protocole de communication croisée basé sur ZK (par Daniel Ivanov de LimeLabs).
Une collection de bugs, de vulnérabilités et d'exploits gérée par la communauté dans les applications utilisant la cryptographie ZK par la communauté 0xPARC.
Alex Stokes a publié l'ébauche de « systématisation des connaissances » : qu'entend-on par « séquençage » ? C'est un travail en cours, n'hésitez pas à contribuer.
Mises à jour ZK et rollups 🎈
Espresso Systems a publié un article (par Ben Fisch et Benedikt Bünz) présentant Espresso Sequencer, un outil de décentralisation du rollup.
Avail, la solution Polygon Data Availability, sera entièrement dérivée de Polygon Labs.
Geometry présente Semacaulk, un protocole d'adhésion à ensemble de connaissances zéro et économe en gaz.
Succinct Labs a introduit Telepathy, un protocole d'interopérabilité zkSNARK décentralisé et sécurisé pour Ethereum.
Sismo a lancé zkConnect = anon auth + divulgation sélective des données.
Porçu Quine (équipe Filecoin Proofs) a présenté Lurk, un nouveau langage de programmation basé sur LISP pour les zk-SNARK.
Arbitrum a annoncé le lancement de la gouvernance DAO.
Faits saillants de l'industrie non-ZK 🎡
Récapitulatif (par Tim Beiko) et enregistrement de la dernière réunion de la couche d'exécution Ethereum (fixation de la date du réseau principal Shapella (!!), couverture de tous les EIP potentiels de Cancun jusqu'à présent, discussion de la construction de blocs locaux, etc.)
Rapport de transparence des Flashbots.
Opportunités 🏄♀️
19 avril : une plongée profonde dans la Sangria, un nouveau schéma de pliage pour Plonk avec des contraintes de plonk assouplies, une discussion discorde par Nico de Geometry.
Lectures et visionnages 🎞
Général
Les rollups ne sont pas réels : une longue lecture de Jon Charbonneau sur les mécanismes d'inclusion de transactions forcées, la décentralisation des séquenceurs L2 et (éventuellement) le consensus, les séquenceurs partagés, l'atomicité de la chaîne X et la conception MEV-Aware.
Déconstruire les Rollups : qu’est-ce qui définit réellement le rollup ? La communauté ou un pont de validation ? – un article de Patrick McCorry.
L'avenir du vote privé, flexible et anonyme (par Raf Solari de Tally et O(1) Labs), un enregistrement spatial Twitter.
Danksharding partie 1 avec Yuval Domb, une conférence.
Rollups Through the Prism of Validating Bridges, diapositives de la conférence ETHDubai de Toghrul Maharramov de Scroll.
Optimal zkVM Design (par Max Gillett), une brève présentation.
Mathématiques sophistiquées, cryptographie et physique quantique
Répartiteurs à fonction de gaz constante dans l'EVM, une lecture longue de philogy.
TFHE (Fully Homomorphic Encryption) Deep Dive - Partie I - Types de texte chiffré, une lecture longue de Zama.
L'état actuel des langages EVM, une recherche longuement lue par jtriley.
ZKWasm : Élargir les horizons des technologies préservant la confidentialité avec SuperNova, une longue lecture de Wyatt Benno d'ICME Labs.
Une amélioration exponentielle pour la diagonale de Ramsey, explication du fil par Timothy Gowers.
Unifier les saveurs de la tolérance aux pannes avec le calcul ZX, un document de recherche.
Merci d'avoir lu la première édition de ZK-Roller-Coaster. On se voit dans deux semaines! 🚵♀️
