Схеми ZK від Citrea спеціально створені для того, щоб Bitcoin забезпечував: - Біткоїн-додатки, які сприяють майнерській економіці - Біткоїн-міст, який перевіряється мережею 🧵

Схеми Citrea одночасно доводять дві речі: • Доведення виконання (підтвердження коректності транзакцій Citrea) • Доведення Bitcoin blockspace (отримання стислого доказу Citrea для валідуючого мосту Clementine).

Докази страти: Для кожної партії блоків Citrea схема перевіряє всі переходи виконання та станів tx. Він виводить: • Початкові та кінцеві корені стану • Різниця між штатами • Останній відомий Citrea блокхеш біткоїна Потім докази подаються на Bitcoin.

Доведення в Blockspace: Схема сканує блоки Bitcoin, щоб перевірити всі попередні докази виконання Citrea та зобов'язання секвенсорів. Її функція полягає в наступному: • Надати єдиний доказ повної історії Цитреї

Результат: Додатковий шар, повністю узгоджений із Bitcoin.