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