Validity Rollups: O caminho dourado para a escalabilidade do Ethereum
Validity Rollups (VRs) são considerados a tecnologia mais promissora para aumentar a capacidade do Ethereum de forma segura e descentralizada. Neste campo, zkEVM e Cairo VM (CVM) são duas das principais implementações de máquinas virtuais.
zkEVM foca na compatibilidade com Ethereum, mas essa escolha sacrifica, em certa medida, o desempenho e a escalabilidade. Em contraste, o Cairo VM adotado pelo Starknet prioriza o desempenho e a escalabilidade em vez da compatibilidade total.
O núcleo dos Validity Rollups é utilizar provas de validade para realizar cálculos verificáveis. O seu funcionamento consiste em transferir o processamento de transações para um ambiente fora da cadeia, ou seja, a camada 2. Após processar um grande número de transações, o operador submete os resultados e as provas de volta para a rede principal do Ethereum, onde contratos inteligentes verificam a integridade da execução.
É importante notar que, embora o termo "zero-knowledge rollup" seja frequentemente utilizado, na verdade não é preciso. A maioria dos Validity Rollups não utiliza provas de conhecimento zero e não é projetada para proteger a privacidade.
A máquina virtual é um ambiente onde programas podem ser executados, assim como executar o sistema Windows em um Mac. A máquina virtual Ethereum (EVM) é o ambiente para executar contratos inteligentes Ethereum. Já a máquina virtual de conhecimento zero (zkVM) é um ambiente de execução especial que não apenas executa programas, mas também gera provas de validade fáceis de verificar.
O zkEVM tenta replicar a experiência do Ethereum na segunda camada, permitindo que os desenvolvedores desfrutem de uma maior escalabilidade sem a necessidade de alterar o código ou as ferramentas. No entanto, essa abordagem também traz alguns desafios, principalmente porque a EVM não foi projetada tendo em mente a eficiência da prova.
O modelo baseado em pilha do EVM, a dependência do hash Keccak e das grandes árvores Merkle Patricia tornam a geração de provas de validade difícil e intensiva em recursos. É por isso que diferentes implementações de zkEVM fazem diferentes compromissos entre compatibilidade com Ethereum e desempenho.
Em comparação, a Cairo VM foi projetada especificamente para gerar provas de validade de forma eficiente. Utiliza uma nova linguagem de alto nível, Cairo, que foi otimizada para a geração de provas. As vantagens da Cairo VM incluem:
Cada instrução tem uma representação algébrica de alta eficiência.
Linguagens semelhantes ao Rust usadas para escrever programas verificáveis
A representação intermediária entre o Cairo avançado e a compilação do Cairo melhorou a eficiência de execução
Cairo não só simplificou o processo de prova de cálculos complexos, como também oferece várias opções de codificação para os desenvolvedores. Os desenvolvedores podem escrever código diretamente em Cairo, ou podem usar o Solidity através de um tradutor ou no zkEVM executado no Starknet.
Apesar de o Cairo ainda ser jovem, já se tornou a quarta linguagem de contratos inteligentes em termos de TVL, atraindo uma grande quantidade de investimentos.
Em geral, zkEVM e Cairo VM representam duas abordagens diferentes para escalabilidade. zkEVM se dedica a replicar o ambiente Ethereum, mas pode limitar o potencial do sistema de provas. Por outro lado, o Cairo VM é projetado especificamente para sistemas de prova, embora sacrifique alguma compatibilidade, tem vantagens claras em eficiência e escalabilidade.
Com o contínuo desenvolvimento de aplicações na Starknet, o Cairo demonstra um grande potencial. No futuro, os desenvolvedores terão mais opções para expandir a blockchain, e os Validity Rollups desempenharão, sem dúvida, um papel importante na escalabilidade do Ethereum.
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
12 Curtidas
Recompensa
12
2
Repostar
Compartilhar
Comentário
0/400
WalletDivorcer
· 18h atrás
Depois de tanto tempo a brincar, ainda não percebo o que significa layer2.
Validity Rollups: zkEVM e Cairo VM lideram uma nova era de escalabilidade do Ethereum
Validity Rollups: O caminho dourado para a escalabilidade do Ethereum
Validity Rollups (VRs) são considerados a tecnologia mais promissora para aumentar a capacidade do Ethereum de forma segura e descentralizada. Neste campo, zkEVM e Cairo VM (CVM) são duas das principais implementações de máquinas virtuais.
zkEVM foca na compatibilidade com Ethereum, mas essa escolha sacrifica, em certa medida, o desempenho e a escalabilidade. Em contraste, o Cairo VM adotado pelo Starknet prioriza o desempenho e a escalabilidade em vez da compatibilidade total.
O núcleo dos Validity Rollups é utilizar provas de validade para realizar cálculos verificáveis. O seu funcionamento consiste em transferir o processamento de transações para um ambiente fora da cadeia, ou seja, a camada 2. Após processar um grande número de transações, o operador submete os resultados e as provas de volta para a rede principal do Ethereum, onde contratos inteligentes verificam a integridade da execução.
É importante notar que, embora o termo "zero-knowledge rollup" seja frequentemente utilizado, na verdade não é preciso. A maioria dos Validity Rollups não utiliza provas de conhecimento zero e não é projetada para proteger a privacidade.
A máquina virtual é um ambiente onde programas podem ser executados, assim como executar o sistema Windows em um Mac. A máquina virtual Ethereum (EVM) é o ambiente para executar contratos inteligentes Ethereum. Já a máquina virtual de conhecimento zero (zkVM) é um ambiente de execução especial que não apenas executa programas, mas também gera provas de validade fáceis de verificar.
O zkEVM tenta replicar a experiência do Ethereum na segunda camada, permitindo que os desenvolvedores desfrutem de uma maior escalabilidade sem a necessidade de alterar o código ou as ferramentas. No entanto, essa abordagem também traz alguns desafios, principalmente porque a EVM não foi projetada tendo em mente a eficiência da prova.
O modelo baseado em pilha do EVM, a dependência do hash Keccak e das grandes árvores Merkle Patricia tornam a geração de provas de validade difícil e intensiva em recursos. É por isso que diferentes implementações de zkEVM fazem diferentes compromissos entre compatibilidade com Ethereum e desempenho.
Em comparação, a Cairo VM foi projetada especificamente para gerar provas de validade de forma eficiente. Utiliza uma nova linguagem de alto nível, Cairo, que foi otimizada para a geração de provas. As vantagens da Cairo VM incluem:
Cairo não só simplificou o processo de prova de cálculos complexos, como também oferece várias opções de codificação para os desenvolvedores. Os desenvolvedores podem escrever código diretamente em Cairo, ou podem usar o Solidity através de um tradutor ou no zkEVM executado no Starknet.
Apesar de o Cairo ainda ser jovem, já se tornou a quarta linguagem de contratos inteligentes em termos de TVL, atraindo uma grande quantidade de investimentos.
Em geral, zkEVM e Cairo VM representam duas abordagens diferentes para escalabilidade. zkEVM se dedica a replicar o ambiente Ethereum, mas pode limitar o potencial do sistema de provas. Por outro lado, o Cairo VM é projetado especificamente para sistemas de prova, embora sacrifique alguma compatibilidade, tem vantagens claras em eficiência e escalabilidade.
Com o contínuo desenvolvimento de aplicações na Starknet, o Cairo demonstra um grande potencial. No futuro, os desenvolvedores terão mais opções para expandir a blockchain, e os Validity Rollups desempenharão, sem dúvida, um papel importante na escalabilidade do Ethereum.