为区块链智能合约提供安全分析工具的以色列公司Certora完成3600万美元B轮融资，Jump Crypto领投，Tiger Global、Galaxy Digital、Electric Capital、ACapital、Framework Ventures、Coinfund、Lemniscap、Coinbase、VMware等参投。（The Block