Доказательство краткое неинтерактивное типа аргумент с разглашением нулевым [ Zero knowlege – succinct non-interactive argument of knowledge, Zk-SNARK ] —
Протокол доказательства знания с разглашением нулевым криптографический неинтерактивный, предполагающий передачу однократную проверяющему данных, подтверждающих знание доказывающим некоторой информации, являющейся его секретом.