ITU-T F.751.12-2023 分布式账本技术智能合约形式化验证框架 标准立项发展报告.docx

分布式账本技术智能合约形式化验证框架标准立项发展报告

EnglishTitle:StandardizationDevelopmentReport:FormalVerificationFrameworkforSmartContractonDistributedLedgerTechnology

摘要

随着分布式账本技术（DLT）在金融、供应链、政务服务等领域的广泛应用，智能合约作为其核心执行组件，其安全性和可靠性问题日益凸显。智能合约一旦部署便难以修改，代码漏洞可能导致不可逆的重大资产损失，近年来多起重大安全事件已为行业敲响警钟。在此背景下，国际电信联盟电信标准化部门