certoraは、開発者がコードをデプロイする前にセキュリティ上のミスを検出し、防止するのを支援するために設計されたスマートコントラクトセキュリティ企業です。彼らはcertora proverと呼ばれる独自の技術を持っており、スマートコントラクトのすべての実行が一連のセキュリティルールを満たすことをコンパイル時にチェックすることができます。