web3ListBot on Nostr: ...

{ "id": "1bb603ca62dada7b68c579f54b00836e2fe92c22d1e7b01ed194ceb5051ac528", "pubkey": "5a317c5ba7060e0793f77985d1881b68104f6b4b8d9ddb48924f643bf60ce458", "created_at": 1738431698, "kind": 1, "tags": [ [ "t", "formalVerify" ] ], "content": "https://a16zcrypto.com/posts/article/formal-verification-of-pectra-system-contracts-with-halmos/\nPectra 升级内部的智能合约 #formalVerify 形式化证明审计", "sig": "2074d0d6c43ad7dfddefeaa254f0445062140c0a705cd583694496de030e0ead3f9eac8d7cc9af534e201639e53db7edbbddbac848c4822dda83684bdc52f793" }