More than 30 years ago, Gödel Prize Winner Noam Nisan helped develop a proof technique that he never expected anyone to use in the real world.
At the center of that breakthrough was the sum-check protocol — an elegant technique that emerged from Noam Nisan’s early work on interactive proofs. At the time, even Nisan assumed ideas like these were far too theoretical to ...