A Linha termina a Aritimética direta do EVM, passa para RISC-V para acompanhar o roteiro de provas do Ethereum

TLDR:

Índice de Conteúdos

Alternar

• TLDR:

• Um conjunto de instruções mais simples muda tudo

• O que se mantém na nova stack

• A mudança da Linea para RISC-V reduz a complexidade das instruções, de todo o conjunto de opcodes da EVM, para cerca de 40 instruções.

• Cada Ethereum hard fork anteriormente obrigou a reescritas completas dos módulos de restrições da ZK da Linea no sistema antigo.

• O RISC-V permite automaticamente a compatibilidade Ethereum de tipo 1 através de ferramentas de compilação padrão, substituindo o trabalho manual de restrições.

• A Linea mantém zkC, Vortex e Arcane na nova stack, preservando anos de investigação criptográfica e experiência de produção.

A Linea, a rede de Ethereum Layer 2 desenvolvida pela ConsenSys, está a transitar de uma aritmetização direta da EVM para uma arquitetura de prova baseada em RISC-V.

A equipa passou três anos a construir um dos sistemas de provas ZK mais rigorosos em produção. Esse trabalho resultou numa especificação de 1.000 páginas que se tornou uma referência para o ecossistema.

No entanto, a abordagem criou desafios de manutenção que abrandaram o progresso. A migração para RISC-V assinala um reposicionamento estratégico centrado em desempenho, modularidade e alinhamento com a Ethereum.

Um conjunto de instruções mais simples muda tudo

A EVM opera com um modelo de estado complexo e dinâmico, difícil de traduzir em restrições matemáticas. Em contrapartida, o RISC-V oferece aproximadamente 40 instruções e 32 registos.

Essa simplicidade torna os traces mais estreitos e permite que o prover comece a trabalhar imediatamente em blocos de prova. Os ganhos de desempenho são estruturais, não incrementais.

Cada Ethereum hard fork anteriormente exigiu reescritas completas dos módulos de restrições da Linea. Esse esforço de manutenção consumiu uma capacidade significativa de investigação.

A equipa estava a gerir a complexidade em vez de avançar o desempenho criptográfico. Mudar para o RISC-V remove esse ciclo por completo.

A compatibilidade Ethereum de tipo 1 foi outro grande obstáculo na arquitetura antiga. Alcançá-la exigiu implementar Keccak, RLP e a Merkle Patricia Trie manualmente dentro de restrições.

Com o RISC-V, um cliente EVM padrão compila diretamente para um binário RISC-V, e o compilador trata a compatibilidade automaticamente.

A investigadora criptográfica da Linea, Alexandre Belling, apresentou a transição na conferência eth_proofs. Tal como a Linea publicou no X, a equipa está a aproximar-se de “verdadeira modularidade”, em que cada camada pode ser aferida, auditada ou substituída de forma independente. Isso não era possível com o sistema fortemente acoplado anteriormente em uso.

A nossa investigadora criptográfica @alexand_belling revelou ontem, na @eth_proofs, que a Linea está a mudar para RISC-V.

Depois de 3 anos a aritmetizar diretamente a EVM, produzindo uma especificação de 1000+ páginas e um dos sistemas de prova mais rigorosos em produção, estamos a mudar de rumo.

Aqui está… pic.twitter.com/jXIF5mZaPT

— Linea.eth (@LineaBuild) 29 de março de 2026

A Ethereum Foundation também se comprometeu com o RISC-V como parte da sua roadmap para a camada de provas. A Linea citou isto como fator determinante. Prosseguir no caminho anterior teria significado divergir da direção técnica de longo prazo da Ethereum.

O que se mantém na nova stack

A Linea não está a descartar anos de trabalho. A linguagem nativa de restrições da equipa, zkC, será usada para escrever a máquina virtual RISC-V. Vortex e Arcane, que tratam de provas e agregação, são independentes da arquitetura e transferem-se diretamente.

A verificação formal está a ser incorporada no novo sistema desde o início. As restrições estão a ser desenhadas para exportação para ferramentas como Lean. Esta abordagem torna a stack auditável por um público muito mais vasto do que antes.

A Linea também mantém o controlo de ponta a ponta da sua infraestrutura. Isso inclui o cliente de execução Besu, a camada de consenso Maru, o prover ZK e o gateway. Não existem dependências críticas de terceiros na arquitetura.

Como a Linea referiu num post de acompanhamento no X, a aritmetização direta da EVM era “difícil de auditar sem conhecimentos profundos de criptografia.”

O RISC-V é amplamente ensinado, bem documentado e suportado por um ecossistema de programadores em crescimento. A mudança torna a stack de provas acessível para além da equipa interna da Linea.

A transição posiciona a Linea como uma das primeiras a avançar num espaço onde o ecossistema mais amplo da Ethereum está agora a convergir.

Anos de experiência em provas de produção aplicam-se agora a uma arquitetura mais simples e mais rápida. A equipa indicou que mais detalhes técnicos irão seguir-se nas próximas semanas.

Anuncie Aqui