Andrew Wiles devoted much of his entire career to proving Fermat's Last Theorem, the world's most famous mathematical problem. In 1993, he made front-page headlines ...

Abstract: There has been intense interest over the last decade in implementations of probabilistic proofs (IPs, SNARKs, PCPs, and so on): protocols in which an untrusted party proves to a verifier ...