Citreas ZK-kretser er spesiallaget for at Bitcoin skal muliggjøre: - Bitcoin-apper som bidrar til minerøkonomien - Bitcoin-bro som er verifisert av sitt nettverk 🧵

Citreas kretser beviser to ting samtidig: • Gjennomføringsbevis (bevis på korrektheten av Citrea-transaksjoner) • Bitcoin blockspace-bevis (produserer et kortfattet bevis av Citrea for valideringsbroen, Clementine).

Bevis på henrettelse: For hver batch med Citrea-blokker verifiserer kretsen alle transksjons- og tilstandsoverganger. Den gir ut: • Initial- og sluttstatusrøtter • Tilstandsforskjellen • Den siste Bitcoin blockhashen kjent av Citrea Beviset sendes deretter til Bitcoin.

Blockspace-bevis: Kretsen skanner Bitcoin-blokker for å verifisere alle tidligere Citrea-utførelsesbevis og sekvenseringsforpliktelser. Dens funksjon er å: • Gi ett enkelt bevis for hele Citrea-historien

Resultatet: Et applikasjonslag som er fullstendig Bitcoin-justert.