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

Біткойн як соціальна система довгостроково стабільно функціонує, завдяки певному консенсусу, досягнутому людьми з ключових питань. Проте, у Біткойна все ще існує кілька проблем, які потребують вирішення, таких як високі комісії за транзакції, недостатня анонімність тощо. Щоб покращити ці проблеми, існують два можливі шляхи:

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

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

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

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