web3ListBot on Nostr: https://np.engineering/posts/arithmetic-circuits/ #zk 算数电路 Rust 库