Certora

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