Citrea'nın ZK devreleri, Bitcoin için özel olarak tasarlanmıştır ve şunları mümkün kılmak içindir: - Madenci ekonomisine katkıda bulunan Bitcoin uygulamaları - Ağı tarafından doğrulanan Bitcoin köprüsü 🧵

Citrea'nın devreleri birlikte iki şeyi kanıtlar: • Yürütme kanıtı (Citrea işlemlerinin doğruluğunu kanıtlama) • Bitcoin blok alanı kanıtı (doğrulama köprüsü Clementine için Citrea'nın özlü bir kanıtı üretir).

İdam Kanıtı: Her Citrea blok partisi için, devre tüm tx çalıştırma ve durum geçişlerini doğrular. Çıkış sağlar: • Başlangıç ve nihai durum kökleri • Durum farkı • Citrea tarafından bilinen son Bitcoin blok hash Kanıt daha sonra Bitcoin'e gönderilir.

Blok Alanı Kanıtı: Devre, önceki tüm Citrea yürütme ispatlarını ve sequencer taahhütlerini doğrulamak için Bitcoin bloklarını tarar. Görevi şunlardır: • Tam Citrea tarihine dair tek bir kanıt sunmak

Sonuç: Tamamen Bitcoin uyumlu bir uygulama katmanı.