A Offchain Labs opõe-se à proposta RISC-V de Vitalik, apoiando o WASM para o Ethereum L1

A Offchain Labs, a principal desenvolvedora da Arbitrum – a solução líder de Layer 2 na Ethereum – acaba de apresentar argumentos contra a proposta de Vitalik Buterin de migrar a camada de execução da Ethereum para uma arquitetura RISC-V. Num artigo técnico publicado a 20/11 no Ethereum Research, a equipa de investigação defende que o WebAssembly (WASM) é, na verdade, a opção que traz benefícios superiores a longo prazo.

Segundo os quatro investigadores da Offchain Labs – Mario Alvarez, Matteo Campanelli, Tsahi Zidenberg e Daniel Lumi – apesar de o RISC-V atualmente apresentar vantagens na criação de provas ZK, isso não significa que seja o formato adequado para implementar e armazenar smart contracts na Ethereum.

Proposta polémica de Vitalik

Vitalik Buterin sugeriu substituir o bytecode da Ethereum Virtual Machine pelo conjunto de instruções open source RISC-V, num artigo publicado no Ethereum Magicians em abril. Esta ideia visa reduzir drasticamente os custos de geração de provas ZK, podendo, em certos casos, baixar até 100 vezes.

No entanto, a Offchain Labs argumenta que é incorreto assumir que “uma única ISA serve de forma otimizada tanto para a criação de provas como para a implementação de smart contracts”.

Separação entre “delivery ISA” e “proving ISA”

O argumento central da equipa é a necessidade de distinguir:

• Delivery ISA (dISA): formato usado para colocar smart contracts on-chain.
• Proving ISA (pISA): formato utilizado na máquina virtual ZK para criar provas.

Estas duas camadas não precisam de ser iguais.

A Offchain Labs revela já ter construído um protótipo que comprova esta abordagem: os blocos da Arbitrum – incluindo smart contracts Stylus a correr em WASM – são ZK-proved através da compilação de WASM para RISC-V, seguindo-se a geração da prova de execução em RISC-V.

“Conseguimos gerar provas ZK de blocos reais na blockchain utilizando WASM como dISA, com um backend ZK-VM baseado em RISC-V”, escreve a equipa.

RISC-V pode não ser o destino final

Os investigadores também questionam se o RISC-V será realmente o destino ótimo dos ZK-VM, dado que o ecossistema de provas está em rápida evolução. A recente transição do RISC-V de 32-bit para 64-bit evidencia que a tecnologia ainda não está estável.

Se a Ethereum “fixar” o RISC-V no Layer 1, a blockchain pode ficar presa a uma tecnologia de provas obsoleta precisamente quando surgirem soluções melhores. Entretanto, ZK-VMs baseados em WASM – como o Ligetron da Ligero – estão a demonstrar vantagens que uma arquitetura ISA puramente de hardware dificilmente acompanha.

Adicionalmente, o custo de ZK-proving caiu drasticamente para cerca de 0,025 USD por bloco Ethereum e continua a descer, tornando a otimização extrema para provas cada vez menos urgente. “Mesmo que a L1 exija múltiplas provas ZK por bloco, este custo é ínfimo comparado com as taxas de gas e MEV que o builder pode arrecadar”, observa a equipa.

Vantagens de longo prazo do WASM

A Offchain Labs destaca a superioridade do WASM devido a:

• Estrutura clara, facilitando otimizações ou alterações sem comprometer contratos existentes.
• Desempenho eficiente em hardware comum, sem necessidade de emulação como acontece com o RISC-V.
• Mecanismos de validação robustos, assegurando type safety e reduzindo falhas de segurança.
• Ecossistema de ferramentas maduro, comprovado por milhares de milhões de ambientes de execução.

A equipa conclui: “Acreditamos que o WASM pode tornar-se uma espécie de protocolo da Internet para smart contracts – a camada intermédia ideal entre múltiplas linguagens de programação e diversos backends de execução e de provas.”

Thạch Sanh