De 0 a ZK Concept 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. El otro, la concisión, es el que Brevis utiliza en casi cada integración que lanzamos. 🚀 La concisión significa que una prueba es dramáticamente más pequeña que la computación que prueba. Procesa 100,000 transacciones, y la prueba resultante es de unos pocos kilobytes. Verifica la ejecución de un bloque completo de Ethereum, y la prueba cabe en una sola llamada en la cadena. El tamaño de la prueba se mantiene aproximadamente constante sin importar cuán pesada fue la carga de trabajo original. Aquí es donde se pone interesante. Generar una prueba en realidad cuesta más que simplemente ejecutar la computación en sí, porque el probador 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 se ve así: Probar > Ejecución >> Verificación. Esa estructura de costos es exactamente lo que necesitan las blockchains. Hoy en día, cada transacción de Ethereum se vuelve a ejecutar por cientos de miles de validadores de forma independiente, el mismo trabajo repetido en toda la red. Con pruebas concisas, una parte hace el trabajo pesado y produce una prueba compacta. Todos los demás solo la verifican. La red pasa de "todos hacen todo" a "computar una vez, verificar en todas partes." 📜 Esta es la razón por la que Brevis puede ofrecer cosas como consultas de datos históricos para los niveles de tarifas VIP de PancakeSwap, o distribuciones de recompensas de mil millones de tokens para Linea, sin aumentar los costos de gas. La computación ocurre fuera de la cadena donde es barata. La prueba llega a la cadena donde la verificación es fija y asequible, independientemente de cuántos datos se procesaron tras bambalinas. La concisión también es la razón por la que la prueba en tiempo real de bloques de Ethereum de Pico Prism funciona en absoluto. Probar la ejecución de un bloque completo y comprimirlo en algo que un contrato inteligente pueda verificar en milisegundos sería inútil si la prueba 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: