一种基于拜占庭容错的PoS共识协议形式化分析方法

区块链共识协议是一种确保区块链网络中不同节点的数据达成一致的重要机制,随着区块链应用的爆发性增长,针对区块链共识协议的攻击不断出现。文章提出一种基于拜占庭容错的PoS共识协议形式化分析方法,通过归纳建模共识节点整体状态迁移解决协议模型状态空间爆炸问题,同时结合实际安全威胁形式化建模信道模型和攻击者模型,根据协议一致性要求形式化描述两大类安全属性并进行形式化验证。实验结果表明,该类协议具有拜占庭容错能力。最后,文章分析了针对0确认交易的双花攻击所需的条件,并提出防护方法。

面向POW共识的日蚀攻击动态防御机制

日蚀攻击是区块链系统中一种恶意攻击手段,攻击者通过垄断受害节点网络,达到欺骗、控制目的。从实际区块链应用中得知,目前为止还没有防御日蚀攻击的好方法,因此为了解决该问题,设计了一种针对POW共识区块链系统的日蚀攻击动态防御模型,其基于节点间互相评价机制。具体来说,通过综合客户端之间互相评价的结果,基于kademlia算法和设计的等级值评估机制,为每个节点评估、存储一个等级,节点根据等级值和等级限定值之间的关系选择正常对等节点作为邻居,以避免恶意节点。经过实验证明,该方法可以有效抵御日蚀攻击。该方法改进了先前提出的一系列防御策略,无需对区块链系统协议、网络等进行更改,能够较高概率地成功抵御日蚀攻击,并且模型产生的开销也很小,非常适合实际部署。

数据、隐私以及人工智能时代的宪法创新

本文以大数据与人工智能的正比例关系为线索,分析了信息技术普及和数字经济发展背景下公民基本权利面临的危机以及宪法体制进行创新的契机。过度强调隐私会限制个人数据的收集和应用,使人工智能难以迅速进化;反之,则会造成机器官僚主义的独裁、问责机制的瓦解——这是当今宪法学的一个悖论。笔者认为,随着机器学习能力不断加强,算法黑箱化问题日益严重,以技术制衡技术将成为自然人对机器人进行间接管制的重要方式。疫情防控中智慧网络用于社会基层治理的实例和外国电子政府的经验也证明:把集权式的人工智能算法与分权式的区块链协议结合起来进行合理的机制设计,有可能成为新时代宪法秩序变迁的方向。