Nostr is verifiable data.

Sign code into Nostr events, and you get Verifiable Code.

But here’s the problem: you still have to trust the environment running that Verifiable Code. If you rely on a third-party machine, how can you guarantee it’s executing your code as intended and not something entirely different?

Enter Verifiable Computations. Runners take verifiable data + verifiable code, execute them, and return the results + a cryptographic proof that nothing was changed.

Now, recipients can verify if the script ran exactly as intended, making runners trustless partners.

Welcome to verifiable, trustless DVMs on Nostr.