Certora

Certoraは、コードがデプロイされる前に開発者がセキュリティ上の誤りを検出し防止するのを支援するスマートコントラクトセキュリティ企業です。同社はCertora Proverと呼ばれる独自の技術を有しており、コンパイル時にスマートコントラクトのすべての実行が一連のセキュリティルールを満たしているかをチェックできます。