Did you see the last post using STARK proofs on Nostr DVMs to verify computational execution?
Check it out: https://github.com/AbdelStark/askeladd