Les circuits ZK de Citrea sont conçus spécifiquement pour Bitcoin afin de permettre : - Des applications Bitcoin qui contribuent à l'économie des mineurs - Un pont Bitcoin qui est vérifié par son réseau 🧵

Les circuits de Citrea prouvent deux choses simultanément : • Preuve d'exécution (prouvant la validité des transactions Citrea) • Preuve d'espace de bloc Bitcoin (produisant une preuve succincte de Citrea pour le pont de validation, Clementine).

Preuve d'exécution : Pour chaque lot de blocs Citrea, le circuit vérifie toutes les exécutions de tx et les transitions d'état. Il produit : • Les racines d'état initial et final • La différence d'état • Le dernier blockhash Bitcoin connu par Citrea La preuve est ensuite soumise à Bitcoin.

Preuve de l'espace de bloc : Le circuit analyse les blocs Bitcoin pour vérifier toutes les preuves d'exécution précédentes de Citrea et les engagements du séquenceur. Sa fonction est de : • Fournir une preuve unique pour l'ensemble de l'historique de Citrea

Le résultat : Une couche d'application entièrement alignée sur Bitcoin.