中國電信申請基於區塊鏈的智能合約審計驗證專利, 能夠減少智能合約受攻擊和濫用的情況發生

金融界 2025 年 1 月 31 日消息,國家知識產權局信息顯示,中國電信股份有限公司申請一項名爲“一種基於區塊鏈的智能合約審計驗證方法、系統及介質”的專利,公開號 CN 119377967 A,申請日期爲 2024 年 10 月。

專利摘要顯示,本發明公開了一種基於區塊鏈的智能合約審計驗證方法、系統及介質,智能合約審計驗證方法包括:獲取待審計的智能合約;對智能合約的代碼進行靜態分析,並記錄安全漏洞信息,根據安全漏洞信息執行第一安全措施;對智能合約的運行過程進行動態分析,並記錄第一異常信息,根據第一異常信息執行第二安全措施;生成測試用例,根據測試用例對智能合約進行測試,並記錄第二異常信息,根據第二異常信息執行第三安全措施;對智能合約的屬性進行形式化驗證,並記錄性能數據,根據性能數據執行性能優化措施。本發明能夠減少智能合約受攻擊和濫用的情況發生,降低合約邏輯錯誤和安全隱患的發生概率,可廣泛應用於區塊鏈技術領域。

天眼查資料顯示,中國電信股份有限公司,成立於2002年,位於北京市,是一家以從事電信、廣播電視和衛星傳輸服務爲主的企業。企業註冊資本9150713.8699萬人民幣,實繳資本5737705.3317萬人民幣。通過天眼查大數據分析,中國電信股份有限公司共對外投資了87家企業,參與招投標項目5000次,知識產權方面有商標信息53條,專利信息5000條,此外企業還擁有行政許可65個。

本文源自:金融界

作者:情報員