Al ver algunos de los comentarios, me doy cuenta de que puede haber cierta confusión o malentendido sobre lo que esto significa. Confirmo y reitero que este es un rendimiento increíble y que ningún otro sistema de prueba en el mundo actual puede lograr tales hazañas con este nivel de rentabilidad, falta de confianza y solidez. Estamos ampliando los límites de la tecnología ZK para hacer que la historia de Bitcoin sea verificable de formas que antes eran inimaginables. Primero, algunos comentarios sugirieron sarcasmo como: "Lo bajaron hasta 6.5 horas", lo que implica que es lento o decepcionante. Hmm, ¡creo que hay una gran confusión aquí! Las 6,5 horas es el tiempo para generar la PRUEBA RECURSIVA COMPLETA para toda la cadena. Esto se hace SOLO UNA VEZ, por UNA máquina (y estamos optimizando para reducir aún más los costos). CENTRÉMONOS EN EL VERDADERO NEGOCIO => La verificación tarda solo 50-100 MILISEGUNDOS, incluso en dispositivos pequeños como teléfonos. No se trata de probar el tiempo, es la asimetría que proporcionan los STARK: la prueba es intensiva en cómputo pero única; La verificación es increíblemente rápida y escala infinitamente. A medida que trabajamos duro para poder probar la ejecución completa del bloque (scripts, txs, etc.), la verificación seguirá siendo de ~ 100 ms para toda la cadena. ¡Ese es el cambio de juego! Siguiente elemento: "Las pruebas no validan". En realidad, ¡verificar la prueba valida! En lugar de volver a ejecutar todo (de la forma lenta y tradicional), verifica la prueba STARK, que criptográficamente garantiza el mismo resultado, pero exponencialmente más rápido y con menos cálculo. Es como comprimir la validación en una verificación pequeña y eficiente sin sacrificar la seguridad. Para explicarlo mejor, aquí hay un flujo de trabajo de alto nivel para nuestra prueba SPV comprimida (usando STARK a través de Cairo + Stwo): - Ejecución por lotes: Un ejecutor procesa lotes de encabezados de bloques de Bitcoin (por ejemplo, 1-10k, luego 10k-20k) con el gestor de arranque y asume programas Cairo válidos, generando rastros y entradas de ejecución. - Generación de pruebas: Un probador crea una prueba STARK que atestigua que la lógica de validación de bloques se ejecutó correctamente sobre esos encabezados. - Verificación: La prueba comprimida + el estado actual de la cadena + la raíz MMR va a un verificador dentro / fuera de la cadena, que confirma sin confianza: Validez y vinculación de todos los encabezados a la génesis. * Inclusión del bloque objetivo (a través de la prueba MMR). * Dificultad/trabajo acumulativo suficiente. * Marcas de tiempo correctas y reglas de consenso. * Inclusión de tx objetivo (a través de la prueba Merkle / SPV). Vea más detalles aquí: Y la implementación del programa principal de El Cairo aquí: