zk-SNARK

zk-SNARK — это разновидность доказательства с нулевым разглашением, которая является лаконичной и неинтерактивной: само доказательство очень маленькое и быстро проверяется, а доказывающий отправляет его один раз, без обмена сообщениями. Именно поэтому zk-SNARK практичны в блокчейнах, где за вычисления платит каждый проверяющий; на них построены несколько приватных монет и ZK-роллапов. Исторический компромисс — доверенная настройка: разовая церемония, порождающая публичные параметры и секретные «отходы», которые нужно уничтожить, ведь тот, у кого они останутся, сможет подделывать доказательства. Многосторонние церемонии снижают риск: достаточно одного честного участника. Кроме того, zk-SNARK опираются на предположения об эллиптических кривых, которые не считаются устойчивыми к квантовым компьютерам — одна из причин появления zk-STARK.