本文档为 Nervos 核心项目 CKB 提供一个概览性的描述。Nervos 是一个分层架构的分布式应用网络，CKB 是可以为 Nervos 网络中所有分布式应用提供数据、资产与身份服务的共同知识库（Common Knowledge Base）。
Background
比特币是世界上第一个区块链网络，专门为记录现金账本设计。比特币账本是比特币区块链网络维护的系统状态，账本中的最小存储单位是UTXO（未花费的交易输出）。用户可以使用钱包花费现有的 UTXO，生成新的 UTXO，并将其打包成交易，发送到比特币网络中接受验证和共识。UTXO 中记录了金额以及表达所有权的锁脚本，用户必须提供相应的解锁数据才能够花费UTXO。由于 UTXO 数据结构以及比特币脚本能力的限制，我们很难使用比特币账本来记录其他类型的资产和数据，只能通过 Color-coin、Meta-coin 甚至硬分叉这样的方案来满足不同的场景，实现应用的代价很高。
（思考 1：Color-coin、Meta-coin 怎么实现的呢？）
以太坊通过智能合约引入通用性计算，创造出了一个基于智能合约实现的生态。以太坊账本是以太坊区块链网络维护的系统状态，账本由账户构成，账户内部可以存放代码，并提供一个 256bitsKV 数据库存放数据，这样存放了代码的账户就是以太坊智能合约。用户在以太坊上可以发出两种类型的交易：一种交易可以创建合约，将用户编写的应用逻辑部署到区块链上，存放到合约账户中；另一种交易可以将用户提供的输入数据发给指定的合约账户，触发账户所保存的代码的执行，由代码产生更新账户内的 KV 数据库，产生新的内部状态。以太坊智能合约提供了更强大的计算能力以及灵活性，在一定程度上解决了比特币的问题，但依然有其局限性：
- 性能难扩展：以太坊以状态机事件作为设计中心（图 1），交易中包含的是状态机事件输入而不是状态本身，再加上 EVM 的图灵完备性，节点在处理交易之前难以判断交易相关性，难以对交易进行并行处理。同时，由于交易中没有包含账本状态，分片时还需要额外解决数据可用性难题。
（思考 2：状态机事件输入该怎么理解？交易中包含哪些内容呢？）
- 状态不确定性：合约状态由合约代码更新，而合约代码执行又受执行环境影响（例如被调用合约的当前状态）。因此用户在发起交易时无法完全确定交易执行后的结果。
- 单体合约 (Mono-Contract)：以太坊智能合约将计算和存储紧紧绑定，形成一个不可更改的整体。用户必须使用账户模型、EVM 字节码以及256bits KV 数据库范式来实现所有场景，缺乏效率和灵活性。
（思考 3：建议计算和存储分开罗？）
现有区块链的经济模型也面临着越来越多的挑战。随着用户和应用的增多，区块链上存储的数据也越来越多。现有的经济模型只考虑计算成本，使得用户产生的数据可以无成本的占用所有节点的存储空间。网络中使用的代币价格波动性极大，在代币价格上涨时为应用使用者制造了难以承受的手续费负担。
（思考 4：经济模型中考虑计算成本，也还需要考虑存储成本？现在已经有哪些区块链考虑了存储模型？代币上涨，应用使用者成本提高了··怎么解决呢？）
现有区块链的追求完全的去中心化，要求网络中的节点完全对等，极大的限制了自身设计空间，难以应对越来越广泛的应用需求。随着区块链状态膨胀，运行全节点对硬件的要求越来越高，运行全节点的用户也越来越少。同时，用户使用互联网服务的模式已经完成了从桌面浏览器到移动应用的迁移，更加剧了完全对等设计的弊端。区块链节点类型分化已成为必然趋势。
（思考 5：区块状态膨胀，意思是指区块链上全节点需同步的数据越来越大，相对应的存储硬件成本也越来越高，在加上互联网用户已经从PC转向移动端，那么区块链节点类型分化，向移动端扩展成为必然趋势，我觉得论证的结论还比较靠谱。但维护区块链系统是否真的需要转向移动端？互联网也仅仅有应用而不是服务端迁移到了移动端，那么是不是可以理解为区块链节点是一个非常轻量级的客户端，同时也是服务端，那么区块链轻节点到底应该具备怎样的功能呢？）
综合以上，我们重新思考并设计了 Nervos CKB，提出彻底解耦的分布式应用新范式，以支持更普遍的计算和存储需求，获得更好的性能，使经济激励更平衡，对移动设备更友好。我们希望Nervos CKB 可以成为全球 76 亿人的共同知识库，承载各种分布式应用。
（思考 6：Nervos CKB更普遍的支持计算和存储需求，具体怎么支持的呢，为什么说经济激励更加平衡呢，移动设备更友好体现在哪些方面？共同知识库是一个什么样的概念呢？）
Overview
Nervos CKB（以下简称 CKB）是一个以通用共同知识库（Appendix: Common KnowledgeBase）为设计目标的区块链。CKB 网络由存档节点、共识节点和轻节点组成：
- 存档节点：CKB 全节点，对新的区块和交易进行验证，中继传播区块和交易，保存 CKB上所有的交易历史。存档节点能提高整个网络的健壮性，为 CKB 上的应用提供历史查询。（全节点：区块交易验证、广播、存储历史交易）
- 共识节点：参与共识协议的 CKB 节点。共识节点接收新的交易，将交易打包成块，并对新生成的区块产生共识。共识节点不需要保存所有的交易历史。（共识节点：交易打包，产生区块）
- 轻节点：用户通过轻节点使用 CKB 网络，轻节点只保存非常少量的数据，可以运行在桌面电脑或者是移动设备上。(轻节点：保存哪些数据呢？)
CKB 节点通过点对点网络协议组成一个分布式网络，对区块和交易数据进行转发和广播。共识节点运行混合共识协议，以一定的时间间隔产生新的区块并形成共识，新区块会被所有节点承认并追加到区块链尾部，新区块中的交易会更新 CKB 的状态。
（思考 7：混合共识协议具体是怎么样的一种协议？新区块中的交易更新CKB的状态，CKB有哪几种状态，各状态是怎样流转的呢）
A New DApp Paradigm
CKB 提出一种全新的分布式应用范式，该范式由以下五种元素组成：
- Cell
- Type
- Validator
- Generator
- Identity
通过这五种元素，我们将分布式应用彻底解耦成计算、存储和身份三个方面。在此基础上，计算进一步分化为生成（Generator）和验（Validator）两个步骤，存储（Cell）也进一步通用化，可以支持任意结构化（Type）的数据。CKB 中的分布式应用，可以使用 Type 定义合适的数据结构，将应用数据存放在多个 Cells 中；应用的执行逻辑由 Generator 实现，状态验证逻辑由 Validator 实现；Generator 在客户端运行，用户进行操作时生成新的应用状态，新状态被打包在交易中发送到全网；网络中的节点先验证交易发送者的身份，然后使用 Validator 对交易中新状态的有效性进行验证，验证通过后将新状态保存到 CKB 中。
（思考 8： 抽象出5种元素，将分布式应用中的存储、计算-生成、计算-校验，验证、身份融合在一个完整的交易事务中 ，其他的区块链是怎么样来实现这样一个区块链的完整交易过程呢，比特币，以太坊，比原链怎么实现？）
CKB 以状态为核心设计数据流及经济激励，交易中包含的是新的状态，而不是触发状态机的事件。因此，CKB 区块链中直接保存了状态数据，状态随着区块一起同步，无需额外的状态同步协议，降低了系统复杂度，提高了系统可用性。分布式应用的状态被剥离到 Cells 中保存，Validator 和 Generator 内部没有任何状态，计算结果完全依赖输入，因此都是确定性的纯函数（Pure function），容易组合形成更复杂的逻辑。CKB 分布式应用使用的是一种近似Lambda Calculus 的计算范式，能够实现与图灵机相同的计算能力。
（思考 9 ：CKB以状态为核心设计数据流和经济激励，交易中包含的是最新的状态，我该怎么理解以太坊交易中包含的是基于触发状态机的事件呢？一个是交易中包含状态， 另一个是交易包含事件....）
表 1 将 Bitcoin、Ethereum 和 Nervos CKB 进行了比较。
State Generation and Validation
在 CKB 中状态生成和验证分离，两个阶段可以既可以使用不同的算法，也可以使用相同的算法。
对于一般的场景，目前还没有通用且高效的简化验证算法的方法。在这种情况下，我们使用相同的算法进行状态生成和验证：客户端使用该算法生成新的状态，节点利用交易中记录的依赖状态作为输入，执行同样的算法，对比输出的状态是否与交易中记录的新状态相同，相同则验证通过。在使用相同算法的情况下，状态生成和验证只有执行环境的差别，没有计算复杂度的差别。将生成和验证分离，生成转移到客户端执行的好处是：
确定性：交易的确定性是分布式应用的核心诉求之一。交易时延的确定性（HybridConsensus）已经得到了广泛的重视，但交易结果（即由交易产生的新状态）的确定性却往往被忽视。如果状态在节点生成，用户在发起状态生成请求时无法完全确定请求被执行时的环境，由此可能产生用户不希望的执行结果。在 CKB 中，由于新的状态由用户生成，由用户完全确定新状态之后再广播，交易所能触发的状态变更用户可以完全确定。要么交易通过验证，由用户生成并确认的新状态被接受，要么交易没有通过验证，不造成任何状态改变（图 2）。
可并行性：如果状态在节点生成，节点在处理交易前无法判断该交易依赖哪些状态，也就无法判断交易的相关性。在 CKB 中，由于交易显式地包含了交易依赖的旧状态以及生成的新状态，节点可以直接判断交易之间的相关性（Transaction）。无相关性的交易可以通过各种方式并行处理，包括多核并行及分片。并行处理交易是解决区块链性能扩展问题的关
键。
（思考 10 ：交易的相关性是指什么？判断交易的相关性的意义在哪里？哦，无相关的交易可以考虑并行处理，多核并行或者分片..）
- 计算分布式程度高：充分利用客户端计算资源，减轻节点计算负担，整体效率更高。
（思考11：节点计算和客户端计算的分工是怎么样的？）
- 客户端更灵活，容易与客户端所在平台集成：虽然使用相同的算法，但是生成和验证可以使用不同的方法实现。客户端可以灵活选择合适的编程语言来实现生成算法，计算效率可以更高，生成程序可以无缝集成到运行平台中，提供最好的用户体验。
（思考 12： 意思是指客户端可以多样化选择不同的编程语言来实现生成算法，并且生成程序还可以很好的集成到运行平台中来，这个运行平台是指节点运行平台吗？）
对于许多特定类型的场景，我们可以找到计算复杂度远低于生成算法的验证算法，最典型的例子是UTXO 账本和非对称签名。一个很有趣的例子是涉及排序和搜索的算法：平均复杂度最好的排序算法 QuickSort（快速排序） 的计算复杂度是 O(NlogN)，而验算排序的复杂度总是只有 O(N)；如果要搜索一个元素在数组中的位置，在数组已经排好序的情况下计算复杂度为O(logN)，而验算的复杂度是 O(1)。对于越复杂的场景，出现生成与验算复杂度不对称情况的概率更高。
（思考 13：验算的复杂度是O(1) 怎么理解，是指在已经排序好的数组里面进行验算吗？验算是验证交易的合法性吗？该段落主要想要说明：不同的计算场景，生成和验算复杂度不对称情况的概率高？所以客户端用来生成，节点用来验算？两功能分别隔离？）
在可以利用这种不对称性的情况下，节点处理效率会有极大的提升，更多的计算细节只存在于客户端，也更有利于算法保护和隐私保护。随着密码学技术的发展，我们可能会发现为通用问题设计非对称生成和验证算法的方法，例如通用的非交互式零知识证明。CKB 的状态生成与验证分离架构
也能够为其提供恰到好处的支持。
（思考 14： 什么是通用是的非交互式零知识证明？此处重点突出：CKB的状态生成和验证分离框架的优越性罗？）
下文将对 CKB 的 Cell 数据模型及交易数据结构作示意性的描述，目的是更好的解释 CKB 的功能。在 CKB 的具体实现中，需要考虑包括激励一致、执行效率在内的其它因素，数据结构会更为复杂，相关细节将在专门的技术文档中描述。
Cell
CKB 中数据的可信度来源有两种，一种是数据可以客观验证，一种是数据经过特定身份用户的背书。因此，CKB 中数据的最小单元必须包含以下要素：
- 数据本身
- 数据的验证方法
- 数据提交者的身份
Cell 是 CKB 中的最小数据单元，可以存放任意的数据。Cell 包含以下基本内容：
- type: Cell 的数据类型。
- capacity: Cell 容量，可存放数据的最大字节数。
- data: Cell 实际存储的二进制数据，可以为空。包含 data 在内，cell 占用的字节数总
是小于等于 capacity。 - owner_lock: 通过脚本表示的 Cell 所有者。Cell 所有者可以转让 Cell。
- data_lock: 通过脚本表示的 Cell 使用者。Cell 使用者可以更新 data。
Cell 一旦创建无法更改，是一种不可更改（immutable）的数据单元。对 Cell 的更新，实质上是通过创建所有权相同的新 Cell 来实现。用户通过交易提交包含新数据的新 Cell，同时使老的 Cell 失效（见Life Cycle）。因此，CKB 也可以看作是一个支持版本的数据仓库，最新的Cells 代表了数据仓库的当前版本，已经失效的 Cells 代表了数据仓库的历史。
对 Cell 的操作权分为两种，所有权和使用权。Cell 的 owner_lock 规定了所有权，即转让Cell capacity 的权利；Cell 的 data_lock 规定了使用权，即创建新的 Cell 来更新 Cell 内容的权利。Cell capacity 可以一次全部转让，也可以部分转让，部分转让会创建新的 Cell（比如一个 capacity 为 10 的 cell 变成两个 capacity 各为 5 的 cell）。Cell capacity 的增长
速度由共识参与度及流动投票决定。
（思考 15：cell一旦创建即不可更改，类似于拥有版本的数据仓库，更新cell实际上是创建了具有相同权限的cell,老cell失效，cell的操作权限有转让和使用权利，转让属于owner_lock，且支持部分转让，使用权利即更新cell内容的权利，Cell capacity的增长速度是指单个的cell嘛？共识参与度和流动投票怎么决定着cell capacity呢？Cell跟UTXO有什么样的区别呢？）
Cell 的 lock 脚本由 CKB 支持的虚拟机执行，用户在更新 Cell 数据或是转让 Cell 时需要提供相应的证明作为 lock 脚本输入，如果 lock 脚本执行结果为 True 则证明用户具有相应的权限，可以进行操作。
lock 脚本表达了 Cell 的操作权限，可以代表单用户，也可以是门限签名或者更复杂的权限。Cell 具有很好的隐私性，用户通过使用不同的 lock 脚本，可以很轻松地使用不同的假名（Pseudonomy）来管理自己的 Cells。Cell 的所有者和使用者可以是相同的用户，也可以是不同的用户，这也意味着 CKB 使用者不需要拥有 Cell 就可以使用 CKB，使用门槛低。
（思考 16：使用者不想要拥有cell局可以使用ckb，这个有具体的场景吗，代表别人进行投票吗？lock脚本代表着单用户，cell 和lock脚本时候一对多的关系，那么lock脚本具体是什么呢？）
Life Cycle
Cell 生命周期有两个阶段，新创建的 Cell 处于第一个阶段 P1。Cell 是不可变数据对象，一旦被创建其内容不能被修改，Cell 的更新通过Transaction 实现：Transaction 以需要被更新的 P1 Cell 作为输入，以 Generator 产生的包含新状态的 P1 Cell 作为输出。
（思考 17 ： 包含新状态的P1 Cell 就是 P2 Cell吧？Generator产生 P1 Cell对不？）
一个 P1 Cell 只能被使用一次，不能被用作两个不同 Transaction 的输入。P1 Cell 被使用后进入第二个阶段 P2，P2 Cell 不能再用作Transaction 输入。我们把所有的 P1 Cells 形成的集合称为 P1 Cell Set（P1CS），P1CS 中存储了 CKB 当前所有的共同知识；所有的P2 Cells 形成的集合称为 P2 Cell Set（P2CS），P2CS 中存储了 CKB 所有的历史状态。
（思考 18 ： P1CS存储了CKB中当前所有的共同知识，P2CS存储了CBK所有的历史状态，两者有什么真实的价值呢？将数据分别存储归档，类似于数据仓库中的分层概念？）
CKB 网络上的全节点只需要 P1CS 就可以验证 Transaction，P2CS 可以按照一定的策略清理。P2CS 可以保存在存档节点（Archive Node）或者是分布式存储网络上。CKB 轻节点只需要保存区块头和特定的 Cells，不需要保存完整的 P1CS 和 P2CS。
Type
CKB 为 Cell 提供了类型系统，用户可以创建自定义的 Cell 类型。通过类型系统，我们可以在CKB 中定义不同结构的共同知识以及相应的生成验证规则。
创建新的 Cell 类型需要定义 Data Schema 和 Validator 两个要素：
- Data Schema: 定义新类型的数据结构。
- Validator: 定义新类型的验证程序。
Data Schema 和 Validator 的定义也是一种共同知识，存放在 Cell 中。每一个 Cell 都有一个且仅仅一个类型，多个 Cell 可以属于同一个类型，也可以属于不同的类型。
Data Schema 提供该类型的数据结构定义，使 Validator 可以理解和使用 Cell 中保存的数据。Validator 为验证程序，由每一个节点使用 CKB 支持的虚拟机执行，以交易的 Deps,Inputs 和 Outputs 作为程序输入（Transaction），能够通过验证就返回 True，不能则返回False。Cell 的创建、更新和销毁可以使用不同的验证规则。
（思考 19： 支持自定义类型的cell的好处是什么呢？默认的类型是什么？Deps是什么？Data Schema 具体该怎么定义呢？Data Schema跟什么东西类似呢？）
Index
用户在定义 Data Schema 时可以设置索引，添加了索引的数据字段能够获得额外的支持，包括能够在 Validator 或是 owner_lock/data_lock 中使用的条件查询指令以及聚合函数。例如，众筹发起方可以生成一个 Identity Cell（Identity），在其 data_lock 中利用条件查询和聚合函数判断属于这个 identity 的代币总数是否已经达到众筹目标，实现有上限的众筹。
（思考 20 ： 很想知道Data Schema要怎么玩？）
Identity
Identity 是一种系统类型，用户可以任意创建属于自己的 Identity Cell。Identity Cell 可以作为 Cell data_lock/owner_lock 使用，Cell 更新或者转让时，需要提供对应 Identity Cell data_lock 的解锁脚本（图 3）。
Identity 是广义的身份，Identity 可以对应个人或者机器实体的任何身份侧面。Identity 是Nervos 网络中分布式身份协议 NIP（详见 Nervos Identity Protocol Paper）的基础。通过 NIP，Nervos 网络引入 CA 证书，可以兼容现有的 PKI 体系，用户可以表达自己的社会身份，分布式应用可以基于身份构建。Identity Cell 中可以存放公开身份信息，或者是身份信息摘要，由用户在必要时与分布式应用交互，提供所需的详细信息。
相对于 UTXO 或是账户，Cell 是一种更加通用的存储模型。UTXO 模型和账户模型都可以表达资产和所有者之间的关系：UTXO 以资产为基础定义所有权（锁脚本），账户则以所有者为基础记录资产（账户余额）。UTXO 模型中的帐目变动更清晰，但显式账户概念的缺乏使表达能力本就欠缺的脚本更加难以使用，也无法记录权限等账户元信息。账户模型容易理解，可以很好的支持身份和权限系统，却有交易难并发的问题。支持类型和 Identity 的 Cell 设计集成了这两种模型的优点，创造了一种更加通用的数据模型。
Transaction
Transaction 表达了 Cells 的转让和更新。在一个 Transaction 里面用户可以转让 Cell，或是更新一个或者多个 Cell 的内容。Transaction 包括以下基本内容：
- deps: 依赖集合，对交易进行验证所依赖的只读数据，只能是 P1 Cells 的引用或者用户输入。
- inputs: 输入集合，包含需要被转让/更新的 Cells，只能是 P1 Cells 的引用及相应的解锁脚本。
- outputs: 输出集合，包含新产生的 P1 Cells。
由于 Cell 的不可变更性，更新 Cell 时不会直接修改旧的 Cell，而是会产生一个新版本的 Cell，这些 Cell 版本可以前后衔接在一起，形成 Cell 的 “版本链”：某一次 Cell capacity 转让时创建了这个 Cell 的第一个版本，对 Cell 的后续更新形成了这个 Cell 的一系列历史版本，在版本链的最后 (Head) 是 Cell 的最新版本。CKB 是所有 Cell 版本链的集合，所有 Cell Heads的集合是 CKB 的当前版本。
CKB Transaction 中包含的 deps 和 inputs 使节点可以方便地判断交易间的依赖关系，对交易进行并行验证（图 4）。Transaction 中可以混合多种类型的 Cell，可以方便的实现跨类型的原子性操作。
CKB Cell 模型和 Transaction 的设计使 CKB 对轻节点更友好。由于所有的状态都在区块中，区块同步协议也支持了状态同步。轻节点只需要同步区块，不需要计算（生成状态），就可以获得新的状态。如果区块中只保存事件，则需要全节点支持额外的状态同步机制。在缺乏激励的情况下，区块链协议之外的额外机制很难大范围的部署。在区块链协议内同步状态，使轻节点与全节点之间的地位更平等，系统更加健壮和去中心化。
（思考 21：所有的状态都在区块中，是包含哪些状态呢？轻节点只需要同步状态，不需要计算生成状态，即可获得新的状态，难道以太坊或者比特币不是这样的吗？那以太坊和比特币同步区块的时候需要做些什么事情呢？他们区块中只保存事件吗，是不是意味着这样至保存事件的区块链中需要更多的全节点来支持？所以若没有强有力的支持，很难有大范围的节点部署罗？CKB保证了轻节点和全节点的地位平等？）
Generator
Generator 是生成程序，用来生成符合类型定义的新的 Cells。Generator 在发起交易的客户端本地执行，以用户的输入以及现有的 Cells 作为输入，生成包含新状态的 Cells 作为输出。Generator 用到的输入以及产生的输出共同构成一个 Transaction（图 5）。
Validator 和 Generator 可以使用相同的算法，也可以使用不同的算法（Overview）。Generator 可以接受一个或者多个相同或者不同类型的 Cell 引用作为输入，可以产生一个或者多个相同或者不同类型的新 Cells 作为输出。
通过定义 Data Schema, Validator 和 Generator，我们可以在 CKB 中实现任意共同知识的验证和存储。例如，我们可以定义一个 AlpacaCoin 的新类型：
Data Schema = {amount: “uint”}
// pseudo code of checker check():
// 1. 检查 inputs 列表中的项都有正确的解锁数据
// 2. 计算 inputs 列表中 AlpacaCoin 的 amount 之和 IN
// 3. 计算 outputs 列表中的 AlpacaCoin 的 amount 之和 OUT
// 4. 比较 IN 和 OUT 是否相等，并返回结果
Validator = validate(context ctx, inputs, outputs)
// pseudo code of generator gen():
// 1. 查找用户能够花费的，属于 AlpacaCoin 类型的 Cells
// 2. 根据用户输入的转账地址和金额，生成类型为 AlpacaCoin 的属于收款人的 Cell 和找零 Cell
// 3. 返回被使用的 Cells 列表，以及新生成的 Cells 列表，这些 Cells 将用于构造交易
Generator = gen(context ctx, address to, uint amount, ...)
Layered Network
在 Nervos 网络中，CKB 和 Generator 构成上下层的关系，CKB 是共同知识层，而Generator 是生成层。CKB 只关心 Generator 产生的新状态，不关心状态产生的具体方式，因此 Generator 的具体实现形式是非常多样化的（图 6）。
分层架构将数据与计算分离，使每层都可以获得各自的灵活性与可扩展性，使用不同的共识协议。 CKB 作为最底层，拥有最广泛的共识，是整个 Nervos 网络的基础。不同的应用所需要的共识范围不同，强制所有应用都在最广泛的共识下进行会导致效率低下。在 Nervos 网络中，业务参与方可以根据自己所需的共识范围选择合适的 Generator，只在需要与局部共识范围外的其他服务交互时，将局部状态提交到 CKB 上，使其获得更广泛的认同。
（思考 22：OK，CKB是Nervos网络的基础，拥有最广泛的共识，业务方根据自己所需要的共识范围选择合适的Generator，那么局部共识，局部状态有场景说明就更好理解了。。）
Generator 可以包括（但不限于）以下几种形式：
客户端
在用户设备上直接运行 Generator 生成新状态。通过轻客户端提供的接口或是客户端程序库，生成算法可以用任何编程语言实现。状态服务
用户使用中心化服务，由服务器执行生成算法，生成新状态。目前所有的互联网服务都可以通过状态服务的方式使用 CKB，使服务状态数据获得更大的信任和流动性。 例如，游戏公司可以使用状态服务架构，在中心化服务中执行游戏逻辑，生成道具信息；在 CKB 中定义道具类型和总量等规则，将生成的道具登记并确权。
结合 Nervos Identity Protocol，信息发布机构提供基于身份的可信 Oracle，为Nervos 网络中的其他服务提供必要的信息。
（思考 23 ： 由中心化服务生产新状态，然后通过CKB定义的服务信息，最终将新状态上链进行确权登记？）
状态通道
两名或多名用户使用点对点网络连接通信，共同生成新的状态。状态通道的参与者可以通过CKB 登记和获取参与者信息，建立通道连接。参与者可以在 CKB 上提供保证金，使其它参与者相信通道能够顺利运行。状态通道参与者之间可以使用共识协议或是多方安全计算技术来生成新状态。生成链
一个用于生成 CKB 新状态的区块链。生成链可以是公有链（例如任何使用 EVM 的区块链），也可以是许可链（例如 CITA 以及 Hyperledger Fabric）。使用许可链可以将状态计算限定在一定参与范围内，保护计算隐私，同时获得很好的性能。在应用链中，参与者共同执行状态生成并相互验证计算过程，在状态需要更广泛共识时，将其提交到 CKB中，使之成为接受度更高的共同知识。
(思考 24 ：AppChain 就是一个用于生成CKB新状态的区块链，公有许可链 )
Hybrid Consensus
共识算法追求在网络延迟和各类节点故障存在的情况下实现两个目标：正确性和性能。 正确性又包括一致性，指分布式系统中每一个节点的数据副本完全相同，以及可用性，指分布式系统能够在有限的时间内响应用户的请求。性能也包括两个方面，一是交易延迟，即从客户端提交 Transaction到客户端获得确定性结果所需要的时间，越短越好；二是吞吐量，即系统每秒中可以处理多少笔交易。
公有链运行在开放的分布式网络中，节点可以自由的加入和退出，在线节点不固定且变更频繁，这些都是传统 BFT 共识算法很难处理的问题。Satoshi Nakamoto 巧妙的引入经济激励以及概率性共识应对这些难点[2]，因此要保证正确性需要额外的开放性与公平性。开放性使共识节点的加入退出无阻碍，无论是有 100000 个节点还是 1 个节点，公有链都能正常工作；公平性使共识节点可以获得与所付出的努力成比例的回报。公有链共识算法的性能指标除延迟和吞吐量外，还需要考虑运行开销。
（思考25：传统BFT共识算法有哪些弊端，不能解决哪些问题？又主要应用在哪些场景？）
以比特币工作量证明（Proof of Work）为代表的 Nakamoto 共识拥有极佳的开放性和可用性，比特币网络中的节点可以任意的加入和退出，网络性能随着共识节点数量的增加能够保持不变。但 Nakamoto 共识吞吐量低，以比特币 7 笔交易每秒的处理速度，难以消化商业场景的日常需求。即使通过次级通道技术（例如闪电网络）将大部分交易转移到链下，通道的建立与关闭依然受到链上处理速度的制约，在网络拥堵时甚至会影响到次级通道的安全性。Nakamoto 共识以区块投票，交易确认速度慢，通常需要 10 分钟到一个小时，用户体验不佳。在分区的情况下，比特币网络能够继续提供服务，但交易是否被完全确认无法保证，无法满足对交易确定性要求较高的商业场景。
（思考26：闪电网络，次级通道技术的基本原理是什么？分区基本原理是怎样的？）
经历了 30 年发展的传统拜占庭容错（Byzantine Fault Tolerance）共识可以实现媲美中心化系统的吞吐量和交易确认速度，但其开放性不佳，节点动态增减难度大，网络性能随参与共识的节点数量增加而迅速下降。传统 BFT 共识对故障的容忍能力较低，在网络分区时节点无法达成一致，网络无法正常提供服务，难以满足公有链对可用性的要求。
（思考27：拜占庭容错共识，节点范围比较小，对故障容忍能力较低，查找相关的资料进行进一步阅读）
在研究和实践中我们认识到，传统 BFT 算法在正常路径下逻辑简单，但需要以复杂的逻辑应对故障情况；Nakamoto 共识则以不变应万变，无论是正常还是故障情况都是同样的逻辑，但也因此影响了正常路径下的系统性能。如果将 Nakamoto 和传统拜占庭容错两类共识协议有机的结合在一起，新的混合共识在一致性、可用性、公平性及运行开销等方面可以形成最佳组合 [3][4]。CKB 将按照混合共识的思路，设计并实现自己的混合共识算法，为交易提供见证。通过将Nakamoto 共识和传统 BFT 共识结合，我们既可以保留开放性和可用性，又可以在正常路径下获得传统 BFT 共识的优秀性能，将交易时延降到最低，最大程度的提升系统吞吐量。
CKB 以 Cell Capacity 作为参与共识的条件。想要参与共识的节点需要抵押一定数量的 CellCapacity 作为保证金，用于确定共识节点的投票和奖励分配权重。如果某个共识节点作恶，观察到作恶行为的其它共识节点可以将证据提交到链上，导致作恶节点的保证金被系统罚没。保证金机制能增加共识节点作恶的成本，提高共识的安全性。
CKB 混合共识的详细设计请参考 CKB Consensus Paper。
Economics
经济模型是公有链的灵魂。 通过引入经济激励，比特币第一次解决了开放网络上的共识难题。每一个区块链网络都是一个通过经济激励结合在一起的自治共同体。一个优秀的经济激励制度应该引导区块链的参与者为这个自治共同体作出贡献，最大化区块链的效用。
CKB 经济模型应该能够激励用户、开发者和节点运行者合力为共同知识的形成与保存贡献力量。CKB 的经济模型同样以状态为核心进行设计，通过 Cell Capacity 增发和手续费两部分奖励产生激励。
CKB 状态的形成与存储都需要一定的成本。状态的形成需要节点验证，消耗计算资源，状态的存储则需要节点持续提供存储空间。现有的公有链经济模型只在处理交易时收取一次性手续费，一旦数据上链成为共同知识，则可以无需再付出任何成本，永久占用所有节点的本地空间。
（思考28：CKB中计算和存储均需要一定的成本，具体是怎么设计的呢？尤其是存储这方面）
在 CKB 中，Cell 是状态的存储单元。未被占用的 Cell Capacity 可以转让，具有流动性，但是被占用的 Capacity 不能被转让，失去流动性。因此，Cell 的使用者需要为状态的存储支付流动性作为成本。Cell 的使用时间越长，需要付出的流动性成本越高。通过使用流动性成本而不是预付费的方式，避免了预付费用完导致 Cell 被强制回收的问题。
Cell Capacity 的价格是对 CKB 中共同知识价值的直接度量。 需要注意的是，Cell 的使用者和所有者可能是不同的，所有者可以帮使用者支付流动性成本。更新 Cell 中的数据或是转让Cell Capacity 则需要支付手续费。共识节点可以设置自己愿意接受手续费水平，交易手续费高低是由市场决定的。手续费也可以由 Cell 所有者代替使用者支付。
当前主流用户难以使用区块链的一个重要原因是，交易手续费必须以原生代币进行支付，由此要求用户在使用服务之前自行寻找方法先获取原生代币，提高了使用门槛。 另一方面，用户已经习惯了基本服务免费，增值服务收费的商业模式，无论做什么都要收费也不符合主流用户习惯。CKB 通过允许 Cell 所有者代替用户付费的设计解决了这两个问题，为应用开发者提供了更多的商业模式选项。
系统手续费收入的大部分由出块节点获得，剩余的部分将用于支持 Nervos 网络的开发、研究、运营等工作，以保证网络的持续良性发展。手续费分配比例由流动投票（流动投票）决定。
除了用于支付共同知识的形成和存储成本，Cell Capacity 还可以被用在共识抵押、流动投票等多个场景中。CKB 的安全程度与共识节点抵押的代币数量息息相关。共识抵押代币越多，节点作恶成本越高，整个系统也更加安全。CKB 的 Cell Capacity 增发调节的目标之一是保证一定的共识保证金抵押水平，以此保证系统安全。通过调节增发比例，调节共识参与者可以获得的无风险收益比例，进而调节共识的参与度。
CKB 经济模型的细节请参考 Nervos CKB Economic Paper.
治理机制
作为 Nervos 网络的基础设施，CKB 必须能够与其所承载的生态同步进化，在不间断运行的同时进行调整运行参数，或是进行更深程度的网络升级。从区块链发展历史中我们能够看到，社区达成共识或是网络升级的成本过高将会阻碍创新，使网络难以进化，无法生态发展的需求。
因此，CKB 内置了流动投票和热部署机制，使 CKB 成为一个能够自我进化的分布式网络。
流动投票
CKB 的运行依赖一组系统参数，其中有一些能够自动调节，有一些需要进行投票达成共识；CKB的代码中可能会有 bug，修复方案有可能需要投票共识；随着 Nervos 生态的发展，CKB 的功能需要持续升级，实现和部署新的功能也需要投票共识。因此，投票工具是 CKB 长期稳定运行必不可少的组件之一。
CKB 支持流动投票 [5]（图 7）。每一位 Cell 所有者都可以参与到与 CKB 发展有关的决策中来，投票权重由用户所持有的 Cell Capacity 决定。在流动投票中，用户可以设置自己的投票代表，由其进行代理投票。投票代表也可以设置自己的投票代表。考虑到提案专业度和参与激励的问题，不同的提案可以设置不同的接受条件，例如参与率和支持率。值得注意的是，CKB 流动投票是 Nervos 社区共识的表达工具，不是共识形成工具。在票之前，社区应该利用各种沟通工具对提案进行细致的考察，事先形成粗略共识。
CKB 流动投票细节请参考 Nervos Governance Paper。
Neuron
得益于 Cell 数据模型的抽象性，CKB 的功能模块可以利用 Cell 来实现和存放。我们把承担CKB 系统功能的 Cell 称为 Neuron，Neuron 实质上是一种特殊的 Cell 类型，其使用者是CKB 自身。
在功能变更/升级提案被实现为 Neuron 之后，社区使用流动投票对是否部署进行表决。在获得社区共识后，新的 Neuron 将被部署到链上，修复系统 bug 或是提供新的系统功能。细粒度的Neuron 升级能够大大降低 CKB 的进化难度。
轻客户端
节点完全对等的区块链架构已经受到了严重的挑战。公有链网络上节点性能参差不齐，对等节点架构不仅对用户硬件要求越来越高，也无法充分发挥高性能节点的潜力。越来越多的用户放弃运行全节点，转而使用轻客户端以及中心化客户端。全节点需要对所有区块和交易数据进行验证，对信任依赖最小，但开销最大，使用非常不便。中心化客户端则完全信任中心服务器提供的数据，放弃了验证。轻客户端则通过稍微增加对全节点的信任，大大降低了验证开销，对用户体验有很大的提升。
同时，移动设备已经成为人们日常使用互联网服务的主要设备，原生应用也越来越流行。因此，对移动设备友好是 CKB 的设计原则之一，Nervos 应用应该能够流畅的运行在移动设备上，与移动平台无缝的衔接。
CKB 支持轻客户端。CKB 使用可证数据结构组织区块头，可以极大地加快轻客户端的同步速度。得益于 CKB 以状态为中心的设计，轻客户端无需重复计算就能够方便地直接同步到最新的状态（P1CS）。使用本地保存用户关心的少量 P1 Cells 及网络带宽，轻客户端可以提供更好的
分布式应用体验。
Summary
Nervos CKB 为一个全新的分布式应用网络提供了共同知识层。Nervos CKB 以状态为中心设计，采用更为通用的存储模型，更好的平衡了激励机制，得到了一个更具可扩展性的分布式应用范式。
References
- Alonzo Church, Lambda calculus, 1930s
- Satoshi Nakamoto, “Bitcoin: A Peer-to-Peer Electronic Cash System”,
2008 - Vitalik Buterin, Virgil Griffith, “Casper the Friendly Finality Gadget”,
2017 - Rafael Pass, Elaine Shi, “Thunderella: Blockchains with Optimistic Instant
Confirmation”, 2017 - Bryan Ford, “Delegative Democracy”, 2002
Appendix. Common Knowledge Base
我们所掌握的共同知识是社会协作形成的基础。我们在漫长的发展历程中逐渐形成并认同的一系列概念，包括民族、宗教、国家、货币、企业、身份、信用等等，共同搭建了今天的社会结构。共同知识的形成和传递是人类社会的关键问题。如果我们能够改进共同知识的形成和传递效率，哪怕仅仅是百分之一，也会对社会发展产生巨大的推进作用。
区块链或许是一个新的答案。在区块链网络中机器接手了人的任务，实现了自动化的共识过程和可靠的知识传递，将共同知识的生产工业化。我们认为区块链是一种可称之为共同知识库（Common Knowledge Base）的新技术。促进共同知识的形成和传递是区块链的核心价值，也是区块链上能产生代币模式（Token）和密码经济学（Cryptoeconomics）的原因。
Common Knowledge
共同知识（Common Knowledge）是被一个群体共同接受的数据，群体的参与者不仅自己接受该知识，还知道群体中的其他人同样接受该知识。一般的，我们可以根据形成方式将共同知识分为三种：
一种是依赖其 “可独立验证性” 来被参与者接受的。例如，“11897 是一个质数” 这个论断的提出者如果可以同时提交一份如何验证一个数字是质数的算法，就可以在不需要信任的前提下取得他人对这个论断的共识，进而促成交易（比如用来确认对于某数字是否为质数的对赌）。在抽象的数学
范畴内这样的例子很多。
在更需要观察实验和经验性依据的科学领域里，共同知识的产生依赖发现者在提交新发现的同时提交独立验证的方法，在经过科学社区独立验证后，承认并把该发现作为领域共同知识的一部分。大众则是通过对科学方法和科学社区的信任而建立对这条共同知识的信任。
在商业场景中，共同知识是以信任和声誉为基点的，因而存在共同知识提交方信任和声誉能辐射到的范围。也就是说，商业场景中的一则数据如果能够成为交易参与者都能接受的共同知识从而促成交易，交易的参与者必须对该数据产生者有足够的信任。共同知识是促成交易发生的必要条件。
比如说在中心化交易所的场景里，交易是基于对交易所本身的信任，以及由此推及的报价数据的准确性和交易的公平性而产生的。在信用卡境外消费的场景里，消费者和商家完成交易的前提是双方对包括双方银行和信用卡公司等中间机构的信任。
共同知识有各种类型和存在形式，我们把能够自动化共同知识的形成，存储共同知识及相关证明的技术称为共同知识库。
Blockchains are Common Knowledge Bases
过去，共同知识需要群体内的个体之间进行各种繁杂的交流和相互确认才能形成，之后分散记录在个体的大脑中。今天，基于密码学和分布式技术的区块链使得共同知识的产生和保存发生了质的变化。人们不再需要反复沟通以确保新知识在人群中达成一致，也不再需要将知识记录在空间有限的大脑中。区块链世界中的每一条数据，包括数字资产和智能合约都是共同知识，他们经过了全体节点的一致共识，以极低的成本在区块链中不断的形成和沉淀，却比一般的数据蕴含了更大的价值。
(思考 27： 共同知识在群体之间进行各种交流和确认才能形成，并且分散记录在个体的大脑中，但也有很多知识形成之后，变通过文字或者书籍等形式传播，分享，人们通过互联网世界可以轻松的得到。是否意味着存储在区块链上的共同知识，通过全体节点达成一致之后，就可以完全得到信任呢？数字资产和智能合约，为什么是共同知识，有共同验证即是？)
区块链是共同知识库。加入一个区块链网络意味着共同验证并认可网络中的知识。交易经过节点验证之后，与相关的证明一起被保存在区块链中。区块链的每一位使用者都能够确信区块链中的交易有效，也能够确信其他使用者认可区块链中的交易有效。
比特币账本是一种共同知识，比特币网络是第一个基于区块链技术的共同知识库。比特币账本记录了从创世块之后的所有被包括开发者、矿工和使用者在内的比特币社区认可的用户转账交易。
以太坊上的智能合约是另外一个共同知识的例子：以太坊支持图灵完备并且拥有状态的智能合约，能够实现各种业务规则。智能合约的使用者知道智能合约的执行逻辑，并且知道合约的其他参与者也知道这一点。
General Purpose Common Knowledge Base
让我们考虑一个适用于形成和存放任何类型共同知识的通用共同知识库（General PurposeCommon Knowledge Base）。它应该具有以下特征：
- 以状态为核心，而非以事件为核心（图 1）。
- 数据模型足够抽象和通用，允许用户自定义业务数据模型。
- 共同知识的验证引擎足够抽象和通用，允许用户自定义数据验证规则。
如果说分布式账本是数字资产的 “结算层”，通用共同知识库则可认为是各种类型共同知识的 “结算层”。Nervos CKB 的目标是成为一个通用共同知识库，作为整个 Nervos 网络的公共状态层，为上层应用提供状态与信任基础。
“The various ways in which the knowledge on which people base their plan is communicated to them is the crucial problem for any theory explaining the economic process, and the problem of what is the best way to utilizing knowledge initially dispersed among all the people is at least one of the main problems of economic policy - or of designing an efficient economic system.” - “The Use of Knowledge in Society”, Friedrich A. Hayek, 1945
