RSA简介(三)——寻找质数

  要生成RSA的密钥,第一步就是要寻找质数,本节专讲如何寻找质数。

  

  我们的质数(又称素数)、合数一般是对正整数来讲,质数就是只有1和本身两个的正整数,合数至少有3个约数,而1既不是合数也不是质数。

  质数有无穷多个,这个早在古希腊时期就被证明了,使用反证法很容易证明:假设质数只有有限多,分别为a1.....an,则a1*a1....*an+1大于所有的质数,却不以任何质数为约数,推出矛盾,从而假设错误。

  

  在质数的分布上,有个定理:

  lim  ∏ (n)/(n/ln(n)) = 1

  n→∞

   其中∏ (n)是小与等于n的质数的个数。

  找质数的第一个门槛还是靠随机,上述公式,可以推导出质数的密度ρ (n)(因为∏ (n)并非连续函数,此处密度只是概率上的密度)为

  lim ρ (n)/(n/ln(n))‘ = 1

  n→∞

 (n/ln(n))‘ = (ln(n)-1)/ln2(n),

  从而

  

  lim ρ (n)/(1/ln(n)) = 1

  n→∞

  那么,在n附近寻找质数,大约平均每ln(n)次可以找到一个质数。

  涉及到密钥的生成,随机算法要小心了,用时间种子与伪随机算法一起当然是不安全的,最好以硬件随机为基础的随机数,这样无规律,难以从密钥生成机制直接下手破解。

  

  接下来就需要质数判定算法。

  最土的算法:判断p是不是质数,就从2开始,挨个整数判断到p-1,看看是否其中有p的约数,如果没有,就是质数。

  这个算法效率太低O(p),但输入的信息量是p的位数级别,所以此算法应为指数级算法。

  明显提高的算法:如果p是合数,那么必然有一个不为1的约数小于或等于sqrt(p),于是刚才从2挨个整数判断到p-1修整一下,只需要判断到sqrt(p)即可。

  这个算法效率比前面那个算法好太多了,可是依然是指数级算法,只是指数从线性下降到平方根级别。

  可是我们RSA这里的指数动辄几百个bits,甚至两千多个bits,此种算法一样不靠谱。虽然上述算法还可以继续优化,比如测试了一个整数不是p的约数,就尽量不要测试这个整数的整数倍,只是,算法依然很慢。实际上,的确存在多项式级别的确定质数判定算法,第一个这样的算法是AKS算法,2002年由印度人解决。但目前靠谱的算法都是如此的慢,我们需要基于概率的判定方法。

  前两节谈到了模乘群,对于质数p,所有的小于p的正整数在模乘下构成一个群,该群的阶为p-1,则p-1是所有小于p的正整数以p为模的模乘周期的整数倍,这就是著名的费马小定理:

  如果a和p互质,且p为质数,则ap-1%p=1

  费马小定理虽然没有给出一个质数的鉴定方法,但告诉了我们,如果右边等号不成立,则p一定是合数,而基于概率的判定方法一般都会以费马小定理作为基础零件。RSA中一般用Miller-Rabin算法。

  Miller-Rabin算法同时利用了另外一个定义:

  p是质数,x是正整数,x2%p=1,那么x%p=1或者x%p=p-1

  完整描述Miller-Rabin算法如下:(https://en.wikipedia.org/wiki/Miller–Rabin_primality_test) 

write n − 1 as 2**r·d with d odd by factoring powers of 2 from n − 1
WitnessLoop: repeat k times:
   pick a random integer a in the range [2, n − 2]
   x ← ad mod n
   if x = 1 or x = n − 1 then
      continue WitnessLoop
   repeat r − 1 times:
      x ← x·x mod n
      if x = 1 then
         return composite
      if x = n − 1 then
         continue WitnessLoop
   return composite
return probably prime

  里面用到了第二节提到的模幂算法,用bc实现了一遍Miller-Rabin算法,因为bc里面无自带随机函数,就直接利用标准输入来输入随机数了,整个实现如下:

#!/usr/bin/bc -q
define mod_mul(a1,a2,n)
{
        return a1*a2%n;
}
define mod_exp(a,b,n)/* a^b%n */
{
        while(b%2==0) {
                a = mod_mul(a,a,n);
                b /= 2;
        }
        ret = a;
        b /= 2;
        while(b!=0) {
                a = mod_mul(a,a,n);
                if(b%2 == 1)
                        ret = mod_mul(a,ret,n);
                b /= 2;
        }
        return ret;
}
define Miller_Rabin(p, t)
{
        if(p==1) {
                return 0;
        }
        if(p<3) {
                return 1;
        }
        if(p%2==0) {
                return 0;
        }

}
define get_rand_num()
{
        return read();
}

define Miller_Rabin_test(n, k)
{
        d = n-1;
        r = 0;
        while(d%2!=1) {
                d /= 2;
                r++;
        }

        for(i=0;i<k;i++) {
                a = get_rand_num();
                x = mod_exp(a,d,n);
                if(x==1||x==n-1) {
                        continue;
                }
                for(j=1;j<r;j++) {
                        x = mod_mul(x,x,n);
                        if(x==1) {
                                return 0;
                        } else if(x==n-1) {
                                j = r;
                                continue;
                        }
                }
                if(j==r) {
                        return 0;
                }
        }
        return 1;
}

  

 

时间: 2025-01-02 17:54:17

RSA简介(三)——寻找质数的相关文章

2015编程之美初赛第三题质数相关

1.解题思路 按题要求,输入数据后先进行是否有两两相同的数据的判断,接着进行从小到大的排序,由于是求质数无关,则集合中任何一对数都不能质数相关,本人采用顺序遍历,将集合中每个数字分为必须包含和必须排外两种情况遍历,首先集合第一个数必须包含,且作为子集中第一个元素,由于是有序数据,只需从集合第二个数遍历起,对加人子集的每个数做质数相关判断(需要遍历一遍),若与子集每个数都质数无关,则将该数纳入该子集,直到遍历完集合后续所有数据,完了统计子集大小:再来第二遍遍历,这是最外循环从大集合第二个数据起,此

高效寻找质数——Sieve of Eratosthenes

Sieve of Eratosthenes-埃拉托斯特尼筛法,简称埃氏筛. 思路:给出要筛数值的范围n,找出以内的素数.先用2去筛,即把2留下,把2的倍数剔除掉:再用下一个素数,也就是3筛,把3留下,把3的倍数剔除掉:接下去用下一个素数5筛,把5留下,把5的倍数剔除掉:不断重复下去......,直到其小于等于. 示意图如下: 实例:LeetCode上寻找质数的一个问题(https://leetcode.com/problems/count-primes/). Question:Count the

RSA简介(一)——数论原理

RSA是最常用的非对称加密算法. 所谓非对称加密,就是说有两个密钥,一个密钥加密只可以用另外一个密钥解密,一般一个作为公钥,公开给所有人用来加密用,而另一个用来解密其他拥有公钥的加密结果,叫做私钥.另外,拥有私钥者可以用私钥加密信息,公钥可以解密获得加密内容,从而验证私钥拥有者的身份,这是一种特殊的加密,叫签名. RSA涉及到5个整数,关系如下: p和q都是质数: N=p*q; 找一个1<e1<(p-1)(q-1),使得e1与(p-1)(q-1)互质:(互质的意思是两个数的最小公约数为1) 再

【大数据技术干货】阿里云伏羲(fuxi)调度器FuxiMaster功能简介(三) 针对在线服务的资源强稳定

免费开通大数据服务:https://www.aliyun.com/product/odps 转载自xingbao 各位好,这是介绍阿里云伏羲(fuxi)调度器系列文章的第三篇,今天主要介绍针对在线服务的资源强稳定 一.FuxiMaster简介 FuxiMaster和Yarn非常相似,定位于分布式系统中资源管理与分配的角色:一个典型的资源分配流程图如下所示: 作为调度器,目前FuxiMaster支持的功能主要有: 1.多租户管理 2.支持FIFO/FAIR调度策略 3.针对在线服务保持资源强稳定(

Spring Cloud Config - RSA简介以及使用RSA加密配置文件

简介 RSA非对称加密有着非常强大的安全性,HTTPS的SSL加密就是使用这种方法进行HTTPS请求加密传输的.因为RSA算法会涉及Private Key和Public Key分别用来加密和解密,所以称为非对称加密.Private Key和Public Key有互操作性,即用private key加密的可以用public key解密,用public key加密的可以用private key解密.传统的单向认证则只用public key进行加密,有private key的一方才可进行解密.例如,一

TCP/IP协议简介(三) 之 网络层

IP 网际协议 IP 协议位于网络层,它是 TCP/IP 协议族中最为核心的协议,所有的 TCP.UDP.ICMP 及 IGMP 数据都以 IP 数据报格式传输.IP 协议提供的是 不可靠 . 无连接 的数据报传送服务. 不可靠(unreliable):IP 协议不能保证数据报能成功地到达目的地,它仅提供传输服务.当发生某种错误时,IP 协议会丢弃该数据报.传输的可靠性全由上层协议来提供. 无连接(connectionless):IP 协议对每个数据报的处理是相互独立的.这也说明, IP 数据报

Redis简介三

目录 一.Key 二.String 三.Hash 四.List 五.Set 六.SortedSet 七.Pub/Sub 八.Transaction 九.Script 十.Connection 十一.Server 一.Key Key命令速查: 命令 说明 DEL 删除给定的一个或多个 key,不存在的 key 会被忽略,返回值:被删除 key 的数量 DUMP 序列化给定 key,返回被序列化的值,使用 RESTORE 命令可以将这个值反序列化为 Redis 键 EXISTS 检查给定 key 是

Python数据结构方法简介三————元组

Python的元组与列表类似,不同之处在于元组的元素不能修改.元组使用小括号,元组创建很简单,只需要在括号中添加元素,并使用逗号隔开即可,元组中只包含一个元素时,需要在元素后面添加逗号. 元组与列表的区别: 1.元组不可变,列表可变. 2.元组比列表更安全,操作速度更快. 一.创建元组 tuple1=(1,2,3,4) tuplt2=('a','b','c','d') 二.访问元组 元组的访问与列表相同,都是利用索引值来进行访问. tuple1[1] 2 tuple1[-1] 如果超出索引范围,

RSA简介(四)——求逆算法

此处所谓求逆运算,是指在模乘群里求逆. 第一节里提到互质的两个定义: (1)p,q两整数互质指p,q的最大公约数为1. (2)p.q两整数互质指存在整数a,b,使得ap+bq=1. 只要明白了欧几里得算法,很容易就可以求出两整数的最大公约数,而这是一个小学时候就学习到的算法.这个算法有个可能让我们更熟悉的名字,叫辗转相除法. 我经常搞不清楚被除数和除数,不知道会不会有人和我一样.所以我要先在这里写明一下,防止混淆,一个除法,除号前的叫被除数,除号后的脚除数. 单次除法,X=m*Y+n,X为被除数