Offchain Labs desafia a proposta RISC-V de Vitalik e afirma que WASM é melhor para o Ethereum L1

A Offchain Labs, principal desenvolvedora do Ethereum Layer 2 Arbitrum, contestou a proposta de Vitalik Buterin para transitar a camada de execução do Ethereum para RISC-V, publicando um artigo técnico detalhado argumentando que o WebAssembly (WASM) oferece vantagens superiores a longo prazo.

Num post de 20 de novembro no Ethereum Research, quatro investigadores da Offchain Labs defendem que, embora o RISC-V atualmente se destaque na geração de provas ZK, isso não o torna a escolha certa para a forma como os smart contracts devem ser entregues e armazenados no Ethereum.

O cofundador do Ethereum, Buterin, sugeriu a ideia de substituir o bytecode da Ethereum Virtual Machine pelo conjunto de instruções open-source RISC-V (pronunciado "risk-five") num post no Ethereum Magicians em abril, argumentando que a mudança poderia reduzir os custos de prova ZK on-chain em até 100x em alguns casos. 

"Apoiamos estes objetivos, mas questionamos a suposição implícita do Vitalik de que um único ISA pode servir de forma ideal tanto para ZK-proving quanto para a entrega de smart contracts", escreveram Mario Alvarez, Matteo Campanelli, Tsahi Zidenberg e Daniel Lumi.

Separar entrega de prova?

O argumento central da equipa centra-se em distinguir entre um "delivery ISA" (dISA) — o formato para upload de contratos on-chain — e um "proving ISA" (pISA) usado por máquinas virtuais ZK. Eles defendem que não precisam ser o mesmo.

A Offchain Labs já está a construir um protótipo que comprova este conceito: blocos Arbitrum, incluindo smart contracts Stylus baseados em WASM, são provados por ZK primeiro compilando WASM para RISC-V e depois provando a execução em RISC-V.

"Hoje podemos provar por ZK blocos reais numa blockchain que usa WASM como dISA, utilizando uma ZK-VM baseada em RISC-V como backend", afirma o artigo.

RISC-V pode não permanecer ideal

A equipa questiona se o RISC-V representa o ponto final da evolução das ZK-VM, observando que o cenário de provas está a mudar rapidamente. Mudanças recentes de implementações RISC-V de 32 bits para 64 bits destacam esta incerteza.

Consagrar o RISC-V no L1 poderia prender o Ethereum a uma tecnologia de prova específica justamente quando alternativas melhores surgem, alertam, enquanto ZK-VMs baseadas em WASM como o Ligetron da Ligero já demonstram vantagens que ISAs focadas em hardware podem não conseguir igualar.

Entretanto, os custos de prova ZK caíram para cerca de $0,025 por bloco Ethereum e continuam a cair, tornando menos crítico otimizar exclusivamente para eficiência de prova, argumentam os investigadores. "Mesmo que o L1 exigisse múltiplas provas ZK por bloco, este custo seria mínimo comparado às taxas de gas e ao MEV que um builder poderia receber de um bloco", escreveram. 

Vantagens do WASM

A equipa destaca o design estruturado do WASM, que facilita a modificação e otimização do código sem quebrar contratos existentes. O WASM também executa eficientemente em hardware comum, enquanto a maioria dos nodes Ethereum não executa CPUs RISC-V e teria de emulá-las.

As capacidades de validação do WASM garantem segurança de tipos e previnem vulnerabilidades, enquanto o seu ecossistema de ferramentas maduras já foi testado em milhares de milhões de ambientes de execução.

"Acreditamos que o WASM pode ser uma espécie de Protocolo de Internet para smart contracts, servindo como uma camada intermédia ideal entre as diversas linguagens de origem em que os smart contracts são escritos e os diversos backends usados para executar e provar smart contracts", escreveram os investigadores.