智能合約安全公司 Certora 獲得 36 萬美元 B 輪融資

Certora 是一家安全科技新創公司,幫助基於去中心化金融 (DeFi) 的智慧合約在部署之前識別程式碼中的錯誤,已從投資者那裡籌集了 36 萬美元。 A...