(有片) 區塊鏈安全獨角獸CertiK推形式化驗證 以提升區塊鏈合規效率

香港文匯報訊（記者 黃安琪）合規向來是香港數字資產持牌機構首要挑戰，近期開始有區塊鏈安全公司自行研發驗證技術，提升數資企業的合規效率。區塊鏈安全企業CertiK聯合創始人兼CEO顧榮輝表示，形式化驗證技術正成為提升區塊鏈安全與合規效率的關鍵利器。該技術以數學方法證明代碼與設計規範完全一致，能精準發現漏洞，更可確保項目符合監管要求。目前CertiK已在香港針對本地政策推出加密貨產形式化驗證服務，幫助企業以更高確定性通過牌照審批。傳統測試能發現「已知漏洞」，但不能證明錯誤不存在。而形式化驗證則是通過數學方法證明「設計與實現無歧義」，為區塊鏈與傳統金融融合提供更可靠的安全保障。