Certora

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