YD/T 3747-2020 标准解读

一、核心基础术语释义

• 区块链系统：依据YD/T 3747-2020第3.1条，指由分布式账本、共识机制、密码学模块、智能合约执行环境及网络通信层构成的、具备数据不可篡改性、可验证性与多方协同处理能力的软件系统实体；其部署形态包括公有链、联盟链与私有链，安全要求覆盖全生命周期各组件。
• 共识安全强度：依据第3.2条，定义为在给定网络假设（如拜占庭容错阈值、同步性约束）下，攻击者成功颠覆共识结果所需的最小计算资源或恶意节点比例，以“f/n容错比”或“哈希算力占比阈值”量化表征，非泛指性能指标。
• 密钥生命周期管理：依据第3.3条，特指密钥生成、分发、存储、使用、更新、归档与销毁全过程的策略控制与技术实现，强调硬件安全模块（HSM）或可信执行环境（TEE）对私钥保护的强制性支撑要求，不包含密钥协商协议本身。
• 账本完整性校验：依据第3.4条，指通过默克尔树根哈希比对、区块头链式哈希验证及状态根一致性检查三重机制，确认分布式账本中交易记录、状态数据未被单点篡改或选择性删除的技术过程，区别于仅校验传输完整性的通用CRC校验。

二、专项技术术语解析

1. 零知识证明适配度（第5.2.3条）：指零知识证明方案在目标区块链系统中满足三项刚性约束的程度——证明生成时间≤200ms、验证开销≤区块基础运算单元（CU）的15%、证明大小≤4KB；该指标用于判定ZKP是否符合轻量级链上验证安全基线，不评估密码学完备性。
2. 跨链操作原子性保障等级（第6.4.1条）：划分为L1（无条件原子性）、L2（基于可信中继的条件原子性）、L3（基于哈希时间锁的弱原子性）三级；L1要求源链与目标链共享同一共识视图，L3允许最终一致性但须明示回滚窗口期，等级选择直接决定跨链合约安全责任边界。
3. 智能合约形式化验证覆盖率（第7.3.2条）：定义为经工具验证通过的程序路径数占全部可达控制流路径总数的百分比，且覆盖范围必须包含溢出检测、重入锁、授权校验、外部调用返回值处理四类高危模式；覆盖率≥98%为强制准入阈值，非测试用例通过率。
4. 节点身份凭证绑定强度（第4.5.4条）：指节点证书与其物理设备标识（TPM芯片ID或TEE attestation nonce）的不可分割绑定程度，采用国密SM2数字签名+硬件背书签名双签机制，禁用纯软件生成证书或DNS域名绑定方式。

三、易混淆术语区分

四、术语应用规范

• 在系统安全设计方案文档中，“共识安全强度”必须标注具体数值及推导依据（如PBFT算法下f＜n/3），禁止使用“高”“强”等定性描述；引用条款时须注明“YD/T 3747-2020第3.2条”而非“标准3.2条”。
• 第三方安全测评报告中，“智能合约形式化验证覆盖率”须附验证工具名称、版本号、输入合约字节码哈希值及路径分析日志摘要，覆盖率数值保留两位小数并注明置信区间（±0.3%）。
• 跨链交互接口文档须明确标注所采用的“跨链操作原子性保障等级”（L1/L2/L3），并在错误码定义中对应列出各等级特有的失败类型（如L2级“中继节点离线”、L3级“HTLC超时”）。
• 所有测试用例命名须包含术语全称缩写，例如“TC-ZKP-ADAPT-001”表示零知识证明适配度测试用例，“TC-KEY-LCM-002”表示密钥生命周期管理测试用例，禁用“zkp_test”“key_test”等非标简写。