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