Проблема запечатаного конверта: перевірка без розголошення Проблема візантійських генералів ставить питання: як люди, які не довіряють один одному, можуть досягти згоди щодо відкритої історії: Як ми досягаємо консенсусу без довіри? Поруч з нею розташована суміжна, ортогональна дилема: Як невідома мережа може забезпечити дотримання правил транзакції, вміст якої жодному з її учасників не дозволено бачити? Це — Проблема запечатаного конверта — концептуальний парадокс, вирішений за допомогою грошей із доказом із нульовим розголошенням. Дві виміри розподіленої довіри Bitcoin і Zcash керують двома окремими рівнями розподілених систем: * Проблема візантійських генералів регулює порядок: як невідомі ноди домовляються про те, які транзакції відбулися та в якому порядку? * Проблема запечатаного конверта регулює валідність: як ці ноди перевіряють, що прихована транзакція є законною, платоспроможною та не інфляційною, не перевіряючи її вміст? Bitcoin вирішив проблему відкритого консенсусу, зробивши всю свою історію прозорою. Кожна нода самостійно аудитує книги: відстежує вихідні дані, підраховує публічні баланси та перевіряє підписи. Bitcoin працює, бо кожен учасник читає ту саму сторінку: * Bitcoin: Як ми домовляємося про відкритий реєстр, який може перевірити кожен? $BTC * Zcash: Як ми доводимо, що реєстр збалансований, коли його записи приховані? Консенсус вирішує, який конверт прибув першим; Проблема запечатаного конверта ставить питання: як злостворене навколишнє середовище доводить, що конверт не є підробкою? $ZEC Базар Самарканда Уявіть собі давній перехрестя на Шовковому шляху. Мерчанти з суперницьких імперій зустрічаються під склепінчастими арками: согдійські торговці шовком, перські мінцмейкери та венеційські подорожні. Вони не мають спільного суверена, розмовляють різними мовами та поглиблено підозрюють один одного. Два одягнені у плащі незнайомці зустрічаються посередині площі. На повний огляд натовпу та міської охорони один передає іншому запечатаний восковий конверт. Ніхто не може його розпечатати. Ніхто не має права дізнатися, хто його надав, хто отримав, яку попередню монету вона представляє чи її номінал. Немає довіреного великого везира чи імперського пробника, який тайком перевіряє вміст. Тим не менш, підозрілий натовп повинен бути математично оснащений, щоб відхилити обмін, якщо: * Монета всередині не існує. * Відправник не має законного права її витратити. * Монета вже була витрачена в іншому караван-сараї вчора. * Переказ збільшує грошову масу, створюючи нову монету з повітря. Воск залишається непорушним. Вміст залишається прихованим. Але кожен мерчант на базарі самостійно перевіряє, що грошовий закон країни був строго дотриманий. Історично фізична торгівля поєднувала дві різні властивості: знання про транзакцію та знання про те, що транзакція є валідною. Звичайний аудит отримує друге шляхом захоплення першого: ви кусаєте золото, рахуєте монети, аудитуєте приватний реєстр мерчанта чи довіряєте імперському монетному двору, який це зробив. Криптографія з доказом із нульовим розголошенням розриває цей зв’язок. Перевіряючий не потребує базових фактів. Йому потрібен лише стислий математичний доказ того, що ці приховані факти задовольняють обмеження протоколу. Згода та розголошення Назва описує обмеження, а не технологію. Звичайне шифрування лише приховує повідомлення, роблячи його неперевірюваним. Складніша грошова проблема — дозволити невдовжному, злоствореному колективу аудитувати приховане стан. Двома фундаментальними стовпами децентралізованої валюти є: * Візантійські генерали: згода без довіри. * Запечатаний конверт: перевірка без розголошення. Стойкість до візантійських пошкоджень забезпечує незмінний публічний часовий ряд, а докази із нульовим розголошенням забезпечують приватну валідність. Bitcoin довело, що незнайомцям можна підтримувати грошову історію без довіри до центрального органу. Zcash довело, що ця історія може забезпечувати грошову збереження без вимоги перетворити кожне приватне життя на суспльну власність. Bitcoin навчив базар узгоджуватися на відкритому реєстрi. Zcash довело, що реєстр збалансований, не вiдкриваючи сторiнок.