基于环上容错学习的异步分布式随机信标及其在异步共识中的应用

作     者：张宗洋 李天宇 胡斌 周游 周星光 ZHANG Zong-Yang;LI Tian-Yu;HU Bin;ZHOU You;ZHOU Xing-Guang

作者机构：北京航空航天大学网络空间安全学院北京100191 中国民航管理干部学院大数据与人工智能系北京100102 

基　　金：国家重点研发计划(2022YFB2702702) 国家自然科学基金面上项目(62372020,61972017,72031007) 北京市自然科学基金(M22038,L222050) 中央高校基本科研业务费(YWF-23-L-1032) 中国民航管理干部学院青年教师科研启动基金(23QN06)资助 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2024年第47卷第8期

页      码：1813-1831页

摘      要：安全高效的异步分布式随机信标是异步共识协议能够快速终止的必要保障.2008年以来,比特币中区块链技术的成功促进了分布式应用的蓬勃发展,为分布式应用提供随机性来源的分布式随机信标也受到了学者的广泛研究.现有的分布式随机信标一般选取公开可验证秘密共享、可验证随机函数、可验证延迟函数之一作为基础结构进行设计,其中公开可验证秘密共享结构简单、模块清晰、实用性较强,是现有分布式随机信标协议中数量最多、分析最为透彻的类别,其它结构的协议研究开始时间较晚,设计方法并未固定,在形式化安全定义和安全分析中尚有较大空白等待填补.目前,只有少数基于公开可验证秘密共享的方案支持异步网络模型,并且这些方案都是利用不抗量子的离散对数问题构建的.因此,在后量子安全的异步网络模型下,现有异步共识成果不得不采用期望运行轮数为指数的本地抛币协议来保障全栈量子安全.本文主要研究抗量子安全假设下基于公开可验证秘密共享的方案,具体贡献如下:(1)本文首先基于抗量子困难假设环上容错学习和公开可验证秘密共享的结构范式,设计了具备O(N log N)证明及验证复杂度的公钥更新协议,其中N为多项式次数,该协议保证了节点在每一轮产生随机数份额的过程中采用了一致且正确的新公钥.(2)在此基础上,本文设计了计算复杂度为O(n),通信复杂度为O(n2)的异步分布式随机信标协议,其中n为节点规模.在相同的安全参数下,本文提出的随机信标协议相较于基于离散对数的协议运行时延减小约34%.(3)最后,本文给出了一种基于异步分布式随机信标的异步共识协议,并证明其满足标准的安全需求.

主 题 词：分布式随机信标 异步网络 量子安全 门限密码 零知识证明 

学科分类：08[工学] 0839[0839] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.11897/SP.J.1016.2024.01813

馆 藏 号：203132428...