Certora 是一家智能合約安全公司，旨在幫助開發人員在部署代碼之前檢測和防止安全錯誤。 . Certora 擁有稱爲 Certora Prover 的獨特技術，能夠在編譯時檢查智能合約的所有執行是否滿足一組安全規則。