关于 Certora
成立时间2019
Certora 是一家智能合约安全公司，旨在帮助开发人员在部署代码之前检测和防止安全错误。 . Certora 拥有称为 Certora Prover 的独特技术，能够在编译时检查智能合约的所有执行是否满足一组安全规则。
社区
LinkedIn
Twitter
Website
标签
安全解决方案
安全审计
热度值变化趋势
团队成员
Mooly Sagiv
首席执行官
Saurabh Sharma
董事会成员
Tomer Ganor תומר גנור
安全工程与研究技术主管
Uri Kolodny
顾问和天使投资人
AliceAndBob
工作人员
John Toman
高级技术研究员
投资方
投融资详情
B轮(2022-05-16)
金额：¥2.59亿
投资方：Jump CryptoCoinbase VenturesTiger GlobalGalaxy DigitalElectric CapitalFramework VenturesLemniscap
估值：--
A轮(2021-05-20)
金额：¥5184.00万
投资方：Electric CapitalCoinbase VenturesCoinFundFramework VenturesHypersphere VenturesLemniscapSemantic VenturesA.CapitalVMwareBalaji SrinivasanStani KulechovEli Ben-SassonUri KolodnyElad GilScott Shenker
估值：--