zk-SNARK.

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