What does it mean? Did he wrote NIP-13? Did he come up with the nonce method? Did he come up with the buy PoW service? What is the "tech that powers Nostr Proof of Work?"