有限域上可验证随机数的快速构造及安全性分析

J4 ›› 2012, Vol. 34 ›› Issue (5): 35-39.

有限域上可验证随机数的快速构造及安全性分析

叶俊1，2，丁勇1，刘忆宁1，曹建宇1

(1.桂林电子科技大学数学与计算科学学院，广西桂林 541004；
2.四川理工学院理学院，四川自贡 643000)

收稿日期:2011-03-12 修回日期:2011-06-18 出版日期:2012-05-25 发布日期:2012-05-25
基金资助:
国家自然科学基金资助项目（60963024）；广西自然科学基金资助项目(0991079)；广西研究生教育创新计划资助项目(2010105950701Ｍ31)

Fast Construction and Security Analysis of the Verifiable Random Numbers in the Finite Field

YE Jun1，2,DING Yong1,LIU Yining1,CAO Jianyu1

(1.School of Mathematics and Computational Science，
Guilin University of Electronics Technology,Guilin 541004;
2.School of Science,Sichuan University of Science and Engineering,Zigong 643000,China)

Received:2011-03-12 Revised:2011-06-18 Online:2012-05-25 Published:2012-05-25

摘要/Abstract

摘要：

利用有限域上的插值多项式来构造可验证随机数，并且结合Lagrange插值法与Newton插值法给出了可验证随机数的两种快速构造方法。此方法构造的可验证随机数，具有无误差、效率高的特点。然后对此可验证随机数的不可预测性和不可操控性等安全性进行了分析，最后通过算例验证了此方法的正确性。

关键词: 可验证随机数, 不可预测性, 验证, 不可操控性, 插值多项式

Abstract:

Using the interpolation polynomials in the finite field, and adopting the Lagrange interpolation and Newton interpolation respectively, two methods of constructing verifiable random numbers, are proposed. They have the advantages of high efficiency and no error. Then their security attributes such as uncontrollability and unpredictability are analyzed. Finally some experiments are given to verify the correctness of the two methods.

Key words: verifiable random number;unpredictability;verification;uncontrollability;interpolation polynomial

叶俊1，2，丁勇1，刘忆宁1，曹建宇1. 有限域上可验证随机数的快速构造及安全性分析[J]. J4, 2012, 34(5): 35-39.

YE Jun1，2,DING Yong1,LIU Yining1,CAO Jianyu1. Fast Construction and Security Analysis of the Verifiable Random Numbers in the Finite Field[J]. J4, 2012, 34(5): 35-39.

[1]	赵祉乔, 周理, 荀长庆, 潘国腾, 铁俊波, 王伟征 . 软硬件混合的高效CHI协议分析[J]. 计算机工程与科学, 2024, 46(02): 224-231.
[2]	邓茜, 范广生, 陈立前, 李暾, 王戟. 基于C语言程序分析验证技术的Verilog代码验证方法[J]. 计算机工程与科学, 2023, 45(12): 2146-2154.
[3]	刘永梅, 王国辉, 关永, 张景芝, 施智平, 董璐. 格林定理的形式化及其初步应用[J]. 计算机工程与科学, 2023, 45(07): 1178-1187.
[4]	白先平, 姚袭欣, 陈香兰, 刘翀, 李曦. 基于时间自动机的AADL端到端流规约验证方法[J]. 计算机工程与科学, 2023, 45(05): 810-819.
[5]	罗莉, 石伟, 何鸿君, 潘国腾, 王蕾, 龚锐. 一种面向IO Die的敏捷验证方法[J]. 计算机工程与科学, 2023, 45(04): 571-576.
[6]	汪铮, 黄容, 吴茂文, 孙寅涵, 孙志刚. OpenEmulator:一种面向TSN芯片验证的联合仿真平台[J]. 计算机工程与科学, 2023, 45(03): 411-419.
[7]	寇广岳, 魏国珩, 平源, 刘鹏. RFID安全认证协议综述[J]. 计算机工程与科学, 2023, 45(01): 77-84.
[8]	王雨露, 李飞, 杨震, 黄山, 张罡, 詹曙, . 基于深度前馈神经网络的多因子人体表面积计算模型[J]. 计算机工程与科学, 2023, 45(01): 119-126.
[9]	陈强, 谭林, 王云丽, 肖靖. 工业区块链中基于CUDA的数据并行处理方法[J]. 计算机工程与科学, 2022, 44(12): 2102-2110.
[10]	牛淑芬, 张美玲, 周思玮, 闫森. 面向移动终端的密文可验证属性基可搜索加密方案[J]. 计算机工程与科学, 2022, 44(11): 1941-1950.
[11]	李辉, 巨鹏锦, 计永兴. 多路系统Cache一致性验证中的错误追踪定位技术[J]. 计算机工程与科学, 2022, 44(07): 1171-1180.
[12]	陈小帆, 杨智杰, 彭凌辉, 王世英, 周干, 李石明, 康子扬, 王耀, 石伟, 王蕾. 一种类脑处理器片上网络的验证框架[J]. 计算机工程与科学, 2022, 44(05): 769-778.
[13]	邹鸿基, 李暾, 罗丹, 方雨德. 面向敏捷硬件设计的符号模拟器设计与实现[J]. 计算机工程与科学, 2021, 43(12): 2098-2104.
[14]	阮鸥, 陈吉晨, 毛浩. 一种高效的SM2数字签名批量验证算法[J]. 计算机工程与科学, 2021, 43(07): 1236-1242.
[15]	郭辉, 黄立波, 郑重, 隋兵才, 王永文. Proto-Perf：快速精确的通用处理器原型系统性能评估方法[J]. 计算机工程与科学, 2021, 43(04): 579-585.