ZK prova: o "Plano Manhattan" do Ethereum

Autor original: @0xJaehaerys

Compilado por: LlamaC

“Mensagem de recomendação: Este artigo apresenta principalmente como as provas de conhecimento zero (ZK-Proofs) estão criando um novo mercado de computação verificável avaliado em bilhões de dólares, bem como as vantagens técnicas da empresa Succinct e seu token nativo $PROVE neste campo, a posição de mercado e os desenvolvimentos recentes relacionados aos dados ecológicos. Como uma tendência de ponta, seu FDV teve um crescimento significativo na valorização, por favor, faça sua própria pesquisa.”

Introdução

Este artigo da co-fundadora da Succinct, Uma Roy, marca uma mudança de paradigma. Não se trata do nascimento de mais um token, mas de uma nova economia emergente, impulsionada por dados e que está a surgir em tempo real: a economia da computação verificável. Durante anos, a tecnologia de conhecimento zero (ZK) foi vista como o resultado teórico da escalabilidade da blockchain. Hoje, tornou-se uma realidade de engenharia, abrindo uma das competições de infraestrutura mais importantes da próxima década.

A motivação para essa mudança vem do que David Hoffman chamou de “Plano Manhattan” do Ethereum: uma reestruturação fundamental do protocolo que aumenta sua capacidade de processamento várias vezes sem sacrificar a descentralização. Até recentemente, essa era uma visão distante. Mas uma série de atualizações estratégicas do protocolo e avanços tecnológicos cruciais transformaram isso em um roteiro executável.

Eu sempre pensei que o que estamos fazendo com ZK, especialmente o ZK-EVM que será aplicado ao Ethereum, é um pouco como o Projeto Manhattan do Ethereum… Enquanto o Ethereum pesquisa ZK nos bastidores para preservar todas aquelas coisas que hoje estão trazendo Wall Street para a cadeia, eles também estão desenvolvendo essa tecnologia extremamente futurista.

Este relatório realizou uma análise fundamental deste novo mercado de bilhões de dólares. O relatório explicará por que a demanda por provas ZK não é especulativa, mas estruturalmente inevitável; quantificará a escala desta oportunidade econômica; e detalhará como empresas orientadas para plataformas como a Succinct, com seu token nativo $PROVE, estão posicionadas para se tornarem a infraestrutura desta nova era de computação verificável.

A Necessidade de Novos Mercados

1.1 A exigência inevitável de Gigagas e Teragas

O Ethereum está passando por uma grande transformação, impulsionada por um roteiro de desenvolvimento central que não é uma suposição aleatória, mas sim um processo de evolução definido e inevitável. Essa reestruturação do protocolo cria uma demanda estrutural, previsível e exponencial para provas de conhecimento zero (ZK). Na busca por uma capacidade de processamento em escala global, o Ethereum está destinado a se tornar o primeiro e maior consumidor em um novo e verificável ecossistema econômico de bilhões de dólares.

Esta necessidade surge de uma visão de longo prazo clara e ambiciosa. O roteiro do Gigagas visa expandir a capacidade de processamento da camada de execução L1 para 1 Ggas/s, o que equivale a cerca de 10.000 TPS. No entanto, como apontou Justin Drake, pesquisador da Fundação Ethereum, isso é apenas “a ponta do iceberg”. O objetivo final é alcançar um ecossistema “Teragas” com uma capacidade total de 1 Tgas/s (cerca de 10 milhões de TPS) através da colaboração de aproximadamente 1.000 L2s. Neste modelo, 99,9% do volume de transações ocorre no L2, enquanto o L1 evolui para o centro definitivo de segurança compartilhada e liquidação. Como disse Drake:

“10.000 TPS não é nada. Para atender o mundo inteiro, precisamos alcançar 10 milhões de transações por segundo e 1 teragas por segundo. Como vamos alcançar esse objetivo? A resposta é L2.”

As propostas como a EIP-7938 estabeleceram formalmente essa escalabilidade exponencial, propondo que o limite de Gas L1 aumente automaticamente 3 vezes a cada ano. Esse mecanismo tem como objetivo alcançar um crescimento estável e previsível, criando uma curva de demanda confiável para os recursos computacionais necessários para garantir a segurança da rede.

Esta transformação será gerida através de um plano de “incorporação gradual” que durará vários anos, o qual reduz de forma organizada os riscos do processo. O plano avançará em diferentes fases, exigindo finalmente, antes de 2027, o uso de provas ZK para validar a validade dos blocos, fazendo com que a geração de provas se torne uma função central e economicamente indispensável do protocolo. Ao codificar diretamente esta exigência na evolução do protocolo, o Ethereum está, na verdade, a estabelecer uma política industrial para o domínio ZK, fornecendo os sinais económicos necessários para a justificação de investimentos significativos de capital em infraestruturas futuras.

1.2 Questões de Finalidade: Vitalik Buterin sobre porque ZK é crucial para L2

A urgência dessa transformação vai muito além do L1. Ela aborda o principal gargalo no atual ecossistema L2: a fricção e o risco causados pela lentidão na finalização dos saques. Como disse recentemente Vitalik Buterin, cofundador do Ethereum, alcançar tempos de saque rápidos é um objetivo crucial, e para o L2, “é até mais importante do que a segunda fase”.

Na era ZK 1.0, as empresas que você mencionou estão combinando a tecnologia ZK com casos de uso comercial… ZKSync é tanto uma empresa L2 quanto uma empresa ZK… E o que fazemos é que podemos permitir que aquelas empresas que não sabem nada sobre ZK, como a Optimism ou a Arbitrum, possam aproveitar as vantagens do ZK, pois agora está tão simples, para que possam se concentrar nas coisas realmente importantes, como expansão de negócios ou adoção de usuários.

Em uma explicação detalhada, Buterin enfatizou os problemas centrais do design atual do Optimistic Rollup:

“Esperar uma semana para retirar dinheiro é realmente muito tempo para as pessoas, mesmo para pontes cross-chain baseadas em intenção… Se os provedores de liquidez tiverem que esperar uma semana, o custo do seu capital se tornará excessivo. Isso incentiva enormemente as pessoas a recorrerem a soluções cujas suposições de confiança são inaceitáveis (como multi-assinatura/MPC), o que vai exatamente contra a intenção da existência do L2.”

A solução que ele propôs é uma mudança decisiva para um sistema de prova de validade impulsionado pela tecnologia ZK. Embora reconheça as compensações históricas, ele enfatizou a mudança recente no panorama tecnológico:

“Historicamente, a tecnologia de provas ZK sempre foi imatura e cara, o que tornava a prova Optimista uma escolha sensata e segura. Mas recentemente, essa situação está mudando rapidamente.”

Na sua opinião, ao reduzir o tempo de retirada nativo para menos de uma hora a curto prazo e, a médio prazo, alcançar um tempo de retirada de 12 segundos, a prova ZK pode “solidificar ainda mais a posição do Ethereum L1 como o local padrão para emissão de ativos e o centro econômico do ecossistema Ethereum”. Este reconhecimento de alto nível verá a transição para ZK não apenas como uma preferência técnica, mas como uma necessidade estratégica para a segurança e integridade econômica de todo o ecossistema Ethereum.

Essa flexibilidade não apenas atraiu desenvolvedores de software, mas também fabricantes de hardware profissionais. A empresa líder em hardware de aceleração ZK, Cysic, anunciou que seu próximo “ASIC compatível com zkVM será lançado e suportará nativamente o SP1”. Esta empresa de hardware especializado planeja oferecer suporte nativo, o que demonstra a forte confiança da indústria no SP1 como um potencial padrão de computação verificável, preenchendo a lacuna entre software de código aberto e chips dedicados.

Dois, quantificando oportunidades de dezenas de bilhões de dólares

2.1 Economia unitária da prova

A viabilidade econômica de um sistema ZK em escala depende do custo unitário para provar uma determinada carga computacional. Embora os sistemas ZK iniciais fossem notoriamente caros, a trajetória de desenvolvimento semelhante à “Lei de Moore” fez com que seus custos caíssem drasticamente. Em um evento chamado “Frontiers”, organizado pela Paradigm, John, da Succinct, afirmou que o custo médio de prova por transação atualmente varia entre 0,01 centavos e 0,1 centavos, descrevendo esse custo como “quase insignificante em comparação com outros custos, como DA”.

Na minha opinião, o mecanismo de incentivo é muito simples. Assim como hoje, basta depender das taxas de transação e do MEV… o custo é cerca de 0,01 cêntimos. Desde que os usuários individuais estejam dispostos a pagar essa quantia, isso é suficiente para compensar os custos de prova.

Espera-se que este custo continue a diminuir. O pesquisador da Fundação Ethereum, Justin Drake, fez uma previsão chave, prevendo que, com as contínuas melhorias exponenciais em hardware e software, o custo de longo prazo e em escala da prova L1 se estabilizará entre 0,0001 e 0,001 dólares por Mgas/s (milhões de gas por segundo). Esta rápida diminuição de custo está transformando o ZK de uma tecnologia de nicho e cara em uma ferramenta prática comercializável, estabelecendo uma base para um enorme mercado.

2.2 Tamanho do mercado - Previsão de baixo para cima (ponto de vista conservador)

Um modelo financeiro conservador e de baixo para cima estimou a receita anual do mercado de provas ZK ao combinar o crescimento esperado do throughput com estimativas de custos. De acordo com esse modelo, a receita não altruísta significativa das provas L1 deve começar a surgir a partir de 2027, quando o protocolo exigirá o uso de provas ZK para validar a eficácia dos blocos.

Se você imaginar que o custo de cada transação é de apenas 0,1 centavo, e você está lidando com um TPS de nível Solana, como 4000-5000 transações por segundo, então multiplicando todos esses números, a demanda de prova resultante é de cerca de 100 milhões de dólares por ano.

Tabela 1: Previsão de Demanda e Receita de ZKP do Ecossistema L2 (2025-2030)

Metodologia — Previsão de Demanda e Receita ZKP do Ecossistema L2 (2025–2030)

• Quantidade de L2 e taxa de cobertura ZK
• Começando com 25 L2 em 2025, expandindo para 1000 L2 até 2030.
• A cobertura representa a quota do L2 baseado em ZK que cresce de 50% para 85%.
• O throughput médio de cada ZK L2
• Definir para que seja igual à taxa de transferência do L1 no mesmo ano, a fim de cumprir a hipótese de “agregação de teragas” (ou seja, a capacidade de cada L2 cresce com a expansão da camada base).
• Esta é uma suposição otimista, por simplicidade, que comprime a distribuição de throughput de cauda pesada em um valor médio uniforme.
• Cálculo do volume total de transações:

TotalThroughput(Mgas/s)=(L2Count×CoverageRate)×AvgThroughputperZKL2

• Suposição de Preço
• O preço inicial por Mgas é de 0,0104 dólares (referência Katana, 2025).
• Impulsionados pela eficiência do hardware, pela competição no mercado de validadores e pela otimização em nível de protocolo, os custos cairão significativamente para 0,0004 dólares antes de 2030.
• Utilizar o método de interpolação linear de preços entre o ano de início e o ano de término.
• Rendimento anual:

ReceitaAnual=TotalDeTransações×PreçoPorMgas×31,536,000(segundos/ano)

Tabela 2: Tamanho total do mercado potencial de ZK Proof (TAM) ( 2025-2030, abordagem de baixo para cima )

• Crescimento da quantidade de L2 — Começando com 25 L2 em 2025, expandindo linearmente para 1.000 até 2030.
• Taxa de cobertura ZK — Apenas uma parte do L2 utiliza provas ZK: 50% em 2025, aumentando para 85% em 2030.
• A média de throughput de cada ZK L2 - definida como igual ao throughput do L1 no mesmo ano (esta é uma suposição otimista). Isso está em linha com a lógica do roadmap “teragas”, que afirma que L2 maduros alcançarão a capacidade do L1.
• L2 total throughput - a fórmula de cálculo é: número de ZK L2 × throughput médio de cada ZK L2
• Onde, ZK L2 quantidade = total de L2 × taxa de cobertura.
• O preço por milhão de Gas — definido em 0,0104 dólares no início de 2025 (com base no custo de prova do Katana L2), e diminuindo linearmente até 0,0004 dólares em 2030, para refletir as melhorias de eficiência trazidas pelo zkVM, hardware e concorrência no mercado.
• Valor total potencial de mercado L2 anual:

TotalL2Throughput(Mgas/s)×PriceperMgas×SecondsperYearTotalL2Throughput(Mgas/s)×PriceperMgas×SecondsperYear

• Total de mercado potencial anual de L1 — A partir de 2027 (quando a prova de trabalho de L1 será forçada), o preço será o mesmo que o $/Mgas de L2 naquele ano, e a capacidade de L1 será baseada no roteiro de escalabilidade do Ethereum.
• Outras necessidades — Estimativa conservadora de 10% do total do mercado potencial L2, abrangendo pontes ZK, co-processadores e aplicações verificáveis (ZKML, privacidade em cadeia).
• Valor total de mercado potencial: Valor total de mercado potencial L1 + Valor total de mercado potencial L2 + Outras necessidades

2.3 Estimativa do tamanho do mercado - Visão de cima para baixo (Teragas Fim de Jogo)

Outro modelo de cima para baixo, totalmente implementado com o roteiro “Gigagas” e “Teragas” baseado em Ethereum, indica que o tamanho potencial do mercado pode ser uma ordem de magnitude maior.

Tabela 3: Previsão da taxa de gás L1 do Ethereum (2027-2030)

Tabela 4: Previsão do tamanho do mercado e receita de ZK Proofs (de cima para baixo, 2027-2030)

• Metodologia (para esta tabela de cima para baixo)
• L1 Throughput — Objetivo do roteiro de escalabilidade baseado no Ethereum: 37,5 → 1.000 Mgas/s (2027–2030).
• Quantidade L2 — Aumentar de 300 para 1.000 entre 2027 e 2030.
• Taxa de cobertura ZK — Apenas uma parte do L2 utiliza provas ZK, essa proporção aumentou de 60% para 85%.
• A média de throughput de cada ZK L2 - definida como igual ao throughput do L1 no mesmo ano (por exemplo, 37,5 Mgas/s em 2027 e 1.000 Mgas/s em 2030), para atender à suposição de throughput total a nível de teragas.
• Preço por Mgas — diminui com a melhoria do hardware dos provadores e a concorrência de mercado: 0,00075 dólares (2027) → 0,00040 dólares (2030).
• L2 Total de Transações:

AggreGateL2Throughput=(L2Count×ZKCoverage)×L1Throughput

• Fórmula de receita: L1
• Receita = L1_Throughput × Preço × Segundos por ano
• L2 Receita = AggreGate_L2_throughput × Preço × Segundos por ano
• Mercado total = Receita L1 + Receita L2

2.4 Quem vai pagar para a prova?

Esta demanda de bilhões de dólares não será financiada pela inflação do protocolo, mas sim apoiada por modelos de receita robustos e diversificados de L2 e cadeias de aplicativos. Como detalhado em um artigo de análise da Conduit, projetos com sua própria cadeia têm pelo menos sete alavancas de receita diferentes, garantindo que possam arcar com os custos operacionais da prova ZK.

Tabela 5: Análise comparativa dos fluxos de receita L2

Aquele que possui a cadeia, possui o mundo: 7 grandes alavancas de receita do Rollup

Três, Vantagens técnicas do Succinct

3.1 A prova em tempo real tornou-se realidade

Se não houver uma série de grandes avanços recentes no desempenho da prova ZK, toda a visão do “Gigagas” permanecerá em um estágio teórico. Como disse John da equipe Succinct, alcançar a “prova em tempo real” — ou seja, a capacidade de gerar uma prova ZK para qualquer bloco do Ethereum em 12 segundos — é o “momento da alunagem no campo ZK”.

Esta mudança não apenas significa uma melhoria de desempenho, mas é também uma revolução na acessibilidade para os desenvolvedores. Como explicou Uma Roy, cofundadora da Succinct, o desenvolvimento de ZK no passado precisava de uma “equipe de 40 doutores em criptografia” e centenas de milhões de dólares em capital para criar um único sistema de prova específico para uma aplicação. Com o surgimento do zkVM genérico, esse modelo foi completamente quebrado. Roy afirmou: “Basicamente, você passa de precisar de 40 doutores em criptografia, dezenas de milhões ou centenas de milhões de dólares em custos de pesquisa e desenvolvimento, para um projeto que pode ser concluído em um fim de semana.”

Através de duas poderosas analogias no podcast, é possível entender melhor essa ruptura:

• De ASIC a CPU: toda a indústria está a mudar de circuitos integrados de aplicação específica (ASIC), que só resolvem um problema, para modelos de CPU genéricos, ou seja, um motor como o SP1 pode provar que consegue executar qualquer programa.
• Modelos básicos de criptografia: A funcionalidade do SP1 é semelhante à dos modelos básicos na área da inteligência artificial. Assim como o ChatGPT torna a IA acessível através de inglês puro, o SP1 também torna o ZK fácil de usar através de código padrão. “Assim como na inteligência artificial e nos modelos básicos, você insere inglês e pode usar a IA”, aponta Roy, “aqui, você só precisa inserir código comum e pode usar o ZK, é tão simples assim.”

O SP1 HyperCube da Succinct é uma prova decisiva desse feito. Em uma demonstração histórica, o sistema provou com sucesso 93% de todos os blocos da mainnet Ethereum em tempo real em 12 segundos. Os restantes 7% dos blocos levaram mais tempo, não devido a limitações técnicas, mas porque a precificação de certas operações na tabela de cobrança de gás EVM (como a pré-compilação Blake2) estava inadequada. Este marco confirma claramente que a prova em tempo real é viável do ponto de vista de engenharia.

3.2 Motor de Progresso: SP1 zkVM

A essência da pilha tecnológica Succinct é o SP1, uma máquina virtual de conhecimento zero de alto desempenho e código aberto (zkVM). O SP1 é um ativo estratégico, destinado a servir as tarefas de computação verificáveis mais amplas, impulsionando a indústria para a era “ZK 2.0”.

Eu acho que o sucesso da emissão do token $PROVE quase pode ser dito que valida o zKVM como uma classe de ativos investível… Isso é bastante impressionante, você sabe, no primeiro dia de emissão, sua avaliação totalmente diluída na verdade superou projetos de ZK Rollup como ZKSync, Scroll e Starknet.

“O nosso objetivo é eliminar toda a complexidade da criptografia, permitindo que os desenvolvedores possam 'escrever código normal' em linguagens padrão como Rust e obter provas ZK.”

• Fácil de usar: Como um zkVM RISC-V, o SP1 permite que os desenvolvedores utilizem bibliotecas de código existentes, testadas em campo, e linguagens familiares, sem precisar aprender criptografia complexa.
• Versatilidade: a escolha do RISC-V como conjunto de instruções alvo não só segue a ampla tendência de todo o ecossistema ZK, mas o mais importante é que está alinhada com o roteiro de longo prazo do Ethereum L1.
• Trajetória de desempenho: A melhoria contínua do SP1 apresenta uma tendência “estilo Lei de Moore”. O tempo de prova foi reduzido de dezenas de minutos em 2023 para apenas alguns segundos em 2025, com uma taxa de melhoria que supera em muito a taxa de crescimento da demanda computacional de 3 vezes ao ano proposta pelo roteiro do Ethereum.

A multifuncionalidade do SP1 não se limita à implementação completa do ZK-rollup. Sua poderosa capacidade como uma zkVM genérica gerou um design híbrido inovador para atender a necessidades específicas do mercado. Um exemplo típico é a sua aplicação em provas de falhas de conhecimento zero. Projetos como o Facet utilizam sistemas baseados em OP Succinct Lite, transplantando suas funções de transição de estado para Rust (através do Kona e REVM) e compilando para arquivos binários SP1 ELF. Isso permite que eles ofereçam o “cenário ideal” de baixo custo do sistema otimista, enquanto mantêm a característica de “solução de uma única transação” da prova ZK em caso de desafios. Isso demonstra a capacidade do SP1 de servir a um modelo de segurança criptográfica mais amplo, expandindo assim seu potencial de mercado.

À medida que mais e mais provadores maduros e profissionais se juntam, a eficácia deste modelo de mercado está sendo validada em tempo real. Um avanço importante é que @cysic_xyz (uma empresa líder em aceleração de hardware ZK) foi lançada como provador de múltiplos nós na rede de provadores Succinct. Cysic não é um fornecedor de computação genérica; eles “desenvolvem totalmente de forma independente toda a pilha de tecnologia”, incluindo hardware personalizado projetado especificamente para cargas de trabalho ZK e clusters de GPU de alta capacidade.

3.3 Economia da Prova em Tempo Real

Este nível de desempenho não só é viável do ponto de vista técnico, mas também é acessível economicamente. Estabelecer um cluster de prova local capaz de realizar provas em tempo real, cuja despesa de capital é estimada em

100 mil a 300 mil dólares. Isso é muito mais econômico do que usar provedores de serviços em nuvem, pois, segundo John, “a Nvidia realmente reduz o desempenho das placas gráficas… faz isso intencionalmente, para obter maiores lucros.”

Esta viabilidade está alinhada com a iniciativa “Proof of Home” da Fundação Ethereum, que estabelece um limite de consumo de energia de ≤10 kW. Justin Drake já afirmou seu objetivo pessoal de provar que esta ação é viável:

“Basicamente, isso é o que eu espero fazer este ano: provar em tempo real cada bloco Ethereum… e terminar em casa.”

Quatro, tudo pode ser ZK

4.1 Novo espaço de design para aplicações

Embora a expansão do Ethereum seja atualmente um mercado avaliado em dezenas de bilhões de dólares, a verdadeira oportunidade a longo prazo reside na “ZKização de tudo”.

Como John da equipe Succinct apontou, um zkVM genérico significa que “as melhorias que fizemos para a prova em tempo real do Ethereum também serão aplicáveis a outros cálculos.”

4.2 Estudos de Caso Succinct

O SP1 da Succinct já oferece suporte para uma variedade de aplicações diferentes:

• Exchange verificável (Hibachi) – Construir uma bolsa de contratos perpétuos com foco na privacidade usando ZK, onde a integridade do livro de ordens off-chain pode ser verificada de forma criptográfica.
• Interoperabilidade entre cadeias (Celestia) – Utiliza a tecnologia Succinct para implementar “pontes preguiçosas”, ou seja, usa provas ZK para verificar de forma segura e eficiente o estado de outras cadeias.

Temos estado a investigar um conceito chamado “ponte inerte”… Se não houver um ambiente de execução na cadeia, será difícil para a sua cadeia validar o estado de outras cadeias. Portanto, temos trabalhado arduamente para alcançar isso através de provas ZK.

• DeFi L2s (@katana) – Katana, uma L2 focada em DeFi, foi lançada na Polygon através do Conduit, utilizando a tecnologia de provas ZK Succinct para garantir liquidações rápidas e seguras, e conectando-se ao Agglayer da Polygon.
• Infraestrutura DeFi central (Lido): Lido, como líder no campo do staking líquido, está utilizando o SP1 em sua rede de testes para suportar um “oráculo de contabilidade sem confiança”. Este sistema aumenta a segurança ao rastrear de forma verificável os saldos de ETH apostados, sem depender de um administrador de confiança.
• Ponte Cross-Chain Avançada (Across): O protocolo Across colabora com a Succinct para gerar provas ZK na camada de consenso do Ethereum. Isso permite que eles façam a ponte de forma segura e eficiente o estado do Ethereum para várias outras cadeias, o que é uma função chave para alcançar a interoperabilidade.
• Rollups Irreprimíveis (Facet): Facet é a primeira rollup de segunda fase universal, fornecendo um forte estudo de caso para a adoção da tecnologia Succinct. Para alcançar seu objetivo de se tornar uma “Rollup Irreprimível” sem chave de administrador, o Facet removeu a ponte oficial e seus riscos de segurança associados. Ele não usa tokens de gas de ponte, mas sim um token nativo (FCT), cuja quantidade de mineração é proporcional ao L1 ETH destruído quando os usuários publicam transações. Essa arquitetura é garantida por um sistema híbrido de provas de fraude ZK construído com tecnologia Succinct. Quando uma proposta de raiz de estado é desafiada, um ZK prova é gerado usando SP1 zkVM para resolver claramente a disputa. Isso permite que o Facet mantenha-se como uma “plataforma leve”, oferecendo computação pura e irreprimível, enquanto deixa a gestão de ativos e as funcionalidades de ponte para um ecossistema competitivo composto por aplicativos escolhidos pelos usuários.

4.3 Fronteira em constante expansão: receita de ZK Cross-Chain Bridges, co-processadores e aplicações verificáveis

O modelo de mercado de baixo para cima também inclui uma categoria de “outros pedidos” em rápido crescimento, que abrange pontes ZK cross-chain, processadores ZK e outras aplicações verificáveis.

Segundo estimativas conservadoras, até 2030, a receita anual deste setor deverá crescer para mais de 126 milhões de dólares.

Com a maturação do ZKML e das soluções de privacidade on-chain, este campo ainda pode se expandir ainda mais.

Cinco: Succinct e $PROVE

5.1 Rede de Validadores: um mercado genérico e sem permissões

A estratégia central da Succinct não é apenas construir um provedor melhor, mas sim criar um mercado de autoridade para a prova (proving). Este fornecimento global não é uma suposição, mas é composto por operadores experientes. A rede já atraiu muitos provedores que normalmente são “ex-miners”, a maioria dos quais está localizada na Ásia, com infraestrutura pronta, energia de baixo custo e GPUs de consumo disponíveis.

O seu mercado bilateral conecta a oferta de poder computacional global à crescente demanda por provas ZK através de um sistema de leilão em tempo real.

Estamos a construir um mercado bilateral: Rede de Provedores Succinct. O objetivo é comercializar o processo de geração de provas ZK.

Esta dinâmica competitiva é o motor da eficiência do mercado, exercendo uma pressão contínua para baixo sobre os preços e os prazos, beneficiando diretamente os consumidores.

5.2 $PROVE token: O motor econômico da rede

Todo o modelo econômico do ecossistema Succinct está condensado no seu token nativo $PROVE.

Este token possui duas funções principais de simbiose:

• Pagamento – $PROVE é a única moeda no mercado desta rede. Todas as taxas de geração de prova devem ser pagas em $PROVE , estabelecendo assim uma demanda de negociação direta para este token.
• Apostas para garantir segurança – Para participar da leilão de prova e ganhar rendimentos, os provadores precisam apostar $PROVE como garantia econômica. Isso é crucial para a confiabilidade da rede, pois visa prevenir “ataques maliciosos” (griefing) – onde os provadores prometem gerar provas, mas acabam não entregando, causando sérios atrasos em aplicações como L2. Como Roy disse, “os provadores não deveriam ser capazes de realizar ataques maliciosos… isso seria uma experiência de usuário muito ruim”. Se os provadores falharem em cumprir suas promessas, parte de sua aposta será confiscada para garantir que eles “assumam a responsabilidade”.

5.3 Roda de Acumulação de Valor

Tabela 6: Modelo de utilidade e acumulação de valor do token $PROVE

5.4 Dados do primeiro dia: Implementação da demonstração

A eficácia deste modelo econômico foi comprovada no primeiro dia de lançamento da rede.

O cofundador Uma Roy relatou em uma postagem pública:

Roy apontou que, à medida que mais de 35 clientes existentes no cluster privado Succinct se preparam para fazer a transição para a rede pública, a demanda por provas certamente irá “crescer em forma de parábola”.

Conclusão

A grand roadmap de escalabilidade do Ethereum, combinada com a maturidade da tecnologia de conhecimento zero, está criando um dos mercados de infraestrutura emergente mais importantes da próxima década. A mudança de foco estratégico da Ethereum Foundation, juntamente com seu investimento financeiro, transformou um ideal teórico em uma corrida de engenharia. E os avanços tecnológicos liderados por equipes como a Succinct tornam o objetivo dessa corrida - provas em tempo real e escalabilidade em larga escala de L1 - uma realidade alcançável.

A era da execução repetida está chegando ao fim. A era da verificação criptográfica está começando.

Neste novo paradigma, provedores de infraestrutura descentralizada como o Succinct Prover Network tornar-se-ão fornecedores indispensáveis de “picareta e pá” nesta nova economia emergente.

O modelo econômico do token $PROVE integra funções de pagamento e staking, criando uma poderosa roda giratória que vincula diretamente o crescimento da rede à acumulação de valor do token. Portanto, o investimento

$PROVE não é apenas uma aposta em uma única aplicação, mas sim um investimento direto na camada de computação fundamental e verificável da próxima geração da internet.

Comprove o software de todo o mundo.