Sirkuit ZK Citrea dibuat khusus untuk Bitcoin untuk memungkinkan: - Aplikasi Bitcoin yang berkontribusi pada ekonomi penambang - Jembatan Bitcoin yang diverifikasi oleh jaringannya 🧵

Sirkuit Citrea membuktikan dua hal secara bersamaan: • Pembuktian eksekusi (membuktikan kebenaran transaksi Citrea) • Pembuktian ruang blok Bitcoin (menghasilkan bukti singkat Citrea untuk jembatan validasi, Clementine).

Pembuktian Eksekusi: Untuk setiap batch blok Citrea, sirkuit memverifikasi semua eksekusi tx dan transisi status. Ini menghasilkan: • Akar keadaan awal & akhir • Perbedaan status • Blockhash Bitcoin terakhir yang dikenal oleh Citrea Bukti kemudian diserahkan ke Bitcoin.

Pembuktian Blockspace: Sirkuit memindai blok Bitcoin untuk memverifikasi semua bukti eksekusi Citrea sebelumnya dan komitmen sequencer. Fungsinya adalah untuk: • Berikan satu bukti untuk riwayat lengkap Citrea

Hasilnya: Lapisan aplikasi yang sepenuhnya selaras dengan Bitcoin.