I circuiti ZK di Citrea sono progettati appositamente per Bitcoin per abilitare: - App Bitcoin che contribuiscono all'economia dei miner - Ponte Bitcoin che è verificato dalla sua rete 🧵

I circuiti di Citrea dimostrano due cose in tandem: • Prova di esecuzione (dimostrare la correttezza delle transazioni di Citrea) • Prova di spazio blocco Bitcoin (produrre una prova succinta di Citrea per il ponte di validazione, Clementine).

Prova di Esecuzione: Per ogni batch di blocchi Citrea, il circuito verifica tutte le esecuzioni delle transazioni e le transizioni di stato. Produce: • Radici dello stato iniziale e finale • La differenza di stato • L'ultimo blockhash di Bitcoin conosciuto da Citrea La prova viene quindi inviata a Bitcoin.

Prova di Blockspace: Il circuito scansiona i blocchi di Bitcoin per verificare tutte le precedenti prove di esecuzione di Citrea e gli impegni del sequencer. La sua funzione è: • Fornire una singola prova per l'intera storia di Citrea

Il risultato: Un livello applicativo che è completamente allineato a Bitcoin.