If we can get STARKs running over Nostr, including saving smart contract scripts as Nostr events, we can have a DVM that executes those scripts and output proofs of the execution so that anyone can verify the script was run without any changes by the DVM. Does that create trustless DVMs? 🤔