zk-SNARK (zero-knowledge succinct non-interactive argument of knowledge) — сжатый неинтерактивный аргумент нулевого знания. Это криптографический протокол, разработанный на основе доказательства с нулевым разглашением (zero-knowledge proof).
Суть zk-SNARK в том, что сам факт выполнения вычисления подтверждается без раскрытия его данных. В математической модели ZK-SNARK есть следующие участники: доверенный генератор доказательного ключа и ключа проверки (находится вне блокчейна), а также доказывающий (например, отправитель монет) и проверяющий (например, принимающий монеты). Технология позволят скрыть все данные в блокчейне: с какого адреса и куда ушел платеж, какого он размера, действительно ли он был совершен.
Основы для создания zk-SNARK были разработаны в MIT еще в 80-х. Саму технологию представила команда разработчиков, среди которых Илай Бен Сассон из Zcash, Инон Хореш, Иддо Бентов и Майкл Рябзев. Собственно, Zcash и стала первой криптовалютой, работающей на zk-SNARK.
В 2017 году zk-SNARK в свой блокчейн Quorum интегрировал JP Morgan Chase, в том же году стало известно о том, что Ethereum тоже внедрит технологию после завершения обновления Metropolis.