Введення ZK-верифікації: неминучий тренд протоколу Біткойн
Біткойн як соціальна система, його стабільна робота залежить від досягнення консенсусу людей щодо його суті та належного вигляду. Проте, з ключових питань все ще існують широкі та постійно еволюціонуючі розбіжності.
Сатоші Накамото спочатку задумував Біткойн як абсолютно нову P2P електронну платіжну систему. Але в дизайні продукту Біткойн обмежив пропускну спроможність даних, що призвело до високих комісій за транзакції. Крім того, дані транзакцій на ланцюгу Біткойн в значній мірі викривають приватність користувачів, що дуже відрізняється від задуманої анонімності.
Щоб вирішити ці проблеми, спільнота Біткойн запропонувала багато вдосконалень, серед яких теоретично найкращим є впровадження технологій ZK та SNARKs. Ці технології можуть суттєво покращити конфіденційність та підвищити пропускну здатність транзакцій. Але через те, що модифікувати протокол Біткойн дуже важко, ці технології досі не були впроваджені в протокол Біткойн.
Функціональність скриптів Біткойн обмежена, вони не можуть безпосередньо перевіряти SNARK. Хоча теоретично можна перевірити будь-який обчислення, на практиці розмір програми, необхідний для перевірки SNARK, перевищує обмеження розміру блоку Біткойн.
Щоб реалізувати перевірку SNARK у Біткойні, наразі існує два можливих шляхи:
Завдяки активації простих операційних кодів, таких як OP_CAT, розширюється функціональність скриптів Біткойн, що дозволяє їм перевіряти SNARK. OP_CAT може бути використаний для верифікації Merkle-доказів, що сприяє перевірці SNARK на основі FRI.
Використовуючи технологію BitVM, можна перевіряти будь-яке обчислювальне завдання без зміни протоколу. BitVM обійшов обмеження розміру скриптів за допомогою структури Taproot MerkleTree та схеми зберігання KV, а також використовує механізм шахрайських доказів для забезпечення безпеки.
Крім того, технологія Chain State Proofs, запропонована командою ZeroSync, у поєднанні з ZK може значно зменшити обсяг роботи з синхронізації та верифікації історичних даних Біткойн, знижуючи витрати на роботу вузлів.
В цілому, впровадження ZK-верифікації є неминучим трендом протоколу Біткойн, але конкретні шляхи реалізації потребують подальших досліджень і обговорень. Незалежно від обраного варіанту, кінцевою метою повинно бути підтримка більшої кількості практичних сценаріїв та підвищення їхньої корисності.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
19 лайків
Нагородити
19
3
Репост
Поділіться
Прокоментувати
0/400
NftDeepBreather
· 07-27 21:53
Додаток zk зможе зрости на скільки?
Переглянути оригіналвідповісти на0
LiquidationAlert
· 07-25 15:42
BTC знову оновлюється? В будь-якому випадку протокол не змінити
Переглянути оригіналвідповісти на0
TxFailed
· 07-25 15:40
технічно кажучи... btc застряг у 2009, тоді як zk вже рятує користувачів eth від нічних жахів конфіденційності
ZK верифікація: обов'язковий шлях еволюції протоколу Біткойн
Введення ZK-верифікації: неминучий тренд протоколу Біткойн
Біткойн як соціальна система, його стабільна робота залежить від досягнення консенсусу людей щодо його суті та належного вигляду. Проте, з ключових питань все ще існують широкі та постійно еволюціонуючі розбіжності.
Сатоші Накамото спочатку задумував Біткойн як абсолютно нову P2P електронну платіжну систему. Але в дизайні продукту Біткойн обмежив пропускну спроможність даних, що призвело до високих комісій за транзакції. Крім того, дані транзакцій на ланцюгу Біткойн в значній мірі викривають приватність користувачів, що дуже відрізняється від задуманої анонімності.
Щоб вирішити ці проблеми, спільнота Біткойн запропонувала багато вдосконалень, серед яких теоретично найкращим є впровадження технологій ZK та SNARKs. Ці технології можуть суттєво покращити конфіденційність та підвищити пропускну здатність транзакцій. Але через те, що модифікувати протокол Біткойн дуже важко, ці технології досі не були впроваджені в протокол Біткойн.
Функціональність скриптів Біткойн обмежена, вони не можуть безпосередньо перевіряти SNARK. Хоча теоретично можна перевірити будь-який обчислення, на практиці розмір програми, необхідний для перевірки SNARK, перевищує обмеження розміру блоку Біткойн.
Щоб реалізувати перевірку SNARK у Біткойні, наразі існує два можливих шляхи:
Крім того, технологія Chain State Proofs, запропонована командою ZeroSync, у поєднанні з ZK може значно зменшити обсяг роботи з синхронізації та верифікації історичних даних Біткойн, знижуючи витрати на роботу вузлів.
В цілому, впровадження ZK-верифікації є неминучим трендом протоколу Біткойн, але конкретні шляхи реалізації потребують подальших досліджень і обговорень. Незалежно від обраного варіанту, кінцевою метою повинно бути підтримка більшої кількості практичних сценаріїв та підвищення їхньої корисності.