zk-SNARK
Zero-Knowledge Succinct Non-interactive ARgument of Knowledge — сжимает доказательство вычисления до ~200 байт, которое проверяется за миллисекунды независимо от размера задачи.
Построен на криптографии с билинейными отображениями (BLS12-381). Требует доверенной настройки (trusted setup) — церемонии, где участники совместно создают параметры; достаточно одного честного. Groth16 — классический SNARK, более новые PLONK и Halo2 обходятся универсальной настройкой или вовсе без неё.
На нём работают Zcash, Tornado Cash, Polygon zkEVM, Scroll, Aleo. Генерация доказательства медленная (секунды–минуты), проверка быстрая — идеально для проверки вычислений вне цепочки внутри блокчейна. zk-STARK — вариант без доверенной настройки и устойчивый к квантовым атакам, но с более крупными доказательствами.