
The 'Useless' Theory Behind Modern SNARKs (ft. Gödel Prize Winner Noam Nisan)
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 te









