Yes indeed. I discovered NIP-90 thanks to some folks mentioning DVM. You are absolutely right.
Yes STARKs can be used completely offchain.
DVM themselves could run verifiable computation. We just need to add to the basic spec 🚀
Please Login to reply.
Yeah that’s a wonderful idea! Let’s work on it together?
For sure! Let's get some proof of computation out :)
💪
Wanna put a simple fib as a DVM so that clients can request the computation, get the result and somehow verify it?