Vitor Pamplona on Nostr: Nostr is verifiable data. Sign code into Nostr events, and you get Verifiable Code. ...
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.
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.