Exploring RISC Zero with Brian Retford and Jeremy Bruestle
Zero Knowledge
00:00
ZKVM
ZKVM systems use this sort of non-deterministic trick a lot. You're not guaranteed that like anything that happens on the host side is going to produce something interesting to talk about, which is why we get into this kind of work lives data structures. But it does allow you to do sort of the check and verify, right? If I want to do a square root, I can always ask the host, hey, please put the square root of this number here. And then inside the ZKVM, I can take that number and make sure it matches the thing I'm expecting it to be.
Transcript
Play full episode
