Sentence examples for interactive proof from inspiring English sources

Interactive proof systems.

21 (4/12): Interactive proof systems.

Interactive proof systems and probabilistically checkable proofs.

It is known as an interactive proof, because it involves several rounds of querying.

Furthermore, these interactive proof systems are honest-verifier perfect zero-knowledge.

All of our results are mechanised in the interactive proof assistant Coq.

This workshop will focus on quantum interactive proofs and entangled quantum games.

Boppana Håstad Zachos 1987: Does co-NP have short interactive proofs?

On transformations of interactive proofs that preserve the prover's complexity.

Interactive proofs, which MIT researchers helped pioneer, have emerged as one of the major research topics in theoretical computer science.

Interactive proofs — mathematical games that underlie much modern cryptography — work even if players try to use quantum information to cheat.