Sam Ragsdale

May 2, 2024 | a16z.com | Justin Thaler |Sam Ragsdale |Michael Q. Zhu |Miles Jennings

Justin Thaler is Research Partner at a16z and an Associate Professor in the Department of Computer Science at Georgetown University.

May 2, 2024 | a16zcrypto.com | Justin Thaler |Sam Ragsdale |Michael Q. Zhu |Robert Hackett

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.