Qual é exatamente a recente proposta de leanVM da Ethereum? Vamos dar uma olhada no histórico e nas razões primeiro. Para entender o LeanVM, é preciso primeiro entender a estrutura leanEthereum. A estrutura leanEthereum é um roteiro de 10 anos proposto pelo pesquisador da Ethereum Justin Drake (lançado em 31 de julho de 2025), com o objetivo da realidade: TPS de um milhão de níveis (L1 10k/L2 1M), verificação zkVM em tempo real e segurança resistente à quântica. Este roteiro inclui zkVMs, e o LeanVM visa obter zkVMs (máquinas virtuais de conhecimento zero) minimizadas para verificação de segurança, agregação de assinaturas e provas recursivas na era pós-quântica. A estrutura leanEthereum consiste em três partes: consenso Lean (consenso simplificado, usando provas zk para verificar raízes de estado para suportar dispositivos domésticos comuns), execução lean (simplificando a execução, implementando SNARKed L1 EVM ou introduzindo RISC-V) e dados Lean (simplificando dados, uma nova geração de esquema de disponibilidade de dados). Em outras palavras, o LeanVM faz parte da visão do LeanEthereum de melhorar o desempenho, a segurança e a descentralização do Ethereum de maneira minimalista. O zkVM suporta a verificação de cálculos e estado sem divulgar conteúdo de dados específico, tornando-o adequado para verificação de estado em tempo real, proteção de privacidade e aplicativos de cadeia cruzada. O próprio leanVM se concentra em resolver os gargalos computacionais do Ethereum, tentando resolver o problema da computação on-chain confiável, mas cara, e da computação off-chain, barata, mas sem confiança, na computação off-chain. Ele tenta principalmente obter provas eficientes por meio de paradigmas multilineares e pequenos campos (como Koala Bear, campo principal de 31 bits), substituindo os tradicionais PCS univariados (esquemas de compromisso) para reduzir a sobrecarga de prova. De acordo com sua documentação, a arquitetura do LeanVM usa principalmente tabelas AIR (Arithmetic Intermediate Representation) como submissões polinomiais multilineares; A validade das restrições é comprovada por meio do protocolo de verificação de soma e a avaliação é simplificada para uma única declaração polinomial; O conjunto básico de instruções inclui adição, multiplicação, referência (acesso à memória) e salto condicional. Remova o registro do ponteiro de alocação (AP), use a memória somente leitura (seções pública e de compromisso) e conte com as dicas do provador (dicas) para alocar quadros; Em termos de otimização, a estrela de logup é usada para reduzir os custos de compromisso, e apenas 5 elementos de campo (PC, FP e três índices de memória) são confirmados por ciclo, o que é reduzido para menos de 18 em comparação com outros zkVMs (como KO), mas o grau de restrição é aumentado para 5. Suporta prova recursiva: O desempenho atual não otimizado é de 2,7 segundos/parte recursiva e a aceleração alvo é mais de 10 vezes. O componente de criptografia inclui a integração do Poseidon 2 (função hash compatível com ZK), que suporta a pré-compilação de elementos de 16 e 24 campos; Para agregação e recursão de XMSS (Optimized Hashbase Post-Quantum Signature Scheme), a chave comum é de cerca de 50 bytes, a assinatura é de 3 KB e a < de verificação é de 1 ms; Campos e PCS: campos de coala, PCS multilinear, produto interno e avaliação multilinear em campos estendidos. Em termos de implementação, o validador de Prova de Conceito (POC) é implementado em < 500 linhas de Python, enfatizando a máxima simplicidade. O compilador dá suporte ao desdobramento em linha e em loop, mas ainda não está maduro; Em termos de teste, testes de unidade, testes de integridade de ida e volta e testes de resposta conhecida usam a estrutura Pytest. Os cenários de aplicação do LeanVM incluem: agregação de assinatura (compactação de milhares de assinaturas em pequenas provas, adequadas para várias assinaturas); buraco de minhoca de privacidade, jogos de cadeia completa, mercados de previsão, verificação de IA; reutilização de cadeia cruzada (pode se aplicar ao BTC, etc.); Integração com leanMultisig (leanMultisig é uma estrutura de assinatura múltipla baseada em hash que usa assinatura e agregação de folha XMSS, contando com as provas zk do leanVM para garantir a segurança pós-quântica). Status de implementação do LeanVM, de acordo com as últimas informações públicas, o leanVM ainda está no estágio inicial de pesquisa e desenvolvimento de protótipos. O roteiro lean Ethereum foi lançado em 31 de julho de 2025 e estima-se que o Lean Ethereum concluirá tarefas prioritárias em 2026, suportará a implantação de testnet em 2027-28 e concluirá os testes em 2029. No geral, o Lean Ethereum será implementado por pelo menos 3-5 anos. No entanto, olhando para o roteiro geral, o roteiro do Ethereum para o futuro revela um futuro de alto desempenho, descentralização, segurança e privacidade. Uma vez que atinge um TPS de nível de milhão, não está longe de se tornar a camada de liquidação do mundo.