Циркуляры ZK от Citrea созданы специально для Bitcoin, чтобы обеспечить: - Bitcoin-приложения, которые способствуют экономике майнеров - Bitcoin-мост, который проверяется его сетью 🧵

Цирcuits Citrea доказывают две вещи одновременно: • Доказательство выполнения (доказательство корректности транзакций Citrea) • Доказательство блокпространства Bitcoin (создание сжатого доказательства Citrea для валидирующего моста, Clementine).

Доказательство выполнения: Для каждой партии блоков Citrea схема проверяет все выполнения транзакций и переходы состояния. Она выводит: • Начальные и конечные корни состояния • Разницу состояния • Последний хэш блока Bitcoin, известный Citrea Доказательство затем отправляется в Bitcoin.

Доказательство блокпространства: Схема сканирует блоки Bitcoin, чтобы проверить все предыдущие доказательства выполнения Citrea и обязательства секвенсора. Ее функция заключается в том, чтобы: • Предоставить одно доказательство для всей истории Citrea

Результат: Приложенческий уровень, полностью соответствующий Bitcoin.