A proposta leanVM de Vitalik Buterin é uma máquina virtual de conhecimento zero minimalista projetada para reduzir os custos de transação do Ethereum e melhorar a escalabilidade. Ela utiliza uma ISA de quatro instruções, STARKs multilineares e logup lookups para possibilitar recursão eficiente e agregação XMSS com uma sobrecarga de processamento muito menor.
-
Design minimalista de zkVM: ISA de quatro instruções mais STARKs multilineares para provas com custo eficiente.
-
Foca em recursão e agregação XMSS para reduzir a carga de trabalho do provador e os custos de verificação on-chain.
-
Apresentado por Vitalik Buterin como parte do roadmap do Ethereum rumo a ferramentas criptográficas mais leves e elegantes.
leanVM: a proposta minimalista de zkVM de Vitalik Buterin para reduzir custos do Ethereum e aumentar a escalabilidade. Descubra o que isso significa para rollups e design de protocolos — leia agora.
O que é leanVM e por que é importante para o Ethereum?
leanVM é uma proposta de máquina virtual de conhecimento zero minimalista que prioriza simplicidade e baixo custo para o provador. O design se baseia em uma ISA de quatro instruções, STARKs multilineares e logup lookups para permitir recursão e agregação eficientes, potencialmente reduzindo o uso de recursos em comparação com implementações zkVM mais pesadas.
Como o leanVM melhora a escalabilidade do Ethereum?
O leanVM reduz o tempo do provador ao simplificar o conjunto de instruções e a estrutura da prova. STARKs multilineares diminuem a sobrecarga do tamanho da prova e logup lookups otimizam o acesso ao estado. Essas escolhas ajudam a tornar a recursão e a agregação XMSS mais baratas, o que pode se traduzir em maior throughput de rollups e taxas por transação mais baixas.
Vitalik Buterin enquadrou a proposta como um esforço para escrever “código compacto” e construir primitivas criptográficas de longo prazo e fáceis de manter, em vez de soluções temporárias de escalabilidade.
Quando Vitalik propôs o leanVM e o que ele disse?
A proposta surgiu em 8 de setembro de 2025 durante uma discussão sobre o roadmap do Ethereum. Vitalik Buterin descreveu o leanVM como parte de uma fase decisiva para a evolução técnica do Ethereum, enfatizando o design de protocolos compactos e elegantes em vez de soluções temporárias.
Quais são os destaques técnicos do leanVM?
Os principais elementos incluem uma ISA de quatro instruções para manter a semântica de execução minimalista. Isso é combinado com STARKs multilineares para reduzir a sobrecarga das provas e logup lookups para otimizar o acesso ao estado. Essas escolhas visam explicitamente tornar a recursão e a agregação XMSS mais baratas na prática.
Perguntas Frequentes
Como o leanVM afetará os rollups?
O leanVM pode reduzir os custos do provador de rollups ao simplificar o modelo computacional e a geração de provas. Uma sobrecarga menor para o provador pode reduzir as despesas dos operadores e melhorar o throughput para designs de optimistic e zk-rollup que adotarem ferramentas compatíveis.
O leanVM é seguro em comparação com zkVMs existentes?
A segurança depende da implementação e das escolhas criptográficas. O leanVM depende de provas baseadas em STARK, consideradas seguras contra ataques quânticos; no entanto, qualquer nova VM requer análise formal e revisão por pares antes do uso em produção.
Pontos Principais
- leanVM busca o minimalismo: Uma ISA de quatro instruções e provas compactas visam custos menores para o provador.
- Foco em recursão e agregação: STARKs multilineares e logup lookups tornam a recursão e a agregação XMSS mais práticas.
- Parte do roadmap de longo prazo do Ethereum: A proposta reflete um movimento mais amplo em direção a ferramentas criptográficas resilientes e elegantes, em vez de soluções temporárias.
Conclusão
A proposta leanVM marca um passo notável no roadmap do Ethereum em direção a ferramentas zk escaláveis e com custo eficiente. Ao enfatizar uma ISA minimalista, STARKs multilineares e lookups otimizados, o leanVM busca reduzir o custo do provador e permitir recursão e agregação mais eficientes. Desenvolvedores e pesquisadores devem acompanhar as discussões em andamento e revisões por pares para avaliar a adoção prática.
Histórias Relacionadas
- Milhões de novas carteiras Ethereum criadas – mas investidores estão mais pessimistas do que nunca — 2 horas atrás — 3 min de leitura
- Rali do Ethereum esconde uma realidade sombria, alerta pesquisador — 18 horas atrás — 2 min de leitura
- Veja quanto vale o cofundador do Ethereum, Vitalik Buterin, em 2025 — 24 horas atrás — 3 min de leitura
- ETFs de Ethereum registram US$ 787M em saídas após entradas recordes em agosto — 2 dias atrás — 2 min de leitura
- Baleia de Ethereum desperta após 3 anos – faz stake de US$ 646M em ETH — 3 dias atrás — 2 min de leitura
- Grayscale lança ETF de Ethereum que paga a cada 2 semanas — 3 dias atrás — 2 min de leitura
