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

Los circuitos de Citrea demuestran dos cosas en conjunto: • Prueba de ejecución (demostrando la corrección de las transacciones de Citrea) • Prueba de espacio en bloque de Bitcoin (produciendo una prueba sucinta de Citrea para el puente de validación, Clementine).

Prueba de Ejecución: Para cada lote de bloques de Citrea, el circuito verifica toda la ejecución de transacciones y las transiciones de estado. Produce: • Raíces de estado inicial y final • La diferencia de estado • El último hash de bloque de Bitcoin conocido por Citrea La prueba se envía luego a Bitcoin.

Prueba de espacio en bloque: El circuito escanea bloques de Bitcoin para verificar todas las pruebas de ejecución anteriores de Citrea y los compromisos del secuenciador. Su función es: • Proporcionar una única prueba para toda la historia de Citrea

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