乐胖代购免代理版

欢迎

One-Shot Verifiable Encryption from Lattices

摘要可验证加密允许人们证明加密数据的属性，并且是密码协议设计的重要组成部分，例如群签名、密钥托管、公平交换协议等。现有的基于晶格的可验证加密方案，甚至只是加密数据的知识证明，都需要并行组合证明来减少可靠性误差，从而产生只有在大量密文上摊销时才真正实用的证明大小。在本文中，我们基于随机预言机模型中的环LWE问题的硬度，提出了一种可验证加密方案的新构造，用于多项式环上线性方程的短解。我们的方案是“一次

密钥托管

数据

稳健性

原创 2023-05-14 08:38:01 134 阅读

Lattice Basis Delegation in Fixed Dimension and Shorter-Ciphertext Hierarchical IBE

摘要我们提出了一种委托短格基的技术这样做的好处是可以保持晶格维数不变代表团。在此结果的基础上，我们构造了两个新的层次结构基于身份的加密(HIBE)方案，有和没有随机神谕。由此产生的系统与早期基于格子的系统非常不同在某些情况下，HIBEs会产生更短的密文和私钥。我们从经典晶格硬度假设出发证明了安全性6结论提出了一种新的格基委托机制，并将其应用于构造两个HIBE系统，一个在随机oracle模型中安全，

oracle

层次结构

委托机制

原创 2023-05-13 08:19:09 83 阅读

格上基于身份的群签名方案

摘要：现有的格上群签名方案，虽然能够有效抵抗量子计算的攻击，但是难以避免用户公钥证书复杂的管理问题．基于格基委派、拒绝采样等技术，将基于身份的加密体制与格上群签名相结合，构造了随机预言模型下的格上基于身份的群签名．首先通过陷门生成算法生成系统主密钥；然后通过格基委派技术提取用户身份信息并获取用户密钥；最后在签名阶段不使用零知识证明，而是采用了拒绝采样算法生成签名，并使用ＬＰＲ加密算法保证群

零知识证明

主密钥

加密算法

原创 2023-05-12 15:54:39 90 阅读

Ciphertext Policy Attribute-Based Encryption from Lattices ∗

Sahai和Waters[21]提出了基于属性的加密(ABE)作为一种新的加密算法范式，它允许发送方设置一个策略来描述谁可以解密特定的密文。本文首先提出了一种基于格的密文策略属性加密方案，该方案支持对文字(或布尔)属性的灵活阈值访问策略。然后在不增加公钥和密文大小的情况下对其进行扩展，使其支持多值属性。无论系统的属性有多少，我们的方案的主秘钥只有一个矩阵。我们的方案的安全性是基于格上的最坏情况硬度

待解决

加密算法

原创 2023-05-11 09:14:04 126 阅读

One-Shot Verifiable Encryption from Lattices

抽象可验证加密允许人们证明加密数据的属性，并且是加密协议设计中的重要构建块，例如，组签名，密钥托管，公平交换协议等。现有的基于格的可验证加密方案，甚至只是加密数据知识的证明，都需要并行组合证明以减少稳健性误差，从而导致证明大小只有在摊销到大量密文时才真正实用。在本文中，我们提出了一种新的可验证加密方案结构，基于随机预言机模型中Ring-LWE问题的硬度，用于多项式环上的线性方程的短解。我们的方

密钥托管

数据

稳健性

原创 2023-05-10 09:04:41 119 阅读

Constant-Size Group Signatures from Lattices

摘要基于格的群签名是近年来研究的热点。自从Gordon, Katz和Vaikuntanathan (Asiacrypt 2010)的开创性工作以来，已经提出了其他十种方案，在安全性，效率和功能方面提供了各种改进。然而，在所有已知的构造中，必须在设置阶段固定组用户的数量N，因此，签名大小依赖于N。在这项工作中，我们从格中引入了第一个恒定大小的群签名，这意味着该方案产生的签名大小与N无关，仅取决于安全

ci

oracle

密码

原创 2023-05-09 12:09:06 93 阅读

Lattice-Based zk-SNARKs from Square Span Programs

零知识snark (zk- snark)是非交互式证明系统，具有简短且有效的可验证证明。通过提供一种有效的方式来展示对秘密信息的了解，而不实际泄露信息，它们优雅地解决了个人隐私和公众信任的并存问题。时至今日，zk- snark被用于委派计算、电子加密货币和匿名凭证。然而，目前所有的snark实现都依赖于前量子假设，因此，预计在未来几十年内无法承受密码分析的努力。在这项工作中，我们引入了基于晶格假设

验证者

密码分析

原创 2023-05-08 10:58:15 119 阅读

Lattice-Based Zero-Knowledge Proofs: New Techniques for Shorter and Faster Constructions and Applica

摘要我们设计了新的技术来设计和分析有效的基于格的零知识证明（ZKP）。首先，我们介绍了k≥2次非线性多项式关系的一次性验证技术，其中该协议在一次执行中实现了可忽略的稳健性误差，因此与需要多次重复的现有协议相比，在计算和通信方面都表现得更好。对于离散对数设置中的重要隐私保护协议，如Bulletproof（IEEE S&P’18）和算术电路自变量（EUROCRYPT’16），这种次数k≥2的证

稳健性

多项式

离散对数

原创 2023-05-07 20:09:01 182 阅读

Lattice-Based Group Signatures and Zero-Knowledge Proofs of Automorphism Stability

absract:我们提出了一个基于晶格问题硬度的群签名方案，其输出比目前文献中最有效的方案小一个数量级以上。由于基于格的方案通常也不容易有效地实现，因此我们还提供了基于格的群签名的第一个实验实现，证明我们的构造确实是实用的-所有操作在标准笔记本电脑上花费不到半秒的时间。我们构建的一个关键组件是一个新的零知识证明系统，用于证明承诺值属于特定的小尺寸集合。我们的证明所适用的集合恰恰是那些包含在格协议的

零知识证明

Falcon

多项式

原创 2023-05-06 11:26:13 227 阅读

文章阅读计划day1

标题：Constant-Size Group Signatures from Lattices摘要：基于格的群签名是近年来一个活跃的研究课题。自Gordon、Katz和Vaikuntanathan的开创性工作（Asiacrypt 2010）以来，已经提出了其他十种方案，在安全性、效率和功能性方面提供了各种改进。然而，在所有已知的构造中，必须在设置阶段固定组用户的数量N，因此，签名大小取

ci

Group

解决方案

原创 2023-05-05 19:33:13 68 阅读

阅读Practical Lattice-Based Zero-Knowledge Proofs for Integer Relations

这篇文章写的是基于格的零知识证明，证明的是整数之间的加法和乘法运算。文章开始介绍了一些基础的东西，感觉没啥用，不知道作者为啥这么写，不符合我的思维习惯，介绍了一些定理，感觉没啥用，好像是围绕着两个东西写的，不知道有啥用，看起来没啥用，这个大学看起来有点意思，但是感觉没啥用看了主要协议，感觉也没啥用但是看起来后面的整数加法和整数乘法有点意思，这个貌似有用不懂这个后面就是加法和乘法后面没有看懂，先占坑

零知识证明

原创 2023-04-23 22:34:01 141 阅读

官方博客	全部文章	热门标签	班级博客
了解我们	网站地图	意见反馈

鸿蒙开发者社区	51CTO学堂
51CTO	软考资讯

51CTO博客

qq5f2bca2ab6e17的博客

欢迎

One-Shot Verifiable Encryption from Lattices

Lattice Basis Delegation in Fixed Dimension and Shorter-Ciphertext Hierarchical IBE

格上基于身份的群签名方案

Ciphertext Policy Attribute-Based Encryption from Lattices ∗

One-Shot Verifiable Encryption from Lattices

Constant-Size Group Signatures from Lattices

Lattice-Based zk-SNARKs from Square Span Programs

Lattice-Based Zero-Knowledge Proofs: New Techniques for Shorter and Faster Constructions and Applica

Lattice-Based Group Signatures and Zero-Knowledge Proofs of Automorphism Stability

文章阅读计划day1

阅读Practical Lattice-Based Zero-Knowledge Proofs for Integer Relations