OpenSSL密码库算法笔记——第2.2章 除法算法函数

P. Barrett[8]提出了著名的Barrett约化——先对商进行估计，再利用商的估计值估算余数。

Barrett约化对被模数x是有限制的，即x < B2k，不过这个条件一般还是很容易满足的，两个小于m的数乘起来自然小于m2，从而也就小于B2k，满足条件。

P.D. Barrett, Implementing the Rivest Shamir and Adleman public key encryption algorithm on a standard digital signal processor, Advances in Cryptology, Proc. Crypto’86, LNCS 263, A.M. Odlyzko, Ed., Springer-Verlag, 1987, pp. 311–323.

2.2.1         Barrett约化的思想

2.2.2         Barrett约化的优越性

2.2.3         Barrett约化算法

2.2.4         Barrett模数与相关函数

2.2.5         利用Barrett约化做除法