Прорыв Zcash в Halo — это большое событие, и не только для криптовалют

Майкл Дж. Кейси — председатель консультативного совета CoinDesk и старший консультант по исследованиям блокчейна в рамках инициативы цифровой валюты Массачусетского технологического института.

Следующая статья первоначально была опубликована в CoinDesk Weekly, специально подобранном информационном бюллетене, который рассылается каждое воскресенье исключительно нашим подписчикам.

Недооцененным побочным эффектом НИОКР в области Криптовалюта является то, что они также способствуют развитию технологических компонентов сектора.

Наиболее важные из них происходят в области, из которой происходит термин «Криптовалюта». Криптография — по сути, изучение математических секретов — так же стара, как и исследование шифров в древние времена. Но за последние 10 лет, во многом благодаря изобретению Bitcoin и цензуроустойчивых денег, она пережила взрыв активности.

Это особенно касается подобласти доказательств с нулевым разглашением, которые позволяют проверять факты, полученные из Secret, к которому проверяющий не может получить доступ. Эти достижения важны, поскольку доказательства с нулевым разглашением предлагают заманчивую перспективу того, что люди будут совершать транзакции конфиденциально, не имея доступа к потенциально компрометирующей информации друг о друге. Его потенциал выходит за рамки узкой сферы криптовалют, чтобы противостоять главной задаче эпохи Интернета: достижению безопасностисПолитика конфиденциальности.

Вот почему прорыв Electric Coin Company, стартапа, стоящего за Zcash, имеет большой потенциал. ECC уже был двигателем прогресса в криптографии, продвигая использование zk-SNARKS, еще одного вдохновленного криптовалютой дополнения к инструментарию доказательства с нулевым разглашением, с помощью которого Zcash создает доказуемо проверяемый блокчейн без раскрытия адресов пользователей ( Раскрытие информации : Digital Currency Group, материнская компания CoinDesk, является инвестором ECC).

Нонедавнее заявление компанииHalo, «не требующая доверия рекурсивная» версия доказательств с нулевым разглашением, которая обеспечивает масштабируемое решение для громоздкой зависимости области от «доверенных установок», возможно, больше. Если Истории исследователя ECC Шона Боу выдержит научную проверку, оно может ONE высвободить множество мощных приложений реального мира для цифровой эпохи, которые выходят далеко за рамки Криптовалюта.

Может ли это даже достичь невозможного: снижениякритика, которую постоянно получают генеральный директор Zcash Зуко Уилкокс и его соучредителиза 20% комиссию основателя, встроенную в протокол криптовалюты, сделка, которая принесла им миллионы долларов токенов с момента запуска в 2016 году? Основатели оправдывают комиссию тем, что она и оплачивает обслуживание, и вознаграждает исследования и разработки для укрепления протокола. По крайней мере, на данный момент это LOOKS как Истории , которое ECC может пометить как хорошо потраченные деньги — не только для Zcash, но и для всей Криптo .

Доказательство доказательств

Halo позволяет пользователю доказать, что никто из участников первоначального создания крупномасштабной системы доказательств с нулевым разглашением не создал Secret бэкдор, с помощью которого можно было бы впоследствии вносить изменения в код, и что это безопасное состояние существовало в ходе текущих обновлений и изменений в системе. До сих пор риск мошенничества при настройке означал, что доказательства с нулевым разглашением часто требовали сложных, дорогостоящих процедур на начальном этапе, чтобы внушить пользователям доверие. ( PRIME примером была «церемония» генезиса Zcash – записано в прямом эфире на YouTube и задокументировано в развлекательном выпуске Radiolab на NPR– когда различные основатели и внешние участники, находящиеся в разных местах, приложили чрезвычайные усилия, чтобы совместно и безопасно создать первоначальную пару ключей, а затем продемонстрировать, что ни один из них никогда не получит доступа к закрытому ключу.)

Таким образом, доказательства с нулевым разглашением были слишком громоздкими для чего-либо, кроме как для частного доказательства небольших одноразовых фактов. Повторение неэффективной, отнимающей много времени доверенной настройки снова и снова было дорогостоящим. Конечно, одноразовые решения без доверия, известные как «пуленепробиваемые», существуют с 2017 года, но им не хватает рекурсивного качества, необходимого для проверки постоянно накапливающейся информации в большой, растущей и меняющейся базе данных.

Halo обходит эту проблему, устанавливая накопленное «доказательство доказательств», так что последний математический вывод содержит в себе доказательство того, что все предыдущие заявления о соответствующих Secret знаниях сами по себе были достаточно доказаны посредством аналогичного процесса. При резком сжатии вычислительных требований все, что теперь требуется для проверки достоверности текущего состояния всей базы данных, — это одно математическое доказательство. (То, как мне объяснил Уилкокс, процесс звучал похоже на повышение эффективности структур дерева Меркла, которые объединяют ранее хешированную информацию в один корневой хеш-вывод.)

Дешевые полные узлы

Преимущества масштабирования этой облегченной системы проверки были проиллюстрированы в ходе демонстрации, проведенной в середине сентября командой EEC с использованием блокчейна Bitcoin . Они сгенерировали доказательство целостности доказательства работы текущего блока. который также содержал доказательства целостности каждого предыдущего блока, вплоть до генезис-блока Сатоши Накамото от 3 января 2009 года.

В светенапряженные дебатыв сообществе Bitcoin по поводу полных узлов, децентрализации и размеров блоков это звучит как материал, который меняет правила игры. Хотя все еще будут нужны узлы, которые читают полный блокчейн для идентификации транзакций, общая задача проверки целостности блокчейна может стать гораздо менее затратной проблемой для сети в целом. Обычные пользователи могли бы достичь необходимой им простоты использования и эффективности, но сделать это с помощью собственных узлов полной проверки. Таким образом, это свело бы на нет необходимость в так называемых SPV-кошельках, которые полагаются на других для проверки от имени пользователя и, таким образом, создают проблему доверия. Для сети результатом может стать большая децентрализация при меньших затратах.

ECC планирует интегрировать Halo в блокчейн Zcash в качестве решения масштабирования уровня 1. Если это сработает, сеть Zcash сможет гораздо дешевле обрабатывать значительно большие объемы данных в цепочке. Это заметно отличающийся подход к проблеме масштабирования от модели уровня 2, которую предпочитают сторонники Bitcoin Lightning Network, где масштабирование достигается за счет вывода транзакций из цепочки. Если это сработает для Zcash, ONE вопрос, не захотят ли разработчики Bitcoin Cash интегрировать его в свой протокол, чтобы снизить стоимость поддержки более крупных блоков, которые они приняли в спорном форке 2017 года от Bitcoin CORE.

Большие видения

Но именно потенциал некриптовалютных решений делает Halo особенно захватывающей перспективой. Уилкокс даже утверждает, что Halo «может оказаться строительным блоком для следующего поколения Интернета и другой подобной социальной инфраструктуры».

В разговоре он указал на уязвимости больших, постоянно меняющихся централизованных баз данных, таких как база данных известного взломанного кредитного скорера Equifax, а также баз данных DMV разных штатов и разрозненных хранителей медицинских записей. Все должны делиться информацией с другими сторонами, но бороться с рисками, связанными с этим. «Теперь вместо того, чтобы выплевывать копии полного отчета о данных, они KEEP единственную копию, но выплевывают доказательства нулевого разглашения», — сказал Уилкокс.

Однако в идеале было бы полностью отказаться от централизованного хранителя записей. Уилкокс считает, что доказательства с нулевым разглашением в стиле Halo проложат путь. Продолжая предыдущий пример на шаг дальше, он сказал: «Что, если вместо того, чтобы сказать: «Вот доказательство того, что Equifax утверждает, что у меня T было дефолтов за последние 10 лет», я могу сказать: «Вот доказательство от всех 100 человек, которые давали мне кредиты за последние 10 лет, и каждый из них подтверждает, что я не допустил дефолта?»

Достичь такой утопии быстро T получится. Регулирование, корпоративное влияние и поведенческая инерция продолжат оказывать сопротивление. И, чтобы внести ясность, математическое доказательство Боу все еще должно быть подвергнуто строгой экспертной оценке.

Но даже если в текущей итерации будут найдены дыры, они будут заделаны. Появятся лучшие версии.

Процесс последующих исследований, которые это Истории даст толчок во всех областях цифровой экономики, неоспорим. И если мир T готов к такой радикальной реорганизации того, как мы управляем конфиденциальной информацией, он в конечном итоге будет вынужден принять такие изменения из-за неустанного наращивания уязвимых баз данных и продолжающихся атак на них со стороны все более изощренных хакеров. Это тенденция, которая заставила Juniper Research недавно заявить, что К 2024 году киберпреступность обойдется мировой экономике в ошеломляющие 5 триллионов долларов в год.

Мир остро нуждается в исправлениях этих гигантских проблем. Разработчики Криптовалюта делают больше, чем кто-либо другой, чтобы найти их.

Изображение Zooko Wilcox из архивов CoinDesk