De 0 a ZK Conceito Bites #5: Sucinção No nosso último Concept Bite, falamos sobre quando a propriedade de "conhecimento zero" realmente importa para a privacidade. Mas a privacidade é apenas um dos dois superpoderes de ZK. A outra, a sucinção, é a que Brevis usa em quase todas as integrações que lançamos. 🚀 Sucinta significa que uma demonstração é dramaticamente menor do que o cálculo que ela prova. Processe 100.000 transações, e a prova resultante é de alguns kilobytes. Verifique a execução completa de um bloco Ethereum, e a prova cabe em uma única chamada on-chain. O tamanho da prova permanece aproximadamente constante, não importa o quão pesada fosse a carga de trabalho original. É aqui que fica interessante. Gerar uma prova na verdade custa mais do que apenas executar o próprio cálculo, porque o provador precisa realizar operações criptográficas adicionais além da execução bruta. Mas verificar essa prova custa quase nada em comparação. O relacionamento é o seguinte: Provando > Execução >> Verificação. Essa estrutura de custos é exatamente o que as blockchains precisam. Hoje, cada transação Ethereum é reexecutada por centenas de milhares de validadores de forma independente, o mesmo trabalho repetido em toda a rede. Com provas sucintas, uma das partes faz o trabalho pesado e produz uma prova compacta. Todo mundo só confere. A rede vai de "todo mundo faz tudo" para "calcule uma vez, verifique em todos os lugares." 📜 É por isso que a Brevis pode oferecer coisas como consultas de dados históricos para os níveis de taxas VIP da PancakeSwap, ou distribuições de recompensas bilhionárias de tokens para a Linea, sem aumentar os custos de combustível. O cálculo acontece fora da cadeia, onde é barato. A prova chega na cadeia, onde a verificação é fixa e acessível, independentemente de quanto dados foram processados nos bastidores. A concisão também é o motivo pelo qual a prova de blocos em tempo real do Ethereum do Pico Prism funciona. Provar a execução de um bloco inteiro e comprimi-lo em algo que um contrato inteligente possa verificar em milissegundos seria inútil se a prova em si fosse tão grande quanto os dados do bloco. A taxa de compressão é o que torna todo o modelo viável. Leia a Parte 2: