Протокол доказательства с нулевым разглашением, в котором свойство нулевого разглашения безусловно, а свойство корректности основывается на каком-либо криптографическом предположении.