Certora
@Certora
被關注11,402
正在關注324
影響力指數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)
金額：$11.50億
投資方：Jump CryptoCoinbase VenturesTiger GlobalGalaxyElectric CapitalFramework VenturesLemniscap
估值：--
Series A(2021-05-20)
金額：$2.30億
投資方：Electric CapitalCoinbase VenturesCoinFundFramework VenturesHypersphere VenturesLemniscapSemantic VenturesA.CapitalVMwareBalaji SrinivasanStani KulechovEli Ben-SassonUri KolodnyElad GilScott Shenker
估值：--