第一节 存在性证明

计过程。如果用于转移的规则能够由计算机进行审核，则应用程序可以下载有关的数据，并进行自我审计和审核过程。该应用程序可以通过下载数据条目，验证数据条目，并决定条目是否有效，从而使该应用程序建立起对系统的感知。

2.区块链中的否定性证明

区块链上的比特币及土地登记区块链中的否定性证明，以及许多其他系统需要解决一个根本性的问题：证明否定。它们证明了某个“东西”已经被转移到某个人，并证明这个“东西”还没有被转移给其他人。在无界系统里，否定的证明是不可能的，而在一个有界系统里它很有可能。加密货币通过限制交易数据可以存在的地方来解决这个问题。比特币交易只能在比特币区块链里被找到。如果某个交易没在比特币区块链里被找到，那它在比特币协议下就不存在，因此，该比特币就尚未被发送两次（双重支付）。

某些土地所有权记录系统是相似的。假设在一个系统里，土地转让要在政府登记，而且法律制度规定，未记录的转让是无效的（Sans Litigation）。如果一个人要检查某个产权是否明确（没有其他人声称对这片土地拥有所有权），答案就在政府登记处。利用政府记录可以证明为否定，土地不被第三方拥有。如果产权登记不是必需的，政府的注册表只能证明什么已被登记。私人转让很可能存在，注册表也就不能代表全部的转让情况。

在区块链中，数据分类有层次结构。保全网只在链中记录数据条目，诸多用户定义的链在保全网执行的协议中没有互相依赖关系。这不同于比特币，每一笔比特币交易都存在潜在的双重支付，因此它必须被验证。与把所有数据合并成一个总账相比，保全网通过把条目记录放到多个链当中，可以让应用程序在较小的空间内搜索数据。

如果用区块链来管理土地转让，使用某个链来记录的应用程序可以安全地忽略在其他链上的记录，比如那些本来用于保安摄像机的记录的链就不需要更新。如果法院判决需要变更土地转让记录，那么和其相关的链将被更新，以反映上述判决的结果。但更改的历史不会丢失，并且如果这样的土地产权变更的更改从法律角度或其他角度来讲无效的话，它记录的内容和顺序在区块链上都不能被更改或隐藏。

3.节点服务器如何管理链

保全网所运用的区块链底层技术是用一种去中心化的方式来收集、打包、安全保护数据，并把数据锚定到比特币的区块链上。保全网选用Fabric的技术体系，与业务合作方、关联方形成联盟链，将节点广泛地分布在互联网中。

节点主要有以下几种类型。

Kafka集群。Kafka消息订阅服务集群对网络的区块数据进行排序，以确保全网区块链有序延展，以及区块链有效账本数据结构一致。

Orderer节点。Orderer节点即排序节点，用于对全网络合法的交易数据进行排序并打包生成区块。生成区块后向Kafka集群进行推送。Orderer节点的布设用于确保业务数据有效、高效排序，同时为整体网络提供分布式备份与防篡改保障，并设置有管理员证书，可根据业务场景创建新Channel（子区块链）。

Peer节点。Peer节点分为Endorser（背书人）、Committer（确认人）两种节点类型。Endorser节点负责交易预处理与验证，并对交易权限进行检查，检查后返回交易至SDK，SDK将交易提交至Orderer节点进行排序。Committer节点用于维护账本结构，校对本地数据库的账本数据与Orderer节点返回的账本数据一致性，并将合法的数据块存储入本地数据库。

保全网同时在联盟链Peer节点将Factom服务的部署与调用写入Chaincode当中，实现了保全网联盟链与Factom网络的连接。因此保全网的链上数据在境外以Factom的联合服务器网络来实现这个目标。

这些服务器不断变换在系统中所承担的责任，永远不会只有一个服务器在控制整个系统，每个服务器都只是系统中的一部分。Factom的服务器每一分钟变换一次角色，没有服务器会永久控制系统的任何一部分。

在开始创建一个目录区块的时候，每个联合链服务器需要对某一部分的用户链负责。过程如下。

（1）所有服务器重设其进程列表（Process List）为空。

（2）用户通过与其记录信用积分（Entry Credit）相关的公钥提交付款。

（3）根据用于支付的公钥，轮值服务器接受该付款。

（4）该服务器向网络广播该支付被接受。

（5）用户看到支付被接受，然后提交条目记录（Entry）。

（6）根据条目记录的ChainID，其中一台服务器把条目记录加入其进程列表，并添加进入相应链的区块中（如果这是该链的第一个条目记录，那就创建这个新链）。

（7）服务器对网络广播该条目记录的确认，内容含有条目记录在进程列表中的位置（Index）、条目的哈希值（链接到条目记录付款），以及最新进程列表的哈希值。

（8）所有其他服务器更新该服务器的进程列表，验证该列表，并更新该链的区块。

（9）只要用户可以验证到相关的进程