【格密码基础】:补充LWE问题

2024-01-27 13:44
文章标签 基础 问题 补充 密码 lwe

本文主要是介绍【格密码基础】:补充LWE问题,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

一. LWE问题的鲁棒性

二. LWE其他分布选择

三. 推荐文献

四. 附密码学人心中的顶会


一. LWE问题的鲁棒性

robustness,翻译为鲁棒性

已有的论文表明,及时敌手获取到部分关于秘密和error的信息,LWE问题依旧是困难的,这能体现出该问题的鲁棒性。

在2010年,Goldwasser等人发现,如果限定秘密的模长,或者将关于秘密的很难求逆的函数值(类似单向函数)告诉敌手,该问题的困难性和原始的LWE问题是一样的。在实际证明归约的过程中,维度n和误差率\alpha都是相对较小的。基于此理论可以设计一个对称的密码(symmetric-key encryption)方案,其允许密钥不太完美或者被泄露部分信息。

如果给出计算意义上很难求逆的单向函数值,2010年Dodis证明即使如此依旧可以基于LWE问题设计公钥密码方案。

在后来的工作中,人们陆续发现了LWE问题的鲁棒性提现:忽略维度和误差率(error rate)的变化,及时秘密和error的部分线性关系被泄露,LWE问题依旧是可证明安全的。

二. LWE其他分布选择

回顾LWE问题我们发现,其error的选择有两个要点:1.来源高斯分布;2.值相对较小。那么现在我们就在想,error能不能来自于其他分布,比如说在某个区间上的均匀分布呢?

在2013年,有两篇相关的工作,一个是Dottling-Muller,另一个是Micciancio-Peikert。这些人都证明了选择其他非高斯分布也是可以的。

选其他分布会比高斯分布更好吗?

从算法设计的层面来讲,像均匀分布比高斯分布更容易实现,所以在网络安全领域更加具有应用价值。

在2011年,Arora 和Ge发现,如果把error的尺寸范围设定为d,那么解决LWE问题的时间和空间复杂度为:

2^{d^2}

这显然给LWE问题的困难性证明带来了极大的挑战,好在这类攻击算法要求给定的LWE样本足够多。

接下里我们将简短解释LWE的样本个数如何影响问题的困难性。

对于非高斯分布的error(比如说可以选择均匀分布),哪怕error选取的空间很小,比如只能取0或1,也就是:

\lbrace 0,1\rbrace

只要给与敌手的样本个数为m是有上限的,那么LWE问题依旧是困难的。如果将该上限去掉的话,那么根据Arora-Ge攻击算法,LWE问题可直接被攻破。举几个简单的例子。

如果error只是简单的二进制,那么样本个数需要限定为:

如果error的尺寸放宽到:

那么样本个数也可以放宽到:

其实有点惊讶,当error只取0或1时,LWE问题也是困难的。但是其样本个数太少了,导致很难利用其设计密码系统。

已有的研究表明,先从足够大的高斯error中选取,再形成标准的LWE分布,然后再调整更大的维度,再将此分布作为后续search-LWE问题中的ai,那么形成的新问题在信息论(information-theoretically)上是无法解决的。此时的ai选择并不是真的随机分布,问题变得更加困难了。要想证明其安全性的话,也比较直接。因为标准的LWE分布与均匀分布之间是不可区分的,只要标准的decision-LWE问题困难,那么小-error版本的LWE问题也就是困难的。

三. 推荐文献

(1)总结LWE与SIS问题

D. Micciancio and C. Peikert. Hardness of SIS and LWE with small parameters. In CRYPTO,
pages 21–39. 2013.

(2)攻击LWE问题

S. Arora and R. Ge. New algorithms for learning in presence of errors. In ICALP (1), pages
403–415. 2011.

(3)证明LWE问题的鲁棒性

S. Ling, D. H. Phan, D. Stehle, and R. Steinfeld. Hardness of ´ k-LWE and applications in traitor
tracing. In CRYPTO, pages 315–334. 2014.

四. 附密码学人心中的顶会

(1)欧密

会议简称:EUROCRYPT

会议全称:International Conference on the Theory and Applications of Cryptographic Techniques

出版社:Springer

(2)美密

会议简称:CRYPTO

会议全称:International Cryptology Conference

出版社:Springer

(3)亚密

会议简称:ASIACRYPT

会议全称:Annual International Conference on the Theory and Application of Cryptology and Information Security

出版社:Springer

(4)CHES

会议简称:CHES

会议全称:International Conference on Cryptographic Hardware and Embedded Systems

出版社:Springer

(5)PKC

会议简称:PKC

会议全称:International Workshop on Practice and Theory in Public Key Cryptography

出版社:Springer

这篇关于【格密码基础】:补充LWE问题的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/650419

相关文章

线上Java OOM问题定位与解决方案超详细解析

《线上JavaOOM问题定位与解决方案超详细解析》OOM是JVM抛出的错误,表示内存分配失败,:本文主要介绍线上JavaOOM问题定位与解决方案的相关资料,文中通过代码介绍的非常详细,需要的朋... 目录一、OOM问题核心认知1.1 OOM定义与技术定位1.2 OOM常见类型及技术特征二、OOM问题定位工具

Vue3绑定props默认值问题

《Vue3绑定props默认值问题》使用Vue3的defineProps配合TypeScript的interface定义props类型,并通过withDefaults设置默认值,使组件能安全访问传入的... 目录前言步骤步骤1:使用 defineProps 定义 Props步骤2:设置默认值总结前言使用T

MySQL8 密码强度评估与配置详解

《MySQL8密码强度评估与配置详解》MySQL8默认启用密码强度插件,实施MEDIUM策略(长度8、含数字/字母/特殊字符),支持动态调整与配置文件设置,推荐使用STRONG策略并定期更新密码以提... 目录一、mysql 8 密码强度评估机制1.核心插件:validate_password2.密码策略级

从基础到高级详解Python数值格式化输出的完全指南

《从基础到高级详解Python数值格式化输出的完全指南》在数据分析、金融计算和科学报告领域,数值格式化是提升可读性和专业性的关键技术,本文将深入解析Python中数值格式化输出的相关方法,感兴趣的小伙... 目录引言:数值格式化的核心价值一、基础格式化方法1.1 三种核心格式化方式对比1.2 基础格式化示例

Web服务器-Nginx-高并发问题

《Web服务器-Nginx-高并发问题》Nginx通过事件驱动、I/O多路复用和异步非阻塞技术高效处理高并发,结合动静分离和限流策略,提升性能与稳定性... 目录前言一、架构1. 原生多进程架构2. 事件驱动模型3. IO多路复用4. 异步非阻塞 I/O5. Nginx高并发配置实战二、动静分离1. 职责2

redis-sentinel基础概念及部署流程

《redis-sentinel基础概念及部署流程》RedisSentinel是Redis的高可用解决方案,通过监控主从节点、自动故障转移、通知机制及配置提供,实现集群故障恢复与服务持续可用,核心组件包... 目录一. 引言二. 核心功能三. 核心组件四. 故障转移流程五. 服务部署六. sentinel部署

解决升级JDK报错:module java.base does not“opens java.lang.reflect“to unnamed module问题

《解决升级JDK报错:modulejava.basedoesnot“opensjava.lang.reflect“tounnamedmodule问题》SpringBoot启动错误源于Jav... 目录问题描述原因分析解决方案总结问题描述启动sprintboot时报以下错误原因分析编程异js常是由Ja

MySQL 表空却 ibd 文件过大的问题及解决方法

《MySQL表空却ibd文件过大的问题及解决方法》本文给大家介绍MySQL表空却ibd文件过大的问题及解决方法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考... 目录一、问题背景:表空却 “吃满” 磁盘的怪事二、问题复现:一步步编程还原异常场景1. 准备测试源表与数据

从基础到进阶详解Python条件判断的实用指南

《从基础到进阶详解Python条件判断的实用指南》本文将通过15个实战案例,带你大家掌握条件判断的核心技巧,并从基础语法到高级应用一网打尽,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一... 目录​引言:条件判断为何如此重要一、基础语法:三行代码构建决策系统二、多条件分支:elif的魔法三、

Python WebSockets 库从基础到实战使用举例

《PythonWebSockets库从基础到实战使用举例》WebSocket是一种全双工、持久化的网络通信协议,适用于需要低延迟的应用,如实时聊天、股票行情推送、在线协作、多人游戏等,本文给大家介... 目录1. 引言2. 为什么使用 WebSocket?3. 安装 WebSockets 库4. 使用 We