安全模型

工作量证明排序有效转换。递归证明建立有效性，不替代累积工作量分叉选择或 18 区块硬最终性边界。State 传输根据认证根检查，不因来自种子节点而被信任。

证明的内容

接受的终端覆盖精确输入实例、输出空槽、价值守恒、手续费、发行、合约策略及整数程序转换、后 State 根和递归祖先链。普通输入需要所有者秘密；合约输入需要由承诺策略和纳入高度选定的活跃授权。持有授权秘密不能绕过程序、分支权限或金额限制。

钱包证明绑定逻辑交易的秘密知识，矿工证明公开关系和父链接，节点验证并应用结果。有效 nonce 无法修复无效证明。

此源码关联计算覆盖保留的祖先链矩阵库 c2a6df736b0d0da22e285b6930b11cf44b520d65b52c7dfe78f44fe0cd48e76e。源码关联计算包括钱包、旧祖先链、History 及两个矩阵退役归约，覆盖 20 类失败事件，不因移除旧矩阵字节而丢弃其误差项。

表格在同一参考包络下给出资源下界和成功上界。主导项来自祖先链退役归约的查询事件。

评估保留全根组合、理想编译器、固定 Poseidon2b 差异、批量响应价格和标量门成本假设，并要求从认证规范矩阵进行两个旧密钥的诚实公开预处理。将矩阵摘要附在任意承诺根旁并不够。此数学资源评估依赖上述明确假设。

C1 使用 65 个钱包查询、133 个 History 查询，代数挑战来自 GF(2^256) 中大小为 2^255 的迹一集合。迹算术为 GF(2^128)。合约增加确定性约束，不为每个应用引入单独 Fiat–Shamir 协议。共享 ABI 不保证自定义策略正确实现作者意图。

推导及复现命令和最终矩阵库精确记录列出假设、输入及有理数界限。源码对应条件与固定哈希实例及响应价格假设一并评估。

每次授权尝试使用独立操作系统熵并消费私有 PCS 状态。Owner 声明绑定准确意图。密码学评估描述固定哈希和证明系统假设。

来源证明绑定准确选定链边界。验证者通过独立固定的预处理密钥检查证书，递归保留该绑定。重组在最终性范围内更新来源并回滚被替代输出和回执。

节点保留祖先链验证矩阵库、三类金融矩阵库、认证运行时元数据和来源证据。高度选择适用关系。矩阵字节通过对应固定密钥下的已验证证书退役。参见构建材料。

保护 256 位主秘密。知道秘密的人拥有同样支出权，但仍受相同合约策略限制。共识无法区分持有相同秘密的所有者与攻击者。

合约条款和回执是单独公开数据。秘密不能从承诺哈希恢复丢失程序或错过的后继。普通付款回执保存付款证据；合约 opening 还可能是花费必需材料。见合约恢复。

交易、金额、所有者和公开程序在可用时是透明的，第三方可归档。零知识隐藏花费见证，不隐藏公共账本陈述。

节点 Ed25519 身份只认证传输。DNS 种子寻找节点，不能授权交易或定义链。连接多样性、消息限制及分阶段同步约束资源使用。请保持所有者 RPC 本地访问，保护钱包数据，并为基础设施使用独立连接。