Linea Muda-se para RISC-V Enquanto Repensa o Futuro da Prova de Ethereum

Linea disse que está a mudar para uma nova arquitetura de prova construída à volta do RISC-V, marcando uma mudança significativa na forma como o projeto Ethereum layer-2 planeia escalar, verificar e evoluir a sua pilha tecnológica. Durante anos, a equipa de criptografia da Linea percorreu o que descreve como o caminho difícil: aritmetizando diretamente a Máquina Virtual Ethereum, ou EVM, traduzindo manualmente cada opcode em restrições matemáticas que um provador poderia validar.

Essa abordagem ajudou o projeto a alcançar a mainnet e produziu uma especificação de mais de 1.000 páginas que se tornou um ponto de referência para o ecossistema mais amplo. Também deu à equipa uma compreensão profunda e prática dos internos da EVM que poucos projetos conseguem igualar. Mas, de acordo com a Linea, o mesmo design que a trouxe até aqui também se tornou um fardo.

Cada hard fork do Ethereum exigiu reescrever módulos de restrição. Atualizações rotineiras foram atrasadas por componentes interconectados que eram difíceis de alterar sem introduzir erros. Em vez de passar tempo em novas ideias e ganhos de desempenho, a equipa de pesquisa frequentemente estava ocupada a gerir a complexidade. Na visão da Linea, esse modelo já não era o melhor caminho a seguir.

A empresa agora afirma que o RISC-V oferece uma forma mais limpa e rápida de construir a camada de prova. Comparado com o modelo de estado mais complexo e dinâmico da EVM, o RISC-V é um conjunto de instruções muito mais simples, com 32 registos e cerca de 40 instruções. Para um sistema de prova, a Linea argumenta que essa diferença importa imediatamente.

As trilhas tornam-se mais estreitas, podem ser geradas em tempo real e permitem que o provador comece a trabalhar em partes da prova mais cedo. Em termos práticos, a arquitetura é projetada para ser mais leve, mais fácil de processar e mais eficiente para operar em grande escala. O RISC-V também fecha uma lacuna de compatibilidade que a Linea diz ter sido difícil de resolver através da aritmetização direta da EVM.

Hoje, a Linea usa Poseidon em vez de Keccak e mantém a sua própria representação de estado. Alcançar compatibilidade Ethereum Tipo-1 da maneira antiga teria exigido construir manualmente Keccak, RLP e a Merkle Patricia Trie no sistema de restrições. Com o RISC-V, a Linea diz que um cliente EVM padrão pode ser compilado para um binário RISC-V, deixando o compilador a tratar esses detalhes e permitindo compatibilidade Tipo-1 desde o início.

A mudança também reflete a leitura da Linea sobre a própria direção do Ethereum. O projeto afirma que o compromisso da Fundação Ethereum com o RISC-V é o sinal mais claro até agora de como poderá ser a camada de prova do Ethereum no futuro, e quais sistemas são mais propensos a se encaixar em um modelo de rollup consagrado. Continuar a seguir seu caminho anterior, argumenta a Linea, teria afastado o projeto do roteiro L1, algo que não estava preparado para fazer.

Mudança Estratégica de Prova

A Linea diz que o momento é certo porque grande parte do trabalho mais difícil já foi feito. A equipa já implementou um sistema de produção, entende o conjunto de instruções alvo e conhece as exigências de segurança e arquitetura do ambiente para o qual está a construir. Com o ecossistema mais amplo a mover-se em direção à mesma fundação, a Linea acredita que seus anos de experiência em provas agora se traduzem diretamente em uma oportunidade para avançar mais rapidamente e construir com maior alinhamento.

Importante, o projeto afirma que a mudança não descarta o que já foi criado. A sua linguagem nativa de restrição, zkC, será utilizada para escrever a máquina virtual RISC-V. Vortex e Arcane, as camadas de prova e agregação, são descritas como independentes da arquitetura, o que significa que podem continuar a servir a pilha sob o novo design. A Linea também está a construir compatibilidade de verificação formal desde o início, com restrições projetadas para serem exportáveis para ferramentas como Lean.

A empresa afirma que a nova pilha será mais modular no geral, permitindo que cada camada seja avaliada, auditada ou substituída independentemente. Isso significa que as otimizações do provador podem ocorrer sem forçar mudanças na aritmetização subjacente, e melhorias na hash ou outros componentes podem ser introduzidas sem desencadear reescritas em cascata. A Linea apresenta isso como um grande avanço em relação ao sistema fortemente acoplado que tem utilizado até agora.

O projeto também está a enfatizar seu controle técnico mais amplo. A Linea afirma que tem uma das equipas de prova mais experientes no ecossistema Ethereum e está entre os poucos projetos que possuem a pilha completa, desde o cliente de execução e camada de consenso até o provador ZK e gateway. Sem dependência crítica de terceiros, a equipa diz que está bem posicionada para se adaptar rapidamente à medida que a paisagem de prova do Ethereum muda.

A mensagem da Linea é clara: o projeto acredita que o RISC-V não é apenas uma atualização de desempenho, mas uma fundação mais aberta e sustentável para a próxima fase da escalabilidade do Ethereum. Argumenta que a nova arquitetura é mais fácil de manter, mais fácil de auditar e mais fácil para a comunidade mais ampla entender e contribuir.

A empresa diz que a mudança é sobre mais do que velocidade. Trata-se de construir uma pilha que possa viver além de qualquer equipa única. Mais detalhes são esperados em breve, mas, por enquanto, a Linea está a sinalizar que o seu próximo capítulo será definido menos pela complexidade e mais pela modularidade, compatibilidade e alinhamento com a direção de longo prazo do Ethereum.