<Por que ZK falhou e o que o Succinct quer mudar?> 1. Consciência do problema O criador do Bitcoin, Satoshi Nakamoto, expressou ceticismo sobre as provas de conhecimento zero (ZKPs). "Para provar que algo não existe, você precisa conhecer toda a transação", disse ele, e julgou que aplicar ZKPs a blockchains é estruturalmente difícil. No entanto, ele também disse: "Se encontrarmos uma solução, será possível implementar o Bitcoin muito melhor, mais fácil e mais conveniente". Em outras palavras, embora reconheçam as limitações técnicas do ZK, eles reconheceram que, se fossem abordadas, poderiam ser um grande ponto de virada na evolução do blockchain. Agora, anos depois, a comunidade cypherpunk e os pesquisadores da ZK finalmente encontraram uma solução. A Zcash foi a primeira a aplicar o ZKP a criptomoedas do mundo real, e projetos 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 do zkEVM requer profundo conhecimento, anos de desenvolvimento e hardware de alto desempenho, e a maioria dos projetos depende de provedores de prova específicos em vez de operar sua própria infraestrutura ZKP. Como resultado, os ZKPs continuaram sendo uma ferramenta complexa que apenas alguns podiam lidar, em vez de uma "tecnologia que qualquer um pode usar". 2. O que é sucinto? Sucinta (@SuccinctLabs) é uma tentativa de abordar esse problema de frente. A chave é transformar os ZKPs em uma infraestrutura que possa ser facilmente usada por todos os desenvolvedores e ajudar qualquer pessoa a criar um "sistema sem confiança" sem a necessidade de circuitos ou infraestrutura complexa. Succinct é uma infraestrutura que transforma o ideal de um sistema "sem confiança" que o blockchain vem buscando em uma realidade que pode realmente ser realizada. Trustless não significa "não confiável", mas refere-se a uma estrutura que opera por conta própria sem a premissa de confiança, ou seja, um sistema que pode ser matematicamente verificável sem a necessidade de um terceiro ou autoridade central. No entanto, o atual ecossistema blockchain ainda depende muito da confiança. Hacks de ponte, operações multisig e delegação centralizada de validadores são provas de que o sistema funciona apenas quando ainda confiamos em pessoas e organizações. Uma tentativa de romper esse limite baseado em confiança é a tecnologia ZKP, ou Zero-Knowledge Proof. Essa tecnologia, que nos permite provar matematicamente que "esse cálculo está correto" sem ter que confiar em ninguém, é claramente uma base fundamental para sistemas descentralizados. O problema era que os ZKPs eram muito complexos e pesados para realmente escrever. 3. Por que os ZKPs pareciam difíceis? A tecnologia ZKP tem sido tão alta quanto seu potencial. Em particular, a criação do zkEVM exigiu uma equipe profissional, anos de desenvolvimento e infraestrutura cara. A maioria dos projetos zk teve que projetar seus próprios circuitos, construir zkVMs dedicados e até mesmo operar o hardware por conta própria. Foi só depois de passar por todos esses processos que eles puderam se chamar de "ZK rollups". Além disso, os zkVMs tradicionais de uso geral têm sido altamente ineficientes na geração de provas. Normalmente, provar um bloco exigia um cluster de dezenas de máquinas de alto desempenho, e o custo chegava a US$ 10~US$ 20 por bloco. Devido a essa alta carga técnica e custos operacionais, muitos projetos abandonaram a introdução de ZKPs ou optaram por estruturas que dependem de alguns provedores de prova centralizados. 4. Tentativa de Succinct @SuccinctLabs vê esses problemas estruturais como "problemas de infraestrutura". Os ZKPs são poderosos o suficiente tecnicamente, mas o problema é quem os implementa, como e a que custo. É por isso que a Succinct está criando uma rede de prova descentralizada que é facilmente acessível a todos, sem a necessidade de projetos individuais operarem sua própria infraestrutura de prova. Os desenvolvedores não precisam configurar zkVMs complexos ou fornecer hardware. Quando uma solicitação de prova é enviada para a rede, as sondas com hardware diferente fazem lances para processá-la. Os custos de prova caem naturalmente por meio da concorrência, e os sondas geram provas de forma eficiente com equipamentos de alto desempenho. O resultado são provas rápidas e baratas para desenvolvedores e uma infraestrutura de prova altamente disponível e resistente à censura para todo o ecossistema. A Succinct não está apenas demonstrando suas possibilidades técnicas, mas também provando seu papel em áreas onde surge uma demanda real. Um exemplo típico é o fluxo 'CLOBs on Blobs' que surgiu no ecossistema @celestia. Com o surgimento de livros de pedidos descentralizados (CLOBs) de alto desempenho no topo do espaço de blobs do Celestia, o processamento de dados em larga escala e as provas rápidas de estado são necessidades essenciais de infraestrutura. Projetos como Hyperliquid e @hibachi_xyz estão implementando transações complexas de livro de pedidos e lógica de descoberta de preços on-chain, exigindo escalabilidade e desempenho além de simples rollups. É aqui que a camada de disponibilidade de dados de alto desempenho da Celestia e a infraestrutura descentralizada de prova ZK fornecida pela Succinct são necessárias. Na verdade, o Celestia está experimentando um rápido aumento na taxa de uso real do espaço de blob, com a infraestrutura ZK, como o Sucinct, contribuindo silenciosamente por trás disso. Se o Celestia fornecer um "armazenamento de dados verificável", o Succinct será responsável por criar uma "transição de estado verificável" sobre esses dados. Essa combinação é o ponto de partida para a tecnologia ZKP ir além das teorias abstratas para os sistemas do mundo real. 5. zkEVM, SP1 e SP1 Reth que podem ser manuseados por qualquer pessoa A Succinct, que resolveu a acessibilidade da infraestrutura dessa maneira, desenvolveu um zkVM de código aberto chamado SP1 (Succinct Processor 1) para diminuir a barreira de entrada para os próprios zkVMs. O SP1 é um zkVM de uso geral implementado em Rust, projetado para ser usado diretamente por qualquer pessoa sem a necessidade de projetos de circuitos complexos como os zkEVMs tradicionais. Um dos primeiros exemplos do 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 e é facilmente construído reutilizando componentes do ecossistema de clientes Ethereum existente (Reth, Revm, Alloy, etc.). O que é ainda mais surpreendente é o seu desempenho. O SP1 Reth tem um custo médio de prova por transação Ethereum de apenas US$ 0,01~0,02, que é menor do que os custos comuns de disponibilidade de dados no L2. Esse desempenho é possível graças ao sistema de 'pré-compilação' do SP1. Operações computacionalmente intensivas, como funções de hash e verificação de assinatura, são tratadas com uma estrutura pré-otimizada, reduzindo significativamente os recursos consumidos pelas zkVMs. Até agora, a implementação do zkEVM com zkVMs custava até US$ 10~20 por bloco, mas o SP1 Reth conseguiu reduzir isso para um dígito. Tanto o SP1 quanto o SP1 Reth são totalmente de código aberto e qualquer pessoa pode bifurcá-los para criar seu próprio zkEVM ou adicionar pré-compilações para melhorar o desempenho. Esta é uma mudança que derruba completamente o ambiente de desenvolvimento zk existente de alto custo e alta dificuldade e abre uma era em que qualquer desenvolvedor Rust pode participar do sistema zk. 6. Afinal, o ZK agora está disponível para todos Succinct não é apenas sobre o potencial técnico da tecnologia ZKP, mas também sobre a peça final do quebra-cabeça: acessibilidade e praticidade. Sem circuitos complexos ou hardware dedicado, qualquer pessoa pode criar aplicativos usando ZKP, e a prova é tratada por uma rede descentralizada. Uma era em que todos os rollups podem ser ZK rollups, e a Internet que funciona apenas com a verdade. Nesse ponto de partida estão o Succinct e o SP1. Agora, os ZKPs são a tecnologia de todos, não de alguns.