近日,中国科学院软件研究所张振峰团队与新泽西理工学院唐强团队在区块链核心技术——拜占庭容错(BFT)共识研究中取得突破,提出了首个完全实用的异步共识算法——小飞象拜占庭容错(DumboBFT)算法,该成果《Dumbo: Faster Asynchronous BFT Protocols》发表于网络安全旗舰会议ACM CCS(第27届国际计算机与通信安全大会)。在异步BFT共识算法设计领域,我国此前未有重要研究成果在国际顶级会议上发表。
拜占庭容错(BFT)共识算法是区块链的关键核心技术,是确保区块链安全可靠运行、提升区块链扩展能力和运行性能的核心算法。BFT共识算法具有运行性能高、资源消耗低、易于部署等特点,得到了工业界的青睐,广泛应用于国内外区块链系统中。异步BFT算法能够容忍网络通信故障、抵抗拜占庭敌手恶意攻击,是保障区块链在互联网环境下健壮运行的理想共识技术。
如何设计高效的异步BFT共识算法,是密码学和分布式计算领域的著名难题。自上世纪80年代起,多位图灵奖得主在内的众多国际著名****先后对这一难题进行了探索。第一个接近实用的异步共识算法是在2016年提出的HoneyBadgerBFT算法,已被应用于蚂蚁链等区块链平台。
为了设计完全实用的异步共识算法,软件所于2015年开展小飞象拜占庭容错算法研究工作。该算法以独到视角对HoneyBadgerBFT算法进行了分析,揭示其性能受限的根源是大量随机化子模块调用导致的运行时间增加,提出了全新的可证明可靠广播(provable reliable broadcast)原语,并给出了基于门限数字签名技术的高效构造方法,通过一种创新性的多值拜占庭共识应用,在容忍1/3的恶意节点的同时,突破了异步共识算法在性能上的设计挑战。
在遍布全球四大洲的100个共识节点的测试网络中,小飞象拜占庭容错算法DumboBFT的确认延迟时间为24秒、不到HoneyBadgerBFT算法的1/20,交易吞吐量为每秒近1.8万笔、是HoneyBadgerBFT算法的9倍多。
此外,团队成员路远等人进一步提出了小飞象多值共识算法(Dubmo-MVBA),在消息数量、通信代价和运行时间等关键性能指标上均达到了渐进理论最优,圆满回答了国际密码界关于“如何提升异步共识算法的关键性能指标”这一提出了20年的公开问题。
小飞象共识算法的创造性突破,不仅解决了异步共识算法设计的理论难题,而且在性能上大幅提升并全面超越了当前工业界采用的HoneyBadgerBFT,成为国际首个完全实用的异步共识算法,可为我国区块链基础设施建设提供强安全、高性能、可扩展的新一代核心技术。
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
软件所等提出国际首个完全实用的异步共识算法“小飞象” 区块链核心技术取得重大突破
本站小编 Free考研考试/2022-01-02
相关话题/设计 国际 通信 技术 软件
软件所举行管理支撑部门工作人员2020年度考核交流会
1月27日,软件所召开了管理支撑部门工作人员2020年度考核交流会。党委书记、副所长操云甫,党委副书记、纪委书记李衡,以及管理支撑部门全体人员参加了考核会。为满足疫情防控要求,考核会设置了主会场和视频分会场,同时进行。来自各部门共52名工作人员就个人2020年度的工作完成情况及重点和亮点进行了汇报。 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02中国科学院软件研究所航天软件测评中心获颁《检验检测机构资质认定证书》
1月26日,中国科学院软件研究所航天软件测评中心(以下简称航天软件测评中心)获得由国家认证认可监督管理委员会颁发的《检验检测机构资质认定证书》,标志着该中心正式获得了为社会出具相关检验检测报告或证书的行政许可。 航天软件测评中心经中国科学院软件研究所批准,于2020年3月19日成立。自成立以来,航 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所参加中国—东盟信息通信创新论坛
12月17日,中国—东盟信息通信创新论坛在昆明举办,应云南省工信厅和论坛组委会邀请, 中国科学院软件研究所软件发展研究部副主任张凤军应邀参会并作“澜湄次区域虫媒传染病联防联控平台”建设情况的报告。 “澜湄次区域虫媒传染病联防联控平台”平台是软件所积极响应国家“一带一路”倡议,牵头并携手云南省寄生虫 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所加入openEuler社区理事会 加速操作系统开源生态建设
12月24日,由中国电子技术标准化研究院、中国软件行业协会、绿色计算产业联盟主办,华为技术有限公司、中国科学院软件研究所等协办的操作系统产业峰会在京成功举办。工业与信息化部信息化和软件服务业司司长谢少锋,中科院院士、CCF理事长梅宏等嘉宾出席会议并发表致辞。 会议宣布,国内第一个Linux操作系统 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所举办第三批科研财务助理考试及资格证书颁发仪式
12月1日下午,在软件所7号楼413会议室举行了第三批科研财务助理资格证书颁发仪式,同时召开了科研财务助理交流座谈会。会议由总会计师、财务资产处处长陈柳惠主持,党委书记、副所长操云甫、人力资源处副处长顾鹏、科技处副处长张瑢、财务资产处副处长刘琛、财务资产处副处长蒲洁宁及参与本次考试的科研秘书们参加了 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02开源软件供应链2020峰会成功举行
11月14日至15日,开源软件供应链2020峰会在南京举行。本次峰会由中国科学院软件研究所、openEuler社区主办,中科院软件研究所南京软件技术研究院承办,南京市麒麟科技创新园管委会指导,华为技术有限公司赞助。峰会主题为“共献·开源”,包括1个主论坛、7个分论坛以及1场学生专题报告,来自全国各地 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02台风路径数值预报实时订正技术及其集成应用
摘要摘要:以台风路径数值预报的短时效预报偏差和目标时效(指所需订正的时效)的纬度预报为预报因子,采用多元线性回归方法建立了台风路径预报的偏差预估方程,继而对台风路径预报进行实时订正。本文以12h为短时效,通过对欧洲中期天气预报中心确定性预报模式(ECMWF-IFS)和集合预报模式(ECMWF-EPS ...中科院大气物理研究所 本站小编 Free考研考试 2022-01-02非静力AREM模式设计及其数值模拟Ⅱ:数值模拟试验
摘要摘要:在程锐等(2018)中,我们完成了非静力AREM(AdvancedRegionalEta-coordinateModel)模式动力框架设计。本文将通过理想和实例试验检验其模拟能力。设计理想试验并通过与国际成熟的中尺度非静力框架比较,直接检验非静力AREM三维动力框架在细致分辨率(约1km) ...中科院大气物理研究所 本站小编 Free考研考试 2022-01-02非静力AREM模式设计及其数值模拟Ⅰ:非静力框架设计
摘要摘要:AREM(AdvancedRegionalEta-coordinateModel)对中国暴雨、台风等中尺度天气系统的模拟、预报能力突出。但是伴随模式分辨率的提高,制约该模式发展的一个问题日渐突出,即"静力平衡近似"的约束。本文通过对原静力平衡系统进行修正,引入高阶订正参数定义第三运动方程来 ...中科院大气物理研究所 本站小编 Free考研考试 2022-01-02封面故事:AAS专刊召集国际力量共同研究2020夏季亚洲强降雨
2020年亚洲许多地区经历了不同寻常的雨季:5月,印度东北和孟加拉发生强降雨;6月开始,中国华南、西南和江淮流域等地区发生暴雨,引发洪涝灾害;7月初,日本熊本地区暴雨导致洪水和泥石流;7月13日,韩国南部地区的日降雨量超过一个月的降水量。 为了总结对极端降水事件的科学认识,以及评估各种尺度天气系统 ...中科院大气物理研究所 本站小编 Free考研考试 2022-01-02