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.

Sources