O estrangulamento de mil milhões de dólares que mantém as suas transações cripto caras | Opinião

Você tentou fazer uma transferência de $50 de Ethereum (ETH) para um Zk-Rollup, como o zkSync, esperando pagar alguns cêntimos. Em vez disso, uma taxa entre $0,15 e $0,50 atinge a sua carteira. Isso é difícil de aceitar quando você sabe que os rollups otimistas vs Zk-Rollups são frequentemente três vezes mais baratos, e a Atualização Dencun reduziu os custos de dados em mais de 90%. O gargalo não é o congestionamento da rede. É a própria prova.

Gerar a prova de conhecimento zero para um lote de transações é um processo intensivo. Envolve trilhões de operações matemáticas, especificamente multiplicações de curvas elípticas, executadas em hardware não projetado para a tarefa. De acordo com dados da L2Beat, o processo de prova sozinho representa impressionantes 60-70% de todas as taxas nos ZK-L2s.

Isto criou um mercado centralizado de "fazendas de provas" que é estimado em mais de $97 milhões. Este é o gargalo bilionário. É um sistema centralizado e consumidor de energia que depende de hardware incompatível, e é a razão pela qual a escalabilidade ZK ainda parece mais uma promessa do que uma realidade. 

A solução é dupla. Precisamos de ASICs específicos de domínio e mercados de provas abertos. Com estes em vigor, transações de sub-cêntimos podem tornar-se o padrão, não a exceção. Isto não é uma fantasia. É uma realidade de engenharia esperando para ser abraçada.

Para onde vão realmente as suas taxas

Uma transação de Zk-Rollup tem vários custos. A execução L2 é quase gratuita. Publicar dados na mainnet também é barato agora, graças aos blobs, custando um décimo de cêntimo por transação. O verdadeiro monstro é a prova. Uma única prova para um lote de 4.000 transações pode levar de dois a cinco minutos para gerar numa GPU A100 de ponta. 

Isto custa entre $0,04 e $0,17 apenas em taxas de computação nuvem, com base em benchmarks da Brevis. Quando você amortiza esse custo, resulta em cerca de um a quatro cêntimos por transação. Mas sob carga pesada, pode facilmente disparar para mais de dez cêntimos.

A prova ZK não é a mesma que a matemática matricial usada em IA. Ela depende de multiplicações multi-escalares (MSMs) e transformadas teóricas de números (NTTs) sobre curvas elípticas. Estas operações são uma tarefa pesada para GPUs, que são projetadas para operações paralelas de ponto flutuante. Uma única prova Groth16 requer cerca de 10¹² operações de campo.

De acordo com testes da Ingonyama, cerca de 80% dos ciclos da GPU ficam ociosos durante este processo. O hardware simplesmente não é adequado. No Q1 de 2025, o relatório da zkSync Era mostrou que a prova representou 65% dos seus $2,3 milhões em receita. 

São $1,5 milhões que foram diretamente para clusters centralizados. Entretanto, as equipas de rollup pagam à AWS $1.000 a $5.000 por mês por equipamento, e esse custo escala linearmente com o volume. Não é de admirar que o valor total bloqueado nos principais ZK L2s esteja estagnado em $3,3 mil milhões, enquanto os rollups otimistas ultrapassaram $40 mil milhões.

Mas os rollups otimistas (Base, Arbitrum, Optimism, etc.) também não são uma solução completa, pois vêm com enormes compromissos. Os rollups otimistas requerem pelo menos um atraso de saque de sete dias para que validadores vigilantes possam desafiar transições de estado inválidas. No mundo acelerado das DeFi, este tempo de espera é simplesmente demasiado longo para a maioria dos casos de uso. Estas redes também exigem que os utilizadores confiem nestes validadores vigilantes. Embora isto possa ser aceitável para transações de baixo valor como jogos web3 ou redes sociais, deixa muito a desejar quando se trata de ativos do mundo real e outros casos de uso financeiros de alta potência.

Portanto, o caminho para transações verdadeiramente escaláveis, baratas e seguras não está em evitar a geração de provas, mas em revolucioná-la.

Esta é a ineficiência central: pagamos um prémio web2, tanto em custo quanto em centralização, para gerar confiança para uma rede descentralizada. A taxa de prova não é apenas uma despesa; é a âncora económica que retém a adoção de ZK. Até que a geração de provas se torne tão barata quanto a execução, os Zk-Rollups permanecerão presos num sistema onde a sua maior força, a segurança criptográfica, é também o seu gargalo mais caro. E esse custo não apenas infla taxas; constrói a armadilha centralizada da qual devemos agora escapar.

A armadilha da centralização

Mais de 90% dos Zk-Rollups terceirizam para um punhado de empresas de "prova como serviço". Isto cria um enorme ponto único de falha. Em março de 2025, os operadores da Blast congelaram transações de atacantes e 12.000 utilizadores inocentes durante 48 horas. Provedores centralizados veem lotes em texto simples, extraem MEV e recusam transações. A dYdX usa um multisig 3-de-5, o que significa que três insiders poderiam sequestrar a chain. Isto espelha problemas de dependência de hardware noutros sistemas de blockchain, como o mecanismo de consenso da Solana.

Esta centralização cria fragilidade. Os principais provedores têm 99,2% de tempo de atividade, mas uma única interrupção da AWS pode criar um efeito em cascata. No Q2 de 2025, a Starknet perdeu 20% de throughput devido à falha de um nó. Estes fornecedores capturam 80% de margens, deixando rollups presos a rendas, enquanto o L1 do Ethereum fornece segurança. É uma contradição arquitetónica. Temos L2s "descentralizados" dependentes de centros de dados Web2. Como Vitalik Buterin disse na Devcon 2024, "Terceirize a prova, e você não escalou nada, apenas confiou num novo oráculo."

A correção está em curso

Para resolver este problema, precisamos de um golpe duplo. Precisamos de silício construído para ZK, e precisamos de um mercado para distribuí-lo. Primeiro, o hardware. As GPUs são como carros de corrida numa autoestrada. São ótimas para as operações tensoriais usadas em IA, mas são terríveis para as operações de curva usadas em ZK. É aqui que entram os ASICs específicos de domínio.

Os vencedores da competição ZPrize de 2025 conseguiram cronometrar provas STARK em 6-8 segundos em FPGAs. Isso é 10-100 vezes mais rápido por watt do que uma GPU, porque eles implementaram diretamente os MSMs e NTTs. A Cysic já está produzindo ASICs que podem gerar provas para circuitos de mil milhões de portas em menos de dois segundos, e fazem-no com uma redução de 50x no consumo de energia. Esta é a mesma evolução que vimos com a mineração de Bitcoin (BTC). Passámos de CPUs para ASICs, mas desta vez é para a verdade, não para hashes.

Segundo, os mercados. Precisamos abandonar o modelo SaaS e tratar provedores como uma commodity. A mainnet 2025 da Succinct exemplifica isto. Rollups publicam trabalhos em leilões baseados em Ethereum, e equipamentos especializados fazem lances sobre eles em segundos. A Brevis ProverNet alcançou velocidades 20x CPU através de clusters GPU com penalizações para nós preguiçosos.

O resultado é redução de custos de 40%, distribuição equitativa de valor e resistência à censura. Qualquer pessoa pode provar, o Ethereum verifica. A agregação recursiva do ZPrize 2025 verificou provas em menos de 200 milissegundos on-chain. Um bot DeFi de $10.000 pode executar ZK-ML privado num L2 por um milésimo de cêntimo por transação.

Desbloqueando as comportas

Provas mais baratas levarão a taxas previsíveis, abaixo de $0,01 a 15.000 TPS, conforme o roteiro zkSync Atlas. Isto desbloqueia NFTs pagos por pixel, economias de jogos em tempo real e agentes de IA a liquidar negociações sem frontrunning. Os L2s tornam-se infraestrutura neutra, não feudos de provedores. 

Os programadores focam-se na otimização de VM em vez de gerir enormes fazendas de servidores. Isto desencadeia inovação de aplicações dez vezes maior. O TVL ZK cresce de $28 mil milhões em 2025 para mais de $100 mil milhões. A oportunidade real é sistémica. 

Quando a prova se torna barata e descentralizada, toda a proposta de valor cristaliza-se. Os utilizadores obtêm velocidade e custo. Os programadores obtêm uma plataforma que não requer confiar num punhado de operadores. O Ethereum obtém uma solução de escalabilidade que mantém garantias de segurança sem compromissos.

A luta está aqui

A maior barreira à adoção de ZK não é a cripto ou os jogos, é a economia de engenharia. A infraestrutura centralizada está sufocando a verdade escalável. A guerra não é sobre consenso. Está no hardware e nos mercados para computação verificável. Distribua provedores descentralizados e acelerados, e entregaremos transações baratas e sem confiança para milhares de milhões de pessoas. 

Não precisamos de senhores de provas. Precisamos de um bazar global para provas, onde qualquer pessoa contribui, todos verificam e a web aberta é segura.