encriptação econômica não é apenas uma transformação tecnológica

A encriptação econômica vai muito além de uma simples revolução tecnológica. Muitos profissionais e entusiastas têm dificuldades em se adaptar a este campo, principalmente devido à sua periodicidade muito evidente e à volatilidade extremamente intensa. Durante o mercado em alta, as pessoas comuns realmente têm a oportunidade de obter retornos de dez vezes ou até cem vezes, mas as perdas durante o mercado em baixa também são severas. Independentemente de quem seja, uma vez que se entra no campo da encriptação, o investimento se tornará uma disciplina obrigatória.

A principal razão para o atual mercado em baixa é o aumento das taxas de juros pelo Federal Reserve, que leva à contração do capital. Os retornos loucos da encriptação(DeFi) tornaram-se coisa do passado, atualmente, as taxas de retorno dos principais protocolos de empréstimo estão geralmente abaixo de 2%. Em contraste, os retornos dos títulos do governo dos EUA no mundo real já superaram 3%, o que leva investidores institucionais e projetos de stablecoins a transferir continuamente fundos do campo da encriptação para a compra de títulos do governo.

Desde a década de 1980, o Federal Reserve passou por 6 ciclos de aumento de taxas, cada um durando de 1 a 3 anos, com uma média de até 10 aumentos por ciclo. Quanto mais lento o ritmo de aumento, pior o efeito, e mais difícil se torna controlar a inflação. Por exemplo, o 6º processo de aumento de taxas de 2015 a 2018 foi lento, com os preços das matérias-primas, liderados pelo petróleo, em vez de cair, subindo. Após outubro, o preço do petróleo continuou firme, o que pode levar o Federal Reserve a adotar uma política de aumento de taxas ainda mais agressiva. Sem dúvida, em 2023, os mercados de ações globais e o mercado de encriptação continuarão a enfrentar a pressão da retirada de fundos institucionais, o fundo do mercado em baixa ainda não chegou, e não é prudente tentar comprar na baixa.

Apreciar a solução de escalabilidade zkRollup do Ethereum

Deixando de lado o grande ciclo do mercado de capitais, sob a perspectiva da revolução da encriptação e da possível onda do Web3.0 que pode ser desencadeada, estamos firmemente otimistas em relação ao Ethereum e sua solução de escalabilidade zkRollup, especialmente a solução zkRollup baseada na nova geração de zkEVM.

O fundador do Ethereum, Vitalik Buterin, afirmou numa reunião a 30 de setembro: "Após a fusão, o próximo passo para o Ethereum é a escalabilidade." A escalabilidade é a questão central que impede muitas encriptações e aplicações de blockchain de se tornarem mainstream. É bem conhecido que os zkRollups conseguem alcançar escalabilidade ao agrupar centenas de transações em uma única tarefa de execução e validar todas as transações nessa única tarefa.

Com o forte apoio de Vitalik, o Rollup tornou-se a solução dominante para a escalabilidade do Ethereum. Os esquemas Rollup podem ser divididos em Rollup otimista e zkRollup, sendo a principal diferença entre os dois a forma como a validade das transações é garantida. O Rollup otimista utiliza um esquema de prova de fraude, enquanto o zkRollup usa provas matemáticas de conhecimento zero.

No network Optimistic Rollup, existe o papel de desafiador, que pode provar que os dados submetidos à Ethereum contêm fraudes, e então reverter transações inválidas através do consenso da rede. Por outro lado, o zkRollup utiliza tecnologia de prova de conhecimento zero ao processar dados de transação em lote, garantindo a validade dos dados de transação e submetendo diretamente a prova à Ethereum, alcançando imediatamente a consistência do estado final.

Em comparação com o Optimistic Rollup, o zkRollup utiliza provas de conhecimento zero para validação matemática, possuindo mais vantagens técnicas. Alguns projetos têm explorado proativamente este campo durante vários anos.

No entanto, o EVM não foi projetado para suportar provas de conhecimento zero, o que torna muito difícil construir uma máquina virtual compatível com Solidity e que suporte provas de conhecimento zero. Para resolver este problema, alguns projetos estão desenvolvendo máquinas virtuais que suportam cálculos de provas de conhecimento zero e que são compatíveis com Solidity, ou seja, zkEVM. Ao contrário das máquinas virtuais normais, o zkEVM pode provar a correção da execução, incluindo a validade dos inputs e outputs utilizados na execução.

A Necessidade de Redesenhar o zkEVM

Alguns projetos compilam bytecode em código de micro-operações, utilizando STARK para gerar provas de validade de transferência de estado, e submetem a Ethereum para verificação após validar a correção das provas com SNARK. Outros projetos têm esquemas que são, de certa forma, semelhantes, mas utilizam apenas Halo 2 como seu método de prova de conhecimento zero.

Há projetos que compilam o código de contrato escrito em Solidity para Yul(, uma linguagem intermediária que pode ser compilada para bytecode) de diferentes máquinas virtuais, e depois recompilam o bytecode Yul em um conjunto de bytecode personalizado e compatível com circuitos, projetado especificamente para seu zkEVM.

Estes sistemas já são suficientemente bons para serem colocados em produção? Precisamos redesenhar um zkEVM melhor? O zkRollup normalmente utiliza protocolos de zero conhecimento para provar e agregar todas as transações antes de publicar a prova resumida na cadeia. Em princípio, isso significa que a cadeia de nível 1 pode verificar uma "prova" curta que abrange milhares de transações complexas, sem possibilidade de fraude. No entanto, após o lançamento de algumas redes de teste zkEVM, as pessoas descobriram que a situação real não é ideal - o processo de geração de provas é muito lento, levando dezenas de minutos para executar algumas transações.

Há projetos que, através da otimização da estrutura do zkEVM, redesenharam o zkEVM, tornando-o mais eficiente do que todos os zkEVM existentes. A principal razão é que ele adota uma estrutura hierárquica bem projetada, comprimindo o espaço desperdiçado e o tamanho dos polinômios de compromisso no circuito, e, finalmente, encurtando o tempo necessário para gerar provas. Ao mesmo tempo, seu Sequencer executa um nó Ethereum, recebe transações dos usuários, gera novos estados e um Trace amigável ao zkEVM especial. O Folder, como gerador de provas, obtém esse Trace do sequenciador e utiliza um grande número de pequenas tabelas ( em vez de uma única tabela grande ) para processá-lo, o que reduzirá significativamente a redundância e aumentará a velocidade de geração de provas.

A Necessidade de Provas de Zero Conhecimento Mais Rápidas

Embora o SNARK seja conciso, sua eficiência não é tão boa quanto a do STARK. No entanto, o STARK também parece ultrapassado com a chegada do FOAKS. Como a velocidade é o gargalo do zkEVM, é de grande importância comparar a eficiência computacional. O STARK alcançou um tempo de prova e verificação quase linear, sendo mais rápido que o SNARK, mas claramente mais lento que o FOAKS. O FOAKS é o primeiro ZKP do mundo a alcançar tempo de prova linear e tempo de verificação sublinear, atingindo os limites teóricos. O FOAKS é transparente e não requer nenhum setup de confiança, o que significa que mantém o mais alto nível de segurança.

O FOAKS é baseado em códigos codificáveis em tempo linear, sendo o mais rápido entre todos os atuais esquemas ZKP. Além disso, devido ao uso de técnicas recursivas, o tamanho da prova do FOAKS foi reduzido para 1/7 dos esquemas existentes, permitindo que o usuário final desfrute de serviços de segunda camada do Ethereum por apenas um cêntimo.

A Necessidade de uma Camada de Dados Independente e Disponível

O zkRollup atual concentra-se principalmente na redução da carga computacional para validar transações. Isso é especialmente importante para o Ethereum, pois a validação da execução de contratos inteligentes complexos é muito cara. No entanto, os nós do Ethereum ainda precisam armazenar simultaneamente os dados das transações originais. Isso não é sensato, pois o Ethereum é mais adequado como camada de consenso do que como camada de armazenamento, o que significa que o gargalo de escalabilidade ainda existe - quando a largura de banda e o armazenamento dos nós são insuficientes ( em vez de a computação ser insuficiente ), eles serão impactados.

É por isso que o Ethereum precisa de uma camada de disponibilidade de dados independente para armazenar esses dados de transação bruta, a fim de evitar que todo o contrato inteligente congele devido a falhas no servidor zkRollup ou nos nós do Ethereum. Mais importante ainda, isso desvincula o custo da camada dois da camada um, reduzindo ainda mais mais da metade do custo de transação do zkRollup baseado em zkEVM.