- 博客(33)
- 收藏
- 关注
RSS订阅
原创 格上签名论文
提出 lattice提出 lattice-based提出 LWE的密码O. Regev. On lattices, learning with errors, random linear codes, and cryptography. J. ACM,56(6):1–40, 2009. Preliminary version in STOC 2005.Ring-LWEV. Lyubas...
2019-11-20 09:15:17
1667
2
原创 Pairing 基础知识(摘抄)
文献中经常有提到的双线性对pairing介绍ref,ID-based, blind signature and ring signature from pairings，Zhang, FG and Kim, KGGG由PPP生成的循环群, 阶为素数qqq. VVV是具有同样阶的循环乘法群.pairing e:G×G→Ve:G\times G\to Ve:G×G→V具有以下性质:双线性非退化性可计算性困难假设也是椭圆曲线上的离散对数难题?案例an IBS from pairings
2021-10-10 18:24:10
622
原创 软件工具-NTL库-1安装与使用
目的: NTL 可以用来实现密码算法的高效C++库.其他密码库: Sage(Python)环境: Windows, Msys2, Mingw64参考官方文档基本步骤首先安装msys2(利用Mingw,也可以利用cygwin)将unix版本NTL库下载解压到msys2安装文件夹从msys2 cd 该目录, 执行下列操作, 注意较慢(好像要提前安装gmp, 但是好像又会自己安装, 我是后面安装gmp的)PS: 安装慢安装成功后, 会在msys2 /usr/local/include 或li
2021-06-10 15:56:14
1306
3
原创 软件工具-Palisade库:windows安装Palisade遇到的问题
主要参考官网安装教程Windows安装问题安装过程描述: palisade\third-party这几个包需要单独下载, 按照教程会是空文件.运行案例时发生描述: error while loading shared libraries: libPALISADEpke.dll: cannot open shared object file: No such file or directory解决方法:将make install(或cmake /your/path)的lib直接
2021-06-03 10:55:08
703
1
原创 软件工具-gmp库-安装过程出现的问题1
环境centosg++gmp问题描述运行编译时的文件xx.out出现链接错误：error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory解决方法首先查找 libgmpxx.so.4我的该库在/usr/local/lib而本环境默认在/usr/lib需要手动更新库# vim /etc/ld.so.conf //在新的
2021-04-19 09:50:16
604
原创 adobe pdf 高级搜索功能
为了搜索多个pdf，摘自帮助文档pdfhelp1. 打开窗口2.基本查询简单查询3.高级查询如下图附：布尔目录
2021-04-01 15:48:49
1504
原创 格签名困难假设: 最短向量问题SVP
1 定义最短向量问题 (Shortest Vector Problem, SVP).SVP 问题定义为：对于给定的格Λ\LambdaΛ ，找到一个非零的格向量v\bold vv ，使得对于任意的非零向量u∈Λ\bold u \in \Lambdau∈Λ，∣∣v∣∣≤∣∣u∣∣||\bold v||\le||\bold u||∣∣v∣∣≤∣∣u∣∣。2 应用3 证明平均情况下的SVP难度不比最坏情况下的SVP容易todo...
2020-12-25 19:29:15
3221
原创 特殊格签名: 群体签名1
1 群体签名介绍定义：群体用户可以合作对一个消息进行签名，这个签名能被这些用户的所有公钥验证。优势：群体签名比单个独立签名的总和尺寸小。适用场景：区块链2 签名定义1 Setup系统参数2 Sign每个用户利用自己的密钥生成部分签名3 Verify利用所有用户的公钥一起来验证签名合法性3 具体结构参考Peng20201的方案：broadcast digital multi-signature1 Setup安全参数nnn,q=poly(n),m,sq=poly(n),m,
2020-12-24 21:37:00
265
1
原创 格密码学重要概念: 高斯采样
1 高斯采样的重要性许多最近的基于格的方案需要从离散高斯中采样(例如，参见[Bai14]，[MP12]，[Lyu12]，[GPV08]，[BLISS13])。离散高斯参数由特殊方案的安全证明决定。现有算法不能从离散高斯分布中采样，因此必须从统计上接近它的分布中采样。通常的做法是要求采样分布与期望的离散高斯分布的统计距离小于2−1002^{-100}2−100。2 高斯采样的效率1如果要实现小于2−1002^{-100}2−100的统计距离，计算概率需要至少100位精度的浮点操作。而任何预计算都意味着存
2020-12-23 15:55:12
4163
原创 格签名欧式范数和尺寸大小区别
以Lyu121举例n,m,σ=n,m,\sigma=n,m,σ=签名欧式范数满足∣∣z∣∣≤σm||{\mathbf z}||\le \sigma\sqrt{m}∣∣z∣∣≤σm（数字）签名实际尺寸mlog12σm\log{12\sigma}mlog12σ （bits）公钥，私钥等占用空间大的类似。具体参数：σ=15157,m=8139,∣∣z∣∣=1367410,signautre=142300bits=17.79KB\sigma=15157,m=8139,||{\mathbf z}||=
2020-12-01 21:19:01
179
原创 endnote出现select a reference,endnote错误
因为word公式原因出现如上错误的话，在word–Endnote–(左上角)Edit & Manage Citations-Tools–Configure Bibliography–临时引用分割符‘{ }’改为其他不冲突符号，例如“< }”。参考
2020-11-11 21:56:35
5674
原创 无证书签名简介
前言为什么要提出无证书签名防止公钥替换攻击防止密钥托管问题相关工作方案结构和安全模型方案结构参考:An Efficient Provably-Secure Certificateless Signature Scheme for Internet-of-Things Deployment大致分为:Setup、Extract、KeyGen、Sign、Verify安全模型Al-Riyami2003Certificateless public key cryptography提出的
2020-11-02 20:23:01
3609
1
原创 格签名重要论文简介1-GPV08
Craig Gentry and Chris Peikert and Vinod Vaikuntanathan,2008,Trapdoors for Hard Lattices and New Cryptographic Constructions,IACR链接1主要贡献使用原像采样的陷门函数高效hash-and-sign数字签名方案IBE2技术综述高斯采样算法3签名方案...
2020-10-26 16:49:35
1502
原创 格密码学重要概念: 格基委派技术
简介1：通过盆栽树技术（Bonsai Trees）实现格基委派技术，从而实现多层次的基于身份的密码技术。(Hierarchical Identity-Based Encryption)David Cash2010,Bonsai Trees, or How to Delegate a Lattice Basis∗ ↩︎
2020-10-26 10:15:23
973
原创 两类不同存在形式的数字签名-1:Appendix&Message-Recovery
1.带附录数字签名带附录的数字签名算法标准系列ISO/IEC 14888，包括基于大数分解的14888-21、基于离散对数的14888-32。2.带消息恢复的数字签名带消息恢复的数字签名算法标准系列ISO/IEC 9796，包括基于大数分解的9796-23、基于离散对数的9796-34。ISO/IEC 14888-2:2008 — Information Technology —Security Techniques — Digital Signatures with Appendix—
2020-09-07 21:08:16
293
原创 公开算法代码
NIST算法：基于格的签名算法，falcon.格基签名方案1。qTESLA.The Lattice-Based Digital Signature SchemeqTESLA ↩︎
2020-08-18 22:41:13
452
原创 格签名相似概念区分: SVP、SIS、LWE的区分
参考.格的困难问题：最短向量问题 (Shortest Vector Problem, SVP). SVP 问题定义为：对于给定的格Λ\LambdaΛ ，找到一个非零的格向量v\bold vv ，使得对于任意的非零向量u∈Λ\bold u \in \Lambdau∈Λ，∣∣v∣∣≤∣∣u∣∣||\bold v||\le||\bold u||∣∣v∣∣≤∣∣u∣∣。类似问题有：近似最短向量问题aSVP(Approximate Shortest Vector Problem)唯一最短向量问题 (Uni
2020-08-18 11:05:52
3370
原创 格签名中陷门生成和原像采样的联系
都是采样技术（Sampling Techniques）定理2.1(陷门生成算法).令整数q>3,m>5nlogqq > 3, m > 5n\log qq>3,m>5nlogq，存在一个有效的算法TrapGen(q，m)TrapGen(q，m)TrapGen(q，m)，该算法能够在多项式时间内生成一个矩阵A∈Zqn×mA\in \Z_q^{n\times m}A∈Zqn×m和格Λ⊥(A)\Lambda^\perp(A)Λ⊥(A)的一个基TA∈Zm×mT_A..
2020-08-18 10:40:04
2257
原创 格密码学重要概念: 高斯平滑参数
简介：Micciancio2007提到的平滑参数。1为什么要用到平滑参数？什么是平滑参数？定义 (Smoothing parameter [MR07]). For any nnn-dimensional lattice Λ\LambdaΛand real ε\varepsilonε > 0, the smoothing parameter ηε(Λ){\eta _\varepsilon }(\Lambda )ηε(Λ) is the smallest s>0s > 0
2020-08-14 20:08:34
3093
1
原创 NTRUSign
什么是NTRUSign1NTRUSIGN [15] is a special instantiation of GGH with the compact lattices from the NTRU encryption scheme [12], which we briefly recall: we refer to [4,15] for more details. In the NTRU standards [4] being considered by IEEE P1363.1 [19], on.
2020-08-14 11:32:50
756
1
原创 格密码学重要概念: 分叉引理Forking lemma
最近看到几篇ID-based的论文有利用forking lemma进行概率推导的，所以先写写这个。2000年 , Pointcheval和 Stern提出了一般签名体制的概念 ,并且证明了适用于这类体制的 Forking引理。本
2020-08-13 17:46:14
4702
2
原创 杂-格签名中常见数字的意义
安全参数nnn，2的阶乘。一般取值为512,1024,2048，即29,210,2112^9,2^{10},2^{11}29,210,211p=xn+1p=x^n+1p=xn+1q=12289q=12289q=12289，q=12∗1024+1=12289q = 12 * 1024 + 1 = 12289q=12∗1024+1=122896145:2模q的逆元。6145∗2=12290mod q=16145*2=12290 \mod{q}=16145∗2=12290modq=1.
2020-08-11 12:06:25
254
原创 杂-格上数字签名重要符号
参考Falcon上符号定义：加密参数：For a cryptographic signature scheme, λ\lambdaλ denotes its security level and qsq_sqs the maximal number of signature queries which may be made. Following the assumptions of [NIS16],we suppose that qs≤264q_s \le 2^{64}qs≤264.矩阵，向量，维
2020-08-10 17:37:34
775
原创 常用密码学论文查找网站
http://arxiv.org/https://eprint.iacr.org/WoShttp://apps.webofknowledge.com
2020-08-07 11:11:46
4047
原创 IBS模型
ID-based SC优势：基于身份的密码[shamir1984]简化了传统公钥密码系统的密钥管理问题。基于身份的数字签名体制[Cha2003]是由4个多项式时间算法组成的算法组 (Setup, Extract, Sign, Verify) :Setup 参数生成算法, 由可信中心 PKG 完成 ,输入安全参数 ,输出系统主密钥 s和系统参数 para, 保密主密钥 s;Extract 私钥解析算法, 输入用户身份 ID , PKG 利用掌握的主密钥 s和系统参数para,解析出秘密私钥 SID ,
2020-08-06 10:34:10
1840
原创 格密码学常用符号公式Latex转换
逻辑或∨\vee∨:\vee包含∈\in∈:\in箭头→\to→:\to向量表示b⃗\vec bb:\vec b等价⇔\Leftrightarrow⇔ \Leftrightarrow点乘A⋅B:A\cdot B:A⋅B:\cdot
2019-11-23 11:17:11
1167
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人