Certora - это фирма по безопасности смарт-контрактов, созданная для помощи разработчикам в обнаружении и предотвращении ошибок безопасности до развертывания кода. У них есть уникальная технология под названием Certora Prover, которая способна проверять на этапе компиляции, что все исполнения смарт-контракта соответствуют набору правил безопасности.