Os circuitos ZK da Citrea são projetados especificamente para o Bitcoin para permitir: - Aplicativos de Bitcoin que contribuem para a economia dos mineradores - Ponte de Bitcoin que é verificada pela sua rede 🧵

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

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

Prova de Espaço de Bloco: O circuito analisa os blocos do Bitcoin para verificar todas as provas de execução anteriores do Citrea e os compromissos do sequenciador. A sua função é: • Fornecer uma única prova para toda a história do Citrea

O resultado: Uma camada de aplicação que está totalmente alinhada com o Bitcoin.