比推消息,智能合约安全公司 Certora 完成 3600 万美元 B 轮融资, Jump Crypto 领投,其他参与者包括 Tiger Global、Galaxy Digital、Electric Capital、ACapital、Framework Ventures、CoinFund、Lemniscap、Coinbase 和 VMware。C...