✨
AI Summary
- Noam Nisan discusses the sum-check protocol's journey from theory to SNARKs.
- Early work on interactive proofs unexpectedly became foundational for modern SNARKs.
- Key takeaway: Theoretical ideas can have profound practical applications.
