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ântica. Eles cobrem: – Por que o leanVM usa uma VM em vez de circuitos fixos para suportar agregação flexível XMSS e composição recursiva de provas – A arquitetura leanVM: um conjunto mínimo de instruções (4 opcodes) projetado para simplicidade e verificação formal – A pilha de provação por trás do LeanVM: aritmetização multilinear, verificação de soma e o esquema de compromisso Weir – Detalhes da implementação: demonstração otimizada para CPU com Plonky3, técnicas SIMD e hashing Poseidon2 – Benchmarks e restrições em torno de recursão e taxa de transferência de agregação XMSS Eles também discutem o design de especificações, metodologia de benchmarking e questões em aberto sobre a implementação da 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 LeanVM Design Minimalista 08:34 Simplicidade em Vez de Velocidade 19:34 Segurança e Seleção de Campo Benchmarks de Desempenho e Agregação 20:41 Especificação Ethereum Python 28:14