Theory to Code: Building the Breakthrough zkVM Jolt

web3 with a16z crypto

Andreessen Horowitz

Gaming, Blockchain, Web 3, Blockchains, Open Source, Business, Decentralization, Visual Arts, Computer Science, Ownership, Art, Entrepreneurship, Entertainment, Cypherpunk, Web 3.0, Music, Internet, Cryptography, Crypto, Computing, Web3, Innovation, Distributed Computing, Culture, Public Goods, Creator Economy, Arts, Technology

4.4 • 66 Ratings

🗓️ 1 May 2024

⏱️ 75 minutes

🔗️ Recording | iTunes | RSS

🧾️ Download transcript

Summary

Verifiable computing is a method for trustlessly outsourcing computation — and it’s a fast-developing area of technology that could help scale blockchains and, more broadly, decentralize the internet. We explore this world through the lens of zkVMs — or zero-knowledge virtual machines — tools that enable computers to prove that they ran programs correctly, as well as the SNARKs that enable them to work their magic. In this episode, members of the a16z crypto research and engineering teams discuss their year-long close collaboration to develop the simplest, most performant zkVM to date: Jolt.

Transcript

Click on a timestamp to play from that location

0:00.0	Hello and welcome to Web3 with A16Z, a show about building the next era of the
0:09.3	Internet by the team at A16Z crypto. That includes me, host Robert Hackett.
0:15.0	Today's all new episode covers a very important and now fast developing area of technology
0:21.0	that can help scale blockchains, but that also has many uses
0:25.1	beyond blockchains as well. That category of technology is verifiable
0:31.0	computing and specifically Snarks. So today we dig into ZKVMs or Zero Knowledge
0:38.7	Virtual Machines which use Snarks and we discuss a new design for them that the guests on this episode helped develop.
0:47.0	Work that resulted in Jolt, the most performant, easy for developers to use ZKVM to date. The conversation that follows
0:56.8	covers the history and evolution of the field, the surprising similarities
1:01.3	between snark design and computer chip architecture,
1:05.0	the tensions between general purpose versus application-specific programming,
1:10.0	and the challenges of turning abstract research theory into concrete engineering practice.
1:17.0	Our guests include Justin Thaler, research partner at A16Z crypto and associate professor of computer science at Georgetown University,
1:26.8	who came up with the insights underpinning jolt, along with collaborators from Microsoft
1:31.0	Research, Carnegie Mellon, and New York Universities.
1:34.0	He's the first voice you'll hear after mine.
1:37.0	Followed by Sam Ragsdale, Investment Engineer at A16Z crypto,
1:42.0	and Michael Jieu, research engineer at A16Z crypto and Michael Jieu,
1:43.7	research engineer at A16Z crypto,
1:46.2	both of whom brought Jolt from concept to code.
1:51.4	As a reminder, none of the following should be taken as tax, business, legal, or investment advice.
1:57.0	See a16ZC crypto.com slash disclosures
	...

Please login to see the full transcript.

Previous episode | Next episode

Disclaimer: The podcast and artwork embedded on this page are from Andreessen Horowitz, and are the property of its owner and not affiliated with or endorsed by Tapesearch.

Generated transcripts are the property of Andreessen Horowitz and are distributed freely under the Fair Use doctrine. Transcripts generated by Tapesearch are not guaranteed to be accurate.