zk-STARK

Профессионал
Существует два распространенных типа доказательств с нулевым разглашением (zk), также называемых zk-протоколами, — SNARK и STARK. Доказательство с нулевым разглашением — это метод криптографической проверки, при котором одна сторона (доказывающий) может доказать другой стороне (проверяющему) правдивость какого-либо утверждения, не предоставляя дополнительной информации.
zk-STARK расшифровывается как «масштабируемый прозрачный аргумент знания с нулевым разглашением». zk-STARK был предложен Эли-Беном Сассоном, профессором израильского технологического института Технион. В отличие от zk-SNARK, которые требуют изначального доверия между доказывающим и проверяющим, zk-STARK полагаются исключительно на криптографию через устойчивые к коллизиям хеш-функции. Этот подход также позволяет избавиться от теоретико-числовых предположений zk-SNARK, которые требуют больших вычислительных затрат и теоретически могут быть подвержены атакам со стороны квантовых компьютеров.
Иными словами, доказательства zk-STARK представляют собой более простую структуру с точки зрения криптографических предположений. Однако у них также есть серьезный недостаток: размер доказательств zk-STARK обычно в 10–100 раз больше, чем zk-SNARK. Такая разница в размере данных делает их более дорогими и может создавать ограничения при использовании технологии для перемещения криптовалюты и других способов применения.

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

Доказательства с нулевым разглашением могут упростить аутентификацию как для платформ, так и для пользователей. После создания zk-доказательства с использованием публичных данных (подтверждающих принадлежность пользователя к платформе) и частных данных (личной информации), пользователю будет достаточно предъявить его для подтверждения своей личности и получения доступа к сервису. Это упрощает процесс взаимодействия для пользователей и освобождает организации от необходимости хранить огромные объемы персональных данных.