Certora là một công ty bảo mật hợp đồng thông minh được thiết kế để giúp các nhà phát triển phát hiện và ngăn ngừa các lỗi bảo mật trước khi mã được triển khai. Họ có một công nghệ độc đáo gọi là Certora Prover, có khả năng kiểm tra tại thời điểm biên dịch rằng tất cả các lần thực thi của một hợp đồng thông minh đều tuân thủ một tập hợp các quy tắc bảo mật.