Esta es la primera edición de ZK-Roller-Coaster donde rastreamos e investigamos las cosas de ZK más emocionantes, significativas y locas de las dos semanas anteriores.
¿Que esperar? Discusiones y propuestas de investigación de ZK nuevas y en curso, nuevos proyectos, actualizaciones de los proyectos queridos y ya existentes, dramas ZK, algunas observaciones y escritos educativos, oportunidades para constructores y acertijos para los curiosos. No todos estos siempre, pero sí todos de vez en cuando.
¡Empecemos con la primera edición de ZK-Roller-Coaster! ¡Agárrate fuerte! 🎢
Especia de la semana 🌶️
¡Aparentemente nadie sabe realmente cómo funcionan realmente los paquetes acumulativos! Kelvin de Optimism hace una buena presentación sobre su modelo mental acumulativo y afirma que los ZK Rollups no existen. ¡El horror! (Pero tampoco lo hacen los resúmenes optimistas, según él… todos son simplemente resúmenes).
ZK y investigación acumulada 🧙
Hilo de ethresearch sobre resúmenes “basados” o “secuenciados en L1” (por Justin Drake). TLDR: “destacamos un subconjunto especial de resúmenes que llamamos “basados” o “secuenciados L1”. La secuenciación de dichos paquetes acumulativos (secuenciación basada en) es sumamente simple y hereda la vitalidad y la descentralización de L1. Además, los rollups basados están particularmente alineados económicamente con su base L1”. Taiko apoya el enfoque de ser lo más descentralizado posible, dependiendo completamente de Ethereum para la descentralización del secuenciador/proponente.
Propuesta de ethresearch: hacer compatibles las firmas de verificadores designados en Ethereum (por Shrey Jain y Enrico Bottazzi). Breve resumen en el hilo de Enrico.
Propuesta de ethresearch de un nuevo protocolo de comunicación cruzada basado en ZK (por Daniel Ivanov de LimeLabs).
Una colección de errores, vulnerabilidades y exploits mantenida por la comunidad en aplicaciones que utilizan criptografía ZK por la comunidad 0xPARC.
Alex Stokes publicó el borrador de “sistematización del conocimiento”: ¿a qué nos referimos cuando hablamos de “secuenciación”? Eso es un trabajo en progreso, siéntete libre de contribuir.
Actualizaciones de ZK y paquetes acumulativos 🎈
Espresso Systems publicó un artículo (de Ben Fisch y Benedikt Bünz) que presenta Espresso Sequencer, una herramienta para la descentralización acumulativa.
Avail, la solución Polygon Data Availability, se derivará completamente de Polygon Labs.
Geometry presenta Semacaulk, un protocolo de membresía de conjunto de conocimiento cero que ahorra gas.
Succinct Labs presentó Telepathy, el protocolo de interoperabilidad zkSNARK descentralizado y seguro para Ethereum.
Sismo lanzó zkConnect = autenticación anónima + divulgación selectiva de datos.
Porçu Quine (equipo de Filecoin Proofs) presentó Lurk, un nuevo lenguaje de programación basado en LISP para zk-SNARK.
Arbitrum anunció el lanzamiento de la gobernanza DAO.
Aspectos destacados de la industria fuera de ZK 🎡
Resumen (por Tim Beiko) y grabación de la última reunión de la capa de ejecución de Ethereum (estableció la fecha de la red principal de Shapella (!!), cubrió todos los EIP potenciales de Cancún hasta el momento, discutió la construcción de bloques locales, etc.)
Informe de transparencia de Flashbots.
Oportunidades 🏄♀️
19 de abril: una inmersión profunda en Sangria, un nuevo esquema de plegado para Plonk con restricciones de plonk relajadas, una charla de discordia de Nico de Geometry.
Lecturas y visionados 🎞
General
Los rollups no son reales: una larga lectura de Jon Charbonneau sobre los mecanismos de inclusión de transacciones forzadas, la descentralización del secuenciador L2 y (opcionalmente) el consenso, los secuenciadores compartidos y la atomicidad de la cadena X y el diseño compatible con MEV.
Deconstrucción de rollups: ¿qué define realmente al rollup? ¿La comunidad o un puente de validación? – un artículo de Patrick McCorry.
El futuro de la votación privada, flexible y anónima (por Raf Solari de Tally y O(1) Labs), una grabación de un espacio de Twitter.
Danksharding parte 1 con Yuval Domb, una conferencia.
Resúmenes a través del prisma de los puentes de validación, diapositivas de la charla de ETHDubai de Toghrul Maharramov de Scroll.
Diseño óptimo de zkVM (por Max Gillett), una breve charla.
Matemáticas sofisticadas, criptografía y física cuántica
Despachadores de función de gas constante en el EVM, una lectura larga de filología.
Análisis profundo de TFHE (cifrado totalmente homomórfico) - Parte I - Tipos de texto cifrado, una lectura larga de Zama.
El estado actual de los lenguajes EVM, una investigación leída durante mucho tiempo por jtriley.
ZKWasm: Ampliando los horizontes de las tecnologías que preservan la privacidad con SuperNova, una lectura extensa de Wyatt Benno de ICME Labs.
Una mejora exponencial para Ramsey diagonal, explicación del hilo de Timothy Gowers.
Unificando sabores de tolerancia a fallas con el cálculo ZX, un trabajo de investigación.
Gracias por leer la primera edición de ZK-Roller-Coaster. ¡Te veo en dos semanas! 🚵♀️
