Certora

Certora 是一家智能合约安全公司，旨在帮助开发者在代码部署前检测并防止安全漏洞。其独特技术 Certora Prover 能够在编译时检查智能合约的所有执行是否满足一组安全规则。