Codefine西安好碼信息科技有限公司致力于為區(qū)塊鏈智能合約、Dapp、基礎設施代碼提供正確性+性證明的審計驗證產品，為構建可信賴的區(qū)塊鏈生態(tài)系統(tǒng)提供保障。Codefine好碼專注于區(qū)塊鏈底層與智能合約的問題，監(jiān)控智能合約漏洞、提供專業(yè)的合約審計服務，在智能合約技術上開展深入研究。