%22%3E%3Crect%20fill%3D%22%23ffb300%22%20width%3D%22120%22%20height%3D%22120%22%20x%3D%220%22%20y%3D%220%22%20%2F%3E%3Cg%20transform%3D%22translate(22%2068)%22%3E%3Crect%20x%3D%2224%22%20y%3D%226%22%20width%3D%2227%22%20height%3D%228%22%20rx%3D%224%22%20fill%3D%22%23000%22%20fill-opacity%3D%22.8%22%2F%3E%3C%2Fg%3E%3Cg%20transform%3D%22translate(8%2020)%22%3E%3Cpath%20d%3D%22M29.27%209.68c-2.55.13-4.96%202.24-6.25%204.15-1.48-1.76-4.1-3.6-6.65-3.47-5.48.28-8.85%203.8-8.63%208.1.3%205.72%204.88%208.89%209.7%2012.24%201.71%201.15%205%204.15%205.42%204.82.42.67%202.14.6%202.58-.13a37.8%2037.8%200%200%201%204.9-5.36c4.43-3.84%208.66-7.47%208.36-13.2-.23-4.3-3.95-7.44-9.43-7.15ZM87.63%2010.36c-2.55-.14-5.17%201.7-6.65%203.47-1.3-1.9-3.7-4.02-6.25-4.15-5.48-.29-9.2%202.86-9.43%207.16-.3%205.72%203.93%209.35%208.36%2013.19%201.6%201.32%204.55%204.64%204.9%205.36.35.7%202.06.82%202.58.13.51-.7%203.7-3.67%205.42-4.82%204.81-3.35%209.4-6.52%209.7-12.24.22-4.3-3.15-7.82-8.63-8.1Z%22%20fill%3D%22%23FF5353%22%20fill-opacity%3D%22.8%22%2F%3E%3C%2Fg%3E%3C%2Fg%3E%3C%2Fsvg%3E)
比较：
Certora
基本信息
Certora 是一家智能合约安全公司，旨在帮助开发人员在部署代码之前检测和防止安全错误。 . Certora 拥有称为 Certora Prover 的独特技术，能够在编译时检查智能合约的所有执行是否满足一组安全规则。
你今天对 Certora 的感受如何？
历史总投票数： 2327
Bullish
Bearish
Certora怎么样?
Certora 评论由用户发布，不构成财务建议
关键事件
2022-05-17
Certora 完成 3600 万美元B轮融资
2021-05-21
Certora 完成 720 万美元A轮融资
