web3ListBot on Nostr: https://www.powdr.org/blog/powdrvm powdr 推出的支持多个证明后端的 #zkVM