Обидва підходи дають біржі змогу зафіксувати баланси користувачів, не публікуючи їх, і кожен проводить межу приватності в іншому місці. Доказ Меркла показує вам ваш власний рядок і жменю сусідніх гешів; доказ із нульовим розголошенням здатен установити твердження про всю множину, не розкриваючи нічого про жоден рядок. Ціна сильнішої приватності — обчислення, складність і нова річ, якій доводиться довіряти.
Що кожен підхід намагається сховати
Задача в обох випадках однакова. Біржі треба переконати користувачів щодо набору балансів, не перетворюючи цей набір на публічний документ, адже його публікація розкрила б кожного клієнта одразу.
Дерево Меркла розв'язує це так: біржа прив'язується до множини, а кожен користувач перевіряє лише власне членство. Списку не бачить ніхто, а кожному видно достатньо, щоб перевірити свій рядок. Структуру описано в матеріалі дерева Меркла в доказі резервів.
Доказ із нульовим розголошенням береться за складнішу версію тієї самої задачі. Замість того щоб дати кожному перевірити один рядок, він видає єдиний доказ, що твердження про всю множину істинне, не розкриваючи даних, про які це твердження. Що це за клас доказів і як він працює загалом, описано в матеріалі докази з нульовим розголошенням, SNARK і STARK.
Два підходи в зіставленні
| Вимір | Дерево Меркла | Доказ із нульовим розголошенням |
|---|---|---|
| Що перевіряє користувач | Власний рядок проти кореня | Твердження про всю множину |
| Що розкриває доказ | Сусідні геші на вашому шляху | Нічого понад саме твердження |
| Від'ємні або взаємозалікові баланси | Не виявляються | Можуть бути виключені твердженням |
| Вартість створення | Мізерна | Суттєві обчислення |
| Вартість перевірки | Кілька десятків операцій гешування | Один малий доказ, швидко перевірити |
| Чому треба довіряти | Кореню й формату листка | Схемі та тому, як її налаштували |
Читайте рядки парами, а не вниз по стовпцю, бо цікаве саме те, де підходи розходяться, а не як кожен виглядає окремо. Останній рядок змінює форму питання, а не лише числа, і саме тому новіший підхід не є просто кращим.
Що витікає з доказу Меркла
Ваш шлях доказу містить геші, що належать іншим частинам дерева. Геш незворотний, тож про баланси під ними ви не дізнаєтеся нічого, і в цьому сенсі витік близький до нуля.
Але не точно нуля. Ви дізнаєтеся, що дерево має певну форму, приблизно скільки в ньому рахунків і що певні сусідні значення існують. Той, хто збирає багато доказів із часом, дізнається про структуру більше, ніж будь-який окремий користувач.
Саме собою це не небезпечно, і варто зберігати пропорцію: структурні відомості про дерево далекі від відомостей про людину. Практичніша прогалина інша. Оскільки кожен перевіряє лише свій рядок, схема Меркла не виключає балансів, що взаємно гасяться всередині множини, а підсумок, зібраний із рядків, яких ніхто не звіряв, слабший, ніж здається.
Що додає нульове розголошення
Воно змінює те, що взагалі можна довести. Замість доводити членство по одному біржа може довести властивість усієї множини: наприклад, що сума всіх балансів дорівнює заявленій величині і що жоден баланс не був від'ємним.
Друга частина важить більше, ніж звучить. За простої схеми Меркла ніщо не заважає від'ємному запису погасити додатний, і дерево спокійно перевіриться в обох випадках, адже воно фіксує те, що йому дали. Твердження з нульовим розголошенням може зробити це неможливим за побудовою.
Це добрий приклад загального рисунку в криптографії: перехід від доведення екземплярів до доведення властивостей змінює те, що можна гарантувати, а не лише швидкість перевірки. Виграш у приватності теж справжній: перевіряльник дізнається, що твердження виконується, і не дізнається більше нічого, зокрема нічого про форму дерева, тож повторювані докази не складаються в картину клієнтської бази. Схожі міркування рухають його застосування деінде, описане в матеріалі де застосовують нульове розголошення.
Скільки коштує нульове розголошення
Створення доказу дороге. Побудова твердження над мільйонами рахунків потребує суттєвих обчислень, і ця вартість щоперіоду лягає на біржу, а не на читача.
Більша плата — концептуальна. Перевірка Меркла — це кілька десятків гешів, і її перепише будь-хто, хто розуміє гешування; система з нульовим розголошенням стоїть на схемі, що кодує твердження, і на параметрах, з якими схему налаштували. Пересвідчитися, що схема каже саме те, що заявлено, більшості користувачів не до снаги.
Є й рідко згадувана експлуатаційна ціна: у схеми бувають версії, а зміна доводжуваного твердження — це зміна, яку кожен незалежний рецензент має переглянути наново. Тож довіра переміщується, а не зникає. Вам більше не треба довіряти арифметиці біржі, натомість тепер треба довіряти, що схему написано й налаштовано правильно, — зазвичай зі слів тих, хто її переглядав.
Чому жоден не закриває прогалини повноти
Обидва підходи фіксують множину. Жоден не встановлює, що множина містила кожен рахунок, бо пропущений рахунок не лишає сліду в жодній із конструкцій, а жодна доведена властивість множини нічого не каже про те, що лишилося назовні.
Сказати це прямо варто, бо витонченість доказів із нульовим розголошенням спокушає припущенням, ніби вони розв'язують усе. Вони роблять сильніші твердження про дані, які ввійшли; про дані, які не входили, вони не кажуть нічого.
Те саме стосується боку активів і зобов'язань поза клієнтськими балансами. Криптографія вирішує те, що вирішуване про зафіксовану множину, а решта лежить назовні, як викладено в матеріалі обмеження доказу резервів.
Що обрати читачеві
Для перевірки власного балансу доказу Меркла цілком досить, і в нього є перевага: його перевіряють інструментами, які ви здатні прочитати. Простота — справжня властивість безпеки, коли перевіряє сам читач.
Для тверджень про всю множину нульове розголошення строго спроможніше, а можливість виключити від'ємні баланси — найясніший конкретний виграш. Якщо розкриття його пропонує, це сигнал про те, наскільки серйозно сторона, що публікує, ставиться до складнішої половини задачі.
Тож вибір не так про те, яка технологія краща, як про те, на яке питання це розкриття намагається відповісти. На практиці обидва співіснують, а не змагаються: схема цілком може фіксувати деревом, давати користувачам окремі докази й додавати твердження з нульовим розголошенням про агреговані властивості — розумна конструкція, а не суперечність.
Підсумок
Дерево Меркла дає кожному користувачеві дешевий і зрозумілий доказ власного включення й розкриває трохи структурних відомостей. Доказ із нульовим розголошенням здатен установити властивості всієї множини, зокрема відсутність від'ємних балансів, не розкриваючи нічого.
Сильніший інструмент коштує обчислень і переносить довіру на схему, яку більшість людей не може оглянути. І жоден не доводить, що множина була повною: це лишається питанням, на яке криптографія не відповідає. Читайте далі матеріали Bitbase Academy.
Застереження: Ця стаття є освітнім матеріалом Bitbase Academy і надається лише для інформації. Вона не є інвестиційною, торговою, податковою чи фінансовою порадою. Криптоактиви волатильні — оцінюйте ризики самостійно. Написано станом на вересень 2026 року; орієнтуйтеся на найновішу офіційну інформацію.
Джерела
[1] Bitbase, «Доказ резервів» — щомісячне розкриття, корінь Меркла та відкритий верифікатор www.bitbase.com
