密码学
文章平均质量分 65
:)#
自有中正之道,不亢不卑,不骄不诌,何得如此也!
展开
-
[伪随机函数]
简单介绍PRF斯坦福介绍PRF原创 2022-12-07 13:08:37 · 241 阅读 · 1 评论 -
【高斯分布】
离散高斯采样就是在整数集合ℤ上随机选取整数,使选取的整数符合整数集合ℤ上特定参数的离散 高斯分布.ℝ,,s为高斯参数且大于0,c为中心值。整数集合ℤ上有参数为。表示中心为0,参数为s的中心化离散 高斯分布,记为。定义实数集合ℝ上的高斯函数。的离散高斯分布表示为。原创 2022-09-07 08:33:06 · 468 阅读 · 0 评论 -
【sigma 协议】
Schnorr机制由德国数学家和密码学家Claus-Peter Schnorr在1991年提出,是一种基于离散对数难题的知识证明机制。Schnorr本质上是一种零知识的技术,即Prover声称知道一个密钥x的值,通过使用Schnorr加密技术,可以在不揭露x的值情况下向Verifier证明对x的知情权。即可用于证明你有一个私钥。Schnorr中涉及到的技术有哈希函数的性质、椭圆曲线的离线对数难题。原创 2022-09-04 19:22:14 · 996 阅读 · 1 评论 -
【LWE问题简介】
容错学习(learning with errors, LWE)问题就是求解带噪声的线性方程组问题, 由Oded Regev在[Reg05] 中提出, 他也因此结果荣获2018年的哥德尔奖. LWE问题的困难性基于的复杂性假设非常弱, 但是功能却异常强大, 由于LWE问题尚无有效的量子求解算法, 因此基于LWE假设的加密方案被认为是抗量子的....原创 2022-08-11 16:35:07 · 5302 阅读 · 0 评论 -
[ExRandom lib-examples]
从[0,1]范围 按照均匀分布采样hist_dataSeed set to 2659261496columns are l n prob(n/2^l)0 0 0.3988860 1 00 2 01 0 0.09957161 1 0.00289461 2 0.09079161 3 0.0130581 4 0.01012861 5 0.00032442 0 0.02501262 1 0.01258942 2 0.03746682 3 0.00548562原创 2022-07-30 16:46:42 · 184 阅读 · 0 评论 -
【zkSNARK-groth16-analysis】
可以概括为验证者在不知道秘密输入的情况下能否有效地验证计算结果。是上述计算验证问题的解决方案。使用zksnark,验证程序可以为计算过程生成一个简短的验证字符串。验证器读取此字符串以确定给定的公共输入和输出是否合法。是众多zksnark施工方案之一。接下来,让我们介绍groth16如何解决计算验证问题。...原创 2022-07-29 18:21:44 · 384 阅读 · 0 评论 -
【R1CS to QAP】
使用拉格朗日插值来变换我们的R1CS。我们要做的是从每个系数矩阵的向量中取出第一个值(即系数矩阵的每一列),使用拉格朗日插值得到多项式依此类推。原创 2022-07-29 14:21:00 · 337 阅读 · 0 评论 -
【FHE test】
代码】【FHEtest】原创 2022-07-24 19:33:03 · 142 阅读 · 0 评论 -
【EIGamal】
EIGamal原创 2022-07-12 18:58:11 · 85 阅读 · 0 评论 -
经典论文阅读笔记——The Learning with Errors Problem
文章目录前言一、LWE and Ring LWE1.概念介绍2.读入数据总结前言我们现有的公钥方法面临被量子计算机破解的巨大危险。被提议作为量子计算机的一个难题的方法之一是错误学习问题(LWE)。LWE是量子鲁棒性密码学方法。我们创建一个密钥值 (s) 和另一个值 (e)。接下来我们选择A[]并计算B[] = A[] *s + eA[] 和 B[] 的值成为我们的公钥。如果 s 是单个值,则 A 和 B 是一维矩阵。如果我们选择 s 为一维矩阵,则 A 为二维矩阵,B 为一维矩阵。错误学习原创 2022-04-15 14:01:07 · 3371 阅读 · 0 评论 -
传统算法理解——RSA算法与Shamir秘密共享算法
文章目录一、基础知识互素(coprime)欧拉函数Shamir(t,n)秘密共享算法一、基础知识互素(coprime)如果两个正整数,除了1以外,没有其他公因子,我们就称这两个数是互质关系(coprime)。比如,15和32没有公因子,所以它们是互质关系。这说明,不是质数也可以构成互质关系。关于互质关系,不难得到以下结论:任意两个质数构成互质关系,比如13和61。一个数是质数,另一个数只要不是前者的倍数,两者就构成互质关系,比如3和10。如果两个数之中,较大的那个数是质数,则两者构成互质关原创 2022-04-15 13:59:33 · 341 阅读 · 0 评论 -
【Miracl用户手册学习】——【第一篇:因子分解算法】
文章目录一、分解因子算法——Pollard rho算法二、brute force to factor numbersgprimeisprimesize*subdiv三、brute force to factor numbersmemset(b, 0, sizeof(b))一、分解因子算法——Pollard rho算法Pollard-Rho算法是John Pollard发明的一种能快速找到大整数的一个非1、非自身的因子的算法。参考1参考2参考3import mathfrom random imp原创 2022-03-25 09:27:59 · 328 阅读 · 0 评论 -
【Hash函数与生日攻击】
文章目录一、Hash函数Hash函数关于密钥s散列函数定义碰撞发现实验-可忽略的散列函数安全性的三个典型的安全水平通用生日攻击参考文献一、Hash函数Hash函数将任意长度字符串压缩成短字符串的函数关于密钥s散列函数定义碰撞发现实验-可忽略的最强的安全性要求,很难达到散列函数安全性的三个典型的安全水平抗碰撞——最强定义抗第二原像——给定输入s和x,对ppt敌手,找到一个x′ s.t. Hs(x′) = Hs(x)x'\;s.t.\;H^s(x')\;=\;H^s(x原创 2022-03-25 09:25:26 · 4147 阅读 · 0 评论 -
【密码学编程·Miracl函数库】——【第一篇】
文章目录一、Miracl是什么二、Miracl如何使用三、如何学习Miracl四、使用Miraclexample1-big类型使用Instance Variables的使用int IOBASEexample3-实现1024比特RSA解密的时间测试程序C++中Big函数的使用将其他类型转成Big类型将字符数组转为Big生成随机数结束语一、Miracl是什么MIRACL(Multiprecision Integer and Rational Arithmetic C/c++ Library)是一套由Sham原创 2022-03-22 13:46:31 · 6149 阅读 · 1 评论 -
数论基础——群环域
文章目录一、群环域基本概念1.群2.环常见环3.域与椭圆曲线椭圆FpF_pFpPoint additionAlgebraic sum椭圆曲线群的阶数Scalar multiplication and cyclic subgroupsSubgroup order子群的阶Finding a base pointDomain parametersECC(Elliptic Curve Cryptography)Encryption with ECDHSigning with ECDSA一、群环域基本概念1.群原创 2022-03-06 10:28:10 · 9886 阅读 · 0 评论 -
三大密会论文笔记——NTRU: A Ring-Based Public Key Cryptosystem
NTRU(number theory reserach unit/Nth DegreeTruncated Polynomial Ring—N次截断多项式环问题)是设计在多项式环上的公钥密码系统,它基于多项式代数,安全性基于格中寻找最短向量困难问题(SVP)文章目录基本概念重申一、NTRU1.特点2.Scheme — Key Generation3.Scheme — Encryption4.Scheme — Decryption二、2.1.Recommended parameters2.2.Complex原创 2022-03-06 10:26:32 · 1353 阅读 · 0 评论