Genesis / Prototype Stage

Genesis / Prototype Stage / GENESIS

先让一项任务,
完整地留下证据。

首个拟议实验从获授权的 UTF-8 离线文本开始。我们要验证的是任务协调、结果复核与失败恢复是否成立。

02 / 一个有限的起点

先让一项任务,
完整地留下证据。

首个拟议实验从获授权的 UTF-8 离线文本开始。我们要验证的是任务协调、结果复核与失败恢复是否成立。

Proposed · 设计提案
01输入
UTF-8 离线文本、sample_id、许可清单、规则版本和内容摘要。先冻结输入,再分配任务。
02执行
版本固定的 Python CPU Runner,只读输入;任务期间禁止联网,不执行样本中的代码,不访问钱包或真实资金。
03输出
JSON 包含 sample_id、rule_id、命中位置、结果、无法解析原因、Runner 版本及输入输出摘要。
04验证
指定验证器核对输入许可、版本和结构,再使用参考规则或已知答案复核。
05接受
验证通过不等于自动接受。协调器依据运行前冻结的接受政策作出独立决定。
06记录
将结果连接到 Task、Attempt、Artifact、Verification 和 Acceptance,保留可导出的证据。

拟议受控实验。不是已上线的公开 Node 网络,也不是正式智能合约审计产品。

EVIDENCE / 001

一份样本。四步可检查的记录。

修改下方合成文本,查看精确文本规则的结果与 SHA-256 摘要。所有计算在你的浏览器内完成,文本不上传;这不代表 Python Node 或协议服务已实现。

Synthetic sampleRead-onlyNo wallet connectionNo code execution
sample-001

浏览器本地示意

  1. 01Input
  2. 02Rule
  3. 03Artifact
  4. 04Verification

Input / 输入

检查样本 ID、合成来源、许可声明与 UTF-8 输入摘要。

{
  "sample_id": "sample-001",
  "source": "synthetic",
  "license": "illustrative-authorized-input",
  "encoding": "UTF-8",
  "text": "require(tx.origin == owner);"
}

Rule / 规则

固定规则 demo-1,仅区分大小写地查找 tx.origin;注释和字符串也可能命中。

{
  "rule_id": "R-DEMO-01",
  "version": "demo-1",
  "pattern": "tx.origin",
  "case_sensitive": true,
  "position_unit": "UTF-8 bytes",
  "semantic_analysis": false
}

Result / 结果

生成 UTF-8 字节位置、命中结果和输入输出摘要,不执行文本中的代码。

{
  "sample_id": "sample-001",
  "rule_id": "R-DEMO-01",
  "rule_version": "demo-1",
  "runner_version": "browser-illustration-1",
  "matches": [
    {
      "start": 8,
      "end": 17
    }
  ],
  "result": 1,
  "parse_failure_reason": null
}

Verification / 复核

演示浏览器内的结构与参考规则检查。没有真实验证者签名,接受决定仍未作出。

{
  "mode": "local-browser-illustration",
  "reference_check": "not-a-real-verifier",
  "acceptance": "not-decided"
}

结果只表示文本模式命中,不构成漏洞证明或安全审计结论。

PROTOCOL / 01

每一次交接,都有明确的责任。

拟议工作流。滚动或选择步骤,查看当前组件处理的输入、动作、输出与证据。移动端可直接展开纵向卡片。

Synthetic Demo · 合成示例,非生产记录

01 / 06

Task Registry

提交者登记任务

查看详细说明

Task Registry

提交者登记任务

输入
授权 UTF-8 样本、规则版本、资源限制。
动作
检查许可清单与验收条件并冻结任务定义。
输出
待分发的 Task。
证据
task_id、input_digest、policy_version。

示例 JSON · 不是真实运行日志

{
  "synthetic": true,
  "production_evidence": false,
  "task_id": "synthetic-task-01",
  "state": "registered",
  "input_ref": "sample-001",
  "license_ref": "synthetic-license",
  "rule_version": "demo-1",
  "input_digest": null
}
02 / 06

Coordinator

协调器分配有限租约

查看详细说明

Coordinator

协调器分配有限租约

输入
冻结任务、可用受控 Node 与权限。
动作
按能力领取租约,记录代次、重试和截止时间。
输出
Task Attempt 与 lease。
证据
attempt_id、generation、lease_expires_at。

示例 JSON · 不是真实运行日志

{
  "synthetic": true,
  "production_evidence": false,
  "task_id": "synthetic-task-01",
  "attempt_id": "synthetic-attempt-01",
  "node_id": "synthetic-node-01",
  "state": "leased",
  "generation": 1,
  "lease_policy": "illustrative-lease-1"
}
03 / 06

Node Runner

贡献者设备只读执行

查看详细说明

Node Runner

贡献者设备只读执行

输入
有效租约、固定 Runner 和授权输入。
动作
禁网处理文本,按指定规则生成结构化结果。
输出
Artifact 或明确失败原因。
证据
runner_version、input/output_digest、状态事件。

示例 JSON · 不是真实运行日志

{
  "synthetic": true,
  "production_evidence": false,
  "attempt_id": "synthetic-attempt-01",
  "state": "completed",
  "runner_version": "illustrative-runner-1",
  "network_access": false,
  "artifact_id": "synthetic-artifact-01",
  "output_digest": null
}
04 / 06

Verifier

指定验证器复核

查看详细说明

Verifier

指定验证器复核

输入
结构化产物、许可与参考规则。
动作
检查版本、结构和已知答案;区分 pass、fail、error。
输出
Verification 记录。
证据
verifier_id、policy_version、证据引用。

示例 JSON · 不是真实运行日志

{
  "synthetic": true,
  "production_evidence": false,
  "verification_id": "synthetic-review-01",
  "artifact_id": "synthetic-artifact-01",
  "state": "illustrative-pass",
  "policy_version": "illustrative-policy-1",
  "acceptance": "not-decided"
}
05 / 06

Acceptance

协调器单独决定接受

查看详细说明

Acceptance

协调器单独决定接受

输入
有效 Verification、任务角色和冻结接受政策。
动作
判断是否占用唯一接受槽位,记录理由。
输出
Accepted、Rejected 或待恢复。
证据
acceptance_id、policy_version、decision_reason。

示例 JSON · 不是真实运行日志

{
  "synthetic": true,
  "production_evidence": false,
  "acceptance_id": "synthetic-accept-01",
  "verification_id": "synthetic-review-01",
  "state": "illustrative-accept",
  "policy_version": "illustrative-policy-1",
  "reason": "separate coordinator decision"
}
06 / 06

Contribution Store

保存可追溯的贡献

查看详细说明

Contribution Store

保存可追溯的贡献

输入
已接受成果与来源关系。
动作
事务性连接任务、尝试、产物、复核及接受记录。
输出
可查询、可撤销的贡献索引。
证据
contribution_id、provenance、revocation。

示例 JSON · 不是真实运行日志

{
  "synthetic": true,
  "production_evidence": false,
  "contribution_id": "synthetic-contribution-01",
  "acceptance_id": "synthetic-accept-01",
  "state": "illustrative-recorded",
  "evidence_refs": [
    "synthetic-task-01",
    "synthetic-attempt-01",
    "synthetic-artifact-01",
    "synthetic-review-01",
    "synthetic-accept-01"
  ],
  "economic_rights": false
}

Dashboard — 提交者查阅证据. 可审阅的任务视图。

CURRENT STATUS

把当前状态说清楚。

网站与文档可以公开阅读;原型能力是否成立,需要运行证据。

Public now / 当前已公开

  • 官方网站与双语页面
  • Litepaper 与 Whitepaper
  • 浏览器合成样本交互说明
  • 协议与数据结构设计提案

Planned validation / 计划验证

  • G0 单机闭环
  • Python Runner 与指定验证器
  • 数据库存储与证据导出
  • 重试、取消、撤销和恢复测试

Not available yet / 尚未上线

  • 公开 Node 客户端与网络
  • 真实运行 Dashboard
  • 无许可任务市场
  • 原生 Token、TGE、收益或空投安排

G0 — G5

以证据推进,
不以日期倒数。

以下阶段均为 Planned。每一关都要能回答一个问题;没有运行验收材料,不升级状态。

阶段高亮只表示你正在阅读的位置,不表示该阶段已通过验收。

G0

单机闭环

Planned
核心问题
一条任务链能否完整运行?
最小交付物
冻结任务包、Runner、验证器、数据库与证据导出。
通过条件
授权输入到接受记录端到端可复现,错误路径可追踪。
失败后如何处理
缩小任务范围,修复状态与记录缺口后重跑。
G1

真实多设备

Planned
核心问题
跨设备执行与恢复是否可靠?
最小交付物
独立设备的版本、尝试、重试与复跑记录。
通过条件
同任务跨设备复现,断线与重复提交不重复接受。
失败后如何处理
暂停扩容,检查环境差异与租约政策。
G2

展示与证据导出

Planned
核心问题
别人能否看懂并复核结果?
最小交付物
任务视图、来源关系、撤销记录与可校验导出。
通过条件
外部审阅者可从导出重建接受理由。
失败后如何处理
修复缺失关系和访问控制,重新导出。
G3

外部二次使用

Planned
核心问题
真实团队是否愿意再次使用?
最小交付物
获授权外部任务与第二次使用的反馈。
通过条件
需求方重复使用并明确指出可验证价值。
失败后如何处理
重新定义场景,不以报名量代替使用。
G4

成本与可靠性

Planned
核心问题
全流程成本是否可承担?
最小交付物
计入失败、传输、复核、人工与恢复的账本。
通过条件
在冻结预算与可靠性目标下完成同批任务。
失败后如何处理
调整工作流或停止不可承担的任务类型。
G5

开放与经济层

Planned
核心问题
扩大参与是否有必要且可控?
最小交付物
安全评审、责任安排、合规结论与经济必要性论证。
通过条件
开放权限、真实需求和风险边界均有依据。
失败后如何处理
保留受控模式;没有必要性就不引入原生 Token。