Компания Electric Coin (ECC), которая запустила и поддерживает разработку монеты конфиденциальности, Zcash недавно опубликовала документ под названием: Halo: рекурсивная композиция доказательства без доверенной установки.
10 сентября ECC объявил в своем блоге, что инженер и криптограф Шон Боуи открыл способ «создания практичных, масштабируемых и надежных методов криптографического доказательства», который претендует на то, чтобы положить конец 10-летнему преследованию криптографических сообществ.Он назвал решение Halo.
Halo устраняет необходимость в «доверенной настройке»
Сообщается, что стратегия Halo позволяет сжимать неограниченные объемы вычислений, создавать контролируемые распределенные системы, создавать масштабируемые цепочки блоков и защищать конфиденциальность.Статья гласит:
«Эта концепция является доказательством, подтверждающим правильность другого экземпляра самого себя, позволяя любому количеству вычислительных усилий и данных создать короткое доказательство, которое можно быстро проверить.
Открытие Шона включает в себя «вложенную амортизацию» – многократное свертывание нескольких экземпляров сложных задач вместе по циклам эллиптических кривых, так что вычислительные доказательства могут быть использованы для эффективного рассуждения о себе, что устраняет необходимость в надежной установке ».
В криптовалюты доверенная установка – это когда создается набор начальных параметров, которые на более позднем этапе будут уничтожены.Это называется доверенной установкой, потому что нужно доверять человеку, который создал параметры, чтобы уничтожить их, а не хранить их для будущих незаконных выгод.
Компания Electric Coin отмечает, что надежные установки сложно координировать, они могут представлять системный риск и всегда должны повторяться для каждого крупного обновления протокола.Согласно ECC, удаление доверенных установок должно существенно повысить безопасность для обновляемых протоколов.
Авторы статьи Шон Боу, Дайра Хопвуд и Джек Григг утверждают, что они получили первый практический пример рекурсивного доказательства композиции без доверенной установки, используя только обычные циклы эллиптических кривых.Они добавили:
«Наш основной вклад – это новая методика амортизации дорогостоящих процедур верификации из цикла верификации, чтобы мы могли получить рекурсию, используя набор существующих протоколов и методик.Мы разрабатываем метод амортизации затрат на проверку нескольких внутренних аргументов продукта, которые могут представлять самостоятельный интерес ».
