Los circuitos ZK de Citrea están diseñados específicamente para Bitcoin y así permitir: - Aplicaciones de Bitcoin que contribuyen a la economía minera - Puente de Bitcoin verificado por su red 🧵

Los circuitos de Citrea demuestran dos cosas en conjunto: • Ejecución demostrando (demostrar la corrección de las transacciones Citrea) • Demostración en espacio de bloques de Bitcoin (produciendo una prueba concisa de Citrea para el puente de validación, Clementine).

Demostración de la ejecución: Para cada lote de bloques Citrea, el circuito verifica todas las ejecuciones de transmisión y transiciones de estado. Emite: • Raíces de estado inicial y final • La diferencia de estado • El último blockhash de Bitcoin conocido por Citrea La prueba se presenta entonces a Bitcoin.

Demostración de espacios de bloques: El circuito escanea bloques de Bitcoin para verificar todas las pruebas de ejecución previas de Citrea y los compromisos de secuenciador. Su función es: • Proporcionar una única prueba para la historia completa de Citrea

El resultado: Una capa de aplicación completamente alineada con Bitcoin.