Offchain Labs desafia proposta RISC-V de Vitalik, diz que WASM é melhor para Ethereum L1

Offchain Labs, o desenvolvedor principal do Ethereum Layer 2 Arbitrum, desafiou a proposta de Vitalik Buterin de transicionar a camada de execução do Ethereum para RISC-V, publicando um post 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 afirmam que, embora o RISC-V atualmente se destaque na geração de provas ZK, isso não o torna a escolha certa para como os contratos inteligentes devem ser entregues e armazenados no Ethereum.

O cofundador do Ethereum, Buterin, havia sugerido a ideia de substituir o bytecode da Máquina Virtual Ethereum pela arquitetura de conjunto de instruções (ISA) RISC-V (pronuncia-se "risk-five") de código aberto num post no Ethereum Magicians em abril, argumentando que a mudança poderia reduzir os custos de prova ZK on-chain em até 100 vezes em alguns casos.

"Apoiamos estes objetivos, mas questionamos a suposição implícita de Vitalik de que uma ISA pode servir de forma ideal tanto para prova ZK quanto para entrega de contrato inteligente", escreveram Mario Alvarez, Matteo Campanelli, Tsahi Zidenberg e Daniel Lumi.

Separar entrega da prova?

O argumento central da equipa centra-se na distinção entre uma "ISA de entrega" (dISA) — o formato para carregar contratos on-chain — e uma "ISA de prova" (pISA) usada por máquinas virtuais ZK. Estas não precisam de ser as mesmas, argumentam.

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

"Podemos ZK-provar blocos do mundo real hoje numa blockchain que usa WASM como dISA, usando um ZK-VM baseado em RISC-V como backend", afirma o post.

RISC-V pode não permanecer ideal

A equipa questiona se o RISC-V representa o ponto final da evolução do ZK-VM, observando que o panorama de provas está mudando 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 bloquear o Ethereum numa tecnologia de prova específica justamente quando melhores alternativas surgem, alertam, enquanto ZK-VMs baseados em WASM como o Ligetron da Ligero já estão demonstrando vantagens que ISAs focadas em hardware podem não conseguir igualar.

Enquanto isso, 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 com as taxas de gás e MEV que um construtor poderia receber de um bloco", escreveram.

Vantagens do WASM

A equipa destaca o design estruturado do WASM, que torna mais fácil modificar e otimizar código sem quebrar contratos existentes. O WASM também executa eficientemente em hardware comum, enquanto a maioria dos nós Ethereum não executa CPUs RISC-V e precisaria emulá-lo.

As capacidades de validação do WASM garantem segurança de tipo e previnem vulnerabilidades, enquanto seu ecossistema de ferramentas maduro foi testado em batalha em bilhões de ambientes de execução.

"Pensamos que o WASM pode ser uma espécie de Protocolo de Internet para contratos inteligentes, servindo como uma camada intermediária ideal entre as diversas linguagens-fonte em que os contratos inteligentes são escritos e os diversos backends usados para executar e provar contratos inteligentes", escreveram os investigadores.