Validity Rollups: A melhor opção para a escalabilidade do Ethereum?
Validity Rollups (também conhecidos como zk-rollups) são considerados uma das soluções mais promissoras para aumentar a capacidade do Ethereum de forma segura e descentralizada. O cerne desta solução de escalabilidade é a utilização de provas de validade para computação verificável. Seu funcionamento é o seguinte:
Os operadores descarregam a execução das transações para um ambiente fora da cadeia (segunda camada). Após processar um grande número de transações, os operadores da segunda camada retornam os resultados para serem aplicados ao estado do Ethereum, enquanto fornecem uma prova de validade da integridade da execução fora da cadeia. Esta prova assegura que todas as transações no lote são válidas e são automaticamente verificadas pelo contrato de validadores na cadeia. Isso permite que o Ethereum aplique os resultados ao seu estado.
É importante notar que os Validity Rollups são frequentemente chamados erroneamente de agregações de conhecimento zero, mas isso não é preciso. A maioria dos Validity Rollups não utiliza provas de conhecimento zero, nem é usada para garantir a privacidade. Portanto, o termo "Validity Rollup" é mais apropriado.
Nos Validity Rollups, zkEVM e Cairo VM (CVM) são dois tipos de máquinas virtuais comumente usadas. O zkEVM foca na compatibilidade com Ethereum, mas sacrifica desempenho e escalabilidade. Por outro lado, o Cairo VM adotado pelo Starknet prioriza desempenho e escalabilidade em detrimento da compatibilidade.
A máquina virtual (VM) é um ambiente onde programas podem ser executados, semelhante a executar o sistema operativo Windows em um Mac. Ela alterna entre diferentes estados após processar certas entradas. A máquina virtual Ethereum (EVM) é a VM que executa contratos inteligentes Ethereum.
A máquina virtual de conhecimento zero ( zkVM ) é um ambiente de execução de programas que pode gerar provas de validade fáceis de verificar, para demonstrar que o programa foi executado corretamente. "zkEVM" normalmente se refere a uma agregação que utiliza a máquina virtual Ethereum ( EVM ) e pode provar a execução da EVM. Este termo pode ser enganoso, pois a EVM em si não gera essas provas; as provas são geradas por um mecanismo de prova independente, que se baseia nos resultados da execução da EVM. Além disso, essas provas focam principalmente na validade e não na privacidade, portanto, não são estritamente provas de conhecimento zero.
O zkEVM visa trazer a experiência do Ethereum integralmente para blockchains de Layer-2. Ele tenta replicar o ambiente do Ethereum para os desenvolvedores, permitindo que eles escrevam ou transplantem contratos inteligentes para soluções mais escaláveis sem precisar mudar o código ou abrir mão das ferramentas EVM. No entanto, a principal desvantagem dessa abordagem é a redução do potencial de escalabilidade da prova de validade. Devido ao compromisso com a compatibilidade com o Ethereum, o zkEVM é mais lento e consome mais recursos.
Em comparação, Starknet adotou a Cairo VM (CVM), que é uma nova VM projetada especificamente para otimizar a eficiência da prova de validade. A Cairo VM permite que os desenvolvedores a personalizem de acordo com necessidades específicas e vem equipada com funcionalidades que atendem a novas demandas.
A linguagem Cairo foi inicialmente projetada para simplificar o processo de criação de provas de validade computacional. Programas em Cairo são compilados para código de máquina algébrico, executado por uma VM fixa. Essa abordagem permite que os desenvolvedores usem provas de validade para escalar suas aplicações, sem a necessidade de entender profundamente a matemática subjacente e a infraestrutura.
Starknet oferece métodos de codificação diversificados. Os desenvolvedores podem escolher escrever código nativamente em Cairo ou utilizar ferramentas de compatibilidade com Solidity. Por exemplo, o compilador Warp pode traduzir código Solidity para Cairo, enquanto Kakarot é um zkEVM escrito em Cairo que pode executar contratos inteligentes do Ethereum na Starknet.
Em geral, o zkEVM visa replicar o ambiente Ethereum, mas pode limitar o potencial da prova de validade. O Cairo VM, por outro lado, foi projetado especificamente para sistemas de prova de validade, não estando limitado ao EVM, oferecendo maior eficiência e flexibilidade. Com o contínuo desenvolvimento do ecossistema Starknet, os desenvolvedores agora têm um controle sem precedentes sobre a escalabilidade da blockchain.
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
14 gostos
Recompensa
14
5
Republicar
Partilhar
Comentar
0/400
BearMarketMonk
· 08-13 08:36
A expansão não é um problema, o que importa é se o v-pang vai fazer point shaving~
Validity Rollups e zkEVM: explorando as vantagens e desvantagens das soluções de escalabilidade do Ethereum
Validity Rollups: A melhor opção para a escalabilidade do Ethereum?
Validity Rollups (também conhecidos como zk-rollups) são considerados uma das soluções mais promissoras para aumentar a capacidade do Ethereum de forma segura e descentralizada. O cerne desta solução de escalabilidade é a utilização de provas de validade para computação verificável. Seu funcionamento é o seguinte:
Os operadores descarregam a execução das transações para um ambiente fora da cadeia (segunda camada). Após processar um grande número de transações, os operadores da segunda camada retornam os resultados para serem aplicados ao estado do Ethereum, enquanto fornecem uma prova de validade da integridade da execução fora da cadeia. Esta prova assegura que todas as transações no lote são válidas e são automaticamente verificadas pelo contrato de validadores na cadeia. Isso permite que o Ethereum aplique os resultados ao seu estado.
É importante notar que os Validity Rollups são frequentemente chamados erroneamente de agregações de conhecimento zero, mas isso não é preciso. A maioria dos Validity Rollups não utiliza provas de conhecimento zero, nem é usada para garantir a privacidade. Portanto, o termo "Validity Rollup" é mais apropriado.
Nos Validity Rollups, zkEVM e Cairo VM (CVM) são dois tipos de máquinas virtuais comumente usadas. O zkEVM foca na compatibilidade com Ethereum, mas sacrifica desempenho e escalabilidade. Por outro lado, o Cairo VM adotado pelo Starknet prioriza desempenho e escalabilidade em detrimento da compatibilidade.
A máquina virtual (VM) é um ambiente onde programas podem ser executados, semelhante a executar o sistema operativo Windows em um Mac. Ela alterna entre diferentes estados após processar certas entradas. A máquina virtual Ethereum (EVM) é a VM que executa contratos inteligentes Ethereum.
A máquina virtual de conhecimento zero ( zkVM ) é um ambiente de execução de programas que pode gerar provas de validade fáceis de verificar, para demonstrar que o programa foi executado corretamente. "zkEVM" normalmente se refere a uma agregação que utiliza a máquina virtual Ethereum ( EVM ) e pode provar a execução da EVM. Este termo pode ser enganoso, pois a EVM em si não gera essas provas; as provas são geradas por um mecanismo de prova independente, que se baseia nos resultados da execução da EVM. Além disso, essas provas focam principalmente na validade e não na privacidade, portanto, não são estritamente provas de conhecimento zero.
O zkEVM visa trazer a experiência do Ethereum integralmente para blockchains de Layer-2. Ele tenta replicar o ambiente do Ethereum para os desenvolvedores, permitindo que eles escrevam ou transplantem contratos inteligentes para soluções mais escaláveis sem precisar mudar o código ou abrir mão das ferramentas EVM. No entanto, a principal desvantagem dessa abordagem é a redução do potencial de escalabilidade da prova de validade. Devido ao compromisso com a compatibilidade com o Ethereum, o zkEVM é mais lento e consome mais recursos.
Em comparação, Starknet adotou a Cairo VM (CVM), que é uma nova VM projetada especificamente para otimizar a eficiência da prova de validade. A Cairo VM permite que os desenvolvedores a personalizem de acordo com necessidades específicas e vem equipada com funcionalidades que atendem a novas demandas.
A linguagem Cairo foi inicialmente projetada para simplificar o processo de criação de provas de validade computacional. Programas em Cairo são compilados para código de máquina algébrico, executado por uma VM fixa. Essa abordagem permite que os desenvolvedores usem provas de validade para escalar suas aplicações, sem a necessidade de entender profundamente a matemática subjacente e a infraestrutura.
Starknet oferece métodos de codificação diversificados. Os desenvolvedores podem escolher escrever código nativamente em Cairo ou utilizar ferramentas de compatibilidade com Solidity. Por exemplo, o compilador Warp pode traduzir código Solidity para Cairo, enquanto Kakarot é um zkEVM escrito em Cairo que pode executar contratos inteligentes do Ethereum na Starknet.
Em geral, o zkEVM visa replicar o ambiente Ethereum, mas pode limitar o potencial da prova de validade. O Cairo VM, por outro lado, foi projetado especificamente para sistemas de prova de validade, não estando limitado ao EVM, oferecendo maior eficiência e flexibilidade. Com o contínuo desenvolvimento do ecossistema Starknet, os desenvolvedores agora têm um controle sem precedentes sobre a escalabilidade da blockchain.