错误学习问题(Learning with Errors,简称LWE)由Regev在2005年提出,该问题已经成为格密码学中广泛使用的密码学基础。LWE问题是一个平均情况下的问题,Regev在论文中将LWE问题量子归约到格上标准困难问题。因此在LWE问题之上建立的所有密码学方案,都能够将其安全建立在格问题的最坏情况下困难性之上。
本文节选自陈智罡博士的博士论文。
1.1.1 LWE问题
LWE问题就是给出一些关于秘密向量s的“近似”随机线性方程,其目标是恢复秘密向量s。例如给出如下一些“近似”随机线性方程:
BiKi平台币种ALLWIN今日涨幅21.93%:据BiKi行情数据显示,截止今日13:40( GMT+8),平台内币种ALLWIN今日涨幅21.93%,现价0.348979USDT。行情波动较大,请注意风险控制。[2021/4/3 19:42:47]
14s1+ 15s2+ 5s3+ 2s4≈8 (mod 17)
13s1+ 14s2+ 14s3+ 6s4≈16 (mod 17)
6s1+ 10s2+ 13s3+ 1s4≈3 (mod 17)
日企Globalway子公司TimeTicket建立共享经济协议并将启动IEO:TimeCoinProtocol是由TimeTicket开发的新项目,利用区块链技术创建去中心化共享经济平台。该解决方案由TimeCoin代币(TMCN)提供支持。TMCN是基于EOS的原生代币,用于基于协议构建的去中心化应用中的支付,也用于为平台支持者分配奖励。TimeTicket母公司是日本科技集团Globalway Inc,该公司拥有超过5000万用户,并在东京证券交易所上市。
TimeCoinProtocol将允许共享经济应用程序的用户从一个服务迁移到另一个服务,同时保留其所有私人数据和声誉。这也吸引了DApp开发者的采用,因为它允许他们向被DApp整个生态系统所吸引的大量用户提供服务。开发团队已将该协议用于实际服务。预计许多DApp中将使用TMCN,前两个是TimeTicket和eSportStars。
TimeCoinProtocol开发者正计划在BitForex上为TMCN代币启动IEO活动。交易所将很快公布其IEO时间。TMCN代币的初始供应量设定为1亿。该团队还计划宣布一项活动,社区成员等支持者可以根据他们对项目的贡献获得代币。(Bitcoin.com)[2020/7/13]
10s1+ 4s2+ 12s3+ 16s4≈12 (mod 17)
动态 | Elwood Asset Management将推出10亿美元的机构加密对冲基金:由亿万富翁Alan Howard领导的的投资公司Elwood Asset Management正在启动一家机构加密对冲基金,目标是让新基金的资产达到10亿美元。该公司此前于3月份推出了Elwood区块链全球股票指数。(dailyhodl)[2019/8/31]
…………
9s1+ 5s2+ 9s3+ 6s4≈9 (mod17)
在上述每个方程中,加入了一个小的错误,该错误在+1和-1之间,目标是恢复向量s。如果上述方程中没有加入错误,则使用高斯消元法就可以在多项式时间内恢复向量s。但是由于加入了错误,使得该问题变得非常的困难。
动态 | Elwood推出系列产品吸引大型机构投资数字资产:据彭博社消息,Elwood Asset Management计划推出一系列产品,以吸引大型机构投资者投资数字资产。[2019/3/13]
LWE问题定义 参数n ≥1,模q ≥ 2,是上的一个错误概率分布。是上的一个概率分布,该分布通过如下方式获得:随机均匀选择一个向量a∈,根据分布选择错误向量e∈,输出(a,b=< a , s > +emod q)。LWE问题是对于s∈,给出任意数量的从取出的独立实例,其目的是输出s。
LWE判定问题 上述LWE问题是一个LWE搜索问题,密码学中更感兴趣的是LWE问题的另外一个版本:平均情况下的LWE判定问题。即对于随机均匀选择的s∈,能够以不可忽略的概率区分分布与均匀分布上的实例。判定LWE问题可以归约到搜索LWE问题。
如果在均匀选择秘密向量s的情况下,判定LWE问题可以被解决,则对于所有秘密向量s,判定LWE问题都可以被解决。
LWE问题与BDD问题 上述LWE问题定义中,对于m个从取出的独立实例,可以用随机均匀矩阵A∈和b=AT s+e表出。所以LWE问题可以看成是随机格上的BDD问题。
参数说明 分布是一个标准偏离是的类似高斯分布,其中,通常取为1/poly(n)。模q一般是关于n的多项式。LWE实例的数量并不重要。
LWE问题的困难性 以下三个原因说明LWE问题是困难的。第一,已知最好的求解LWE问题的算法运行时间是指数级的,即使是对量子计算机也没有任何帮助。第二,LWE问题是LPN问题的自然扩展,而LPN问题在学习理论中被广泛研究而且普遍认为是困难的。此外LPN问题可以形式化为随机线性二元码的解码问题,如果LPN问题的求解算法有一点进步,则意味着编码理论的一个突破。第三,也是最重要的,LWE问题被归约到最坏情况下的格上标准困难问题,例如GapSVP和SIVP[11,85]。
Regev在2005年证明了只要,那么在平均情况下解决LWE问题,其困难性至少与使用量子算法近似格上标准困难问题相同,其中近似因子是。随后Peikert在2009年给出了一个相同近似因子的经典约减而非量子约减,但是需要满足q≥2n/2。最近Brakerski等人在2013年给出了在q为多项式的情况下的一个经典LWE问题的约减,但是在维数上有所损失[120]。
在LWE问题中,s可以随机均匀的取自于。这一方面使得的长度可以更短,另外一方面其困难性不变。
假设根据高斯分布选择的错误向量长度的界是B,则有B≤,得到,从而。该式反映了近似因子与q/B的大小有关,而q/B又与全同态加密方案的计算深度有关,所以当维数n和B固定的情况下,模q越大,全同态加密方案的安全性越低,而全同态加密方案的同态计算能力越高。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。