Verifiable Computation is the next big step for Nostr.