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