​「Certik」是一家用形式化驗證技術保護智慧合約和區塊鏈生態的安全的驗證平臺，致力於應用形式化驗證技術，為智慧合約和區塊鏈生態提供安全保護。