<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. ...