Біткойн підтримує ZK-верифікацію двома шляхами: OP_CAT та BitVM

Біткойн як соціальна система потребує широкого консенсусу для змін у своєму протоколі. З моменту свого виникнення Біткойн все ще стикається з високими комісіями, недостатньою конфіденційністю та іншими проблемами, які терміново потрібно вирішити. Однак зміна протоколу Біткойна не є легкою справою.

У рамках незмінності протоколу Біткойн є два можливих варіанти реалізації функції ZK верифікації:

1. Увімкнення коду операції OP_CAT. OP_CAT може зробити скрипти Біткойн більш потужними, підтримуючи перевірку доказів Меркле, що допомагає реалізувати SNARK-перевірку на основі FRI. OP_CAT раніше існував у ранніх версіях Біткойн, тому ймовірність його повторного увімкнення досить висока.

2. Рішення на базі BitVM. BitVM використовує Taproot і KV-сховище, обходячи обмеження розміру скрипта на блоки Біткойн, що дозволяє перевіряти任意 обчислювальні завдання. Він забезпечує правильність обчислень за допомогою механізму шахрайських доказів.

Крім того, варто звернути увагу на Chain State Proofs, запропоновані командою ZeroSync. Він поєднує технології ZK, що може значно зменшити обсяг роботи з синхронізації та верифікації історичних даних Біткойн, знижуючи витрати на роботу вузлів.

Незалежно від обраного рішення, мета спільноти Біткойн полягає в підтримці більшої кількості реальних сценаріїв застосування за умови забезпечення безпеки. Хоча ці вдосконалення не будуть завершені в короткостроковій перспективі, з довгострокової точки зору впровадження функції ZK-верифікації в Біткойн є неминучим.