The 'useless' theory behind modern SNARKs (ft. Gödel Prize winner Noam Nisan)

Gödel Prize winner Noam Nisan on the sum-check protocol — how a "purely theoretical" proof technique became the engine behind fast, modern SNARKs.
This is the summary a16z crypto publishes in its feed. The full article lives on their site.