动态共识的安全模型及效率无损机制测试数据

聚焦动态共识的安全模型及效率无损机制展开研究，拟通过分析静态共识的安全模型，进行相应的动态参数模式构建，并分析理论层面中协议可构造参数的上/下界；针对不同模型中的可解性问题，分别研究不可解问题的反例或相关证明；结合系统重配置、节点主动修复等技术，给出可解问题的协议构造；最终设计出低延迟、高吞吐量的动态共识。