Os circuitos ZK da Citrea são feitos especialmente para o Bitcoin, a fim de permitir: - Aplicativos de Bitcoin que contribuem para a economia dos mineradores - Ponte de Bitcoin verificada por sua rede 🧵

Os circuitos de Citrea provam duas coisas em conjunto: • Prova de execução (comprovação da correção das transações Citrea) • Prova de espaço de blocos Bitcoin (produzindo uma prova sucinta de Citrea para a ponte validadora, Clementine).

Prova de Execução: Para cada lote de blocos Citrea, o circuito verifica toda a execução de transmissão e transições de estado. Ele produz: • Raízes de estado inicial e final • A diferença de estado • O último blockhash de Bitcoin conhecido por Citrea A prova é então submetida ao Bitcoin.

Demonstração de Blocos: O circuito escaneia blocos de Bitcoin para verificar todas as provas de execução anteriores do Citrea e compromissos de sequenciadores. Sua função é: • Fornecer uma única prova para a história completa de Citrea

O resultado: Uma camada de aplicação totalmente alinhada ao Bitcoin.