Circuitele ZK ale Citreei sunt construite special pentru ca Bitcoin să permită: - Aplicații Bitcoin care contribuie la economia minerilor - Punte Bitcoin verificată de rețeaua sa 🧵

Circuitele lui Citrea demonstrează două lucruri în paralel: • Demonstrarea execuției (dovedirea corectitudinii tranzacțiilor Citrea) • Demonstrarea spațiului de blocuri Bitcoin (producând o demonstrație concisă a lui Citrea pentru podul de validare, Clementine).

Demonstrarea execuției: Pentru fiecare lot de blocuri Citrea, circuitul verifică toate execuțiile și tranzițiile de stare ale transmisiunii. Emite: • Rădăcinile de stare inițială și finală • Diferența de stat • Ultimul blockhash Bitcoin cunoscut de Citrea Dovada este apoi trimisă către Bitcoin.

Demonstrarea spațiului pe blocuri: Circuitul scanează blocurile Bitcoin pentru a verifica toate dovezile anterioare de execuție Citrea și angajamentele secvențiatoarelor. Funcția sa este: • Să ofere o singură dovadă pentru întreaga istorie Citrea

Rezultatul: Un strat de aplicație complet aliniat cu Bitcoin.