Como todos sabemos, a cadeia pública verdadeiramente descentralizada L1 enfrentará um triângulo impossível (incapaz de levar em conta segurança, escalabilidade e descentralização ao mesmo tempo), e uma das bases de valor mais importantes do Ethereum, a descentralização, também é um aspecto ao qual o Ethereum sempre aderiu. O Ethereum sempre esperou ser executado em hardware doméstico comum, com mais de dezenas de milhares de nós e milhões de validadores. A insistência do Ethereum na descentralização também levou a um progresso relativamente lento no desempenho da L1 e, eventualmente, desenvolveu arquiteturas L1 e L2, mas atualmente a L2 tem o problema de fragmentação da liquidez e captura de valor insuficiente. Como resolver o dilema original da blockchain Ethereum (segurança, escalabilidade e descentralização)? Um aspecto importante é a adoção da tecnologia de prova de arte ZK. Em sua essência, as provas ZK permitem que um grande número de cálculos ou transações sejam executados off-chain, após o que apenas uma prova concisa é enviada on-chain, provando que essas execuções estão corretas sem revelar todos os detalhes. A vantagem disso é que ele pode herdar a segurança, melhorando a escalabilidade e aprimorando a descentralização. Por exemplo, zkVM é usado para expandir L1/L2, o que também é propício à divisão de liquidez L2. As provas ZK são criptograficamente seguras, garantindo uma execução off-chain sem erros. Uma vez provado inválido, ele será rejeitado, herdando a segurança original do Ethereum. Se ela se mostrar eficiente e de baixo custo na geração e verificação, e se o hardware comum (telefones celulares ou computadores domésticos) puder participar da verificação de nós, haverá uma oportunidade de aprimorar ainda mais a descentralização. O produto principal SP1 (Succinct Proofs 1) lançado recentemente pela Succinct (um projeto de infraestrutura com foco em provas ZK) é uma zkVM (máquina virtual de conhecimento zero) de alto desempenho que permite aos desenvolvedores escrever programas arbitrários em Rust e gerar provas ZK para provar a exatidão da execução do programa sem reescrever o circuito. Isso é de grande ajuda para o ecossistema Ethereum na solução do problema do triângulo impossível. Especificamente, o Succinct pode ajudar o Ethereum a escalar: Primeiro, seu SP1 é um zkVM de alto desempenho que suporta provas de execução de programa em qualquer linguagem de compilação LLVM e pode ser aplicado a rollups, coprocessadores e cenários zkEVM. O SP1 da Succinct suporta a geração rápida de provas e, de acordo com a afirmação oficial atual, pode gerar provas Ethereum em velocidade em tempo real, o que é quase próximo da tecnologia de "prova em tempo real". De acordo com a descrição oficial do teste atual, no benchmark de 10.000 blocos Ethereum, mais de 93% dos blocos podem gerar provas em 12 segundos, e o benchmark usa um cluster de cerca de 200 GPUs NVDIA RTX 4090 para atingir o desempenho acima. A execução de um cluster de prova em tempo real completo requer cerca de 160 GPUs RTX 4090, e o custo de construção atual é de cerca de US$ 30-400.000, e há uma chance de reduzir o custo para cerca de US$ 100.000 por meio da otimização de hardware e melhoria do sistema de prova. Além disso, o Succinct também é uma rede de provadores descentralizada, que pode reduzir o custo e a latência da verificação do Ethereum por meio da separação de computação e verificação, com o objetivo final de permitir que nós comuns ou telefones celulares participem da verificação de provas e apoiem o Ethereum para expandir para mais validadores. Por fim, a tecnologia ZK também permitirá mais cenários de aplicação, como verificação de identidade, transações privadas, operações de cadeia cruzada e muito mais. Resumindo, a tecnologia ZK é uma das partes mais importantes da jornada do Ethereum para 10.000 tps.