ZK Básicos | Ep. 8: Por qué las pruebas ZK cuestan tanto Verificar una prueba lleva milisegundos. Crearla es la parte costosa. Aquí va a parar el dinero: 1. La computación se reescribe. Tu programa debe convertirse en una forma que las matemáticas puedan probar: un circuito. Nada en este paso es gratuito. 2. Probar es intensivo. Construir la prueba puede requerir miles de veces más potencia de cómputo que ejecutar el programa normalmente. 3. Hardware especializado. Las pruebas serias se ejecutan en GPUs y chips personalizados, por eso existe toda una industria dedicada a la infraestructura de prueba. 4. Los costos están bajando rápidamente. Han disminuido en órdenes de magnitud en pocos años, precisamente por eso ZK pasó de los artículos a la producción. El intercambio: paga una vez para probar, y permite que todos verifiquen barato para siempre. Guarda este 💜