O que são SNARKs? Por que Vitalik Buterin acredita que os custos da prova ZK podem cair abaixo de 10x

O que são SNARKs? Por que Vitalik Buterin acredita que os custos da prova ZK podem cair abaixo de 10x

Vitalik Buterin vê a criptografia se aproximando de sobrecarga quase zero

O co-fundador do ethereum, Vitalik Buterin, publicou uma análise em 6 de setembro de 2026, atribuindo probabilidades concretas à viabilidade de longo prazo de três primitivas criptográficas avançadas. Ele atribuiu uma probabilidade de 60% de que SNARKs, criptografia totalmente homomórfica e obfuscação de indistingibilidade eventualmente operem com menos de 10 vezes o custo da computação ordinária, medido pelo uso total de energia mais despesas computacionais amortizadas. Ele estimou ainda uma chance de 33% de que as mesmas ferramentas possam atingir uma sobrecarga de 1+ε em escala suficiente, o que significa que o custo criptográfico adicional torna-se arbitrariamente pequeno em relação ao trabalho subjacente. Os SNARKs se destacam como os mais maduros dos três e os mais prováveis de alcançar uma sobrecarga de dígitos únicos até o final da década. Funções hash especializadas e certas cargas de trabalho de inferência de modelos de linguagem de grande porte já demonstraram níveis de eficiência comparáveis.
 
Essas projeções chegam em meio a melhoras rápidas nos custos de prova de conhecimento zero, onde benchmarks públicos mostram que as provas de bloco da ethereum caíram de dólares para frações de um centavo em aproximadamente um ano. Menores custos operacionais ampliariam o uso viável de provas privadas, permitiriam limites de gás mais altos sem crescimento proporcional do hardware dos validadores e apoiariam a adoção mais ampla de aplicações que preservam a privacidade em sistemas de blockchain. A avaliação permanece como uma visão pessoal, não consensual, e não como um compromisso de rota da protocolo. Os SNARKs já entregam valor em produção hoje e estão mais próximos entre as ferramentas criptográficas avançadas de alcançar custos operacionais baixos o suficiente para implantação rotineira e em larga escala, segundo as estimativas de probabilidade de Buterin de setembro de 2026 e o progresso empírico simultâneo nos sistemas de prova.

Como os SNARKs entregam provas compactas de computação correta sem revelar entradas

Argumentos Succintos Não Interativos de Conhecimento, ou SNARKs, permitem que uma parte gere uma prova criptográfica curta de que um cálculo foi executado corretamente. O verificador verifica a prova sem reexecutar o cálculo completo ou aprender entradas privadas. A propriedade “succinta” mantém o tamanho da prova pequeno e a verificação rápida, mesmo quando a declaração subjacente é complexa. O design não interativo significa que o prover produz uma única mensagem que qualquer verificador pode verificar independentemente. Variantes de conhecimento zero ocultam ainda mais os dados da testemunha, suportando aplicações de privacidade, como transações protegidas ou lógica confidencial de contratos inteligentes. Na prática, construções modernas de SNARKs dependem de criptografia baseada em emparelhamentos ou alternativas baseadas em funções hash, com circuitos que expressam o cálculo como restrições aritméticas. O tempo e a memória de prova permanecem os principais custos, enquanto a verificação é tipicamente barata o suficiente para uso em cadeia. Sistemas especializados recentes reduziram a sobrecarga para cargas de trabalho estruturadas, como avaliações repetidas de hash, a níveis muito inferiores às implementações gerais anteriores.
 
Essa lacuna de eficiência entre casos especializados e gerais explica por que Buterin destaca os SNARKs como o candidato mais próximo para uma sobrecarga única de dígitos únicos. Implantações em produção já dependem de SNARKs para provas de validade de rollups e protocolos de privacidade, demonstrando que o mecanismo central funciona em escala mesmo antes que as reduções de custo projetadas se materializem totalmente. O progresso contínuo em otimização de circuitos, aceleração por hardware e composição recursiva continua a reduzir a lacuna de desempenho restante entre execução nativa e execução com prova. O valor prático dos SNARKs repousa na assimetria entre prova e verificação. Gerar uma prova ainda pode exigir recursos substanciais em comparação com a simples execução do programa original, mas o objeto resultante permanece pequeno e rápido de verificar. Essa propriedade sustenta projetos de escalonamento Layer-2 que publicam provas compactas em uma camada base em vez de dados de transação completos. Também suporta aplicações nas quais uma parte deve demonstrar conhecimento de um segredo ou execução correta de um cálculo privado sem divulgar o segredo em si.
 
Benchmarkes empíricos de 2025 para 2026 mostram que os custos de prova para blocos de escala Ethereum caíram aproximadamente 45 vezes em um ano em rastreadores públicos, atingindo níveis abaixo de um centavo para configurações elegíveis sob setups otimizados com múltiplos GPU. Essas melhorias validam a direção em direção às metas de sobrecarga descritas por Buterin. Tendências de hardware, incluindo GPUs de consumo e projetos especializados de provadores, reduzem ainda mais os custos absolutos de energia e capital associados à geração de provas. Quando funções de hash especializadas já operam próximas a múltiplos de dígitos únicos do custo nativo, o desafio de engenharia restante centra-se em estender essas eficiências para circuitos mais gerais sem introduzir novos gargalos. A combinação de avanços algorítmicos e maturação de hardware fornece, portanto, a base factual para a probabilidade otimista atribuída aos SNARKs alcançarem níveis de sobrecarga amplamente úteis nesta década.

Framework de Probabilidade de Vitalik Buterin para Sobrecarga Criptográfica em setembro de 2026

Em 6 de setembro de 2026, Buterin quantificou perguntas de longa data sobre a praticidade da criptografia avançada atribuindo probabilidades explícitas. Ele estimou uma chance de 60% de que SNARKs, criptografia totalmente homomórfica e obfuscação de indistingibilidade eventualmente alcancem menos de 10 vezes o custo combinado de energia e computação amortizada da computação comum. Uma probabilidade separada de 33% aplica-se à afirmação mais forte de que todos os três podem se aproximar de um sobrecusto de 1+ε para cargas de trabalho do mundo real médias uma vez que a escala seja grande o suficiente. A medição intencionalmente incorpora o gasto energético em vez do tempo de relógio apenas, refletindo o verdadeiro ônus econômico de executar a tecnologia em volume. Buterin descreveu a perspectiva geral como otimista e não consensual. Ele observou que pelo menos um dos três primitivos, mais provavelmente SNARKs, tem boa chance de alcançar sobrecusto de dígitos únicos até o final da década. Casos especializados já demonstram a viabilidade desses níveis para certas funções hash e tarefas de inferência de modelos de linguagem. As previsões não têm prazos de protocolo nem compromissos de engenharia associados; representam uma avaliação pessoal da possibilidade técnica, e não um cronograma para atualizações do ethereum.
 
A cobertura em múltiplas fontes em 6 e 7 de setembro confirmou as mesmas faixas numéricas e a ênfase nos SNARKs como o candidato de curto prazo. Esses números fornecem um ponto de referência concreto para medir o progresso da pesquisa subsequente. A distinção entre a probabilidade de menos de 10x de 60% e o prazo mais restrito para sobrecarga de dígitos únicos é importante. Buterin não afirmou que todas as três tecnologias cruzariam o limiar de 10x até 2030. A declaração mais limitada refere-se à probabilidade de que pelo menos uma, esperada ser SNARKs, atinja múltiplos de dígitos únicos dentro da década. Essa abordagem evita promessas excessivas sobre primitivas mais distantes, enquanto ainda destaca o potencial mensurável de curto prazo. A contabilidade de energia mais custo amortizado ainda fundamenta a estimativa na realidade econômica, e não apenas na complexidade assintótica pura.
 
Ao comprovar que os custos diminuem, o mesmo orçamento computacional pode suportar maior throughput ou declarações mais complexas sem aumentos proporcionais nos requisitos de hardware para validadores ou usuários. A divulgação pública da análise de 6 de setembro citou consistentemente os mesmos valores de 60% e 33%, juntamente com a observação de que cargas de trabalho especializadas já atingiram a faixa-alvo. Portanto, o framework fornece tanto uma previsão quantitativa quanto uma classificação qualitativa da maturidade relativa entre as três tecnologias. Melhorias empíricas contínuas nos sistemas de prova SNARK fornecem suporte independente para a classificação que coloca os SNARKs em primeiro lugar na sequência de reduções de custo esperadas.

Funções de hash especializadas já estão se aproximando de sobrecarga SNARK de dígitos únicos

Buterin observou explicitamente que funções de hash especializadas já atingiram níveis de eficiência comparáveis a sobrecarga de dígitos únicos em relação à execução nativa. Construções recentes, como o Flock, um SNARK baseado em hash otimizado para lotes de cálculos booleanos, ilustram o ponto com números concretos de throughput. Em hardware de consumo, um Apple M4 Max pode provar centenas de milhares de compressões BLAKE3, compressões SHA-256 ou permutações Keccak por segundo, representando aproximadamente uma melhoria de uma ordem de grandeza em relação aos sistemas anteriores de ponta para as mesmas cargas de trabalho. Os tamanhos das provas permanecem abaixo de 450 KB, e a verificação é concluída em menos de quatro milissegundos. Esses resultados são importantes porque as avaliações de hash dominam muitos circuitos criptográficos, incluindo aberturas de caminhos Merkle, cadeias de hash e as camadas internas de provas recursivas.
 
Quando as operações dominantes tornam-se baratas de provar, a sobrecarga geral de declarações maiores diminui, mesmo que a lógica circundante permaneça menos otimizada. O mesmo princípio se aplica a certas tarefas de inferência de modelos de linguagem de grande porte, onde multiplicações de matrizes e operações estruturadas relacionadas admitem estratégias de prova altamente eficientes. A documentação pública desses sistemas especializados confirma que múltiplos de dígitos únicos já não são puramente teóricos para padrões computacionais estreitos, mas frequentes. Estender a mesma eficiência a circuitos de propósito geral continua sendo um desafio de engenharia, mas os resultados especializados estabelecem uma prova clara de existência. A aceleração por hardware amplifica ainda mais os ganhos: configurações multi-core e multi-GPU aumentam ainda mais o throughput, enquanto o uso de memória permanece prático para os tamanhos de lote alvo. O design Flock combina protocolos lincheck e zerocheck otimizados com técnicas de implementação agressivas, demonstrando que o co-design de algoritmos e software pode gerar acelerações substanciais.
 
Módulos especializados semelhantes aparecem em outros sistemas modernos SNARK que isolam operações caras, como hashes ou assinaturas, e as provam com subprotocolos dedicados e altamente otimizados. Quando a maior parte de um cálculo consiste em tal trabalho estruturado, a sobrecarga geral residual torna-se uma fração menor do custo total. A referência de Buterin a esses casos existentes baseia-se, portanto, em desempenho mensurável e não apenas em projeção. À medida que mais cargas de trabalho são reescritas ou compiladas para enfatizar primitivas amigáveis ao SNARK, a fração de computação do mundo real que pode operar com sobrecarga de dígitos únicos continua a se expandir. Essa especialização progressiva fornece um dos caminhos concretos que sustentam a probabilidade mais ampla de que os SNARKs alcancem a faixa-alvo para casos médios até o final da década.

Recentes quedas empíricas nos custos de prova de blocos do ethereum

Benchmarks independentes registram uma queda acentuada no custo de gerar provas de conhecimento zero para blocos do Ethereum. Dados públicos da ethproofs registraram uma redução média dos custos de aproximadamente 1,69 dólar no início de 2025 para menos de quatro centavos até o final daquele ano, uma redução de cerca de 45 vezes. No início de setembro de 2026, configurações selecionadas relataram custos próximos a meio centavo para blocos elegíveis, embora as taxas de sucesso para provas abaixo de 10 segundos em todas as vagas avaliadas permanecessem parciais, pois execuções offline e não elegíveis são contabilizadas. A Ethereum Foundation havia estabelecido metas concretas para prova em tempo real: menos de 10 segundos para 99 por cento dos blocos do mainnet em hardware com custo máximo de 100.000 dólares, consumindo no máximo 10 quilowatts, com provas abaixo de 300 KiB e sem configuração confiável. Múltiplas equipes atingiram ou se aproximaram dessas metas até o final de 2025.
 
Esses números aplicam-se a provas de bloco completo, e não a circuitos de aplicação isolados, mas demonstram que o custo absoluto da geração de SNARK continua a diminuir sob cargas de trabalho e restrições de hardware realistas. A verificação permanece substancialmente mais barata do que a prova, mantendo os custos on-chain gerenciáveis mesmo à medida que a complexidade da prova cresce. A trajetória de custo tem implicações diretas para os múltiplos de sobrecarga discutidos por Buterin. Quando o custo absoluto de energia e capital para produzir uma prova diminui, a proporção em relação à execução nativa melhora, mesmo que a sobrecarga algorítmica permaneça constante. Melhorias em hardware, incluindo implantações mais densas de GPU e software de provador mais eficiente, contribuem para as reduções medidas.
 
Sistemas especializados aceleram ainda mais o subconjunto de operações que dominam a prova de bloco, como hash e verificações de assinatura. A combinação de avanços algorítmicos e ganhos em hardware comum produz efeitos compostos visíveis nos rastreadores públicos. Custos mais baixos de prova também relaxam restrições sobre limites de gás e throughput: validadores não precisam mais expandir hardware na proporção de cada aumento na demanda computacional, se uma maior parte do trabalho puder ser provada em vez de reexecutada. A captura de setembro de 2026 dos custos abaixo de um centavo para certas configurações fornece, portanto, contexto empírico oportuno para a probabilidade de 60% atribuída a sobrecarga abaixo de 10x. O monitoramento contínuo dos mesmos benchmarks públicos permitirá aos observadores testar se a taxa observada de melhoria sustenta a trajetória necessária para atingir a meta de dígitos únicos para cargas de trabalho mais amplas dentro da década.

Como custos mais baixos de SNARK podem aumentar os limites de gás do ethereum sem picos de hardware

Reduzir a sobrecarga do SNARK afeta diretamente a economia de aumentar os limites de gas. Limites mais altos aumentam o trabalho computacional que cada bloco pode conter, o que, por sua vez, eleva os recursos necessários para validação completa se cada node reexecutar todas as transações. Quando uma fração substancial desse trabalho puder ser coberta por provas sucintas, a carga marginal de hardware nos validadores cresce mais lentamente. Buterin já relacionou provas mais baratas à viabilidade de maior throughput sem aumentos proporcionais nos requisitos dos validadores. No extremo, provas recursivas podem comprimir grandes quantias de execução em objetos cujo custo de verificação permanece quase constante. Módulos especializados de hash e assinatura já demonstram que as operações dominantes dentro de muitos circuitos podem operar em múltiplos modestos do custo nativo.
 
Estender essas eficiências reduz o consumo total de energia e a despesa amortizada associadas à comprovação de blocos maiores. O resultado é um trade-off mais favorável entre capacidade e descentralização: as redes podem processar mais atividade enquanto mantêm a barreira para executar um nó validador ao alcance de um conjunto mais amplo de participantes. Ilustrações práticas aparecem em designs de Layer-2 existentes que já publicam provas SNARK ou STARK em vez de traços de execução completos. À medida que os custos de comprovação caem, os mesmos designs podem suportar lotes mais densos ou lógica de aplicativo mais complexa sem aumentos proporcionais na despesa com infraestrutura de prover. Na própria camada base, propostas que dependem de provas diárias ou por época para atualizações de estado do validador também se beneficiam de menor sobrecarga.
 
A métrica de energia mais custo amortizado, enfatizada na análise de setembro de 2026, captura o impacto econômico completo dessas mudanças. Quando o custo adicional da criptografia se reduz a múltiplos de dígitos únicos, o incentivo para manter as provas fora da trajetória crítica diminui, e seu uso pode se expandir para funções mais rotineiras do protocolo. Os participantes do mercado que monitoram métricas de capacidade do ethereum podem, portanto, interpretar a redução dos custos de prova como um indicador de espaço futuro para aumentos no limite de gás que preservem a ampla participação. A ligação entre eficiência criptográfica e escalonamento do protocolo permanece uma das aplicações mais claras no curto prazo das reduções de custo quantificadas por Buterin.

FHE e Obfuscação de Indistingibilidade Estão Mais Distantes dos Objetivos de Sobrecarga Prática

A criptografia totalmente homomórfica permite cálculos arbitrários em dados criptografados sem descriptografia, enquanto a ofuscação de indistingibilidade visa ocultar a lógica interna de um programa tão completamente que apenas seu comportamento entrada-saída permanece observável. Ambos os primitivos expandem o espaço de design para aplicações de estado compartilhado privado e proteção de software, mas sua sobrecarga atual excede em muito a dos SNARKs. Buterin já descreveu a iO como o “chefe final” da criptografia, pois construções empilham múltiplos primitivos avançados e ainda produzem tempos de execução galácticos sob suposições conservadoras. Mesmo abordagens otimistas baseadas em reticulados deixam tempos de execução medidos em dias em hardware pesado para programas modestos. As implementações de FHE melhoraram, mas continuam a gerar artefatos de vários gigabytes e tempos de execução de várias horas para tarefas relativamente pequenas de aprendizado de máquina nos benchmarks de 2026.
 
A análise de setembro, portanto, classifica ambas as tecnologias atrás dos SNARKs em termos de tempo esperado para superar uma sobrecarga de dígitos únicos. A probabilidade de 60% aplica-se à conquista eventual de custos abaixo de 10x para os três; a declaração mais restrita ao final da década destaca os SNARKs como os mais prováveis a serem os primeiros. A distância relativa não implica estagnação. A pesquisa continua com suposições mais agressivas, novas abordagens não-baseadas em reticulados, como mistura local, e otimização progressiva das atuais torres de construções. Melhorias em primitivas componentes, como criptografia funcional ou FHE eficiente, podem se propagar para reduzir os custos gerais de iO. Para o FHE, o caminho inclui técnicas melhores de empacotamento, aceleração por hardware e codificações amigáveis para circuitos que reduzem o crescimento do ruído.
 
No entanto, a lacuna empírica permanece grande o suficiente para que a classificação de Buterin coloque a sobrecarga prática de dígitos únicos para essas ferramentas mais tarde do que para os SNARKs. Aplicações que exigem computação sobre estado compartilhado criptografado ou lógica de programa oculta continuarão, portanto, a depender de técnicas alternativas ou designs híbridos até que os objetivos de sobrecarga sejam atingidos. O framework de probabilidade trata as três tecnologias como um portfólio: o sucesso no membro mais próximo (SNARKs) já libera valor substancial, enquanto o progresso eventual nos membros mais distantes amplia o conjunto de garantias de privacidade e integridade viáveis. Rastrear resultados especializados de SNARKs permanece, portanto, o indicador mais imediato de se a avaliação geral de 60% está no caminho certo.

A composição recursiva de provas amplia os ganhos de eficiência em declarações maiores

A composição recursiva permite que um SNARK verifique outro SNARK, permitindo a compressão hierárquica de grandes cálculos em uma única prova compacta. A técnica já é central em muitos sistemas de produção que agregam múltiplas transações ou blocos. Quando as provas internas se tornam mais baratas de gerar, a camada recursiva externa herda essas economias e pode operar com maior throughput ou menor latência. Módulos especializados para hashes e outras operações frequentes aceleram ainda mais o caminho recursivo, pois a verificação de uma prova interna muitas vezes se reduz a verificações estruturadas que admitem tratamento eficiente.
 
Benchmarkes públicos que mostram custos inferiores a um centavo para provas de blocos completos do ethereum já incorporam técnicas recursivas em várias das principais pilhas de provadores. À medida que os custos básicos de prova continuam a cair, o custo marginal das camadas adicionais de recursão também diminui, permitindo aninhamentos mais profundos sem crescimento proporcional dos recursos. A mesma propriedade de composição suporta os designs de consenso “extremamente leves” que substituem atualizações repetidas de saldo na cadeia por provas de conhecimento zero diárias ou por época. Os validadores rastreiam seu próprio estado e enviam uma prova sucinta cobrindo participação e recompensas; a camada base verifica o agregado em vez de armazenar e atualizar cada saldo. A menor sobrecarga torna essas provas viáveis em hardware modesto e dentro de janelas de tempo práticas.
 
A agregação recursiva pode comprimir ainda mais as provas de muitos validadores em um único objeto cujo custo de verificação permanece quase constante. Esses padrões arquiteturais ilustram como reduções de custo no nível primitivo se traduzem em eficiência sistêmica. Quando a energia e a despesa amortizada de cada camada de prova se aproximam de múltiplos de dígitos únicos do trabalho subjacente, a sobrecarga acumulada de sistemas multiníveis permanece gerenciável. O progresso empírico tanto em provadores especializados quanto em benchmarks de blocos completos fornece, portanto, evidências de suporte para a viabilidade dos projetos recursivos que dependem de SNARKs acessíveis.

Aceleração por hardware e provadores de consumo reduzem a lacuna de custos

Provas Modernas SNARK cada vez mais exploram recursos de GPU e CPU multi-core comerciais, em vez de depender exclusivamente de ASICs especializados. Configurações com 16 GPUs consumidoras demonstraram prova em tempo real de blocos do Ethereum dentro das metas de latência e potência da Fundação. Resultados com uma única GPU e até mesmo em dispositivos do tipo laptop para cargas de trabalho mais restritas, como lotes de hash Flock ou provas de identidade em dispositivo, mostram que as barreiras absolutas de hardware continuam a diminuir. As pegadas de memória para certas provas móveis e de desktop permanecem dentro da faixa de dispositivos consumidores comuns.
 
Esses desenvolvimentos reduzem tanto o custo de capital da infraestrutura de comprovadores quanto o componente energético da métrica de sobrecarga enfatizada por Buterin. Quando o mesmo trabalho computacional pode ser realizado em hardware amplamente disponível, a despesa amortizada diminui e a tecnologia torna-se acessível a um conjunto mais amplo de operadores. A tendência também interage com a especialização algorítmica. Hardware que acelera multiplicações de matrizes ou avaliações paralelas de hashes amplifica os ganhos já alcançados para inferência de modelos de linguagem e circuitos booleanos estruturados. Software de comprovador que mapeia circuitos para esses primitivos de hardware melhora ainda mais a utilização.
 
Rastreadores públicos que relatam estatísticas de custo e taxa de sucesso em múltiplas configurações independentes fornecem visibilidade contínua sobre o efeito combinado do progresso em hardware e software. À medida que mais equipes publicam benchmarks reprodutíveis em hardware comparável, a comunidade pode distinguir ganhos reais de eficiência de artefatos específicos de configuração. A observação de setembro de 2026 de custos de meio centavo para provas de bloco elegíveis, mesmo com taxas de sucesso incompletas em todos os slots, indica que o caminho do hardware permanece produtivo. Aprimoramentos contínuos nesse eixo sustentam a probabilidade de que sobrecargas de dígitos únicos se tornem alcançáveis para uma gama cada vez maior de cargas de trabalho antes do fim da década.

Aplicações de privacidade estão em posição de se beneficiar primeiro com SNARKs mais baratos

A redução dos custos SNARK amplia o conjunto de aplicações que preservam a privacidade e podem operar economicamente em blockchains públicas. Transações protegidas, estado privado de contratos inteligentes e divulgação seletiva de credenciais dependem de provas de conhecimento zero cujo custo de geração deve permanecer prático para usuários finais ou operadores de serviços. Quando a sobrecarga de prova cai para múltiplos de dígitos únicos, a fricção na geração e envio dessas provas diminui, apoiando maior adoção. Sistemas existentes já demonstram esse padrão: protocolos de privacidade que antes exigiam computação significativa fora da cadeia ou hardware confiável podem migrar para designs mais transparentes e totalmente criptográficos assim que os custos melhorarem.
 
Ferramentas de prova no dispositivo lançadas em 2026 ilustram ainda mais a direção, gerando provas de identidade localmente em telefones consumidores sem enviar documentos subjacentes a servidores externos. Provas mais rápidas e baratas tornam esses fluxos locais mais responsivos e energeticamente eficientes. As mesmas reduções de custo suportam designs de estado compartilhado privado que combinam SNARKs com outras primitivas. Criadores de mercado automatizados confidenciais, leilões de lances fechados e piscinas de empréstimos privadas tornam-se mais viáveis quando a sobrecarga criptográfica não domina mais o cálculo econômico. A discussão mais ampla de Buterin sobre roteiros de privacidade, incluindo leituras, gravações e provas privadas, alinha-se com a expectativa de que SNARKs acessíveis formem uma camada fundamental.
 
As reduções de custo empíricas já são visíveis em benchmarks públicos, portanto se traduzem em espaço concreto para recursos de privacidade que anteriormente enfrentavam restrições econômicas. Participantes do mercado que monitoram a adoção de protocolos de preservação de privacidade podem tratar a queda nos custos de prova como um indicador antecipado de espaço de design expandido. A ligação permanece baseada em evidências: reduções medidas nos gastos com energia e capital melhoram diretamente a viabilidade de aplicações cuja correção e privacidade dependem de provas SNARK.

Contexto de Mercado e Indústria para Acelerar a Eficiência do SNARK

O ecossistema mais amplo de zero-knowledge continua a demonstrar desenvolvimento ativo, mesmo enquanto as métricas individuais dos projetos fluctuam. Repositórios públicos e rastreadores de atividade de desenvolvedores em 2026 registram milhares de contribuidores históricos e um conjunto menor, mas ainda substancial, de desenvolvedores atualmente ativos em diversos sistemas de prova e máquinas virtuais. zkVMs de produção relatam prova em tempo real ou quase em tempo real de cargas de trabalho na escala do ethereum em hardware multi-GPU, com vários sistemas alcançando status de produção auditado. Provers especializados para lotes de hash e identidade em dispositivo further diversificam as ferramentas disponíveis.
 
Esses esforços paralelos criam pressão competitiva que acelera a otimização em todos os níveis. Quando várias equipes independentes publicam números melhorados de custo e latência, a direção geral torna-se mais robusta do que qualquer implementação individual. A adoção da indústria vai além da simples escalabilidade da blockchain. Pilotos de tokenização de ativos transfronteiriços, protótipos de moeda digital e estruturas de verificação de dados de saúde já começaram a incorporar provas baseadas em SNARK. A exigência comum é a capacidade de demonstrar cálculo correto ou credenciais válidas sem revelar os dados subjacentes.
 
A redução dos custos de prova também diminui a barreira para esses casos de uso não cripto, ampliando a demanda total acessível para a tecnologia SNARK eficiente. A divulgação pública das reduções de custo nas provas de bloco do ethereum serve como um indicador visível do progresso que beneficia um conjunto mais amplo de aplicações. A combinação de benchmarks abertos, implementações concorrentes e casos de uso em expansão fornece o contexto de mercado no qual as estimativas de probabilidade de Buterin podem ser avaliadas nos próximos anos. A melhoria contínua nesses aspectos aumentaria a confiança de que a avaliação de 60% para sobrecarga inferior a 10x é alcançável.

Caminhos de Engenharia Prática em Direção a Uma Sobreposição de Dígitos Únicos Mais Amplia

Várias direções de engenharia concreta convergem para o alvo de sobrecarga de dígito único para cargas de trabalho gerais. Compiladores de circuitos que mapeiam código de alto nível para representações intermediárias amigáveis ao SNARK reduzem a contagem de restrições para operações comuns. Linguagens e bibliotecas específicas de domínio que expõem módulos otimizados de hash, assinatura e aritmética permitem que desenvolvedores estruturem programas em torno de primitivas já eficientes. Técnicas de agregação recursiva e dados portadores de prova amortizam os custos de verificação em grandes lotes. O co-design hardware-software mapeia ainda mais o trabalho geral restante para aceleradores paralelos.
 
Cada um desses caminhos produziu ganhos mensuráveis no período de 2025–2026. Quando módulos especializados já operam próximos ao alvo, a fração residual de propósito geral torna-se o foco da otimização contínua. Reduções sucessivas nessa fração residual levam a sobrecarga média para programas realistas em direção à faixa de dígitos únicos. Os custos de verificação permanecem baixos em relação à prova, de modo que o esforço de engenharia dominante concentra-se no provador. Rastreadores públicos que relatam tanto custos absolutos quanto estatísticas de taxa de sucesso em diversas configurações de hardware fornecem uma tabela de classificação independente.
 
Equipes que publicam resultados reprodutíveis em ambientes comparáveis permitem que a comunidade identifique quais combinações de algoritmo, projeto de circuito e hardware produzem os maiores ganhos. A existência de múltiplos zkVMs de produção e provadores especializados já demonstra que a tecnologia ultrapassou os protótipos de laboratório. Estender a eficiência demonstrada em hashes e inferência de modelos de linguagem para toda a gama de lógica de aplicação constitui o desafio prático restante. O progresso nesses caminhos de engenharia fornece a base factual para a expectativa de que os SNARKs possam alcançar sobrecarga de dígitos únicos amplamente úteis dentro da década.

🔥 Além das Manchetes: O Que o KuCoin 5.0 Significa para Você

As notícias do mercado se movem rápido — mas onde você age sobre elas importa tanto quanto. Este outono, a KuCoin lança a KuCoin 5.0, transformando a KuCoin em uma plataforma reconstruída. Aqui está o que realmente muda para você:
  • Uma conta para tudo. Plataformas antigas dividiam seu dinheiro entre contas separadas de "spot", "margin" e "futures" e esperavam que você entendesse por quê. A Conta Unificada do KuCoin 5.0 remove isso completamente — faça um único depósito e tudo estará simplesmente disponível.
  • Ações, índices e commodities. O KuCoin 5.0 se expande além do cripto para mercados globais. Quando o cripto oscila lateralmente e os ativos de renda variável sobem (ou o contrário), você faz a rotação em minutos, em vez de abrir uma conta na corretora e esperar dias pelas vias de moeda fiduciária.
  • Ativos do mundo real (RWA). Exposição tokenizada a ativos tradicionais, como commodities, diretamente na sua conta de cripto. Um dos segmentos de mais rápido crescimento na finança global já não é mais reservado para instituições — você acessa-o a partir do mesmo saldo que utiliza para negociar.
  • Ganhe enquanto aprende. Não está pronto para negociar? KCUSD permite que suas stablecoins ganhem juros diários com composição automática. A maneira menos estressante de colocar seu depósito ocioso para trabalhar com um rendimento de 4%.
  • Um assistente de IA em linguagem simples. Faça perguntas, obtenha contexto de mercado, entenda o que está vendo — integrado à plataforma, sem necessidade de jargões.
  • Um aplicativo que não sobrecarrega. Mais rápido, mais limpo e consistente — intuitivo desde o primeiro toque, não após um tutorial.
  • Segurança que você pode verificar, não apenas confiar. Uma entidade da UE com licença MiCAR, Proof of Reserves que você pode verificar por conta própria, e segurança certificada internacionalmente (SOC 2 Type II, ISO 27001:2022).
 
Crie sua conta em minutos — e comece na plataforma construída para onde o cripto está indo, não para onde já esteve.

Perspectiva de Prazo Mais Longo para Sistemas de Estado Compartilhado Privado e Papéis de Intermediários

Se as reduções de custo projetadas se materializarem, aplicações de estado compartilhado privadas tornam-se mais práticas. A criptografia totalmente homomórfica permitiria que múltiplas partes computassem sobre dados criptografados sem revelar entradas, enquanto os SNARKs forneceriam provas compactas de que a computação seguiu regras acordadas. A ofuscação de indistingibilidade poderia proteger ainda mais a lógica proprietária. Versões mais baratas dessas ferramentas reduziriam a dependência de custódios confiáveis, auditores ou motores de emparelhamento centralizados para certos fluxos de trabalho financeiros e computacionais. A análise de setembro de 2026 conecta explicitamente a redução da sobrecarga criptográfica à possibilidade de enfraquecer os papéis tradicionais de intermediários uma vez que privacidade e verificabilidade se tornem recursos padrão, e não especializados.
 
O prazo permanece longo para o conjunto completo de primitivos, mas ganhos incrementais na eficiência dos SNARKs já ampliam o espaço de design para sistemas híbridos que combinam provas de produção atuais com outras técnicas de privacidade. Os próprios planos de privacidade e escalabilidade da ethereum ilustram a trajetória de curto prazo. Propostas para leituras privadas, gravações e provas, juntamente com transações em quadro e nonces com chave, podem incorporar um uso mais agressivo dos SNARKs à medida que os custos caem. Designes de consenso enxutos que substituem atualizações de estado repetidas por provas sucintas também se beneficiam.
 
Fora dos sistemas blockchain, os mesmos ganhos de eficiência suportam ambientes regulados que exigem tanto confidencialidade quanto auditabilidade. A probabilidade de 33% atribuída a sobrecarga quase nula em escala representa uma possibilidade de horizonte mais longo, na qual o custo adicional da proteção criptográfica se torna negligenciável para cargas de trabalho médias. Mesmo a probabilidade mais conservadora de 60% para sobrecarga inferior a 10x constituiria uma mudança substancial em relação ao desempenho histórico. Rastrear a trajetória empírica do custo dos SNARKs permanece, portanto, a forma mais direta de avaliar se essas implicações de longo prazo estão se aproximando da praticidade.

Perguntas frequentes

O que exatamente Vitalik Buterin disse sobre os custos de SNARK em setembro de 2026?

Em 6 de setembro de 2026, Buterin atribuiu uma probabilidade de 60% de que SNARKs, criptografia totalmente homomórfica e obfuscação de indistingibilidade eventualmente operem com menos de 10 vezes o custo combinado de energia e computação amortizada da computação comum. Ele estimou separadamente uma chance de 33% de que todos os três possam se aproximar de uma sobrecarga de 1+ε em escala suficiente.
 

Quão próximos estão os custos atuais de prova SNARK do alvo de sobrecarga de dígitos únicos?

Cargas de trabalho especializadas, como avaliações em lote de hashes, já operam próximas ou dentro de múltiplos de unidade única da execução nativa em hardware de consumo. Provas completas de blocos do ethereum viram custos absolutos caírem de aproximadamente 1,69 dólar no início de 2025 para menos de quatro centavos até o final de 2025 e quase meio centavo para configurações selecionadas no início de setembro de 2026. Essas reduções absolutas melhoram a razão de sobrecarga efetiva mesmo antes de ganhos algorítmicos adicionais.
 

Por que energia mais custo amortizado importam mais do que o tempo de execução puro?

O tempo de execução sozinho pode subestimar a carga econômica da criptografia, pois o consumo de energia e a depreciação de capital do hardware constituem custos reais em escala. Medir a sobrecarga pela soma do gasto energético e da despesa computacional amortizada fornece uma visão mais completa sobre se uma tecnologia é prática para implantação rotineira.
 

Pode SNARKs mais baratos aumentar diretamente o limite de gás do ethereum?

A redução da sobrecarga de prova diminui o hardware marginal necessário para validar blocos maiores quando uma fração substancial da execução é coberta por provas sucintas em vez de reexecução. Os validadores podem, portanto, suportar limites de gás mais altos sem aumentos proporcionais na capacidade computacional. Provas recursivas e agregadas amortizam ainda mais os custos de verificação.
 

Qual papel as funções de hash especializadas desempenham nas reduções de custo?

Avaliações de hash dominam muitos circuitos criptográficos. Quando módulos SNARK dedicados comprovam lotes de hashes padrão com alto rendimento e baixa sobrecarga relativa, o custo geral de declarações maiores diminui, mesmo que a lógica circundante permaneça menos otimizada. Sistemas como o Flock publicaram cifras concretas de rendimento superiores a centenas de milhares de compressões por segundo em laptops de consumo, com tamanhos de prova e tempos de verificação permanecendo práticos.
 

Como FHE e obfuscação de indistingibilidade se comparam em maturidade?

Ambos ainda são muito mais caros que SNARKs. As implementações atuais de FHE ainda produzem grandes artefatos e tempos de execução de várias horas para tarefas modestas. Mesmo sob suposições otimistas, as construções de obfuscação de indistingibilidade têm tempos de execução que são “galácticos” ou de dias em hardware pesado.
 
Disclaimer: Este conteúdo é apenas para fins informativos e não constitui aconselhamento financeiro. Investimentos em criptomoedas envolvem risco. Faça sua própria pesquisa (DYOR).
 

Aviso legal: Esta página foi traduzida usando tecnologia de IA para sua conveniência. Para informações mais precisas, consulte a versão original em inglês.