QooryBeta
Certora

Certora

프로젝트

스마트 계약 보안 회사

보안 감사보안 솔루션보안 솔루션
웹사이트

소개

Certora는 스마트 계약 보안 회사로, 개발자가 코드를 배포하기 전에 보안 실수를 감지하고 방지할 수 있도록 설계되었습니다. Certora Prover라는 독특한 기술을 보유하고 있으며, 이는 컴파일 타임에 스마트 계약의 모든 실행이 일련의 보안 규칙을 충족하는지 확인할 수 있습니다.

소셜 시그널
핫—0/100
설립
2019 · 7년
신뢰 점수계산 중…

히스토리

2020
2020년 6월 23일product launch주요

Certora Prover Launch

2019
2019년 1월 1일founded

Founded

funding

Funding Round

Jump Crypto, Electric Capital, VMware

팀

Shelly Grossman
Shelly Grossman
Co-Founder & Chief Technology Officer
Mooly Sagiv
Mooly Sagiv
CEO
Ilya Leybovich
Ilya Leybovich
VP of Marketing
Andrew Flesch
Andrew Flesch
VP of Worldwide Sales
Elad Erdheim
Elad Erdheim
VP of Security Labs research
Maya Glik Dubovi
Maya Glik Dubovi
VP of Customer Success
Sofi Vissani
Sofi Vissani
VP of Sales
Idit Kronzon
Idit Kronzon
VP People

펀딩

Funding
Jump CryptoJump CryptoElectric CapitalElectric CapitalVMwareCoinFundCoinFundFramework VenturesFramework VenturesLemniscapLemniscapHypersphere VenturesHypersphere VenturesTiger GlobalTiger GlobalACapitalCoinbase VenturesCoinbase VenturesSemantic VenturesSemantic VenturesSemantic VenturesSemantic VenturesUri KolodnyUri KolodnyEli Ben-SassonEli Ben-SassonElad GilElad Gil

유사 프로젝트

비교 →
CertiK
CertiK
블록체인 보안 회사
MetaTrust
MetaTrust
Web3 애플리케이션을 위한 자동 보안 스캐닝 솔루션
Macro
Macro
Web3 보안 회사
Testmachine
Testmachine
AI 기반 블록체인 보안
GoPlus Security
GoPlus Security
Web3 모듈식 사용자 보안 레이어
Drosera Network
Drosera Network
탈중앙화 사고 대응 프로토콜