Certora
@Certora
被关注11,387
正在关注325
影响力指数521
相关报道
Certora Awarded Ethereum Foundation Grant to Help Create a ZK Future for EVM
Chainwire 2026-02-05
Certora Secures Nearly $200 Billion in DeFi Value in 2025, Preventing Over 700 Vulnerabilities Across Leading Protocols
Chainwire 2026-01-21
Balancer and Certora Launch Security Accelerator | by Orb | Balancer Protocol | Oct, 2022 | Medium
Medium 2022-10-10
同类项目
*不可点击时，表示无详情数据展示
CertiK
Blockchain security company
Slowmist
Blockchain security company
MetaTrust
Automatic security scanning solution for Web3 Applications
Quantstamp
Blockchain security company
OpenZeppelin
Crypto cybersecurity technology and services company
sec3
Web3 Security research firm
Hacken
Web3 cybersecurity auditor
Veridise
Hardening blockchain security with formal methods关于 Certora
成立时间2019
Certora is a smart contract security firm designed to help developers detect and prevent security mistakes before code is deployed. They have a unique technology called Certora Prover, which is capable of checking at compile-time that all executions of a Smart Contract fulfill a set of security rules.
社区
LinkedIn
Twitter
Website
标签
Security Solutions
Security Audit
热度值变化趋势
团队成员
Mooly Sagiv
CEO
Saurabh Sharma
Member of Board of Directors
Tomer Ganor תומר גנור
Technical Lead Of Security Engineering and Research
Uri Kolodny
Advisor & Angel Investor
AliceAndBob
staff member
John Toman
Senior Technical Fellow
投资方
投融资详情
Series B(2022-05-16)
金额：¥2.59亿
投资方：Jump CryptoCoinbase VenturesTiger GlobalGalaxyElectric CapitalFramework VenturesLemniscap
估值：--
Series A(2021-05-20)
金额：¥5184.00万
投资方：Electric CapitalCoinbase VenturesCoinFundFramework VenturesHypersphere VenturesLemniscapSemantic VenturesA.CapitalVMwareBalaji SrinivasanStani KulechovEli Ben-SassonUri KolodnyElad GilScott Shenker
估值：--