<Por que ZK falhou e o que Succinct quer mudar?> 1. Sensibilização para o 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 saber 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 reconhecendo as limitações técnicas da ZK, eles reconheceram que, se fossem abordadas, poderiam ser um grande ponto de virada na evolução do blockchain. Agora, anos mais tarde, 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 melhorar a escalabilidade e verificabilidade do Ethereum. No entanto, ainda existe uma lacuna na realidade. A criação do zkEVM requer profunda experiência, anos de desenvolvimento e hardware de alto desempenho, e a maioria dos projetos depende de fornecedores de provas específicos em vez de operar sua própria infraestrutura ZKP. Como resultado, os ZKPs permaneceram uma ferramenta complexa que apenas alguns poderiam manusear, em vez de uma "tecnologia que qualquer pessoa pode usar". 2. O que é Succinct? Sucinta (@SuccinctLabs) é uma tentativa de abordar esta questão de frente. A chave é transformar 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. Sucinta é uma infraestrutura que transforma o ideal de um sistema 'sem confiança' que o blockchain vem perseguindo 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 de blockchain ainda depende fortemente 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 de frente é a ZKP, ou tecnologia à prova de conhecimento zero. Esta tecnologia, que nos permite provar matematicamente que "este 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 se sentiram difíceis? A tecnologia ZKP tem sido tão elevada quanto o 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 "rollups ZK". 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 $10~$20 por bloco. Devido a esta elevada carga técnica e custos operacionais, muitos projetos abandonaram a introdução de ZKPs ou optaram por estruturas que dependem de alguns fornecedores de provas centralizados. 4. Tentativa sucinta @SuccinctLabs considera estes problemas estruturais como "problemas de infraestruturas". 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 para operar sua própria infraestrutura de prova. Os desenvolvedores não precisam configurar zkVMs complexos ou fornecer hardware. Quando um pedido de prova é enviado para a rede, probers com hardware diferente licitam nele de forma leiloada para processá-lo. Os custos de prova diminuem naturalmente através da concorrência, e as 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 a demonstrar as suas possibilidades técnicas, mas também a provar o seu papel em áreas onde surge uma procura 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 blob da Celestia, o processamento de dados em larga escala e as provas de estado rápidas são necessidades essenciais de infraestrutura. Projetos como Hyperliquid e @hibachi_xyz estão implementando transações complexas do livro de ordens 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 à prova de ZK fornecida pela Succinct são necessárias. Na verdade, a Celestia está experimentando um rápido aumento na taxa de uso real do espaço blob, com a infraestrutura ZK, como a Succinct, contribuindo silenciosamente por trás dela. Se a Celestia fornece um "armazenamento de dados verificável", a Succinct é responsável por criar uma "transição de estado verificável" sobre esses dados. Esta combinação é o ponto de partida para a tecnologia ZKP ir além de teorias abstratas para sistemas do mundo real. 5. zkEVM, SP1 e SP1 Reth que podem ser manuseados por qualquer pessoa Sucinta, que resolveu a acessibilidade da infraestrutura desta forma, desenvolveu um zkVM de código aberto chamado SP1 (Succinct Processor 1) para reduzir 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 um design de circuito complexo como os zkEVMs tradicionais. Um exemplo inicial do potencial do SP1 é o SP1 Reth. 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 cliente 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 $0.01~0.02, que é menor do que os custos comuns de disponibilidade de dados em L2. Este 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 pelos 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 onde qualquer desenvolvedor Rust pode participar do sistema zk. 6. Afinal, ZK está agora disponível para todos Sucinta 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 é manipulada por uma rede descentralizada. Uma era onde todos os rollups podem ser rollups ZK, e a Internet que funciona apenas com a verdade. Nesse ponto de partida está Succinct e SP1. Agora, ZKPs são a tecnologia de todos, não de alguns.