Nostr's Smart Contracts? Can we do some type of STARK vm to create proofs that people run the code without changing it? :)