É bem conhecido que as verdadeiras blockchains descentralizadas de camada 1 enfrentam o triângulo impossível (não conseguem equilibrar segurança, escalabilidade e descentralização ao mesmo tempo), e um dos valores fundamentais mais importantes do Ethereum é a descentralização, que é algo que o Ethereum tem mantido ao longo do tempo. O Ethereum sempre esperou, em última análise, conseguir operar em hardware comum de famílias, com mais de dez mil nós e milhões de validadores. A insistência do Ethereum na descentralização também resultou em um progresso relativamente lento em termos de desempenho de camada 1, levando ao desenvolvimento de uma arquitetura de camada 1 e camada 2, mas atualmente a camada 2 enfrenta problemas de fragmentação de liquidez e captura de valor insuficiente. Como resolver o dilema original da blockchain do Ethereum (não conseguir equilibrar segurança, escalabilidade e descentralização)? Um dos aspectos importantes é a adoção da tecnologia de provas ZK. O núcleo das provas ZK é permitir a execução de um grande número de cálculos ou transações fora da cadeia, e depois submeter apenas uma prova concisa na cadeia, provando que essas execuções estão corretas, sem revelar todos os detalhes. O benefício de fazer isso é que se pode aumentar a escalabilidade e melhorar a descentralização, mantendo a segurança. Por exemplo, utilizando zkVM para escalar camada 1/camada 2, ao mesmo tempo que ajuda a fragmentação de liquidez da camada 2; as provas ZK são criptograficamente seguras, garantindo que a execução fora da cadeia não falhe. Uma vez que a prova seja inválida, ela será rejeitada, herdando assim a segurança original do Ethereum; se a geração e verificação da prova forem eficientes e de baixo custo, e se hardware comum (como smartphones ou computadores domésticos) puder participar da validação dos nós, haverá uma oportunidade de aumentar ainda mais a descentralização. Recentemente, a Succinct (um projeto de infraestrutura focado em provas ZK) lançou seu produto principal SP1 (Succinct Proofs 1), que é um zkVM de alto desempenho (máquina virtual de conhecimento zero), que suporta desenvolvedores a escrever qualquer programa na linguagem Rust e gerar provas ZK para provar a correção da execução do programa, sem a necessidade de reescrever circuitos. Isso é de grande ajuda para o ecossistema Ethereum resolver o problema do triângulo impossível. Especificamente, a Succinct pode ajudar o Ethereum a escalar da seguinte forma: primeiro, seu SP1 é um zkVM de alto desempenho, que suporta a prova de execução de programas em qualquer linguagem compilada para LLVM, aplicável a cenários de Rollups, coprocessadores e zkEVM. O SP1 da Succinct suporta a geração rápida de provas, e de acordo com as alegações oficiais atuais, pode gerar provas do Ethereum em tempo real, ou seja, quase próximo da tecnologia de "provas em tempo real". De acordo com a descrição dos testes oficiais atuais, em um teste de benchmark de 10.000 blocos do Ethereum, mais de 93% dos blocos podem gerar provas em menos de 12 segundos, com o benchmark sendo realizado em um cluster de cerca de 200 GPUs NVIDIA RTX 4090. Executar um cluster completo de provas em tempo real requer cerca de 160 GPUs RTX 4090, e o custo de construção atual é de cerca de 300.000 a 400.000 dólares, com a possibilidade de reduzir o custo para cerca de 100.000 dólares através da otimização de hardware e melhorias no sistema de provas. Além disso, a Succinct também é uma rede de provadores descentralizada, que, através da separação de cálculo e verificação, pode reduzir o custo e a latência da validação do Ethereum, com o objetivo final de permitir que nós comuns ou smartphones possam participar da validação das provas, apoiando a escalabilidade do Ethereum para mais validadores. Por fim, a tecnologia ZK também permitirá mais cenários de aplicação, como autenticação, transações privadas, operações entre cadeias, etc. Em suma, na jornada do Ethereum em direção a 10.000 tps, a tecnologia ZK é uma parte muito importante.