Do zero ao ZK Concept Bites #5: Succinteza No nosso último Concept Bite, falámos sobre quando a propriedade de "zero conhecimento" realmente importa para a privacidade. Mas a privacidade é apenas um dos dois superpoderes do ZK. O outro, a succinteza, é o que a Brevis utiliza em quase todas as integrações que lançamos. 🚀 Succinteza significa que uma prova é dramaticamente menor do que a computação que prova. Processar 100.000 transações, e a prova resultante é de alguns kilobytes. Verificar a execução de um bloco completo do Ethereum, e a prova cabe em uma única chamada on-chain. O tamanho da prova permanece aproximadamente constante, não importa quão pesada foi a carga de trabalho original. Aqui é onde fica interessante. Gerar uma prova na verdade custa mais do que apenas executar a computação em si, porque o provador tem que realizar operações criptográficas adicionais além da execução bruta. Mas verificar essa prova custa quase nada em comparação. A relação é assim: Prova > Execução >> Verificação. Essa estrutura de custos é exatamente o que as blockchains precisam. Hoje, cada transação do Ethereum é re-executada por centenas de milhares de validadores de forma independente, o mesmo trabalho repetido em toda a rede. Com provas sucintas, uma parte faz o trabalho pesado e produz uma prova compacta. Todos os outros apenas a verificam. A rede passa de "todos fazem tudo" para "computar uma vez, verificar em todo lugar." 📜 É por isso que a Brevis pode oferecer coisas como consultas de dados históricos para os níveis de taxa VIP do PancakeSwap, ou distribuições de recompensas de bilhões de tokens para a Linea, sem aumentar os custos de gás. A computação acontece off-chain, onde é barata. A prova chega on-chain, onde a verificação é fixa e acessível, independentemente de quanta informação foi processada nos bastidores. A succinteza é também a razão pela qual a prova em tempo real do bloco do Ethereum da Pico Prism funciona. Provar a execução de um bloco inteiro e comprimi-lo em algo que um contrato inteligente pode verificar em milissegundos seria inútil se a prova em si fosse tão grande quanto os dados do bloco. A razão de compressão é o que torna todo o modelo viável. Leia a Parte 2: