<Por que ZK falhou e o que Succinct está tentando mudar?> 1. Consciência do problema O criador do Bitcoin, Satoshi Nakamoto, expressou ceticismo sobre as Provas de Conhecimento Zero (ZKP). Ele afirmou: "Para provar que algo não existe, você precisa conhecer toda a transação", concluindo que aplicar ZKP ao blockchain é estruturalmente difícil. No entanto, ele também mencionou que "se uma solução for encontrada, seria muito melhor, mais fácil e mais conveniente implementar o Bitcoin". Em outras palavras, embora reconheça as limitações técnicas do ZK, ele reconheceu que, se resolvido, pode ser um ponto de virada significativo na evolução do blockchain. Anos depois, a comunidade cypherpunk e os pesquisadores da ZK finalmente encontraram essa solução. O Zcash foi o primeiro caso a aplicar o ZKP a uma criptomoeda real, e projetos subsequentes como StarkWare, zkSync e Scroll desenvolveram essa tecnologia como um meio fundamental para aumentar a escalabilidade e a verificabilidade do Ethereum. No entanto, ainda há uma lacuna na realidade. A criação de um zkEVM requer profundo conhecimento, anos de tempo de desenvolvimento e hardware de alto desempenho, e a maioria dos projetos acaba contando com provedores de prova específicos em vez de operar sua própria infraestrutura ZKP. Como resultado, o ZKP continua sendo uma ferramenta complexa que apenas alguns podem manusear, em vez de uma tecnologia que qualquer pessoa pode usar. 2. O que é sucinto? Sucinta (@SuccinctLabs) é uma tentativa de abordar diretamente essa questão. Sua principal missão é transformar o ZKP em uma infraestrutura que todos os desenvolvedores possam usar facilmente, permitindo que qualquer pessoa crie um 'sistema sem confiança' sem circuitos ou infraestrutura complexa. Succinct é uma infraestrutura que transforma o ideal de um sistema 'Trustless', que o blockchain perseguiu, em uma realidade praticamente implementável. Trustless não significa 'não confiável'; em vez disso, refere-se a uma estrutura que opera de forma independente sem depender da confiança, ou seja, um sistema matematicamente verificável sem terceiros ou autoridades centrais. No entanto, o atual ecossistema blockchain ainda depende muito da confiança. Hacks de ponte, operações de assinatura múltipla e delegações centralizadas de validadores servem como evidência de que ainda precisamos confiar em pessoas ou organizações para que o sistema funcione. A tentativa de romper essas limitações baseadas na confiança é precisamente a tecnologia Zero-Knowledge Proof (ZKP). Essa tecnologia permite provar matematicamente que "esse cálculo está correto" sem confiar em ninguém, tornando-se uma base fundamental para sistemas descentralizados. O problema é que o ZKP é muito complexo e pesado para uso prático. 3. Por que ZKP parecia difícil? A tecnologia ZKP tem altas barreiras tanto quanto seu potencial. Em particular, a criação de um zkEVM requer uma equipe especializada, anos de tempo de desenvolvimento e infraestrutura cara. A maioria dos projetos zk teve que projetar seus próprios circuitos, construir zkVMs dedicados e operar hardware diretamente. Somente depois de passar por todos esses processos, eles poderiam alegar ser "ZK rollups". Além disso, os zkVMs de uso geral existentes eram muito ineficientes na geração de provas. Normalmente, provar um único bloco exigia um cluster de dezenas de máquinas de alto desempenho, custando de US$ 10 a US$ 20 por bloco. Devido a esses encargos técnicos e custos operacionais, muitos projetos abandonaram completamente a introdução do ZKP ou optaram por contar com alguns fornecedores de prova centralizados. 4. Tentativa de Succinct @SuccinctLabs vê essas questões estruturais como 'problemas de infraestrutura'. O ZKP é tecnicamente poderoso o suficiente, mas a questão é quem, como e a que custo ele é implementado. Portanto, a Succinct está criando uma rede de provadores descentralizada que qualquer pessoa pode acessar facilmente sem que projetos individuais precisem operar diretamente a infraestrutura de prova. Os desenvolvedores não precisam configurar zkVMs complexos ou adquirir hardware. Quando eles enviam solicitações de prova para a rede, vários provadores com hardware diferente fazem lances para processá-los de maneira semelhante a um leilão. Os custos de prova diminuem naturalmente com a concorrência, e os provadores geram provas com eficiência usando equipamentos de alto desempenho. Como resultado, os desenvolvedores recebem provas rápidas e baratas, enquanto todo o ecossistema se beneficia de uma infraestrutura de provas com alta disponibilidade e resistência à censura. Sucinta não é apenas demonstrar possibilidades técnicas; está a provar o seu papel em áreas onde surge uma procura real. Um exemplo representativo é o surgimento da tendência 'CLOBs on Blobs' no ecossistema @celestia. Exchanges descentralizadas usando métodos de livro de ordens de limite central (CLOB) de alto desempenho estão aparecendo no espaço blob da Celestia, levando a demandas de infraestrutura para processamento de dados em larga escala e provas rápidas de estado. Projetos como Hyperliquid e @hibachi_xyz estão implementando lógica complexa de negociação de livros de pedidos e descoberta de preços on-chain, o que requer escalabilidade e desempenho além de simples rollups. O que é necessário aqui é a camada de disponibilidade de dados de alto desempenho da Celestia e a infraestrutura descentralizada de prova ZK fornecida pela Succinct. Na verdade, o Celestia viu um rápido aumento no uso real do espaço blob e, por trás disso, as infraestruturas ZK como o Succinct estão contribuindo silenciosamente. Se o Celestia fornecer um 'armazenamento de dados verificável', o Succinct é responsável por criar 'transições de estado verificáveis' nesses dados. Essa combinação pode ser vista como o ponto de partida para a transição da tecnologia ZKP da teoria abstrata para um sistema funcional na realidade. 5. Um zkEVM que qualquer um pode manusear, SP1 e SP1 Reth Ao resolver a acessibilidade da infraestrutura, a Succinct também visa diminuir as barreiras de entrada do próprio zkVM, desenvolvendo um zkVM de código aberto chamado SP1 (Succinct Processor 1). O SP1 é um zkVM de uso geral implementado em Rust, projetado para qualquer pessoa usar diretamente sem o design de circuito complexo exigido pelos zkEVMs existentes. Um exemplo inicial que demonstra o potencial do SP1 é o SP1 Reth. O SP1 Reth é um zkEVM tipo 1 implementado com apenas cerca de 2.000 linhas de código Rust, facilmente configurado reutilizando componentes do ecossistema de clientes Ethereum existente (Reth, Revm, Alloy, etc.). Ainda mais surpreendente é o seu desempenho. O custo médio de prova por transação Ethereum para SP1 Reth é de apenas cerca de US$ 0,01 a US$ 0,02, o que é menor do que os custos de disponibilidade de dados comumente incorridos em L2. A razão pela qual esse desempenho é possível é devido ao sistema de 'pré-compilação' que o SP1 possui. Ele processa operações computacionalmente intensivas, como funções de hash e verificações de assinatura em uma estrutura pré-otimizada, reduzindo significativamente os recursos consumidos pelo zkVM. Até agora, a implementação do zkEVM com um zkVM custava de US$ 10 a US$ 20 por bloco, mas o SP1 Reth conseguiu reduzir isso para números de um dígito. Tanto o SP1 quanto o SP1 Reth são totalmente de código aberto e estão disponíveis para qualquer pessoa bifurcar e criar seu próprio zkEVM ou adicionar pré-compilações para melhorar o desempenho. Isso representa uma reviravolta completa do ambiente de desenvolvimento zk existente de alto custo e alta dificuldade, abrindo uma era em que qualquer desenvolvedor Rust pode participar de sistemas zk. 6. Em última análise, o ZK agora está acessível a todos A Succinct está preenchendo as últimas peças do potencial, acessibilidade e praticidade da tecnologia ZKP. Sem circuitos complexos ou hardware dedicado, qualquer pessoa pode criar aplicativos utilizando o ZKP, e as provas são processadas por uma rede descentralizada. Estamos entrando em uma era em que todos os rollups podem se tornar ZK rollups, e a internet opera apenas com base na verdade. No ponto de partida disso estão o Succinct e o SP1. Agora, o ZKP é uma tecnologia para todos, não apenas para alguns selecionados.