ZK predicates are kind of a key part of how we actually agree on the next state of the world. The existing open source version that is already released already works, you know, you can run full zero knowledge proofs on real programs inside the ZKVM. We're currently working on adding support for recursion. But that said, we do have a sort of prototype working. And literally our recursion actually runs our normal rust verifier inside the ZkVM to do the verification of the zero knowledge proof.
In this week’s episode, Anna and Guillermo chat with Brian Retford and Jeremy Bruestle from RISC Zero. They discuss their previous work in cloud infrastructure and how ZK offered unique solutions to long standing scaling problems. They cover topics like RISC-V, building VMs, and how RISC Zero aims to build a system which could support a decentralized public cloud.
Here are some additional links for this episode:
Check out the ZK Whiteboard Sessions here. Produced by ZK Hack and powered by Polygon.
Today’s episode is sponsored by Mina Protocol.
If you’re a developer looking to get hands-on experience building zero knowledge applications then you should apply for Mina’s zkApp Beta Testers Leaderboard.
Participants will get access to test challenges where you can learn how to build zkApps on Mina for a chance to rank on the leaderboard against other participants. The top participants will have the opportunity to be considered for a grant!
Learn more about the zkApp Beta Testers Leaderboard and how you can start building zkApps by heading to minaprotocol.com/zkpodcast.
If you like what we do: