验证与部署证据

当前服务

源码提交

未确认

原生入口 SHA-256

未确认

ZKN 隐私

状态未确认。

项目自审报告与第三方密码学审计分别记录；功能开关不构成治理批准或密码学安全证明。

共识和形式化范围

独立 Python 模型用同一可信目标验证 PoW 并计算权重。原生共识依据生效治理策略的难度和权重表。

Lean 模型检查目标来源约束和验证入口一致性；签名验证结果、交易验证结果及历史上下文仍是模型前提，尚无整个生产实现的机械细化证明。

历史与断联验收

独立历史检查器仍为部分验证，尚未独立完整重放旧 PoS、全部交易、治理和应用状态承诺。不能据此认定已实现无信任加入。

断联回归使用四个独立本地 HTTP 进程及独立数据库，停止创始进程后继续出块并让空白节点逐块校验。它不证明公网自主发现或多个运营者环境的长期存活。