<Por que o ZK falhou e o que o Succinct está tentando mudar?> 1. Consciência do Problema O criador do Bitcoin, Satoshi Nakamoto, expressou ceticismo sobre 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, ao reconhecer as limitações técnicas do ZK, ele reconheceu que, se resolvidas, poderia ser um ponto de virada significativo na evolução do blockchain. Anos depois, a comunidade cypherpunk e os pesquisadores de ZK finalmente encontraram essa solução. O Zcash foi o primeiro caso a aplicar ZKP a uma criptomoeda real, e projetos subsequentes como StarkWare, zkSync e Scroll desenvolveram essa tecnologia como um meio chave para melhorar a escalabilidade e a verificabilidade do Ethereum. No entanto, ainda há uma lacuna na realidade. Criar um zkEVM requer uma profunda especialização, anos de tempo de desenvolvimento e hardware de alto desempenho, e a maioria dos projetos acaba dependendo de provedores de prova específicos em vez de operar sua própria infraestrutura de ZKP. Como resultado, o ZKP continua sendo uma ferramenta complexa que apenas alguns podem manusear, em vez de uma tecnologia que qualquer um possa usar. 2. O que é Succinct? Succinct (@SuccinctLabs) é uma tentativa de abordar diretamente essa questão. Sua missão central é transformar o ZKP em uma infraestrutura que todos os desenvolvedores possam usar facilmente, permitindo que qualquer um crie um 'sistema sem confiança' sem circuitos ou infraestrutura complexos. Succinct é uma infraestrutura que transforma o ideal de um sistema 'sem confiança', que o blockchain tem perseguido, em uma realidade praticamente implementável. Sem confiança não significa 'não confiável'; em vez disso, refere-se a uma estrutura que opera de forma independente sem depender de confiança, ou seja, um sistema matematicamente verificável sem terceiros ou autoridades centrais. No entanto, o ecossistema blockchain atual ainda depende fortemente da confiança. Hacks de ponte, operações de múltiplas assinaturas e delegações de validadores centralizados servem como evidências 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 de Prova de Conhecimento Zero (ZKP). Essa tecnologia permite provar matematicamente que "este cálculo está correto" sem confiar em ninguém, tornando-se uma base fundamental para sistemas descentralizados. O problema tem sido que o ZKP é muito complexo e pesado para uso prático. 3. Por que o ZKP parecia difícil? A tecnologia ZKP tem altas barreiras tanto quanto seu potencial. Em particular, criar 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 após passar por todos esses processos poderiam reivindicar 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 $10 a $20 por bloco. Devido a esses encargos técnicos e custos operacionais, muitos projetos ou abandonaram a introdução do ZKP completamente ou escolheram depender de alguns provedores de prova centralizados. 4. A Tentativa do Succinct @SuccinctLabs vê esses problemas estruturais como 'problemas de infraestrutura'. O ZKP é tecnicamente poderoso o suficiente, mas a questão é quem, como e a que custo é implementado. Portanto, o Succinct está criando uma rede de provadores descentralizada que qualquer um pode acessar facilmente, sem que projetos individuais precisem operar a infraestrutura de prova diretamente. Os desenvolvedores não precisam configurar zkVMs complexos ou adquirir hardware. Quando enviam solicitações de prova para a rede, vários provedores com diferentes hardwares fazem lances para processá-las de maneira semelhante a um leilão. Os custos de prova naturalmente diminuem através da competição, e os provedores geram provas de forma eficiente 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 prova com alta disponibilidade e resistência à censura. Succinct não está apenas demonstrando possibilidades técnicas; está provando seu papel em áreas onde a demanda real surge. Um exemplo representativo é o surgimento da tendência 'CLOBs em Blobs' no ecossistema @celestia. Trocas descentralizadas usando métodos de livro de ordens central limitados (CLOB) de alto desempenho estão aparecendo no espaço de blobs da Celestia, levando a demandas de infraestrutura para processamento de dados em larga escala e provas de estado rápidas. Projetos como Hyperliquid e @hibachi_xyz estão implementando lógica complexa de negociação de livro de ordens e descoberta de preços em cadeia, 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 de prova ZK descentralizada fornecida pelo Succinct. De fato, a Celestia viu um aumento rápido no uso real do espaço de blobs, e por trás disso, infraestruturas ZK como o Succinct estão contribuindo silenciosamente. Se a 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 tecnologia ZKP transitar 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, o Succinct também visa reduzir as barreiras de entrada do zkVM em si, desenvolvendo um zkVM de código aberto chamado SP1 (Succinct Processor 1). O SP1 é um zkVM de uso geral implementado em Rust, projetado para que qualquer um possa 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 do tipo 1 implementado com cerca de 2.000 linhas de código Rust, facilmente configurado reutilizando componentes do ecossistema de clientes Ethereum existentes (Reth, Revm, Alloy, etc.). Ainda mais surpreendente é seu desempenho. O custo médio de prova por transação Ethereum para o SP1 Reth é de apenas cerca de $0,01 a $0,02, que é inferior aos 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 hash e verificações de assinatura, em uma estrutura pré-otimizada, reduzindo significativamente os recursos consumidos pelo zkVM. Até agora, implementar zkEVM com um zkVM custava de $10 a $20 por bloco, mas o SP1 Reth conseguiu reduzir isso para cifras de um único dígito. Tanto o SP1 quanto o SP1 Reth são totalmente de código aberto e estão disponíveis para qualquer um forkar e criar seu próprio zkEVM ou adicionar pré-compilações para melhorar o desempenho. Isso representa uma completa revolução no ambiente de desenvolvimento zk de alto custo e alta dificuldade existente, abrindo uma era em que qualquer desenvolvedor Rust pode participar de sistemas zk. 6. Em última análise, o ZK agora é acessível a todos O Succinct está preenchendo as últimas peças do quebra-cabeça do potencial, acessibilidade e praticidade da tecnologia ZKP. Sem circuitos complexos ou hardware dedicado, qualquer um pode criar aplicações utilizando ZKP, e as provas são processadas por uma rede descentralizada. Estamos entrando em uma era onde todos os rollups podem se tornar rollups ZK, e a internet opera exclusivamente com base na verdade. No ponto de partida disso está o Succinct e o SP1. Agora, o ZKP é uma tecnologia para todos, não apenas para alguns selecionados.