时空证明
本文中的“时空证明”指 xmuse 拟采用的资源持续可用性与服务质量核验机制。它用于计算奖励权重；当前页面是设计说明，不代表已经实现通用计算正确性的密码学证明。
权重计算与证明分开理解
「权重计算与证明分开理解」章节链接有效权重 = 基准分 × 在线率 × 网络环境系数 × 质量系数 × 周期早期系数| 项 | 建议范围或口径 | 实施前必须发布 |
|---|---|---|
| 基准分 | GPU、CPU、内存、NVMe、带宽的资源折算 | 测试负载、资源绑定方式、计时单位和基准版本 |
| 在线率 | 0 至 1 | 心跳/挑战频率、超时容忍、有效时长与清零阈值 |
| 网络环境系数 | 0.5 至 1.2，设计建议 | 测量位置、带宽/时延/丢包映射及地区差异处理 |
| 质量系数 | 0 至 1.2，设计建议 | 成功定义、样本量、置信要求和异常处理 |
| 周期早期系数 | 待确认 | 起算日、衰减规则及是否与发行早期补贴重复 |
公式说明如何分配份额，并不证明输入数据真实。参数、证据和评分程序须使用同一版本，才具备可复算性。
四类核验及其边界
「四类核验及其边界」章节链接| 核验对象 | 需要的证据 | 不能由该证据单独推出的结论 |
|---|---|---|
| 资源真实性 | 不可预知的基准挑战、设备与节点绑定、资源占用记录 | 一次跑分不能证明整周期独占或持续可调度 |
| 持续可用性 | 周期内随机挑战、心跳与调度日志 | 自报在线时长不能排除代理转发或临时借用资源 |
| 网络环境 | 来自多个位置的签名测量记录 | 单次测速不能代表用户全程访问质量 |
| 任务质量 | 任务回执、可重放测试、抽检与争议结果 | 任务完成回执不能自动证明所有外部操作正确 |
核验通过率与可罚没事件应分别定义。网络波动、平台故障和已证实作恶不能不加区分地使用同一惩罚。
从证据到奖励的建议流程
「从证据到奖励的建议流程」章节链接- 登记节点身份、资源与客户端版本，约定资源可调度范围。
- 分配不可预知的挑战；记录挑战标识、时间、随机来源、响应摘要和签名。
- 由验证节点采样，记录原始证据的索引及评分版本；异常进入复核。
- 形成周期权重与奖励明细，开放复算所需的数据或合规访问方式。
- 按正式规则处理异议，再确认最终承诺并允许领取。
以上是协议应具备的流程要求。挑战格式、随机性来源、采样频率、验证节点选择、防串谋、争议窗口、证据保留期和误罚申诉均待协议规格与实现验证确认；本站不为这些项目编造生效参数。
与 Filecoin PoSt 的区别
「与 Filecoin PoSt 的区别」章节链接Filecoin 的 PoSt 围绕封装数据在时间内持续存储设计。官方 PoSt 规格可作为持续核验的参考，但不能直接套用为 GPU、CPU 或任意 Agent 任务执行正确性的证明。
xmuse 的网络环境与任务质量核验还包含测量、服务回执和争议处理，需要独立说明信任假设。涉及外部 API、非确定性模型结果或资金操作时，按任务调度与验证定义可重放与幂等边界。
Merkle 承诺能证明什么
「Merkle 承诺能证明什么」章节链接Merkle 包含性证明可验证某条奖励明细属于已提交的承诺集合；结合领取状态，可校验领取资格和防止重复领取。它不能单独证明硬件、在线率或任务回执真实。
每周期提交根哈希可减少批量承诺交易，但领取交易、证明生成与分发、证据存储仍有成本。权重、明细、评分版本和必要证据可得，才支持第三方复算。详见奖励资产。