可运行 · 本地参考任务
修改文档与检索词,运行逐行检索,再用 Python 独立复算。源码、任务规范与负向测试均可下载。
打开任务实验室 ↗OCEAN6 / TECHNICAL DESIGN / 0.2
从任务定义、资源准入到执行与验收,查看 Ocean6 的系统设计、可运行参考任务和明确的技术边界。
本次发布把任务定义、执行代码、结果复算与网络设计放在同一条阅读路径。每项材料都标明它实际能够支持的结论。
把服务协调与实际执行分开。模型提供方、算力运营方和设备控制系统各自承担明确职责,每次交接都应留下可关联的记录。
明确输入、交付格式、预算、数据地区与验收条件;服务能力按版本登记。
先筛选符合地区、权限、资源与预算条件的服务方,再比较可用性。超时重试使用新 attempt_id,保留原 task_id。
通过适配器调用不同执行环境。软件执行、算力任务与物理设备指令使用不同权限和运行约束。
关联输入、输出、执行环境与验收结果。内容摘要可检测文件变化,服务质量需要独立的验收规则。
区分资源用量、任务费用和网络激励。验收通过后进入可结算状态,付款结果另行记录。
本提案将输入、调度、计算和详细日志保留在链下。链上登记、支付或证据锚定需等待具体网络与合约方案,当前不提供合约地址。
Ocean6 协调服务请求。机器人动作控制、现场安全联锁和紧急停止由专用控制系统负责,不能由通用 Agent 绕过。
初始试点建议采用受控服务商接入。开放准入、去中心化调度、独立验证和治理均需单独的实现与测试依据。
任务完成、验收通过和付款成功是三个独立事件。每次尝试都使用自己的状态序列;失败记录不得被一次重试覆盖。
submitted冻结任务版本、输入摘要与验收规则。
accepted服务方确认能力、费用边界与执行期限。
running记录本次执行尝试与运行环境。
delivered返回结果位置、摘要和计量记录。
validated按预先确定的规则接受交付。
settled另行确认付款,不由摘要校验自动触发。
异常分支:submitted 可 rejected / cancelled;accepted 可 failed / cancelled / expired;running 可 failed / cancelled / expired;delivered 可 disputed;validated 可 disputed。重试创建新的 attempt_id;failed、cancelled、expired、rejected、disputed 在本参考版本中均为终态。争议解决后续协议另行定义。
以下是待实现的协议要求。v0.2 本地参考只覆盖输入校验、一次执行和结果复算,不实现网络队列、计费或下面的分布式语义。
表格可左右滑动查看完整内容。
| 情况 | 拟议处理 | 验收用例 |
|---|---|---|
| 重复提交 | 同一调用方的幂等键绑定同一请求摘要;同键不同内容必须返回冲突。 | 重复请求返回原任务;修改输入后复用键应被拒绝。 |
| 执行失败与重试 | 仅对声明可安全重试的任务自动重试;保留 task_id,为每次尝试创建新 attempt_id。 | 超时重试保留两次记录,不重复确认同一交付。 |
| 租约到期与迟到结果 | 协调方记录有效尝试与租约;过期尝试的回执只归档,不自动触发验收或结算。 | 旧执行方恢复后提交结果,不能覆盖新尝试。 |
| 取消与物理动作 | 区分取消请求和取消确认;物理动作受设备控制系统约束,不宣称全局 exactly-once。 | 取消期间发生交付时保留事件顺序;设备急停独立验证。 |
| 费用与争议 | 将资源使用、验收和付款确认分别记录;失败费用和争议规则在接单前确定。 | 重复付款通知只入账一次;缺少付款证据不得标记 settled。 |
“在线”只表示可联系,不表示完成了 AI 工作。设备是否可用,应由明确的工作负载、兼容性与实际测试决定。
表格可左右滑动查看完整内容。
| 角色 | 执行范围 | 接入前需验证 |
|---|---|---|
| 模型服务适配器 | 调用外部模型或自部署模型 | 记录提供方、模型版本、请求标识、输出格式和计量方式;完成错误处理、超时与权限测试。 |
| 计算工作节点 | 执行获准的计算工作负载 | 申报 CPU / GPU、显存、内存、系统与驱动版本、可用磁盘、网络、地区及运行时;使用固定测试集验证。 |
| 设备与行业网关 | 连接现场系统与智能设备 | 列明协议、允许的动作、操作责任、现场安全条件与人工接管方式;物理执行必须由现场控制系统约束。 |
目前没有在本技术中心发布经验证的最低配置、支持机型清单或安装包。硬件报价、兼容性、在线计量和激励资格需要分别确认。
网络设计提案。建议初期由受控服务方参与,将供给声明、准入检查与任务调度分开记录。心跳、可调度性、实际交付是三个不同的判断。
表格可左右滑动查看完整内容。
| 检查阶段 | 必须留下的证据 | 未通过时的处理 |
|---|---|---|
| 身份与版本 | 服务方标识、负责人、运行时版本、制品摘要、密钥登记与撤销记录。 | 不接收新任务;身份与制品校验通过后重新申请。 |
| 资源与兼容性 | CPU / GPU 型号、显存、驱动、系统、区域、网络和隔离配置;工作负载测试的原始日志。 | 仅进入声明状态;硬件自报参数不能直接获得可调度资格。 |
| 可用性与容量 | 带时间戳的心跳、剩余容量、服务探测结果和记录缺失情况。 | 探测过期或容量不足时停止新分配;已有任务按超时策略处理。 |
| 交付与质量 | 任务 / 尝试标识、执行制品版本、输出摘要、错误分类和独立验收结论。 | 记录失败,排查后再准入;复查不能覆盖原始失败记录。 |
执行已接受的工作负载,提交结果与资源使用声明。执行方不能仅凭自身声明将任务标为验收通过。
按照任务提交前确定的规则检查交付;记录检查版本、结论和局限。初期由项目运营也应明确披露。
先过滤权限、数据区域、资源和预算,再比较健康状态与服务表现。当前没有公开的调度服务或去中心化证明。
最低硬件门槛、健康检查周期、性能分位数与价格,需要实际工作负载测量后发布。本提案不沿用其他项目的数值,也不承诺任何设备已兼容。
不同证据只能回答不同的问题。内容摘要、签名、任务验收与安全审计不能互相替代。
表格可左右滑动查看完整内容。
| 机制 | 能够检查 | 不能单独证明 | 本版状态 |
|---|---|---|---|
| SHA-256 内容摘要 | 下载结果是否与回执声明的字节一致 | 文件内容正确、模型真实运行、服务方身份 | 本页提供可运行示例 |
| 执行回执与身份签名 | 谁声明执行了什么、使用哪个版本 | 声明本身是否真实 | 结构提案;未提供签名服务 |
| 工作负载验收 | 结果是否满足预先约定的业务要求 | 所有未知场景中的绝对正确性 | 验收方法提案 |
| 独立复核 / 可信执行 | 特定计算或执行环境的额外保证 | 超出所声明威胁模型的安全性 | 研究方向;未声称已实现 |
| 第三方安全审计 | 指定代码版本、范围与日期内的审计结论 | 未来版本或整个网络绝对安全 | 本中心尚未提供审计报告 |
服务凭据应由服务端保管、按任务授权并可撤销。不得将私钥或长期 API 密钥置于浏览器或交给任务输入。
拟采用受限执行环境、资源配额和网络访问清单。隔离实现需通过具体运行时和逃逸测试验证。
输入与业务结果默认不应直接写入公开链。数据地区、保存期限、删除方式及访问人员应在服务约定中明确。
付款、权限变更与物理动作应设置批准边界。任务取消与设备紧急停止应有不同的责任与执行机制。
本地复算证明这个算法的结果符合公开规则。网络身份、远程执行环境与模型质量需要各自的信任来源和验证方法。
表格可左右滑动查看完整内容。
| 风险 | 需要的机制 | 本版覆盖 |
|---|---|---|
| 输出被修改 | 绑定原始输入、输出字节摘要,并重新计算确定性任务。 | Python 校验字节摘要并复算;浏览器只做算法结果比较。 |
| 服务方伪造身份或重放旧回执 | 可信身份登记、签名、任务与尝试绑定、挑战值、有效期及密钥撤销。 | 尚未实现;本地回执不带签名,时间戳由本机声明。 |
| 输入与回执被一起替换 | 从可信渠道固定原始任务与发行版本;签名或独立验证根。 | 下载清单只能对照文件,不能独立认证发行者。 |
| 模型输出不确定 | 固定模型、提示词、采样配置与验收数据集;区分语义验收与逐字复算。 | 本地示例没有使用 LLM;结果一致不代表模型推理已被验证。 |
| 远程主机读取敏感数据 | 数据分类、最小权限、区域与保留期控制;按威胁模型考虑可信执行与证明验证。 | 本地实验室代码不上传输入;生产保密计算 / TEE 未实现。 |
| 执行方与检查方合谋 | 披露控制关系、独立抽查、可追溯争议和有范围的外部审计。 | 没有独立验证网络或第三方安全审计的完成声明。 |
先公布如何测量,再公布测量结果。每份结果都应附带日期、代码版本、硬件、运行时、工作负载、并发与原始日志。当前未发布 Ocean6 生产性能数字。
表格可左右滑动查看完整内容。
| 指标 | 定义 | 发布时必须说明 |
|---|---|---|
| 任务成功率 | 验收通过任务 / 已结束且符合统计条件的任务 | 同时披露失败、取消、超时和拒绝数量;进行中的任务不进入完成率分母。 |
| 端到端延迟 | 提交到交付的耗时,报告 p50 / p95 | 拆分排队、实际执行与结果传输;注明样本量、并发与预热条件。 |
| 推理表现 | 首个 token 延迟与输出 token / 秒 | 固定模型、量化、输入 / 输出长度和硬件;不混合不同模型进行排名。 |
| 单位任务成本 | 计算、模型调用、带宽及服务费用 | 区分实付成本与补贴,记录币种、报价时间和失败任务成本。 |
| 节点可用性 | 满足检查要求的在线时段 / 应检查时段 | 注明观测窗口、抽样频率和缺失记录。在线指标不代替任务交付率。 |
将“上线”作为需要证据支持的工程状态。当前可以检查源码与本地执行;下列材料应随真实接入逐项发布。
发布版本化运行时、认证方式、真实测试端点、支持的工作负载与服务方责任;完成超时、重试和权限测试。
公开硬件、代码摘要、模型 / 数据集、样本量、并发、预热方式与逐次原始记录;同时披露失败样本。
明确服务条款、计费单位、退款 / 争议、数据保留、支持与故障处理;展示可核对的实际服务记录。
在相关功能实现后发布链标识、已验证合约源码、权限与升级机制、审计范围、节点准入和治理控制关系。
此处记录可检查的材料及其证明范围。产品路线图、测试网、安装包与生产服务采用独立的发布记录。
浏览器执行、独立 Python 复算、任务 Schema、边界与篡改测试。
节点准入、角色分工、重试与幂等、威胁模型和发布门槛;不表示网络功能已经实现。
版本化安装包、身份认证、可用端点、支持矩阵与集成测试。
网络标识、可核对记录、合约源码、权限与升级机制。
真实工作负载日志、可复现环境、失败样本及明确范围的第三方审计。
2026-09-19 · v0.2:新增真实本地任务执行、独立 Python 复算、任务 Schema、负向测试、节点准入 / 失败处理提案、威胁模型与上线证据要求。v0.1 固定回执示例保留。
检索日期:2026-09-19。以下为官方文档中的工程表达方式,作为设计参考;不表示 Ocean6 与其合作、已完成集成,或采用了其底层协议。未独立验证这些项目的全部实现。
公开硬件挑战、显存检查和失败日志路径,让“设备接入”可以被检查。Ocean6 借鉴其准入证据与故障分类方式。
官方技术文档 ↗文档区分 Container、Checker 与 Indexer,并区分可用容量和实际交付。Ocean6 在设计中明确三类职责与三类证据。
官方技术文档 ↗以 JSON 描述容器、命令、环境和资源,配套执行流程与校验说明。Ocean6 先交付有严格输入规则的本地参考工作负载。
官方技术文档 ↗当前文档说明委托执行、TEE 证明以及非确定性工作负载。Ocean6 借鉴“明确证明对象与依赖条件”,不把摘要等同于计算正确性证明。
官方技术文档 ↗讨论工作负载、接入条件或现有技术资料,请注明参考版本与具体章节。不要通过邮件发送私钥或客户敏感数据。
business@ocean6.ai