computational zero-knowledge proof
Связанные статьи: доказательство с вычислительно нулевым разглашением (справочник)
Протокол доказательства с нулевым разглашением, в котором свойство корректности безусловно, а свойство нулевого разглашения основывается на каком-либо криптографическом предположении.