Esta é a primeira edição do ZK-Roller-Coaster onde rastreamos e investigamos as coisas mais emocionantes, significativas e malucas do ZK das duas semanas anteriores.
O que esperar? Discussões e propostas de pesquisa ZK novas e contínuas, novos projetos, atualizações de projetos já existentes e amados, drama ZK, algumas observações e escritos educacionais, oportunidades para construtores e quebra-cabeças para os curiosos. Nem tudo isso sempre, mas tudo isso de vez em quando.
Vamos começar com a primeira edição da ZK-Roller-Coaster! Segure firme! 🎢
Tempero da semana 🌶️
Aparentemente, ninguém sabe realmente como os rollups realmente funcionam! Kelvin, do Optimism, faz uma bela apresentação sobre seu modelo mental rollup e afirma que ZK Rollups não existem! O horror! (Mas nem os rollups otimistas, segundo ele… são todos apenas rollups).
Pesquisa de ZK e rollups 🧙
tópico ethresearch em rollups “baseados” ou “sequenciados em L1” (por Justin Drake). TLDR: “destacamos um subconjunto especial de rollups que chamamos de “baseados” ou “sequenciados em L1”. O sequenciamento de tais rollups – sequenciamento baseado – é extremamente simples e herda a vivacidade e a descentralização da L1. Além disso, os rollups baseados estão particularmente alinhados economicamente com seu L1 básico.” Taiko apóia a abordagem para ser o mais descentralizada possível, dependendo totalmente do Ethereum para descentralização do sequenciador/proponente.
proposta de ethresearch: Tornando compatíveis as assinaturas do verificador designado no Ethereum (por Shrey Jain e Enrico Bottazzi). Breve resumo no tópico do Enrico.
proposta de pesquisa eletrônica de um novo protocolo de comunicação cross-rollup baseado em ZK (por Daniel Ivanov do LimeLabs).
Uma coleção de bugs, vulnerabilidades e explorações mantida pela comunidade em aplicativos que usam criptografia ZK pela comunidade 0xPARC.
Alex Stokes publicou o rascunho da “sistematização do conhecimento”: o que queremos dizer quando falamos em “sequenciamento”? Esse é um trabalho em andamento, fique à vontade para contribuir.
Atualizações de ZK e rollups 🎈
A Espresso Systems publicou um artigo (de Ben Fisch e Benedikt Bünz) apresentando o Espresso Sequencer, uma ferramenta para descentralização rollup.
Avail, a solução Polygon Data Availability, será totalmente desmembrada do Polygon Labs.
Geometry apresenta Semacaulk, um protocolo de associação de conjunto de conhecimento zero com eficiência de gás.
Succinct Labs introduziu Telepatia, protocolo de interoperabilidade zkSNARK descentralizado e seguro para Ethereum.
Sismo lançou zkConnect = autenticação anônima + divulgação seletiva de dados.
Porçu Quine (equipe Filecoin Proofs) apresentou Lurk, uma nova linguagem de programação baseada em LISP para zk-SNARKs.
Arbitrum anunciou o lançamento da governança DAO.
Destaques da indústria não ZK 🎡
Recapitulação (por Tim Beiko) e gravação da última reunião da camada de execução Ethereum (definir a data da rede principal do Shapella (!!), cobrir todos os potenciais EIP de Cancun até agora, discutir a construção de blocos locais, etc.)
Relatório de Transparência de Flashbots.
Oportunidades 🏄♀️
19 de abril: um mergulho profundo na sangria, um novo esquema de dobramento para Plonk com restrições de plonk relaxadas, um bate-papo discordante de Nico do Geometry.
Leituras e observações 🎞
Em geral
Rollups não são reais: um longo livro de Jon Charbonneau sobre mecanismos de inclusão de transações forçadas, descentralização do sequenciador L2 e (opcionalmente) consenso, sequenciadores compartilhados e atomicidade da cadeia X e design com reconhecimento de MEV.
Desconstruindo Rollups: o que realmente define o rollup? A comunidade ou uma ponte de validação? – um artigo de Patrick McCorry.
O futuro da votação privada, flexível e anônima (por Raf Solari da Tally e O(1) Labs), uma gravação do espaço do Twitter.
Danksharding parte 1 com Yuval Domb, uma palestra.
Rollups Through the Prism of Validating Bridges, slides da palestra da ETHDubai por Toghrul Maharramov da Scroll.
Optimal zkVM Design (por Max Gillett), uma breve palestra.
Matemática sofisticada, criptografia e física quântica
Despachantes de função de gás constante no EVM, uma longa leitura da filologia.
TFHE (Criptografia Totalmente Homomórfica) Deep Dive - Parte I - Tipos de texto cifrado, uma leitura longa de Zama.
O estado atual das linguagens EVM, uma pesquisa longa lida por jtriley.
ZKWasm: Expanding the Horizons of Privacy-Preserving Technologies with SuperNova, um longo livro de Wyatt Benno do ICME Labs.
Uma melhoria exponencial para Ramsey diagonal, explicação de thread de Timothy Gowers.
Unificando sabores de tolerância a falhas com o cálculo ZX, um artigo de pesquisa.
Obrigado por ler a primeira edição do ZK-Roller-Coaster. Te vejo em duas semanas! 🚵♀️