Obvody ZK od Citrea jsou speciálně navrženy pro Bitcoin tak, aby umožnily: - Bitcoinové aplikace, které přispívají k ekonomice těžařů - Bitcoinový most, který je ověřen svou sítí 🧵

Obvody Citrey dokazují dvě věci současně: • Dokazování provádění (dokazování správnosti transakcí Citrea) • Důkaz bitcoinového blokového prostoru (vytvoření stručného důkazu Citrea pro validační most, Clementine).

Důkazy o provedení: Pro každou dávku bloků Citrea obvod ověřuje všechny tx provádění a přechody stavů. Výstup: • Počáteční a konečné kořeny stavu • Rozdíl mezi stavy • Poslední bitcoinový blockhash známý Citreou Důkaz je pak předložen Bitcoinu.

Dokazování blokového prostoru: Obvod skenuje bitcoinové bloky, aby ověřil všechny předchozí důkazy o spuštění Citrea a závazky sekvencerů. Jeho funkcí je: • Poskytnout jediný důkaz pro celou historii Citrea

Výsledek: Aplikační vrstva plně sladěná s Bitcoinem.