Citreas ZK-kretsar är specialbyggda för Bitcoin för att möjliggöra: - Bitcoin-appar som bidrar till gruvarnas ekonomi - Bitcoin-brygga som verifieras av dess nätverk 🧵

Citreas kretsar bevisar två saker tillsammans: • Genomförandebevis (bevis på korrektheten i Citrea-transaktioner) • Bitcoin blockspace-bevis (som ger ett kortfattat bevis på Citrea för valideringsbryggan, Clementine).

Genomförandebevis: För varje batch av Citrea-block verifierar kretsen alla exekverings- och tillståndsövergångar. Den ger resultat: • Initiala och slutliga tillståndsrötter • Tillståndsskillnaden • Den sista Bitcoin-blockhashen känd av Citrea Beviset skickas sedan till Bitcoin.

Blockrymdsbevisning: Kretsen skannar Bitcoin-block för att verifiera alla tidigare Citrea-exekveringsbevis och sequencer-åtaganden. Dess funktion är att: • Ge ett enda bevis för hela Citreas historia

Resultatet: Ett applikationslager som är helt Bitcoin-anpassat.