AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
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.