Symphony Core Docs

English

简体中文

English

简体中文

Appearance

% SCP Semantic Layer Formal Specification (Unified Edition) % Version 2.0 (Merged v1.0 + v1.1 + v1.2) % 2026-02-27

SCP 语义层统一形式化规范 v2.0 ​

状态：Mainnet Formal Unified Specification
类别：核心语义层协议（完整统一版本）

本版本合并：

  • v1.0 基础结构定义
  • v1.1 完整 Registry / Domain / Global / 升级机制定义
  • v1.2 数学化定义与一致性可证明模型

============================================================

第一部分：总体架构定义 ​

1. 语义层目标 ​

SCP 语义层用于：

  1. 构建跨 Vault 的确定性语义共识
  2. 支持 Attribute 分级演进
  3. 提供可验证的 Registry Root
  4. 保证长期可升级且不分叉

三层结构：

LOCAL → DOMAIN → GLOBAL

Scope 单向升级，不可回退。

第二部分：形式化集合与函数定义 ​

设：

V = 全体 Vault 集合
A = 全体 Attribute 集合
D = 全体 Domain 集合
G ⊆ A = Global Attribute 集合

定义函数：

Scope : A →

单调性约束：

对于任意 a ∈ A： Scope(a)_t <= Scope(a)_t+1

LOCAL < DOMAIN < GLOBAL

第三部分：Registry 定义 ​

Registry R 定义为：

R = (A, D, G, Root, semantic_version)

Registry 包含：

  • Attribute Table
  • Domain Table
  • Global Attribute Set
  • Semantic Cluster Table
  • Embedding Hash Table
  • RegistryEmbeddingRoot

Root 定义为：

Root = H(sorted(embedding_hash(a) for a in A_active))

H 为 SHA256。

Root 必须写入 Settlement 层。

第四部分：Attribute 定义与分级 ​

Attribute 结构：

  • attribute_id (全局唯一)
  • name
  • data_type
  • base_unit
  • allowed_range
  • semantic_hash (不可变)
  • embedding_hash
  • scope

分级：

  1. LOCAL
  2. DOMAIN
  3. GLOBAL

Scope 单调升级。

第五部分：Domain 定义与生命周期 ​

Domain 包含：

  • domain_id (不可复用)
  • domain_name
  • attribute_set
  • DomainRoot
  • state

状态机：

PROPOSED → ACTIVE
ACTIVE → MERGING / SPLIT_PENDING
MERGING → ACTIVE
SPLIT_PENDING → ACTIVE
ACTIVE → ARCHIVED

ARCHIVED 不可逆。

DomainRoot = hash(sorted(attribute_ids))

第六部分：Global 定义 ​

Global Attribute 必须满足：

  • 跨 Domain 使用广泛
  • 高 Stake
  • 低冲突率
  • 时间稳定

Global 属性参与 Global Root 计算。

第七部分：Embedding 协议规则 ​

必须固定：

  • embedding_model_version
  • tokenizer
  • 量化规则
  • 权重与阈值

向量量化为 int16。

embedding_hash = SHA256(quantized_vector)

Embedding 仅用于：

  • 聚类
  • 升级判断
  • 冲突检测

不得参与查询或 OEV。

第八部分：升级机制 ​

LOCAL → DOMAIN ​

Score_local(a) = α log(U(a)) + β log(V(a)) + γ log(S(a)) + δ T_norm(a) + ε E(a)

Score_local(a) >= theta_domain

DOMAIN → GLOBAL ​

Score_domain(a) = a log(V(a)) + b log(S(a)) + c log(C(a)) - d conflict_rate(a)

Score_domain(a) >= theta_global

升级必须记录在 Registry Snapshot。

第九部分：Domain 升级机制 ​

Domain 可升级为 GLOBAL_DOMAIN，当：

  • ≥ X% Attribute 为 GLOBAL
  • 跨 Domain 查询比例 ≥ Q%
  • Stake ≥ S3
  • 冲突率 ≤ ε

第十部分：形式化不变量 ​

  1. attribute_id 唯一
  2. Scope 单调
  3. semantic_hash 不可变
  4. 排序 deterministic
  5. Root 可重现
  6. Domain ID 不复用
  7. ARCHIVED 不可激活

第十一部分：Root 一致性定理 ​

若所有节点满足：

  1. 相同 semantic_version
  2. 相同排序规则
  3. 相同 embedding_hash 算法

则 Root_i = Root_j

第十二部分：语义版本迁移 ​

semantic_version 变更必须：

  • 双版本并行
  • Root 分离
  • 禁止跨版本相似度计算
  • ≥90% 节点确认

历史 Attribute 不得修改。

第十三部分：查询范围规则 ​

查询仅允许：

  • DOMAIN Attribute
  • GLOBAL Attribute

LOCAL 不可跨 Vault。

跨 Domain 查询必须基于 GLOBAL。

第十四部分：全局一致性定理 ​

若：

  1. deterministic canonicalization
  2. 相同 embedding_model_version
  3. 相同 semantic_version
  4. 不变量成立

则 SCP 语义层为强一致系统。

第十五部分：安全模型 ​

系统必须防止：

  • 语义分裂攻击
  • 属性爆炸攻击
  • 版本分叉攻击
  • 恶意 Stake 操纵

第十六部分：实现强制要求 ​

实现必须：

  • 完全 deterministic
  • 禁止在线模型调用
  • 禁止版本漂移
  • 支持审计日志
  • 支持快照验证

============================================================

结论 ​

SCP Semantic Layer v2.0（统一版）整合：

  • 架构定义
  • Registry 完整结构
  • Attribute / Domain / Global 分级
  • 升级机制
  • 数学化不变量
  • 一致性可证明模型
  • 版本迁移机制

本规范为 SCP 语义层完整统一正式发布版本。

结束。