4 ms·
Convince means the verifier can prove to itself what the provers are telling it in polynomial time, without trusting the provers.
by terrelln 6y ago
Convince means the verifier can prove to itself what the provers are telling it in polynomial time, without trusting the provers.
- jessriedel 6y agoIt's still unclear whether the algorithm the verifier uses has actually been identified or has only been proven to exist.