zk-SNARK

Просунутий рівень
"Стислий неінтерактивний аргумент знання з нульовим розголошенням", що є підходом до доведення з нульовим розголошенням.