Certora

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