zk-SNARK (zero-knowledge succinct non-interactive argument of knowledge) — сжатый неинтерактивный аргумент нулевого знания. Это криптографический протокол, разработанный на основе доказательства с нулевым разглашением (zero-knowledge proof).