Oriente é um segmento do boletim informativo 0xResearch. Para ler as edições completas, inscrever-se.
Hoje, Scroll, Axiom, o desenvolvedor Max Gillet e a equipe de Privacy & Scaling Explorations (PSE) da Instalação Ethereum estão anunciando o OpenVM, uma estrutura zkVM de código ingénuo para prova instantânea.
OpenVM será adotado pelo Scroll L2 porquê seu zkVM e planeja validar blocos mainnet nos próximos meses. Isso faz a transição da rolagem de um zkEVM atualmente Tipo 3 para um Tipo 1 – o tipo zkEVM mais totalmente equivalente ao Ethereum.
A atualização do Scroll para um rollup de Estágio 1 com um sistema de prova totalmente funcional ocorrerá logo em seguida.
De contrato com um expedido de prelo, a decisão da Scroll de projetar um novo zkVM desde o início foi motivada pela crença de que muitas soluções zkVM existentes eram “monolíticas” e “prendevam os desenvolvedores em pilhas verticalmente integradas”.
A arquitetura modular e de código ingénuo do OpenVM permitiria que Scroll introduzisse recursos sem fazer alterações no rodeio subjacente, e que os desenvolvedores se beneficiassem das melhorias do zkVM sem ter que modificar o código do aplicativo.
O estado de ZK
OpenVM entra em um mercado já lotado de zkVMs. Ao contrário das máquinas virtuais tradicionais, os zkVMs são projetados para compilar e executar contratos inteligentes em provas de conhecimento zero de uma forma segura e privada que não revela dados subjacentes.
Hoje, o mercado zkVM oferece pelo menos uma dúzia de zkVMs diferentes, porquê RISC Zero “RISC0” e “SP1” da Succinct.
Manadeira: Capital Elétrica
Conforme visto no gráfico inferior, as provas enviadas à rede principal Ethereum tiveram um pico em dezembro de 2023, em grande secção provenientes de rollups zk porquê Linea, ZKsync e Scroll, em vez de aplicativos. Os volumes de provas caíram em 2024, em grande secção devido a dois fatores.
Primeiro, a geração de provas tem sido cada vez mais agrupada usando reunião de provas recursiva — uma técnica que verifica múltiplas provas dentro de uma prova — para reduzir custos.
Manadeira: zkstats.io
Em segundo lugar, a verificação das provas está a tornar-se mais eficiente, pelo que os custos estão a diminuir acentuadamente desde há exclusivamente um ano.
Redes de provadores porquê “Boundless” de Risc Zero e Fermah também ajudaram aplicativos e rollups a reduzir os custos de prova de zk. Essas redes permitem que as equipes terceirizem a geração de provas para fornecedores de hardware especializados com ASICs e GPUs que competem para gerar provas zk de maneira barata.
Com base no recente relatório de desenvolvedores da Electric Capital, há 2.054 desenvolvedores ativos mensais trabalhando em zk. O uso do zk teve um enorme incremento, com implantações de contratos zk crescendo de 40 para 639 hoje nos últimos quatro anos.
