Theory to Code: Building the Breakthrough zkVM Jolt

This podcast episode explores the concept of verifiable computing and SNARKs in the context of blockchain technology. It highlights the benefits of using blockchains, such as their accessibility and security, and discusses the value of verifiable computing and the potential of SNARKs to enhance blockchains' processing capabilities. The episode also delves into topics such as decentralized systems, the implementation of Jolt in zkVMs, the power of the Sumcheck Protocol in SNARKs, the use of lookup arguments, and the challenges of elliptic curve-based commitment schemes. It emphasizes the need for advancements in SNARK design and performance and the unique partnership between research and engineering in the crypto field. The episode concludes by exploring the applications of verifiable compilation and the vision of decentralized app stores. Overall, the episode provides insights into the potential of SNARKs in improving the security and efficiency of blockchain technology.