{"href":"https://api.simplecast.com/oembed?url=https%3A%2F%2Fweb3-with-a16z.simplecast.com%2Fepisodes%2Ffirst-principles-noam-nisan-XFiJ7JyB","width":444,"version":"1.0","type":"rich","title":"The 'Useless' Theory Behind Modern SNARKs (ft. Gödel Prize Winner Noam Nisan)","thumbnail_width":300,"thumbnail_url":"https://image.simplecastcdn.com/images/3474b6a1-976c-4c75-8e63-e4ad3a3b354d/6d5e7801-f225-452e-9f3c-0df8a5e7f917/a16zcrypto-podcast-20-1.jpg","thumbnail_height":300,"provider_url":"https://simplecast.com","provider_name":"Simplecast","html":"<iframe src=\"https://player.simplecast.com/2df54d8b-47a6-4cc9-9e2c-ad8d2bf87295\" height=\"200\" width=\"100%\" title=\"The &apos;Useless&apos; Theory Behind Modern SNARKs (ft. Gödel Prize Winner Noam Nisan)\" frameborder=\"0\" scrolling=\"no\"></iframe>","height":200,"description":"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. \n\nAt 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 become practical technology. Today, sum-check sits at the heart of some of the fastest modern SNARKs, proof systems that are increasingly important to blockchains and verifiable computation. "}