Компания Electric Coin показала новый способ “доказательств”: Recursive Proof Composition

Компания Electric Coin показала новый способ "доказательств": Recursive Proof Composition

Компания Electric Coin (ECC), которая запустила и поддерживает разработку анонимной монеты Zcash, недавно опубликовала документ под названием: Halo: Recursive Proof Composition без доверенной установки.

10 сентября ECC объявил в своем блоге, что инженер и криптограф Шон Боуи открыл способ «создания практичных, масштабируемых и надежных методов криптографического доказательства», который претендует на прекращение 10-летнего преследования криптографическими сообществами. Он назвал решение Halo.

Сообщается, что стратегия Halo позволяет сжимать неограниченные объемы вычислений, создавать контролируемые распределенные системы, создавать масштабируемые цепочки блоков и защищать конфиденциальность. Статья гласит:

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

Открытие Шона включает в себя «вложенную амортизацию» – многократное свертывание нескольких экземпляров сложных задач вместе по циклам эллиптических кривых, так что вычислительные доказательства могут быть использованы для эффективного рассуждения о себе, что устраняет необходимость в доверенной установке.

В криптографии доверенная установка – это когда создается набор начальных параметров, которые на более позднем этапе будут уничтожены. Это называется доверенной установкой, потому что нужно доверять человеку, который создал параметры, чтобы уничтожить их, а не хранить их для будущих незаконных выгод.

Компания Electrical Coin отмечает, что надежные установки сложно координировать, они могут представлять системный риск и всегда должны повторяться при каждом значительном обновлении протокола. Согласно ECC, удаление доверенных установок должно существенно повысить безопасность для обновляемых протоколов.

Авторы статьи Шон Боу, Дайра Хопвуд и Джек Григг утверждают, что они получили первый практический пример рекурсивного доказательства композиции без доверенной установки, используя только обычные циклы эллиптических кривых. Они добавили:

“Наш основной вклад – это новая методика амортизации дорогостоящих процедур проверки из цикла проверки доказательства, чтобы мы могли получить рекурсию, используя набор существующих протоколов и методов. Мы разработали метод амортизации затрат на проверку нескольких внутренних аргументов продукта, которые могут представлять самостоятельный интерес”

Добавить комментарий

Ваш адрес email не будет опубликован.