Certora

Certora は、コードが展開される前に開発者がセキュリティ上のミスを検出して防止できるように設計されたスマート コントラクト セキュリティ企業です。同社は Certora Prover と呼ばれる独自のテクノロジを持っており、これはコンパイル時にスマート コントラクトのすべての実行が一連のセキュリティ ルールを満たしているかどうかをチェックすることができます。