zk-SNARK.

Сжатое неинтерактивное доказательство знания с нулевым разглашением: короткое и быстро проверяемое доказательство того, что вычисление выполнено корректно, без раскрытия входных данных. Относится к категории Криптография в кибербезопасности.

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

zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) — это неинтерактивная система доказательств, выдающая доказательства длиной в несколько сотен байт и проверяемые за миллисекунды независимо от размера исходного вычисления. Конструкции Groth16, PLONK и Halo2 опираются на спаривания на эллиптических кривых или полиномиальные коммитменты и обычно требуют доверенной настройки, которую на практике генерируют с помощью многосторонней церемонии, чтобы избежать единственной точки доверия. zk-SNARK обеспечивают работу приватных криптовалют (Zcash), Ethereum-rollup (zkSync, Polygon zkEVM, Scroll) и конфиденциальных систем идентификации. Главные компромиссы — высокая стоимость стороны-доказателя и зависимость от криптографических предположений, потенциально уязвимых к квантовым атакам, если не используется решёточная разновидность.

Защита от zk-SNARK обычно сочетает технические меры и операционные практики, как описано в определении выше.

Распространённые альтернативные названия: SNARK, Сжатое неинтерактивное доказательство знания.