CELLS:Nervos-CKB中文版白皮书_NERA

Figure1.Event-focusedvs.State-focusedDesign.png

Overview

NervosCKB(以下简称CKB)是一个以通用共同知识库(Appendix:CommonKnowl-edgeBase)为设计目标的区块链。CKB网络由存档节点、共识节点和轻节点组成:

存档节点:CKB全节点,对新的区块和交易进行验证,中继传播区块和交易,保存CKB上所有的交易历史。存档节点能提高整个网络的健壮性,为CKB上的应用提供历史查询。共识节点:参与共识协议的CKB节点。共识节点接收新的交易,将交易打包成块,并对新生成的区块产生共识。共识节点不需要保存所有的交易历史。轻节点:用户通过轻节点使用CKB网络,轻节点只保存非常少量的数据,可以运行在桌面电脑或者是移动设备上。CKB节点通过点对点网络协议组成一个分布式网络,对区块和交易数据进行转发和广播。共识节点运行混合共识协议,以一定的时间间隔产生新的区块并形成共识,新区块会被所有节点承认并追加到区块链尾部,新区块中的交易会更新CKB的状态。

ANewDAppParadigm

CKB提出一种全新的分布式应用范式,该范式由以下五种元素组成:

CellTypeValidatorGeneratorIdentity通过这五种元素,我们将分布式应用彻底解耦成计算、存储和身份三个方面。在此基础上,计算进一步分化为生成(Generator)和验证(Validator)两个步骤,存储(Cell)也进一步通用化,可以支持任意结构化(Type)的数据。CKB中的分布式应用,可以使用Type定义合适的数据结构,将应用数据存放在多个Cells中;应用的执行逻辑由Generator实现,状态验证逻辑由Validator实现;Generator在客户端运行,用户进行操作时生成新的应用状态,新状态被打包在交易中发送到全网;网络中的节点先验证交易发送者的身份,然后使用Validator对交易中新状态的有效性进行验证,验证通过后将新状态保存到CKB中。

CKB以状态为核心设计数据流及经济激励,交易中包含的是新的状态,而不是触发状态机的事件。因此,CKB区块链中直接保存了状态数据,状态随着区块一起同步,无需额外的状态同步协议,降低了系统复杂度,提高了系统可用性。分布式应用的状态被剥离到Cells中保存,Validator和Generator内部没有任何状态,计算结果完全依赖输入,因此都是确定性的纯函数(Purefunction),容易组合形成更复杂的逻辑。CKB分布式应用使用的是一种近似LambdaCalculus的计算范式,能够实现与图灵机相同的计算能力。

表1将Bitcoin、Ethereum和NervosCKB进行了比较。

StateGenerationandValidation

在CKB中状态生成和验证分离,两个阶段可以既可以使用不同的算法,也可以使用相同的算法。

对于一般的场景,目前还没有通用且高效的简化验证算法的方法。在这种情况下,我们使用相同的算法进行状态生成和验证:客户端使用该算法生成新的状态,节点利用交易中记录的依赖状态作为输入,执行同样的算法,对比输出的状态是否与交易中记录的新状态相同,相同则验证通过。在使用相同算法的情况下,状态生成和验证只有执行环境的差别,没有计算复杂度的差别。将生成和验证分离,生成转移到客户端执行的好处是:

确定性:交易的确定性是分布式应用的核心诉求之一。交易时延的确定性(HybridConsensus)已经得到了广泛的重视,但交易结果(即由交易产生的新状态)的确定性却往往被忽视。如果状态在节点生成,用户在发起状态生成请求时无法完全确定请求被执行时的环境,由此可能产生用户不希望的执行结果。在CKB中,由于新的状态由用户生成,由用户完全确定新状态之后再广播,交易所能触发的状态变更用户可以完全确定。要么交易通过验证,由用户生成并确认的新状态被接受,要么交易没有通过验证,不造成任何状态改变(图2)。可并行性:如果状态在节点生成,节点在处理交易前无法判断该交易依赖哪些状态,也就无法判断交易的相关性。在CKB中,由于交易显式地包含了交易依赖的旧状态以及生成的新状态,节点可以直接判断交易之间的相关性(Transaction)。无相关性的交易可以通过各种方式并行处理,包括多核并行及分片。并行处理交易是解决区块链性能扩展问题的关键。计算分布式程度高:充分利用客户端计算资源,减轻节点计算负担,整体效率更高。客户端更灵活,容易与客户端所在平台集成:虽然使用相同的算法,但是生成和验证可以使用不同的方法实现。客户端可以灵活选择合适的编程语言来实现生成算法,计算效率可以更高,生成程序可以无缝集成到运行平台中,提供最好的用户体验。对于许多特定类型的场景,我们可以找到计算复杂度远低于生成算法的验证算法,最典型的例子是UTXO账本和非对称签名。一个很有趣的例子是涉及排序和搜索的算法:平均复杂度最好的排序算法QuickSort的计算复杂度是O(NlogN),而验算排序的复杂度总是只有O(N);如果要搜索一个元素在数组中的位置,在数组已经排好序的情况下计算复杂度为O(logN),而验算的复杂度是O(1)。对于越复杂的场景,出现生成与验算复杂度不对称情况的概率更高。

MetaMask机构钱包推出新版质押市场:3月22日消息,ConsenSys 表示其 MetaMask 机构钱包已经开启新版质押市场,公司与投行可以选择不同的质押服务。新市场将采用 ConsenSys Staking 技术,以及 Allnodes、Blockdaemon 和 Kiln 的产品。新版质押市场引入了条款和条件的标准化,费率将更容易查看和比较。[2023/3/22 13:20:14]

在可以利用这种不对称性的情况下,节点处理效率会有极大的提升,更多的计算细节只存在于客户端,也更有利于算法保护和隐私保护。随着密码学技术的发展,我们可能会发现为通用问题设计非对称生成和验证算法的方法,例如通用的非交互式零知识证明。CKB的状态生成与验证分离架构也能够为其提供恰到好处的支持。

Figure2.Non-deterministicvs.DeterministicStateGeneration.png

下文将对CKB的Cell数据模型及交易数据结构作示意性的描述,目的是更好的解释CKB的功能。在CKB的具体实现中,需要考虑包括激励一致、执行效率在内的其它因素,数据结构会更为复杂,相关细节将在专门的技术文档中描述。

Cell

CKB中数据的可信度来源有两种,一种是数据可以客观验证,一种是数据经过特定身份用户的背书。因此,CKB中数据的最小单元必须包含以下要素:

数据本身数据的验证方法数据提交者的身份Cell是CKB中的最小数据单元,可以存放任意的数据。Cell包含以下基本内容:

type:Cell的数据类型。capacity:Cell容量,可存放数据的最大字节数。data:Cell实际存储的二进制数据,可以为空。包含data在内,cell占用的字节数总是小于等于capacity。owner_lock:通过脚本表示的Cell所有者。Cell所有者可以转让Cell。Cell一旦创建无法更改,是一种不可更改(immutable)的数据单元。对Cell的更新,实质上是通过创建所有权相同的新Cell来实现。用户通过交易提交包含新数据的新Cell,同时使老的Cell失效(见LifeCycle)。因此,CKB也可以看作是一个支持版本的数据仓库,最新的Cells代表了数据仓库的当前版本,已经失效的Cells代表了数据仓库的历史。

对Cell的操作权分为两种,所有权和使用权。Cell的owner_lock规定了所有权,即转让Cellcapacity的权利;Cell的data_lock规定了使用权,即创建新的Cell来更新Cell内容的权利。Cellcapacity可以一次全部转让,也可以部分转让,部分转让会创建新的Cell(比如一个capacity为10的cell变成两个capacity各为5的cell)。Cellcapacity的增长速度由共识参与度及流动投票决定。

Cell的lock脚本由CKB支持的虚拟机执行,用户在更新Cell数据或是转让Cell时需要提供相应的证明作为lock脚本输入,如果lock脚本执行结果为True则证明用户具有相应的权限,可以进行操作。

lock脚本表达了Cell的操作权限,可以代表单用户,也可以是门限签名或者更复杂的权限。Cell具有很好的隐私性,用户通过使用不同的lock脚本,可以很轻松地使用不同的假名(Pseudonomy)来管理自己的Cells。Cell的所有者和使用者可以是相同的用户,也可以是不同的用户,这也意味着CKB使用者不需要拥有Cell就可以使用CKB,使用门槛低。

LifeCycle

Cell生命周期有两个阶段,新创建的Cell处于第一个阶段P1。Cell是不可变数据对象,一旦被创建其内容不能被修改,Cell的更新通过Transaction实现:Transaction以需要被更新的P1Cell作为输入,以Generator产生的包含新状态的P1Cell作为输出。

一个P1Cell只能被使用一次,不能被用作两个不同Transaction的输入。P1Cell被使用后进入第二个阶段P2,P2Cell不能再用作Transaction输入。我们把所有的P1Cells形成的集合称为P1CellSet(P1CS),P1CS中存储了CKB当前所有的共同知识;所有的P2Cells形成的集合称为P2CellSet(P2CS),P2CS中存储了CKB所有的历史状态。

HyperPay自管钱包新版本添加合约安全检测功能:据官方消息,HyperPay发布最新自管钱包版本并新增合约安全检测功能,将根据不同的链、不同的DEX,从“貔貅盘疑似度” 、“流动池数据”、“token数据”、“合约代码”等维度来评估流动池的安全情况和综合得分,用户可依此增强在HyperPay DEX交易中的安全性。

此外,该新版本加入了丰富的数据展示以及关键数据的可视化,让用户在投资的过程中有更多的数据作为投资参考,尤其是新矿、头矿的相关数据,HyperPay加入了流动总额和24h交易次数的柱状图显示,同时在市场列表页提供了关键参数的切换展示。[2022/3/22 14:10:36]

CKB网络上的全节点只需要P1CS就可以验证Transaction,P2CS可以按照一定的策略清理。P2CS可以保存在存档节点(ArchiveNode)或者是分布式存储网络上。CKB轻节点只需要保存区块头和特定的Cells,不需要保存完整的P1CS和P2CS。

Type

CKB为Cell提供了类型系统,用户可以创建自定义的Cell类型。通过类型系统,我们可以在CKB中定义不同结构的共同知识以及相应的生成验证规则。

创建新的Cell类型需要定义DataSchema和Validator两个要素:

DataSchema:定义新类型的数据结构。Validator:定义新类型的验证程序。DataSchema和Validator的定义也是一种共同知识,存放在Cell中。每一个Cell都有一个且仅仅一个类型,多个Cell可以属于同一个类型,也可以属于不同的类型。

DataSchema提供该类型的数据结构定义,使Validator可以理解和使用Cell中保存的数据。Validator为验证程序,由每一个节点使用CKB支持的虚拟机执行,以交易的Deps,Inputs和Outputs作为程序输入(Transaction),能够通过验证就返回True,不能则返回False。Cell的创建、更新和销毁可以使用不同的验证规则。

Index

用户在定义DataSchema时可以设置索引,添加了索引的数据字段能够获得额外的支持,包括能够在Validator或是owner_lock/data_lock中使用的条件查询指令以及聚合函数。例如,众筹发起方可以生成一个IdentityCell(Identity),在其data_lock中利用条件查询和聚合函数判断属于这个identity的代币总数是否已经达到众筹目标,实现有上限的众筹。

Identity

Identity是一种系统类型,用户可以任意创建属于自己的IdentityCell。IdentityCell可以作为Celldata_lock/owner_lock使用,Cell更新或者转让时,需要提供对应IdentityCelldata_lock的解锁脚本(图3)。

Identity是广义的身份,Identity可以对应个人或者机器实体的任何身份侧面。Identity是Nervos网络中分布式身份协议NIP(详见NervosIdentityProtocolPaper)的基础。通过NIP,Nervos网络引入CA证书,可以兼容现有的PKI体系,用户可以表达自己的社会身份,分布式应用可以基于身份构建。IdentityCell中可以存放公开身份信息,或者是身份信息摘要,由用户在必要时与分布式应用交互,提供所需的详细信息。

Figure3.IdentityCell.png

相对于UTXO或是账户,Cell是一种更加通用的存储模型。UTXO模型和账户模型都可以表达资产和所有者之间的关系:UTXO以资产为基础定义所有权(锁脚本),账户则以所有者为基础记录资产(账户余额)。UTXO模型中的帐目变动更清晰,但显式账户概念的缺乏使表达能力本就欠缺的脚本更加难以使用,也无法记录权限等账户元信息。账户模型容易理解,可以很好的支持身份和权限系统,却有交易难并发的问题。支持类型和Identity的Cell设计集成了这两种模型的优点,创造了一种更加通用的数据模型。

Transaction

动态 | Solana发布新版本v0.22.0 峰值TPS可达16万:公链Solana今日在Github更新了Supertubes v0.22.0版本,新版本将支持使用“持久随机数”进行离线签名、使用种子生成派生账户、账户租金分配给验证节点等等,同时进一步优化了网络性能数据,报告显示在50节点数的条件下,平均TPS达4万7,最大TPS超16万,平均确认时间7.1秒。[2019/12/24]

Transaction表达了Cells的转让和更新。在一个Transaction里面用户可以转让Cell,或是更新一个或者多个Cell的内容。Transaction包括以下基本内容:

deps:依赖集合,对交易进行验证所依赖的只读数据,只能是P1Cells的引用或者用户输入。inputs:输入集合,包含需要被转让/更新的Cells,只能是P1Cells的引用及相应的解锁脚本。outputs:输出集合,包含新产生的P1Cells。由于Cell的不可变更性,更新Cell时不会直接修改旧的Cell,而是会产生一个新版本的Cell,这些Cell版本可以前后衔接在一起,形成Cell的“版本链”:某一次Cellcapacity转让时创建了这个Cell的第一个版本,对Cell的后续更新形成了这个Cell的一系列历史版本,在版本链的最后(Head)是Cell的最新版本。CKB是所有Cell版本链的集合,所有CellHeads的集合是CKB的当前版本。

CKBTransaction中包含的deps和inputs使节点可以方便地判断交易间的依赖关系,对交易进行并行验证(图4)。Transaction中可以混合多种类型的Cell,可以方便的实现跨类型的原子性操作。

CKBCell模型和Transaction的设计使CKB对轻节点更友好。由于所有的状态都在区块中,区块同步协议也支持了状态同步。轻节点只需要同步区块,不需要计算(生成状态),就可以获得新的状态。如果区块中只保存事件,则需要全节点支持额外的状态同步机制。在缺乏激励的情况下,区块链协议之外的额外机制很难大范围的部署。在区块链协议内同步状态,使轻节点与全节点之间的地位更平等,系统更加健壮和去中心化。

Figure4.TransactionParallelismandConflictDetection.png

Generator

Generator是生成程序,用来生成符合类型定义的新的Cells。Generator在发起交易的客户端本地执行,以用户的输入以及现有的Cells作为输入,生成包含新状态的Cells作为输出。Generator用到的输入以及产生的输出共同构成一个Transaction(图5)。

Validator和Generator可以使用相同的算法,也可以使用不同的算法(Overview)。Generator可以接受一个或者多个相同或者不同类型的Cell引用作为输入,可以产生一个或者多个相同或者不同类型的新Cells作为输出。

通过定义DataSchema,Validator和Generator,我们可以在CKB中实现任意共同知识的验证和存储。例如,我们可以定义一个AlpacaCoin的新类型:

DataSchema={amount:“uint”}//pseudocodeofcheckercheck()://1.检查inputs列表中的项都有正确的解锁数据//2.计算inputs列表中AlpacaCoin的amount之和IN//3.计算outputs列表中的AlpacaCoin的amount之和OUT//4.比较IN和OUT是否相等,并返回结果Validator=validate(contextctx,inputs,outputs)//pseudocodeofgeneratorgen()://1.查找用户能够花费的,属于AlpacaCoin类型的Cells//2.根据用户输入的转账地址和金额,生成类型为AlpacaCoin的属于收款人的Cell和找零Cell//3.返回被使用的Cells列表,以及新生成的Cells列表,这些Cells将用于构造交易Generator=gen(contextctx,addressto,uintamount,...)

Figure5.TransactionandCellGeneration:Validation.png

LayeredNetwork

在Nervos网络中,CKB和Generator构成上下层的关系,CKB是共同知识层,而Generator是生成层。CKB只关心Generator产生的新状态,不关心状态产生的具体方式,因此Generator的具体实现形式是非常多样化的(图6)。

分层架构将数据与计算分离,使每层都可以获得各自的灵活性与可扩展性,使用不同的共识协议。CKB作为最底层,拥有最广泛的共识,是整个Nervos网络的基础。不同的应用所需要的共识范围不同,强制所有应用都在最广泛的共识下进行会导致效率低下。在Nervos网络中,业务参与方可以根据自己所需的共识范围选择合适的Generator,只在需要与局部共识范围外的其他服务交互时,将局部状态提交到CKB上,使其获得更广泛的认同。

Generator可以包括(但不限于)以下几种形式:

客户端在用户设备上直接运行Generator生成新状态。通过轻客户端提供的接口或是客户端程序库,生成算法可以用任何编程语言实现。状态服务用户使用中心化服务,由服务器执行生成算法,生成新状态。目前所有的互联网服务都可以通过状态服务的方式使用CKB,使服务状态数据获得更大的信任和流动性。例如,游戏公司可以使用状态服务架构,在中心化服务中执行游戏逻辑,生成道具信息;在CKB中定义道具类型和总量等规则,将生成的道具登记并确权。结合NervosIdentityProtocol,信息发布机构提供基于身份的可信Oracle,为Nervos网络中的其他服务提供必要的信息。状态通道两名或多名用户使用点对点网络连接通信,共同生成新的状态。状态通道的参与者可以通过CKB登记和获取参与者信息,建立通道连接。参与者可以在CKB上提供保证金,使其它参与者相信通道能够顺利运行。状态通道参与者之间可以使用共识协议或是多方安全计算技术来生成新状态。生成链一个用于生成CKB新状态的区块链。生成链可以是公有链(例如任何使用EVM的区块链),也可以是许可链(例如CITA以及HyperledgerFabric)。使用许可链可以将状态计算限定在一定参与范围内,保护计算隐私,同时获得很好的性能。在应用链中,参与者共同执行状态生成并相互验证计算过程,在状态需要更广泛共识时,将其提交到CKB中,使之成为接受度更高的共同知识。

Figure6.LayeredStructure.png

HybridConsensus

共识算法追求在网络延迟和各类节点故障存在的情况下实现两个目标:正确性和性能。正确性又包括一致性,指分布式系统中每一个节点的数据副本完全相同,以及可用性,指分布式系统能够在有限的时间内响应用户的请求。性能也包括两个方面,一是交易延迟,即从客户端提交Transaction到客户端获得确定性结果所需要的时间,越短越好;二是吞吐量,即系统每秒中可以处理多少笔交易。

公有链运行在开放的分布式网络中,节点可以自由的加入和退出,在线节点不固定且变更频繁,这些都是传统BFT共识算法很难处理的问题。SatoshiNakamoto巧妙的引入经济激励以及概率性共识应对这些难点,因此要保证正确性需要额外的开放性与公平性。开放性使共识节点的加入退出无阻碍,无论是有100000个节点还是1个节点,公有链都能正常工作;公平性使共识节点可以获得与所付出的努力成比例的回报。公有链共识算法的性能指标除延迟和吞吐量外,还需要考虑运行开销。

以比特币工作量证明(ProofofWork)为代表的Nakamoto共识拥有极佳的开放性和可用性,比特币网络中的节点可以任意的加入和退出,网络性能随着共识节点数量的增加能够保持不变。但Nakamoto共识吞吐量低,以比特币7笔交易每秒的处理速度,难以消化商业场景的日常需求。即使通过次级通道技术(例如闪电网络)将大部分交易转移到链下,通道的建立与关闭依然受到链上处理速度的制约,在网络拥堵时甚至会影响到次级通道的安全性。Nakamoto共识以区块投票,交易确认速度慢,通常需要10分钟到一个小时,用户体验不佳。在分区的情况下,比特币网络能够继续提供服务,但交易是否被完全确认无法保证,无法满足对交易确定性要求较高的商业场景。

经历了30年发展的传统拜占庭容错(ByzantineFaultTolerance)共识可以实现媲美中心化系统的吞吐量和交易确认速度,但其开放性不佳,节点动态增减难度大,网络性能随参与共识的节点数量增加而迅速下降。传统BFT共识对故障的容忍能力较低,在网络分区时节点无法达成一致,网络无法正常提供服务,难以满足公有链对可用性的要求。

在研究和实践中我们认识到,传统BFT算法在正常路径下逻辑简单,但需要以复杂的逻辑应对故障情况;Nakamoto共识则以不变应万变,无论是正常还是故障情况都是同样的逻辑,但也因此影响了正常路径下的系统性能。如果将Nakamoto和传统拜占庭容错两类共识协议有机的结合在一起,新的混合共识在一致性、可用性、公平性及运行开销等方面可以形成最佳组合。

CKB将按照混合共识的思路,设计并实现自己的混合共识算法,为交易提供见证。通过将Nakamoto共识和传统BFT共识结合,我们既可以保留开放性和可用性,又可以在正常路径下获得传统BFT共识的优秀性能,将交易时延降到最低,最大程度的提升系统吞吐量。

CKB以CellCapacity作为参与共识的条件。想要参与共识的节点需要抵押一定数量的CellCapacity作为保证金,用于确定共识节点的投票和奖励分配权重。如果某个共识节点作恶,观察到作恶行为的其它共识节点可以将证据提交到链上,导致作恶节点的保证金被系统罚没。保证金机制能增加共识节点作恶的成本,提高共识的安全性。

CKB混合共识的详细设计请参考CKBConsensusPaper。

Economics

经济模型是公有链的灵魂。通过引入经济激励,比特币第一次解决了开放网络上的共识难题。每一个区块链网络都是一个通过经济激励结合在一起的自治共同体。一个优秀的经济激励制度应该引导区块链的参与者为这个自治共同体作出贡献,最大化区块链的效用。

CKB经济模型应该能够激励用户、开发者和节点运行者合力为共同知识的形成与保存贡献力量。CKB的经济模型同样以状态为核心进行设计,通过CellCapacity增发和手续费两部分奖励产生激励。

CKB状态的形成与存储都需要一定的成本。状态的形成需要节点验证,消耗计算资源,状态的存储则需要节点持续提供存储空间。现有的公有链经济模型只在处理交易时收取一次性手续费,一旦数据上链成为共同知识,则可以无需再付出任何成本,永久占用所有节点的本地空间。

在CKB中,Cell是状态的存储单元。未被占用的CellCapacity可以转让,具有流动性,但是被占用的Capacity不能被转让,失去流动性。因此,Cell的使用者需要为状态的存储支付流动性作为成本。Cell的使用时间越长,需要付出的流动性成本越高。通过使用流动性成本而不是预付费的方式,避免了预付费用完导致Cell被强制回收的问题。

CellCapacity的价格是对CKB中共同知识价值的直接度量。需要注意的是,Cell的使用者和所有者可能是不同的,所有者可以帮使用者支付流动性成本。更新Cell中的数据或是转让CellCapacity则需要支付手续费。共识节点可以设置自己愿意接受手续费水平,交易手续费高低是由市场决定的。手续费也可以由Cell所有者代替使用者支付。

当前主流用户难以使用区块链的一个重要原因是,交易手续费必须以原生代币进行支付,由此要求用户在使用服务之前自行寻找方法先获取原生代币,提高了使用门槛。另一方面,用户已经习惯了基本服务免费,增值服务收费的商业模式,无论做什么都要收费也不符合主流用户习惯。CKB通过允许Cell所有者代替用户付费的设计解决了这两个问题,为应用开发者提供了更多的商业模式选项。

系统手续费收入的大部分由出块节点获得,剩余的部分将用于支持Nervos网络的开发、研究、运营等工作,以保证网络的持续良性发展。手续费分配比例由流动投票(流动投票)决定。

除了用于支付共同知识的形成和存储成本,CellCapacity还可以被用在共识抵押、流动投票等多个场景中。CKB的安全程度与共识节点抵押的代币数量息息相关。共识抵押代币越多,节点作恶成本越高,整个系统也更加安全。CKB的CellCapacity增发调节的目标之一是保证一定的共识保证金抵押水平,以此保证系统安全。通过调节增发比例,调节共识参与者可以获得的无风险收益比例,进而调节共识的参与度。

CKB经济模型的细节请参考NervosCKBEconomicPaper.

治理机制

作为Nervos网络的基础设施,CKB必须能够与其所承载的生态同步进化,在不间断运行的同时进行调整运行参数,或是进行更深程度的网络升级。从区块链发展历史中我们能够看到,社区达成共识或是网络升级的成本过高将会阻碍创新,使网络难以进化,无法生态发展的需求。

因此,CKB内置了流动投票和热部署机制,使CKB成为一个能够自我进化的分布式网络。

流动投票

CKB的运行依赖一组系统参数,其中有一些能够自动调节,有一些需要进行投票达成共识;CKB的代码中可能会有bug,修复方案有可能需要投票共识;随着Nervos生态的发展,CKB的功能需要持续升级,实现和部署新的功能也需要投票共识。因此,投票工具是CKB长期稳定运行必不可少的组件之一。

CKB支持流动投票(图7)。每一位Cell所有者都可以参与到与CKB发展有关的决策中来,投票权重由用户所持有的CellCapacity决定。在流动投票中,用户可以设置自己的投票代表,由其进行代理投票。投票代表也可以设置自己的投票代表。考虑到提案专业度和参与激励的问题,不同的提案可以设置不同的接受条件,例如参与率和支持率。

值得注意的是,CKB流动投票是Nervos社区共识的表达工具,不是共识形成工具。在投票之前,社区应该利用各种沟通工具对提案进行细致的考察,事先形成粗略共识。CKB流动投票细节请参考NervosGovernancePaper。

Figure7.LiquidVoting.png

Neuron

得益于Cell数据模型的抽象性,CKB的功能模块可以利用Cell来实现和存放。我们把承担CKB系统功能的Cell称为Neuron,Neuron实质上是一种特殊的Cell类型,其使用者是CKB自身。

在功能变更/升级提案被实现为Neuron之后,社区使用流动投票对是否部署进行表决。在获得社区共识后,新的Neuron将被部署到链上,修复系统bug或是提供新的系统功能。细粒度的Neuron升级能够大大降低CKB的进化难度。

轻客户端

节点完全对等的区块链架构已经受到了严重的挑战。公有链网络上节点性能参差不齐,对等节点架构不仅对用户硬件要求越来越高,也无法充分发挥高性能节点的潜力。越来越多的用户放弃运行全节点,转而使用轻客户端以及中心化客户端。全节点需要对所有区块和交易数据进行验证,对信任依赖最小,但开销最大,使用非常不便。中心化客户端则完全信任中心服务器提供的数据,放弃了验证。轻客户端则通过稍微增加对全节点的信任,大大降低了验证开销,对用户体验有很大的提升。

同时,移动设备已经成为人们日常使用互联网服务的主要设备,原生应用也越来越流行。因此,对移动设备友好是CKB的设计原则之一,Nervos应用应该能够流畅的运行在移动设备上,与移动平台无缝的衔接。

CKB支持轻客户端。CKB使用可证数据结构组织区块头,可以极大地加快轻客户端的同步速度。得益于CKB以状态为中心的设计,轻客户端无需重复计算就能够方便地直接同步到最新的状态(P1CS)。使用本地保存用户关心的少量P1Cells及网络带宽,轻客户端可以提供更好的分布式应用体验。

Summary

NervosCKB为一个全新的分布式应用网络提供了共同知识层。NervosCKB以状态为中心设计,采用更为通用的存储模型,更好的平衡了激励机制,得到了一个更具可扩展性的分布式应用范式。

Appendix.CommonKnowledgeBase

我们所掌握的共同知识是社会协作形成的基础。我们在漫长的发展历程中逐渐形成并认同的一系列概念,包括民族、宗教、国家、货币、企业、身份、信用等等,共同搭建了今天的社会结构。共同知识的形成和传递是人类社会的关键问题。如果我们能够改进共同知识的形成和传递效率,哪怕仅仅是百分之一,也会对社会发展产生巨大的推进作用。

区块链或许是一个新的答案。在区块链网络中机器接手了人的任务,实现了自动化的共识过程和可靠的知识传递,将共同知识的生产工业化。我们认为区块链是一种可称之为共同知识库(CommonKnowledgeBase)的新技术。促进共同知识的形成和传递是区块链的核心价值,也是区块链上能产生代币模式(Token)和密码经济学(Cryptoeconomics)的原因。

CommonKnowledge

共同知识(CommonKnowledge)是被一个群体共同接受的数据,群体的参与者不仅自己接受该知识,还知道群体中的其他人同样接受该知识。一般的,我们可以根据形成方式将共同知识分为三种:

一种是依赖其“可独立验证性”来被参与者接受的。例如,“11897是一个质数”这个论断的提出者如果可以同时提交一份如何验证一个数字是质数的算法,就可以在不需要信任的前提下取得他人对这个论断的共识,进而促成交易(比如用来确认对于某数字是否为质数的对)。在抽象的数学范畴内这样的例子很多。

在更需要观察实验和经验性依据的科学领域里,共同知识的产生依赖发现者在提交新发现的同时提交独立验证的方法,在经过科学社区独立验证后,承认并把该发现作为领域共同知识的一部分。大众则是通过对科学方法和科学社区的信任而建立对这条共同知识的信任。

在商业场景中,共同知识是以信任和声誉为基点的,因而存在共同知识提交方信任和声誉能辐射到的范围。也就是说,商业场景中的一则数据如果能够成为交易参与者都能接受的共同知识从而促成交易,交易的参与者必须对该数据产生者有足够的信任。共同知识是促成交易发生的必要条件。

比如说在中心化交易所的场景里,交易是基于对交易所本身的信任,以及由此推及的报价数据的准确性和交易的公平性而产生的。在信用卡境外消费的场景里,消费者和商家完成交易的前提是双方对包括双方银行和信用卡公司等中间机构的信任。

共同知识有各种类型和存在形式,我们把能够自动化共同知识的形成,存储共同知识及相关证明的技术称为共同知识库。

BlockchainsareCommonKnowledgeBases

过去,共同知识需要群体内的个体之间进行各种繁杂的交流和相互确认才能形成,之后分散记录在个体的大脑中。今天,基于密码学和分布式技术的区块链使得共同知识的产生和保存发生了质的变化。人们不再需要反复沟通以确保新知识在人群中达成一致,也不再需要将知识记录在空间有限的大脑中。区块链世界中的每一条数据,包括数字资产和智能合约都是共同知识,他们经过了全体节点的一致共识,以极低的成本在区块链中不断的形成和沉淀,却比一般的数据蕴含了更大的价值。

区块链是共同知识库。加入一个区块链网络意味着共同验证并认可网络中的知识。交易经过节点验证之后,与相关的证明一起被保存在区块链中。区块链的每一位使用者都能够确信区块链中的交易有效,也能够确信其他使用者认可区块链中的交易有效。

比特币账本是一种共同知识,比特币网络是第一个基于区块链技术的共同知识库。比特币账本记录了从创世块之后的所有被包括开发者、矿工和使用者在内的比特币社区认可的用户转账交易。

以太坊上的智能合约是另外一个共同知识的例子:以太坊支持图灵完备并且拥有状态的智能合约,能够实现各种业务规则。智能合约的使用者知道智能合约的执行逻辑,并且知道合约的其他参与者也知道这一点。

GeneralPurposeCommonKnowledgeBase

让我们考虑一个适用于形成和存放任何类型共同知识的通用共同知识库(GeneralPurposeCommonKnowledgeBase)。它应该具有以下特征:

以状态为核心,而非以事件为核心(Figure1)。数据模型足够抽象和通用,允许用户自定义业务数据模型。共同知识的验证引擎足够抽象和通用,允许用户自定义数据验证规则。如果说分布式账本是数字资产的“结算层”,通用共同知识库则可认为是各种类型共同知识的“结算层”。NervosCKB的目标是成为一个通用共同知识库,作为整个Nervos网络的公共状态层,为上层应用提供状态与信任基础。

本文来源:Nervos官网

—END—

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

大币网

KuCoinCAP:“破7”的背后,比特币迎来新的曙光_NERA

作者:笑岩 在老美上次降息后我们并没有追随其步伐,仍然坚持稳健的货币政策,然而人民币开始了持续下跌,在8月5日上午美元兑人民币在岸汇率和离岸汇率双双“破7”,很快引发了恐慌,市场避险情绪上升.

PolygonMON:东非6国之乌干达观感_BEE

到乌干达主要是出差,最近几年每年总要去那么几次,每次去都感觉不一样,他们这几年发展挺快的。但是每次去到后发现他们的人民都是发自内心的微笑,感觉乌干达人民是东非几个国家里面幸福感最强的.

[0:15ms0-3:491ms