格问题的难度为量子安全密码学提供了最有前途的安全基础之一。公钥加密和数字签名的基本方案已接近 NIST 和其他几个标准化机构的标准化,研究前沿已转向构建具有更高级隐私功能的原语。许多此类原语的核心是零知识证明。近年来,格关系的零知识证明(和使用格关系的零知识证明)的效率有了显著提高,目前它们为许多场景提供了可以说是最短、计算效率最高的量子安全证明。非专家(和专家!)使用这些证明的主要困难在于它们有很多活动部件,并且许多内部参数取决于人们试图证明的特定实例。我们的主要贡献是一个零知识和简洁证明库,它由简单易用的 Python 接口下高效灵活的 C 代码组成。没有任何基于格的证明背景的用户应该能够指定他们想要证明的格关系和范数界限,然后该库将自动创建一个带有内在参数的证明系统,使用 LaBRADOR 的简洁证明(Beullens 和 Seiler,Crypto 2023)或 Lyubashevsky 等人的线性大小(尽管对于某些应用来说较小)证明(Crypto 2022)。Python 接口还允许基于格的密码学中使用的常见操作,这将使用户能够在语法简单的 Python 环境中编写和原型化他们的完整协议。我们通过提供盲签名、匿名凭证、最近的 Swoosh 协议(Gaj-land 等人,Usenix 2024)中所需的零知识证明、证明 Kyber 密钥的知识和聚合签名方案的协议实现来展示该库的一些实用性。从大小、速度和内存的角度来看,其中大多数都是最有效的,已知的量子安全实例。
Christian Rehtanz 教授、Marco Greve 博士乌尔夫·哈格尔 多梅尼克·希尔布里奇 斯特凡·基佩尔特 安德烈亚斯·库比斯·沃尔克·利本瑙 特里萨·诺尔 斯文·鲁伯格 托尔斯滕·施吕特 约翰内斯·施威佩 克里斯托弗·斯皮克 Jan Teuwsen
N. S. 4,Hariprasad S. 5,Siji Cyric博士。6,(博士)Manoj P. K. 7 1 Gregorian高级研究学院,喀拉拉邦Thiruvananthapuram,喀拉拉邦 - 695011(印度)。 2学生,格雷戈里亚高级研究学院,喀拉拉邦蒂鲁瓦纳特郡 - 695011(印度)。 3喀拉拉邦Thiruvananthapuram的Gregorian高级研究学院 - 印度695011(印度)。 4学生,格里高利高级研究学院,喀拉拉邦蒂鲁瓦纳特郡 - 695011(印度)。 5学生,格雷戈里亚高级研究学院,喀拉拉邦蒂鲁瓦纳特郡 - 695011(印度)。 6喀拉拉邦Kasaragod Rajapuram St. Pius College助理教授 - 671 532(印度)。 7喀拉拉邦库萨特应用经济学系教授兼主管 - 682 022(印度)。 (通讯作者)(OrcID ID:https://orcid.org/0000-0000-0002-5710-1086)关键词电子商务,在线购物,ICT,ICT,包容性,可持续增长,环境。6,(博士)Manoj P. K. 7 1 Gregorian高级研究学院,喀拉拉邦Thiruvananthapuram,喀拉拉邦 - 695011(印度)。2学生,格雷戈里亚高级研究学院,喀拉拉邦蒂鲁瓦纳特郡 - 695011(印度)。3喀拉拉邦Thiruvananthapuram的Gregorian高级研究学院 - 印度695011(印度)。 4学生,格里高利高级研究学院,喀拉拉邦蒂鲁瓦纳特郡 - 695011(印度)。 5学生,格雷戈里亚高级研究学院,喀拉拉邦蒂鲁瓦纳特郡 - 695011(印度)。 6喀拉拉邦Kasaragod Rajapuram St. Pius College助理教授 - 671 532(印度)。 7喀拉拉邦库萨特应用经济学系教授兼主管 - 682 022(印度)。 (通讯作者)(OrcID ID:https://orcid.org/0000-0000-0002-5710-1086)关键词电子商务,在线购物,ICT,ICT,包容性,可持续增长,环境。3喀拉拉邦Thiruvananthapuram的Gregorian高级研究学院 - 印度695011(印度)。4学生,格里高利高级研究学院,喀拉拉邦蒂鲁瓦纳特郡 - 695011(印度)。5学生,格雷戈里亚高级研究学院,喀拉拉邦蒂鲁瓦纳特郡 - 695011(印度)。6喀拉拉邦Kasaragod Rajapuram St. Pius College助理教授 - 671 532(印度)。 7喀拉拉邦库萨特应用经济学系教授兼主管 - 682 022(印度)。 (通讯作者)(OrcID ID:https://orcid.org/0000-0000-0002-5710-1086)关键词电子商务,在线购物,ICT,ICT,包容性,可持续增长,环境。6喀拉拉邦Kasaragod Rajapuram St. Pius College助理教授 - 671 532(印度)。7喀拉拉邦库萨特应用经济学系教授兼主管 - 682 022(印度)。(通讯作者)(OrcID ID:https://orcid.org/0000-0000-0002-5710-1086)关键词电子商务,在线购物,ICT,ICT,包容性,可持续增长,环境。
5.1 发射范围··············································· 2
1043 后座利用长后座型 这是一种枪管和枪栓一体化、后座距离超过弹药总长度的后坐利用型。 连接到枪管并位于后部的枪栓由位于后座末端位置的闩锁固定,并且只有枪管由于复位弹簧的作用而向前移动,从而将弹壳踢出。枪栓上的闩锁被释放,枪栓向前移动以加载并关闭枪膛。