Нулевое знание сжатого неинтерактивного аргумента знания, или zk-SNARK, это криптографическое доказательство, которое позволяет одной стороне доказать другой, что утверждение истинно, не раскрывая никакой информации, кроме истинности самого утверждения. Он часто используется для повышения конфиденциальности и масштабируемости в системах блокчейн.