Проблема запечатанного конверта: проверка без раскрытия Проблема византийских генералов спрашивает, как люди, не доверяющие друг другу, могут договориться об открытой истории: Как достичь консенсуса без доверия? Рядом с ней стоит смежная, ортогональная дилемма: Как не доверенная сеть может обеспечить соблюдение правил транзакции, содержимое которой ни одному из её участников не разрешено видеть? Это и есть Проблема запечатанного конверта — концептуальный парадокс, решённый с помощью денег с нулевым разглашением. Два измерения распределённого доверия Bitcoin и Zcash управляют двумя отдельными уровнями распределённых систем: * Проблема византийских генералов регулирует порядок: как недоверяющие друг другу ноды соглашаются, какие транзакции произошли и в какой последовательности? * Проблема запечатанного конверта регулирует корректность: как эти ноды проверяют, что скрытая транзакция легальна, платёжеспособна и не вызывает инфляции, не просматривая её содержимого? Bitcoin решил проблему открытого консенсуса, сделав всю свою историю прозрачной. Каждая нода независимо проверяет книги: отслеживает выходы, подсчитывает публичные балансы и проверяет подписи. Bitcoin работает, потому что каждый участник читает одну и ту же страницу: * Bitcoin: как мы согласуемся на открытом реестре, который может проверить каждый? $BTC * Zcash: как мы докажем баланс реестра, когда его записи скрыты? Консенсус решает, какой конверт прибыл первым; Проблема запечатанного конверта спрашивает, как враждебная толпа доказывает, что конверт не поддельный. $ZEC Базар Самарканда Представьте себе древний перекрёсток на Великом шёлковом пути. Мерчанты из враждующих империй перемешиваются под сводчатыми арками: согдийские торговцы шёлком, персидские менялы и венецианские путешественники. У них нет общего суверена, они говорят на разных языках и испытывают взаимное недоверие. Два человека в плащах встречаются в центре площади. При полном зрительском внимании толпы и городской стражи один передаёт другому запечатанный восковой конверт. Никто не может его вскрыть. Никто не имеет права узнать, кто его отправил, кто получил, какую предыдущую монету он представляет или его номинал. Нет ни доверенного великого визиря, ни имперского пробирщика, тайно проверяющего содержимое. Тем не менее подозрительная толпа должна быть математически оснащена, чтобы отклонить обмен, если: * Монета внутри не существует. * Отправитель не имеет законного права её потратить. * Монета уже была потрачена в другом караван-сарае вчера. * Перевод увеличивает денежную массу, создавая новую монету из ничего. Воск остаётся неповреждённым. Содержимое остаётся скрытым. Тем не менее каждый мерчант на базаре независимо проверяет, что денежные законы царства были строго соблюдены. Исторически физическая торговля смешивала две разные характеристики: знание о транзакции и знание о том, что транзакция корректна. Традиционная аудиторская проверка получает второе, захватывая первое: вы кусаете золото, считаете монеты, проверяете частный журнал мерчанта или доверяете имперскому монетному двору, который это сделал. Криптография с нулевым разглашением разрывает эту связь. Проверяющий не нуждается в базовых фактах. Ему нужен лишь краткий математический доказательство того, что эти скрытые факты удовлетворяют ограничениям протокола. Согласие и раскрытие Название описывает ограничение, а не технологию. Обычное шифрование просто скрывает сообщение, делая его недоступным для проверки. Более сложная денежная задача — позволить недоверенной, враждебной группе проверять скрытое состояние. Два фундаментальных столпа децентрализованной валюты стоят рядом: * Византийские генералы: согласие без доверия. * Запечатанный конверт: проверка без раскрытия. Устойчивость к византийским сбоям обеспечивает неизменяемый публичный хронологический порядок, а доказательства с нулевым разглашением обеспечивают частную корректность. Bitcoin доказал, что незнакомцы могут поддерживать денежную историю без доверия центральному органу. Zcash доказал, что эта история может обеспечивать денежную сохранность, не требуя, чтобы каждая частная жизнь стала общественным достоянием. Bitcoin научил базар соглашаться на открытую книгу. Zcash доказал, что книга сбалансирована, не открывая страниц.