10-year-old problem in theoretical computer science falls
(Phys.org) -- Interactive proofs, which MIT researchers helped pioneer, have emerged as one of the major research topics in theoretical computer science. In the classic interactive proof, a questioner with limited computational ...