De 0 a ZK Conceptos Bites #5: Concisión En nuestro último Concept Bite, hablamos sobre cuándo la propiedad de "conocimiento cero" realmente importa para la privacidad. Pero la privacidad es solo uno de los dos superpoderes de ZK. La otra, la concisión, es la que Brevis usa en casi todas las integraciones que lanzamos. 🚀 La concisión significa que una demostración es mucho menor que el cálculo que demuestra. Procesa 100.000 transacciones y la prueba resultante es de unos pocos kilobytes. Verifica la ejecución completa de un bloque de Ethereum y la prueba encaja en una sola llamada on-chain. El tamaño de la demostración se mantiene aproximadamente constante sin importar lo pesada que fuera la carga de trabajo original. Aquí es donde se pone interesante. Generar una demostración en realidad cuesta más que simplemente ejecutar el cálculo en sí, porque el demostrador tiene que realizar operaciones criptográficas adicionales además de la ejecución en bruto. Pero verificar esa prueba cuesta casi nada en comparación. La relación es así: Demostrar > ejecución >> verificación. Esa estructura de costes es exactamente lo que necesitan las blockchains. Hoy en día, cada transacción de Ethereum es reejecutada por cientos de miles de validadores de forma independiente, el mismo trabajo repetido en toda la red. Con pruebas sucintas, una parte hace el trabajo duro y produce una demostración compacta. Todos los demás simplemente lo revisan. La red pasa de "todo el mundo lo hace todo" a "calcular una vez, verificar en todas partes". 📜 Por eso Brevis puede ofrecer cosas como consultas históricas de datos para los niveles VIP de PancakeSwap, o distribuciones de recompensas de mil millones de tokens para Linea, sin que se disparen los costes de la gasolina. El cálculo se hace fuera de la cadena, donde es barato. La prueba llega a la cadena donde la verificación es fija y asequible, independientemente de cuántos datos se hayan procesado entre bastidores. La concisión también es la razón por la que la demostración de bloques en tiempo real de Ethereum de Pico Prism funciona en absoluto. Demostrar la ejecución de un bloque entero y comprimirlo en algo que un contrato inteligente pueda verificar en milisegundos sería inútil si la demostración en sí fuera tan grande como los datos del bloque. La relación de compresión es lo que hace viable todo el modelo. Lee la Parte 2: