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
- T1The 'useless' theory behind modern SNARKs (ft. Gödel Prize winner Noam Nisan)Ethereum Foundation / Solana / a16z crypto / Chainalysis