Os desenvolvedores do Ethereum introduziram uma nova zkVM minimalista chamada "leanVM", projetada para simplificar as operações do Ethereum. A leanVM é otimizada para agregação e recursão XMSS, oferecendo uma alternativa econômica ao Cairo. Ela utiliza uma ISA de quatro instruções, STARK multilinear e busca logup para reduzir significativamente os custos de compromisso.