GetChain News
中简 中繁 EN
GetChain News
Toggle sidebar
Certora

Certora

Active

Smart contract security firm

News Heat Trend

Project Overview

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.