Certora完成3600萬美元B輪融資，Jump Crypto領投

PANews 5月17日消息，據TheBlock報導，以色列智能合約安全分析工具Certora 完成3600 萬美元B 輪融資，Jump Crypto 領投，其他參投方包括Galaxy Digital、Electric Capital、ACapital、Framework Ventures、CoinFund、Lemniscap 、Coinbase 和VMware 等。據悉，Certora 由特拉維夫大學計算機科學系主任Shmuel Sagiv 領導，其也是形式驗證的先驅，目前Certora 團隊有65 人。 Certora 使智能合約開發人員能夠在部署代碼後審計之前檢測錯誤。