Offchain Labs contra-ataca a pressão de Vitalik Buterin sobre RISC-V com um caso para WASM no Ethereum L1

Offchain Labs argumenta que o Ethereum deve separar as instruções de entrega e de prova para manter a flexibilidade a longo prazo.

A equipe observa que as mudanças rápidas nos designs de ZK-VM criam incerteza em torno do bloqueio do Ethereum no RISC-V.

WASM oferece estabilidade estrutural, compatibilidade de hardware e fortes recursos de validação para execução de contratos inteligentes on-chain.

Os pesquisadores da Offchain Labs avançaram um desafio detalhado à proposta de Vitalik Buterin de mudar a camada de execução do Ethereum para o conjunto de instruções RISC-V. A posição deles introduziu uma estrutura diferente para avaliar como o Ethereum lida com o código dos contratos inteligentes. Os pesquisadores apresentaram suas descobertas em uma discussão de novembro sobre a Pesquisa do Ethereum, onde examinaram como o WebAssembly pode operar como um formato de entrega a longo prazo para a Camada 1 do Ethereum.

Pesquisadores enfatizam papéis distintos para sistemas de entrega e prova.

A equipe explicou como os sistemas de contratos inteligentes dependem de duas camadas diferentes. Eles descreveram um conjunto de instruções de entrega que determina como os contratos aparecem na cadeia. Eles também detalharam um conjunto de instruções de prova usado por máquinas virtuais ZK para verificar a execução. Eles afirmaram que esses papéis não precisam compartilhar o mesmo design.

O post deles descreveu essa separação como um método que preserva a flexibilidade para futuros sistemas de prova. Eles mencionaram o trabalho em andamento que compila contratos WASM em RISC-V antes de prová-los. Eles acrescentaram que essa abordagem já está em funcionamento dentro dos testes da Arbitrum que processam dados de blocos ao vivo.

Os pesquisadores examinaram as rápidas mudanças no desenvolvimento do ZK-VM. Eles observaram que as implementações RISC-V mudaram recentemente de designs de 32 bits para 64 bits. Eles afirmaram que essa mudança cria incerteza em torno da otimização a longo prazo para sistemas de prova. Eles se concentraram no risco de incorporar uma única ISA orientada para hardware na camada base do Ethereum, enquanto outros projetos de ZK-VM desenvolvem estruturas de prova alternativas. Eles se referiram a esforços de prova orientados para WASM, como o Ligetron da Ligero, como exemplos de novas direções nesse cenário.

Os custos de prova continuam a diminuir em todo o ecossistema

O post descreveu a queda nos custos de prova ZK. Os pesquisadores afirmaram que os custos atuais estão próximos de $0,025 para cada bloco Ethereum. Eles acrescentaram que os custos continuam a cair à medida que os sistemas de prova evoluem. Eles explicaram que esses números reduzem a necessidade de projetar o formato de entrega apenas em torno da eficiência da prova.

Eles observaram que os construtores ainda podem coletar taxas de gás e MEV que superam as despesas de prova em condições normais de bloco. Os pesquisadores apontaram para o formato estruturado do WASM. Eles explicaram que esta estrutura torna as atualizações de código mais fáceis sem quebrar contratos existentes. Eles acrescentaram que o WASM funciona de forma eficiente em hardware comum usado pela maioria dos nós Ethereum.

Eles também notaram que o WASM inclui validação integrada que impõe segurança de tipo dentro dos ambientes de execução. Referiram-se à sua ampla base de ferramentas, que resulta do uso extenso em muitas aplicações. Descreveram o WASM como uma camada estável que conecta linguagens de contrato com diversos sistemas de execução e prova.