De ZK-circuits van Citrea zijn speciaal ontworpen voor Bitcoin om te kunnen: - Bitcoin-apps die bijdragen aan de miner-economie - Bitcoin-brug die wordt geverifieerd door zijn netwerk 🧵

De circuits van Citrea bewijzen twee dingen tegelijk: • Uitvoeringsbewijzen (het bewijzen van de correctheid van Citrea-transacties) • Bitcoin blockspace bewijzen (het produceren van een beknopt bewijs van Citrea voor de validerende brug, Clementine).

Uitvoeringsbewijs: Voor elke batch van Citrea-blokken verifieert de circuit alle tx-uitvoeringen en statusovergangen. Het geeft de volgende output: • Initiële en finale statuswortels • Het statusverschil • De laatste Bitcoin-blockhash die bekend is bij Citrea Het bewijs wordt vervolgens ingediend bij Bitcoin.

Blockspace Proving: De circuit scant Bitcoin-blokken om alle eerdere Citrea-uitvoeringsbewijzen en sequencerverbintenissen te verifiëren. De functie is om: • Een enkel bewijs te leveren voor de volledige Citrea-geschiedenis

Het resultaat: Een applicatielaag die volledig is afgestemd op Bitcoin.