NTL in Paillier

  

相关函数：

  1）assert()：ASSERT是一个宏，只判断宏参数是否为假或者空一般用来判断一个等式是否成立。如果成立就不会影响。

int *p = NULL;

ASSERT(p);//p为空，运行时会出错。

ASSERT(p==NULL);//p==NULL值为真，对程序没影响。

NTL函数：

1、mod运算

1）PowerMod(s,a,b,n)

        s=(a^b)mod n

     http://reference.wolfram.com/mathematica/ref/PowerMod.html

2）MulMod(s,a,b,n)

        s=(a*b)mod n

3）AddMod(s,a,b,n)

        s=(a+b)mod n

4）x = InvMod(a,n)：求a模b的逆元

        ax+ny=1,求x

2、其他

1）RandomBnd( r, N );  产生一个在N内的随机数r

2）p=GenPrime_ZZ( a );  产生一个a内的素数p

CRT:Chinese's Remainder Theorem,中国剩余定理 

     http://zh.wikipedia.org/wiki/%E4%B8%AD%E5%9B%BD%E5%89%A9%E4%BD%99%E5%AE%9A%E7%90%86