English version · 区块链学习导航 · 上一篇
区块链学习 · 文章 BC046
“连接到基础链”并没有说明基础链究竟执行哪些检查。一个系统可能把数据发布到那里，可能提交有效性证明，也可能让那里的合约接受委员会签名。这些安排形成不同依赖，即使用户界面看起来相似。
第一层、第二层、侧链和应用链等标签可以作为起点，但有用的比较必须分别确认执行、数据可用性、状态接受、最终性、退出条件和管理权限。
本篇比较三个连接到基础链 L 的虚构设计。任务是沿实际执行检查的边界，追踪一项安全主张，再找出仍依赖其他运营者、委员会或规则的部分。
选择适合你的阅读路线
本篇目录
- 1. 先说明参照的基础链
- 2. 逐项比较安全性质
- 3. 设计 R：数据发布到 L，状态经过证明检查
- 4. 设计 S：独立共识，加上由签名控制的连接
- 5. 设计 V：状态经过证明检查，但数据另有依赖
- 6. 读完设计卡后再分类
- 7. 应用范围是独立维度
- 8. 执行运营者说谎会怎样
- 9. 数据不再送达会怎样
- 10. 排序器停止会怎样
- 11. L 上接受之后，仍需 L 的最终性上下文
- 12. 改变规则的权限会移动信任边界
- 13. 综合证据练习表
- 14. 练习：改进六个说法
- 15. 常见问题
- 资料来源与后续阅读
先读比较问题，再填写三张设计卡。完成故障情景分析后，再为设计分类。练习要求指出证据与条件，不要求选出喜欢的链或速度冠军。
示例使用符号化应用记录和抽象退出请求，不存入、跨链转移或提取任何资产。假想合约、委员会和权限均由题目明确给出，不代表某个真实网络。
一手资料核对于2026年10月12日，只用于支持有限的架构概念。有关低成本、即时提款、普遍兼容或安全保证的营销说法，不是本练习的前提。
1. 先说明参照的基础链
在本比较中，L 是基础链，其节点执行 L 自身的交易和共识规则。题目假定 L 在明确的有效性、最终性和可用性条件下正常工作，不尝试从头证明这些条件。
在 L 上执行的合约，会成为处理该合约调用时应用的规则。但 L 不会自动知道关于其他系统的每项说法是否真实，它只能执行相关协议和合约实际表达的检查。
例如，检查三个获授权签名，与检查某项状态转移的证明，是不同检查。两者都可以是合约规则，但含义和剩余信任假设不同。
应在练习表顶部写明参照链。“第二层”或“在基础层结算”必须对应明确关系，不能只放一个没有上下文的层级数字。
2. 逐项比较安全性质
对于每个附属设计，回答五组问题：
- 应用交易在哪里执行？由什么检查其状态转移结果？
- 重建相关状态所需的数据在哪里变得可用？之后需要谁提供？
- 基础链合约通过什么机制接受所用状态？该基础链更新何时最终确定？
- 退出或跨系统释放需要哪些证据和权限？
- 谁能替换规则、暂停过程，或改变哪些主体的声明会被接受？
真实系统中的这些问题可能相互交叠，但不能因其中一个答案令人放心，就删除另一个。计算有效，不会自动让输入数据可取得；合约更新最终确定，也不能证明其接受规则就是阅读者原本以为的规则。
因此，“继承安全性”最好写成针对具体性质的条件句：L 在这些代码、密码学、数据和治理前提下，执行这项检查。不要把继承当成一个覆盖所有故障的简单是非标签。
3. 设计 R：数据发布到 L，状态经过证明检查
R 在 L 之外处理应用交易。每个批次都会在 L 上发布指定重建程序所需的数据。L 上的合约只有在检查有效性证明之后，才接受新的 R 状态承诺；证明绑定旧承诺、新承诺、批次数据承诺及正确的 R 规则。
题目明确假定证明系统可靠，证明电路表达预期规则，验证器及其他合约代码正确，发布数据与证明陈述匹配。这些是要记录的前提，不是出现“证明”二字就自动成立的事实。
合约更新受 L 自身共识与最终性约束。R 排序服务较早给出的接收确认，不等于 L 上该合约的更新已经最终确定。
基准设计没有升级或暂停管理员。它提供一个明确的直接提交路径，符合条件的用户不需排序器签名即可使用；也提供基于已接受状态和必要证据的退出路径。这些路径仍需要数据、有效请求、资源和正常的 L 处理过程，本题不承诺完成时间。
4. 设计 S：独立共识，加上由签名控制的连接
S 用独立的共识系统和验证者集合，执行并最终确定自己的应用历史。题目没有给出该共识系统的具体故障模型，因此在主张 S 内部安全性或活性之前，审查者必须取得这项信息。
连接到 L 的部分是另一份合约：五名指定桥接授权方中，只要三名对准确的规定消息签名，就可满足释放声明的要求。合约检查指定身份、签名、消息上下文和防重放条件。在本设计中，它不验证 S 的执行轨迹，也不验证 S 的共识证书。
假定桥接代码正确实现这项规则，三个被接受的签名就足以满足授权要求。但合约信任这些授权方如实报告相关 S 事件。正确验签，不等于独立检查该事件。
S 通过自己的网络发布历史，不通过 L 的数据可用性机制。基准桥接合约没有额外升级或暂停管理员。五名桥接授权方与 S 的共识参与者属于不同职责，是否由同一批人控制尚不清楚，不能猜测。
5. 设计 V：状态经过证明检查，但数据另有依赖
V 同样在 L 之外执行，并向 L 上的合约提交有效性证明。它使用正确指定的陈述和验证器，采用与 R 相同的明确证明前提。但重建所需的数据，由 L 之外的指定数据委员会持有。
V 的基础链合约同时要求有效状态转移证明，以及五名指定数据委员中三名对相关批次承诺作出的签名声明。L 检查这些签名，但签名存在不等于 L 已发布底层数据。
题目规定，V 的退出路径需要由相关状态数据生成的见证。如果符合条件的阅读者拿不到数据，即使被接受的状态转移仍在密码学意义上有效，也可能无法生成见证。
V 专门服务虚构的 Archive 应用，基准合约没有升级或暂停管理员。面向特定应用描述的是系统用途，不会消除外部数据依赖。
6. 读完设计卡后再分类
按本篇使用的术语，R 是相对于 L 的有效性 rollup 式第二层：执行在 L 外进行，指定的数据发布与状态接受检查则依托 L。这个标签仍以给定机制为条件，不能代替机制本身。
S 是相对于 L 的侧链式系统，有自己的共识，以及单独规定的连接。以太坊侧链文档支持区分连接起来的独立链，与相关状态由基础链执行检查的系统。本篇不采纳宽泛性能比较，也不认为每条侧链都使用 S 的桥接设计。
V 属于 validium 式设计：通过 L 合约检查有效性，数据可用性却依赖 L 之外的安排。以太坊 validium 文档说明了这一区别，以及数据无法取得时可能阻碍用户生成退出证据。
按本练习对应用范围的定义，V 同时也是面向特定应用的链或系统。这些描述可以并存。“面向特定应用”回答的问题，不同于“数据在哪里发布”或“由哪种共识接受状态”。
7. 应用范围是独立维度
应用专用链针对某项应用或某类操作进行定制。仅凭这个设计选择，无法判断其安全机制是自主、共享、基于证明，还是依赖外部数据服务。
Cosmos SDK 项目介绍描述用于构建可定制应用专用区块链与模块的框架。它说明一种面向应用的设计方式，却不能证明每条应用链都采用同一种共识引擎、桥接或安全安排。
R 可以把操作范围缩小到一个应用，而不移动数据或验证器。S 也可以只服务一个应用，同时保留独立共识和签名控制的桥接。反过来，通用执行环境可以支持多个应用，并采用类似 R 或 V 的边界。
因此，把“L1、L2、应用链”排成互斥选项可能误导。应先问正在分类哪个维度，不应把应用范围、基础链关系和控制结构压缩成一次类别选择。
8. 执行运营者说谎会怎样
假设 R 的运营者提出一个违反指定规则的状态更新。在可靠证明和正确验证器的给定前提下，运营者不能只靠声明就让 L 合约接受该转移。真正起作用的是接受规则。
V 的执行证明也有这一有限性质，但它没有回答 V 委员会是否会向阅读者交付数据。状态转移受到保护，与数据访问受阻，可以同时发生。
对于 S 的连接，假设三名桥接授权方对虚假但格式正确的释放声明签名。按虚构规则，授权检查可以通过。L 忠实执行了合约，但外部声明仍然虚假。
这并不矛盾：L 执行的是交给它的检查。没有根据的说法是，仅因桥接合约在 L 上执行，就声称它独立验证了 S 的应用事实。
9. 数据不再送达会怎样
R 的设计卡要求通过 L 发布指定重建数据。如果只提供批次承诺，却没有必要发布证据，审查者不能认为设计卡中的数据条件已满足。
发布之后，较晚的阅读者仍需要适合相应时间跨度的检索或归档路径。数据曾按协议发布条件可用，不能被改写成某个特定接口会永远保存数据的承诺。
V 可以同时具有有效证明和委员会签名，但委员会或其他持有者没有交付所需数据。在给定设计中，阅读者生成见证的路径就可能失败。证明有效不会凭空生成缺失字节。
对于 S，则要查询其自身网络与数据保留安排。设计卡没有依据让人假定 L 提供 S 的完整历史数据。连接合约的存在填补不了这个空白。
10. 排序器停止会怎样
R 的设计卡提供不需要排序器签名的直接提交路径，使审查者有一个具体备用机制可检查。仍然需要核对路径的准确条件、必要数据、适用时的证明生成、资源，以及 L 处理请求的能力。
“排序器不能阻止一切”不如记录清楚的路径具体；只有实际满足条件，这句话才有意义。不能把存在机制转化成保证很快完成。
V 的设计卡没有为每一项新更新提供同样的无需许可提交备用路径，所以不能自行推断它存在。其退出路径还依赖数据。应分别问应用能否继续运行，以及能否从已经接受的状态证明退出。
S 的进展依赖其自身共识和运行假设；通过连接释放，则依赖三取五的授权规则。网络继续运行，与授权方配合一次释放，是不同观察。
11. L 上接受之后，仍需 L 的最终性上下文
假设 R 的验证器调用在 L 的一个当前选定区块中成功，但该区块尚未被所需的 L 最终性证据覆盖。状态接受检查已在观察到的分支中成功；要声称最终结算，还需要额外的基础链上下文。
V 的已接受更新，以及在 L 上执行的 S 签名授权释放，也有同样区别。合约成功与其所在 L 历史的最终性是两件事，即使应用把它们显示在同一界面。
以太坊有效性 rollup 概述介绍链外执行，以及基础链上的验证和状态承诺。本练习明确加入最终性与运行条件，不把证明被接受当成即时、无条件的最终结算。
报告应指明对象与阶段，例如：“R 更新在 L 的区块 B 中被接受，但这份证据包尚未建立 B 的最终性。”这比笼统说“受 L 保护”更有用。
12. 改变规则的权限会移动信任边界
现在只修改 R 的基准条件：管理规则允许三把指定密钥中的任意两把，立即替换验证器，没有等待期或额外否决机制。这是虚构的技术能力，不表示组织政策已授权某一次替换。
原先的证明前提不再涵盖所有未来接受路径。替换后的验证器可能执行不同检查。因此，审查状态接受性质时，必须把这些密钥的控制权和升级机制纳入考虑。
L 仍然可以完全按已安装合约执行升级，但这不意味着 L 保证原来的应用规则延续。再次强调：执行某条规则，与认可该规则造成的后果，是不同概念。
真实设计中，对暂停、更换数据签名者、替换桥接授权方，也应提出相同问题。管理权限属于架构比较的主体，不能因系统使用证明就被放进无人关注的附录。
13. 综合证据练习表
分析者收到四份证据包，每份都针对相应虚构设计，观察来源真实，且没有未说明的额外证据。
- 证据包 A：R 的证明通过正确验证器；匹配的必要数据发布已建立；L 上的更新已获验证过的最终性覆盖；所有给定退出前提均可满足。
- 证据包 B：V 的证明和三个正确委员会签名，已在最终确定的 L 历史中被接受；但阅读者缺少生成退出见证所需数据，也没有其他来源。
- 证据包 C：S 的释放合约收到三个获授权方对声明的签名，但没有提供关于所述 S 事件的独立证据。
- 证据包 D：R 运营者声称更新完成，但没有提供 L 合约接受、匹配数据发布或 L 最终性证据。
A 在给定前提下支持指定的状态接受和退出资格结论，但仍不认证外部法律权利、现实真相或服务永久可用。
B 支持状态已通过证明检查并被接受，同时指出该阅读者缺少退出前提。C 支持桥接授权条件满足，不支持底层 S 事件已经独立验证。D 只提供运营者报告，不能从 R 的类别标签凭空补出缺失证据。
14. 练习：改进六个说法
根据设计卡改写每句话，不要假定标签自动提供全部性质。
- “S 连接到 L，所以 L 检查每一笔 S 交易。”
- “V 有有效证明，所以任何阅读者都能重建状态。”
- “R 现在专用于一个应用，所以不再属于 rollup 式设计。”
- “三个 S 桥接签名证明所述 S 事件真实。”
- “两把技术密钥授权替换 R 验证器，就会保留旧验证规则。”
- “R 有直接提交路径，所以每个请求都会立即完成。”
答案与推理
- S 的给定连接检查三取五声明规则，并不验证每一笔 S 交易或 S 共识证书。S 内部历史依赖自己的系统，具体故障模型仍待取得。
2. V 的证明针对指定状态转移。重建还需要数据，而给定委员会依赖可能使阅读者拿不到数据。
3. 应用范围改变，但 R 的数据和接受机制没有改变。它可以同时面向特定应用，并采用 rollup 式设计。
4. 这些签名满足给定授权要求。外部声明是否真实，仍依赖授权方及指定连接模型的其他部分。
5. 两密钥规则提供技术替换能力。新验证器可能执行不同规则；要证明连续性，需要额外约束或证据，不能直接假定。
6. 该路径提供一个不依赖排序器签名的机制，但完成仍取决于前提、处理和资源。设计卡没有推出立即完成的期限。
15. 常见问题
每个使用有效性证明的系统都是 rollup 吗？
不是。V 也用有效性证明，但本例的数据可用性位于 L 外。应先说明数据和结算关系，再选择标签。
在 L 上发布状态根，就表示 L 验证整个状态转移吗？
不是。根在哈希假设下承诺某个对象。关于产生它的状态转移能建立什么结论，取决于合约实际执行的接受检查。
侧链是不是完全没有安全性？
不能这样推断。它有自己的机制和假设，需要具体评估。重点是，连接 L 不会自动把 L 的所有保证转移过去。
本篇建议采用某一种设计吗？
不是。这些是虚构比较卡。课程训练精确的架构提问，不提供金融、部署或服务选择建议。
资料来源与后续阅读
以下一手资料核对于2026年10月12日，新加坡时间：
- 以太坊侧链，页面最后更新于2026年2月23日：连接的独立链架构与独立共识。不采纳笼统实现或性能主张。
- 以太坊 validium，页面最后更新于2026年9月8日：有效性证明与链外数据可用性，包括数据扣留限制。不使用即时退出或普遍更安全等说法。
- 以太坊零知识 rollup，页面最后更新于2026年9月8日：链外计算、基础链验证及状态重建数据。本篇把证明、数据、最终性和运行条件分开。
- Cosmos SDK 项目：面向特定应用的定制与模块化构建。框架介绍不能认证每条使用它构建的链所依赖的假设。
之前的模块化架构课程分配组件职责。本篇进一步问：哪些具体性质能跨越附属系统之间的边界？接下来将检查乐观挑战机制所需的具体证据和时间条件，再与有效性证明接受及数据重建比较。