Como é um zkVM projetado especificamente para o consenso do Ethereum? Neste episódio (4/6 da minissérie @LeanEthereum), pesquisadores da Ethereum Foundation, Thomas Coratger (@tcoratger) e Emile, discutem com @nico_mnbl o design e a implementação do leanVM, a VM mínima usada para agregação de assinaturas pós-quânticas. Eles abordam: – Por que o leanVM usa uma VM em vez de circuitos fixos para suportar a agregação flexível de XMSS e a composição de provas recursivas – A arquitetura do leanVM: um conjunto de instruções mínimo (4 opcodes) projetado para simplicidade e verificação formal – A pilha de provas por trás do LeanVM: aritmética multilinear, verificação de soma e o esquema de compromisso de Weir – Detalhes de implementação: prova otimizada para CPU com Plonky3, técnicas SIMD e hashing Poseidon2 – Benchmarks e restrições em torno da recursão e da taxa de agregação de XMSS Eles também discutem o design de especificações, metodologia de benchmarking e questões em aberto sobre a implementação de criptografia pós-quântica no Ethereum. Ouça o episódio completo. —-------------------- CÓDIGOS DE TEMPO 03:36 Por que o LeanVM foi escolhido 07:50 Design Minimalista do LeanVM 08:34 Simplicidade em vez de Velocidade 19:34 Segurança e Seleção de Campo 20:41 Desempenho e Benchmarks de Agregação 28:14 Especificação Python do Ethereum