5、高效安全的分布式账本：反链链系统解析

高效安全的分布式账本：反链链系统解析

在分布式账本领域，为了实现高效、安全的交易确认和记录，一种创新的双账本系统应运而生。本文将深入探讨该系统的核心机制、可能面临的攻击及应对措施，以及激励体系等内容。

1. 双账本系统概述

双账本系统由原始层的有向无环图（DAG）和对偶层的反链链（boxchain）组成。在这个系统中，大部分冲突在不同反链（盒子）中时容易判定。若冲突交易处于不同反链（即完全有序），后一个交易将被拒绝；若可疑交易在同一反链中，则可比较它们的累积权重；若权重相同，还可设计一些打破平局的规则，如固定最大宽度、盒子角色等。不过，为了在参与者之间建立信任并维持系统的可持续性，需要有强大的最终确认标准。

2. 反链链共识协议

2.1 最终确认的共识协议及子树问题

在DAG中，可能存在大量子树，这会导致DAG非常宽，从而使最终确认效率低下。子树可能随机出现，无论其形成意图如何，都必须有机制来验证子树中交易的有效性。这可在达成去中心化最终确认的共识机制的算法设计层面实现。

共识协议的主要流程如下：
- 对于盒子（反链）Bi - 1的交易最终确认，需要在相邻的下一个盒子Bi中的节点间达成共识。
- 当Bi的盒子管理员（boxer）被选定时，Bi - 1的最终确认过程启动。
- 节点加入Bi时，必须至少批准Bi - 1中的一个节点。因此，盒子的形成完全基于节点批准的交易。

节点选择规则方面，建议用户选择最近的交易，使用排名函数进行规则约束：
[r(v_k) \leq r(v_{k + 1}) \leq r(v_k) + 1]
该不等式等价于：