按名字解析 · 验结算
两件事,都在你的浏览器里算,**不签名、不广播、不猜** ✓:① 把 bringup://<kind>/<id> 解析成「它是什么」,
② 把一份结算 plan 与真交易输出/声明对着订单验一遍 ✓。
名字的规则是这一条 ✓:id = H("BRINGUP/<domain>|v1|" ‖ 规范字节)
—— **域和版本都在哈希里** ✓,所以「同名不同物」不存在 ✓,改一条规则就是换一个 id ✓。
内容寻址的那两类(order / binding)解析就是**拿载荷把 id 重算一遍** ✓ ⇒ 对得上你就不必信这个页面 ✓。
旧名 tape:// 会被明确拒绝 ✓(它是我编的,不是别人的协议 ✓);没有 address 类 ✗
—— 索引器不支持按地址查 ✓,理由见页面里的拒绝文本 ✓。
① 解析一个名字
② 验一份结算(对着订单 + 真输出)
—
③ 什么才真的可争议(挑战 / 惩罚)
先说清份额 ✓:惯例的欺诈证明系统要做的事,在这份 base 上**大半已经由规则完成** ✓ ——
**窄状态由矿工强制**(错的一步产生的输出**对不上 pin ⇒ 根本花不出去** ✓,没有可争议的东西 ✓);
**锚把承诺钉死** ✓;**抽签是哈希** ✓(「我赢了第 N 轮」不是意见,是**人人都能重跑的算术** ✓)。
⇒ 剩下的是**三件互不相同**的事,而下表就是**不把一种机制套到三种事上** ✓。