मोंटगोमरी मॉड्यूलर गुणन

मॉड्यूलर अंकगणितीय संगणना में, मोंटगोमरी मॉड्यूलर गुणन जिसे प्रायः मोंटगोमरी गुणन के रूप से भी जाना जाता है, यह सफलता और तीव्रता से मॉड्यूलर गुणन करने की विधि है। इसे 1985 में अमेरिकी गणितज्ञ पीटर मॉन्टगोमरी (गणितज्ञ) द्वारा प्रस्तुत किया गया था।

मोंटगोमरी मॉड्यूलर गुणन संख्याओं के विशेष प्रतिनिधित्व पर निर्भर करता है जिसे मोंटगोमरी फॉर्म कहा जाता है। यह एल्गोरिथ्म मोंटगोमरी रूपों का उपयोग करता है, इस प्रकार $a$ और $b$ के मोंटगोमरी रूप की कुशलतापूर्वक गणना करने के लिए $ab mod N$ की दक्षता को भाजक के संचालन से प्रयुक्त होती है। मौलिक रूप से मॉड्यूलर गुणन डबल-चौड़ाई वाले उत्पाद को कम करता है, इस प्रकार $ab$ विभाजन का उपयोग करके $N$ और केवल शेष को रखते हुए इस विभाजन के लिए भागफल अंकों के अनुमान और सुधार की आवश्यकता है। इसके विपरीत मोंटगोमरी रूप स्थिरांक $R > N$ पर निर्भर करता है, जो कि कोप्राइम पूर्णांक है मुख्य रूप से $N$, और मोंटगोमरी गुणन में आवश्यक एकमात्र विभाजन $R$ है। इस प्रकार $R$ को चुना जाता है जिससे कि विभाजन द्वारा $R$ सरल है, कलन की गति में अधिक सुधार करता है। व्यवहारिक रूप से, $R$ सदैव दो की घात को प्रकट करता हैं, क्योंकि दो की घात द्वारा विभाजन को लघु स्थानांतरण द्वारा लागू करता है।

इस कारण इसे परिवर्तित करने की आवश्यकता है। इस प्रकार $a$ और $b$ मोंटगोमरी रूप में और उनके उत्पाद मोंटगोमरी रूप से बाहर का अर्थ है कि मोंटगोमरी गुणन द्वारा एकल उत्पाद की गणना पारंपरिक या बैरेट कटौती कलन की तुलना में धीमी है। चूंकि, पंक्ति में कई गुणन करते समय, जैसा कि मॉड्यूलर घातांक में होता है, मध्यवर्ती परिणाम मोंटगोमरी रूप में छोड़े जा सकते हैं। इसके कारण प्रारंभिक और अंतिम रूपांतरण समग्र संगणना का नगण्य अंश बन जाता है। इस प्रकार आरएसए (क्रिप्टोसिस्टम) और डिफी-हेलमैन की एक्सचेंज जैसे कई महत्वपूर्ण क्रिप्टो सिस्टम अंकगणितीय संचालन मोडुलो बड़ी विषम संख्या पर आधारित हैं, और इन क्रिप्टोसिस्टम्स के लिए, मोंटगोमरी गुणन का उपयोग करके संगणना $R$ की घात दो को उपलब्ध विकल्पों से अधिक उपयोगी माना जाता है।

मॉड्यूलर अंकगणित
$N$ धनात्मक पूर्णांक मापांक दर्शाता है। इस प्रकार भागफल की रिंग को $Z/NZ$ में $N$ अवशेषों वाले वर्ग मॉड्यूल सम्मिलित रहते हैं, अर्ताथ इसके तत्व फॉर्म के समुच्चय हैं, जो इस प्रकार हैं-
 * $$\{ a + kN \colon k \in \mathbf{Z} \},$$

जहाँ $a$ पूर्णांकों के बीच है। प्रत्येक अवशेष वर्ग पूर्णांकों का समूह है जैसे कि समुच्चय में किसी भी दो पूर्णांकों का अंतर विभाज्य $N$ है और अवशेष वर्ग उस संपत्ति के संबंध में अधिकतम है; पूर्णांकों को अवशेष वर्ग से बाहर नहीं छोड़ा जाता है जब तक कि वे विभाज्यता की स्थिति का उल्लंघन नहीं करते हैं। इस प्रकार अवशेष वर्ग के अनुरूप $a$ तथा $\overline{a}$ द्वारा अंकित किया जाता है, इस प्रकार अवशेष वर्गों की समानता को सर्वांगसमता कहा जाता है और इसे इस प्रकार निरूपित किया जाता है।
 * $$\bar a \equiv \bar b \pmod{N}.$$

कंप्यूटर पर संपूर्ण अवशेष वर्ग को संग्रहीत करना असंभव है क्योंकि अवशेष वर्ग में अधिकांशतः कई तत्व होते हैं। इसके अतिरिक्त अवशेष वर्गों को प्रतिनिधि के रूप में संग्रहीत किया जाता है। परंपरागत रूप से, ये प्रतिनिधि पूर्णांक होते हैं, जहाँ पर $a$ जिसके लिए $0 &le; a &le; N &minus; 1$ मान उपयोगी हैं जिसके अनुसार यदि $a$ पूर्णांक है, तो इसका प्रतिनिधि $\overline{a}$ है जिसको $a mod N$ लिखा जाता है। इस प्रकार सर्वांगसमता लिखते समय, पूर्णांक की पहचान उस अवशेष वर्ग के साथ करना सरल है जो यह प्रतिनिधित्व करता है। इस परिपाटी के साथ उपरोक्त समानता $a ≡ b mod N$ लिखी जाती है।

अवशेष वर्गों पर अंकगणित पहले उनके प्रतिनिधियों पर पूर्णांक अंकगणित करके किया जाता है। पूर्णांक ऑपरेशन का आउटपुट अवशेष वर्ग को निर्धारित करता है, और मॉड्यूलर ऑपरेशन का आउटपुट अवशेष वर्ग के प्रतिनिधि की गणना करके निर्धारित किया जाता है। उदाहरण के लिए, यदि $N = 17$, फिर अवशेष वर्गों का योग $\overline{7}$ और $\overline{15}$ की गणना पूर्णांक योग $7 + 15 = 22$ द्वारा ज्ञात करके की जाती है, इस कारण पुनः इसका निर्धारण $22 mod 17$, 0 और 16 के बीच का पूर्णांक जिसका अंतर 22 के साथ 17 का गुणक है। इस स्थिति में, वह पूर्णांक 5 है, इसलिए $\overline{7} + \overline{15} ≡ \overline{5} mod 17$ मान उपयोग किया जाता हैं।

मोंटगोमरी फॉर्म
यदि $a$ और $b$ श्रेणी में पूर्णांक $[0, N &minus; 1]$ हैं, तो उनका योग सीमा $[0, 2N &minus; 2]$ में है और उनका अंतर सीमा में $[&minus;N + 1, N &minus; 1]$ है, इसलिए प्रतिनिधि का निर्धारण करना $[0, N &minus; 1]$ के लिए अधिकतम घटाव या जोड़ को क्रमशः $N$ के लिए आवश्यक है, चूंकि, उत्पाद $ab$ की सीमा $[0, N^{2} &minus; 2N + 1]$ में है। मध्यवर्ती पूर्णांक उत्पाद का भंडारण $ab$ को या तो दोगुने बिट्स की आवश्यकता होती है इस प्रकार $a$ या $b$, और कुशलता से प्रतिनिधि का निर्धारण $[0, N &minus; 1]$ विभाजन की आवश्यकता है। गणितीय रूप से, 0 और के बीच का पूर्णांक $N &minus; 1$ के अनुरूप है $ab$ को यूक्लिडियन डिवीजन प्रमेय के कथन को लागू करके व्यक्त किया जा सकता है:
 * $$ab = qN + r,$$

जहाँ $q$ भागफल है $$\lfloor ab / N \rfloor$$ और $r$, शेष, अंतराल में है $[0, N &minus; 1]$. शेष $r$ है, इस कारण $ab mod N$ के निर्धारण $r$ कंप्यूटिंग $q$ द्वारा किया जा सकता है, फिर घटाना $qN$ से $ab$. उदाहरण के लिए, फिर से $$N=17$$, उत्पाद $\overline{7} ⋅ \overline{15}$ कंप्यूटिंग द्वारा $$7 \cdot 15 = 105$$ पर इसका निर्धारण किया जाता है, इसे विभाजित करना $$\lfloor 105 / 17 \rfloor = 6$$, और घटाना $$105 - 6 \cdot 17 = 105 - 102 = 3$$ सरल हो जाता हैं।

क्योंकि की गणना $q$ विभाजन की आवश्यकता है, यह अधिकांश कंप्यूटर हार्डवेयर पर अवांछनीय रूप से महंगा है। मोंटगोमरी फॉर्म रिंग के तत्वों को व्यक्त करने का अलग तरीका है जिसमें मॉड्यूलर उत्पादों की गणना महंगे डिवीजनों के बिना की जा सकती है। जबकि विभाजन अभी भी आवश्यक हैं, उन्हें अलग भाजक $R$ के संबंध में किया जा सकता है। इस विभाजक को दो की शक्ति के रूप में चुना जा सकता है, जिसके लिए विभाजन को शिफ्टिंग, या मशीनी शब्दों की पूरी संख्या से परिवर्तित किया जा सकता है, जिसके लिए शब्दों को छोड़ कर विभाजन को परिवर्तित किया जा सकता है। ये विभाजन तेज़ हैं, इसलिए मोंटगोमरी फॉर्म का उपयोग करके मॉड्यूलर उत्पादों की गणना करने की अधिकांश लागत साधारण उत्पादों की गणना करने की लागत है।

सहायक मापांक $R$ धनात्मक पूर्णांक होना चाहिए जैसे कि $gcd(R, N) = 1$ इसका उदाहरण हैं। इस प्रकार कम्प्यूटरीकृत उद्देश्यों के लिए यह भी आवश्यक है कि विभाजन और कमी के लिए मोडुलो $R$ सरल हैं, और मॉड्यूलस मॉड्यूलर गुणन के लिए तब तक उपयोगी नहीं है जब तक $R &gt; N$ अवशेष वर्ग का मोंटगोमरी रूप $\overline{a}$ हैं। इसके संबंध में $R$ है $aR mod N$, अर्थात यह अवशेष वर्ग  $\overline{aR}$ का प्रतिनिधि है, उदाहरण के लिए, मान लीजिए $N = 17$ ओर वो $R = 100$. 3, 5, 7 और 15 के मोंटगोमरी $300 mod 17 = 11$, $500 mod 17 = 7$, $700 mod 17 = 3$, और $1500 mod 17 = 4$ का रूप हैं।

मोंटगोमरी रूप में जोड़ और घटाव वितरण नियम के कारण सामान्य मॉड्यूलर जोड़ और घटाव के समान हैं:
 * $$aR + bR = (a + b)R,$$
 * $$aR - bR = (a - b)R.$$

यह इस तथ्य का परिणाम है कि, क्योंकि $gcd(R, N) = 1$, गुणा करके $R$ योज्य समूह पर समरूपता $Z/NZ$ है, उदाहरण के लिए, $(7 + 15) mod 17 = 5$, जो मोंटगोमरी रूप $(3 + 4) mod 17 = 7$ में बन जाता है।

मॉन्टगोमरी रूप में गुणन, चूंकि, अधिक जटिल प्रतीत होता है। का सामान्य उत्पाद $aR$ और $bR$ के उत्पाद का प्रतिनिधित्व नहीं करता है, इस प्रकार $a$ और $b$ क्योंकि इसका अतिरिक्त कारक $R$ है :
 * $$(aR \bmod N)(bR \bmod N) \bmod N = (abR)R \bmod N.$$

मोंटगोमरी रूप में कंप्यूटिंग उत्पादों के अतिरिक्त कारक को $R$ द्वारा हटाने की आवश्यकता होती है, जबकि विभाजन द्वारा $R$ सस्ता है, मध्यवर्ती उत्पाद है, इस कारण $(aR mod N)(bR mod N)$ से विभाज्य नहीं है $R$ क्योंकि मॉडुलो ऑपरेशन ने उस संपत्ति को नष्ट कर दिया है। उदाहरण के लिए, 7 और 15 मॉड्यूल 17 के मोंटगोमरी रूपों का उत्पाद 3 और 4 का उत्पाद है, जो कि 12 है। चूंकि 12 100 से विभाज्य नहीं है, इसलिए अतिरिक्त कारक को हटाने के लिए $R$ के अतिरिक्त प्रयास की आवश्यकता है।

जिसके अतिरिक्त कारक को हटाना $R$ को पूर्णांक से गुणा करके $R&prime;$ को प्राप्त किया जा सकता है, ऐसा है कि $RR&prime; &equiv; 1 (mod N)$, अर्ताथ द्वारा $R&prime;$ जिसका अवशेष वर्ग मॉड्यूलर व्युत्क्रम $R$ है, इसके विरुद्ध $N$ पुनः, कार्य कर रहे मॉड्यूल $N$, को इस प्रकार प्राप्त करते हैं।
 * $$(aR \bmod N)(bR \bmod N)R' \equiv (aR)(bR)R^{-1} \equiv (ab)R \pmod{N}.$$

पूर्णांक $R&prime;$ इस धारणा के कारण सम्मिलित है कि $R$ और $N$ को-प्राइम हैं। इसका निर्माण विस्तारित यूक्लिडियन कलन का उपयोग करके किया जा सकता है। विस्तारित यूक्लिडियन एल्गोरिथ्म कुशलतापूर्वक पूर्णांकों को निर्धारित करता है, इस प्रकार $R&prime;$ और $N&prime;$ जो बेज़ाउट की पहचान को संतुष्ट करते हैं:

$0 &lt; R&prime; &lt; N$, $0 &lt; N&prime; &lt; R$, और:
 * $$RR' - NN' = 1.$$

इससे पता चलता है कि मोंटगोमरी रूप में गुणा करना संभव है। मोंटगोमरी रूप में संख्याओं को गुणा करने के लिए सीधा कलन इसलिए गुणा करना है, इस प्रकार $aR mod N$, $bR mod N$, और $R&prime;$ पूर्णांक के रूप में और मॉड्यूल $N$ को कम करते हैं।

उदाहरण के लिए, 7 और 15 मॉड्यूल 17 को मोंटगोमरी फॉर्म में फिर से गुणा करने के लिए $R = 100$, उपरोक्तानुसार 12 प्राप्त करने के लिए 3 और 4 के गुणनफल की गणना करते हैं। इस प्रकार विस्तारित यूक्लिडियन एल्गोरिथ्म का तात्पर्य है $8⋅100 &minus; 47⋅17 = 1$, इसलिए $R&prime; = 8$. 96 प्राप्त करने के लिए 12 को 8 से गुणा करें और 11 प्राप्त करने के लिए मॉडुलो 17 को कम करें। यह अपेक्षा के अनुरूप 3 का मोंटगोमरी रूप है।

आरईडीसी कलन
जबकि उपरोक्त कलन सही है, यह गुणा करने की आवश्यकता के कारण मानक प्रतिनिधित्व में गुणा $R&prime;$ से कम है, और $N$ से विभाजित करते हैं। मोंटगोमरी रिडक्शन, जिसे आरईडीसी के रूप में भी जाना जाता है, एल्गोरिथ्म है जो साथ उत्पाद की गणना $R&prime;$ करता है और मॉड्यूलो को कम करता है, $N$ विधि की तुलना में अधिक तेज़ी से किया जाता हैं। पारंपरिक मॉड्यूलर कमी के विपरीत, जो संख्या को इससे छोटा बनाने पर $N$ का मान केंद्रित रहता है, मोंटगोमरी के मान में कटौती के कारण यह संख्या को और अधिक विभाज्य बनाने पर $R$ केंद्रित रहता है, यह छोटे गुणक को $N$ द्वारा जोड़कर ऐसा करता है, जिसे अवशेष मोडुलो को निरस्त करने के लिए $R$ को चुना जाता है, जिससे परिणाम विभाजित करना $R$ बहुत कम संख्या देता है। यह संख्या इतनी कम है कि यह लगभग रिडक्शन मॉडुलो $N$ है, और कमी मोडुलो की गणना $N$ केवल अंतिम सशर्त घटाव की आवश्यकता है। क्योंकि सभी संगणनाओं के संबंध में केवल कमी और विभाजन का उपयोग करके किया जाता है $R$, नहीं $N$, एल्गोरिद्म विभाजन द्वारा सीधी मॉड्यूलर कमी की तुलना में तेज़ी से चलता है। function REDC is input: Integers R and N with gcd(R, N) = 1, Integer N′ in [0, R − 1] such that NN′ ≡ −1 mod R, Integer T in the range [0, RN − 1]. output: Integer S in the range [0, N − 1] such that S ≡ TR−1 mod N m ← ((T mod R)N′) mod R t ← (T + mN) / R if t ≥ N then return t − N else return t end if

end function यह देखने के लिए कि यह कलन सही है, पहले उसका निरीक्षण करें $m$ ठीक से चुना जाता है जिससे कि $T + mN$ मुख्य रूप से $R$ से विभाज्य है, इस प्रकार $R$ संख्या से विभाज्य है, यदि यह शून्य मॉड $R$ के अनुरूप है, इस प्रकार हमें उक्त समीकरण प्राप्त होता हैं:
 * $$T + mN \equiv T + (((T \bmod R)N') \bmod R)N \equiv T + T N' N \equiv T - T \equiv 0 \pmod{R}.$$

इसलिए $t$ पूर्णांक है। इसका दूसरा मान आउटपुट या तो $t$ या $t &minus; N$ है, दोनों के सर्वांगसम $t mod N$  हैं, तो यह प्रमाणित करने के लिए कि आउटपुट सर्वांगसम $TR^{&minus;1} mod N$ है , यह प्रमाणित करने के लिए पर्याप्त है $t$ है। सापेक्ष $N$, $t$ संतुष्ट करता है:
 * $$t \equiv (T + mN)R^{-1} \equiv TR^{-1} + (mR^{-1})N \equiv TR^{-1} \pmod{N}.$$

इसलिए, आउटपुट में सही अवशेष वर्ग है। $[0, R &minus; 1]$ का तीसरा मान $m$ में है, और इसलिए $T + mN$ 0 और के बीच $(RN &minus; 1) + (R &minus; 1)N &lt; 2RN$ है, इस प्रकार $t$ मै रुक जाना $2N$, और क्योंकि यह पूर्णांक है, यह डालता है, इस प्रकार $t$ सीमा में $[0, 2N &minus; 1]$ को इसलिए कम कर रहा है, इस प्रकार $t$ वांछित सीमा में अधिकतम घटाव की आवश्यकता होती है, इसलिए कलन का आउटपुट सही सीमा में होता है।

7 और 15 मॉड्यूल 17 के उत्पाद की गणना करने के लिए आरईडीसी का उपयोग करने के लिए, पहले मोंटगोमेरी फॉर्म में कनवर्ट करें और उपरोक्त के रूप में 12 प्राप्त करने के लिए पूर्णांक के रूप में गुणा करें। इसके पश्चात आरईडीसी अप्लाई करें $R = 100$, $N = 17$, $N&prime; = 47$, और $T = 12$ हैं। इसके पहले चरण $m$ को $12 ⋅ 47 mod 100 = 64$ पर तय किया जाता है, इसका दूसरा चरण $t$ को तय करते हैं, इस प्रकार $(12 + 64 ⋅ 17) / 100$ जिसके लिए $12 + 64 ⋅ 17$ का मान 1100 है, इसके अनुसार 100 का गुणक $t$ 11 पर समुच्चय है, जो 17 से कम है, इसलिए अंतिम परिणाम 11 है, जो पिछले अनुभाग की गणना से सहमत है।

एक अन्य उदाहरण के रूप में, उत्पाद पर विचार करें $7 ⋅ 15 mod 17$ अपितु इसके साथ $R = 10$. विस्तारित यूक्लिडियन कलन का उपयोग करके $&minus;5 ⋅ 10 + 3 ⋅ 17 = 1$ की गणना करें, इसलिए $N&prime;$ होगा $&minus;3 mod 10 = 7$. 7 और 15 के मोंटगोमरी रूप $70 mod 17 = 2$ और $150 mod 17 = 14$ हैं। $T$ आरईडीसी के लिए उनका उत्पाद 28 इनपुट है, और उसके पश्चात $28 &lt; RN = 170$, आरईडीसी की धारणाएं संतुष्ट हैं। इस प्रकार आरईडीसी चलाने के लिए, समुच्चय करें $m$ को $1=(28 mod 10) ⋅ 7 mod 10 = 196 mod 10 = 6$ तथा इसके पश्चात $28 + 6 ⋅ 17 = 130$ पर हल करते हैं, इसलिए $t = 13$ मान उपयोग करते हैं क्योंकि $30 mod 17 = 13$, यह मोंटगोमरी $3 = 7 ⋅ 15 mod 17$ का रूप है।

मोंटगोमरी रूप में अंकगणित
इन मॉड्यूल की कई संचालन $N$ मोंटगोमरी रूप में समान रूप से अच्छी तरह से व्यक्त किया जा सकता है। इस प्रकार जोड़, घटाव, निषेध, समानता के लिए तुलना, पूर्णांक द्वारा गुणा जो मोंटगोमरी रूप में नहीं है, और सबसे बड़ा सामान्य विभाजक है $N$ सभी मानक कलन के साथ किया जा सकता है। जैकोबी प्रतीक की गणना इस प्रकार की जा सकती है $$\big(\tfrac{a}{N}\big) = \big(\tfrac{aR}{N}\big) / \big(\tfrac{R}{N}\big)$$ जब तक कि $$\big(\tfrac{R}{N}\big)$$ रखा है।

जब $R &gt; N$, अधिकांश अन्य अंकगणितीय संक्रियाएँ REDC के संदर्भ में व्यक्त की जा सकती हैं। इस धारणा का तात्पर्य है कि दो प्रतिनिधियों के उत्पाद मॉड $N$ मै रुक जाना $RN$, सही आउटपुट उत्पन्न करने के लिए REDC के लिए आवश्यक सटीक परिकल्पना की जाती हैं। विशेष रूप से, का उत्पाद $aR mod N$ और $bR mod N$ है, जिसके लिए $REDC((aR mod N)(bR mod N))$ गुणा और आरईडीसी के संयुक्त संचालन को अधिकांशतः मोंटगोमरी गुणन कहा जाता है।

मोंटगोमरी रूप में रूपांतरण $REDC((a mod N)(R^{2} mod N))$ कंप्यूटिंग द्वारा किया जाता है, इस प्रकार कंप्यूटिंग द्वारा मोंटगोमरी फॉर्म $REDC(aR mod N)$ से रूपांतरण किया जाता है, जिसका मॉड्यूलर व्युत्क्रम $aR mod N$ है $REDC((aR mod N)^{&minus;1}(R^{3} mod N))$ प्रारंभिक गुणनफल को 1 के मोंटगोमरी निरूपण के लिए प्रारंभ करके, वर्ग करके घातांक का उपयोग करके मॉड्यूलर घातांक किया जा सकता है, अर्थात $R mod N$, और मोंटगोमरी गुणा द्वारा गुणा और वर्ग चरणों को प्रतिस्थापित करके प्राप्त होता हैं।

इन परिचालनों को करने के लिए कम से कम जानना आवश्यक है $N&prime;$ और $R^{2} mod N$ जब $R$ छोटे धनात्मक पूर्णांक की शक्ति है $b$, $N&prime;$ की गणना हेंसल लेम्मा द्वारा की जा सकती है: का व्युत्क्रम $N$ मापांक $b$ की गणना भोले कलन द्वारा की जाती है (उदाहरण के लिए, if $b = 2$ तो व्युत्क्रम 1 है), और हेंसल की लेम्मा का उपयोग बार-बार व्युत्क्रम मॉड्यूल $b$ उच्च और उच्च शक्तियों को खोजने के लिए किया जाता है, जब व्युत्क्रम मोडुल रुक जाता है $R$ ज्ञात है; $N&prime;$ इस व्युत्क्रम का निषेध है। स्थिरांक $R mod N$ और $R^{3} mod N$ के रूप में तथा $REDC(R^{2} mod N)$ और के रूप में उत्पन्न किया जा सकता है। $REDC((R^{2} mod N)(R^{2} mod N))$ मौलिक ऑपरेशन किसी उत्पाद के आरईडीसी की गणना करना है। जब स्टैंडअलोन आरईडीसी की आवश्यकता होती है, तो इसकी गणना किसी उत्पाद के आरईडीसी के रूप $1 mod N$ में की जा सकती है, इसका एकमात्र स्थान जहां प्रत्यक्ष कमी $N$ मोडुल है आवश्यक है कि इसका पूर्वगणना $R^{2} mod N$ में रखा जाता है।

मल्टीप्रिसिजन पूर्णांकों पर मोंटगोमरी अंकगणित
अधिकांश क्रिप्टोग्राफ़िक अनुप्रयोगों के लिए संख्याओं की आवश्यकता होती है जो सैकड़ों या हजारों बिट्स लंबी होती हैं। ऐसी संख्याएँ मशीन शब्द में संग्रहीत करने के लिए बहुत बड़ी हैं। सामान्यतः, हार्डवेयर गुणन मॉड को कुछ आधार करता है $B$, इसलिए बड़े गुणा करने के लिए कई छोटे गुणाओं के संयोजन की आवश्यकता होती है। आधार $B$ सामान्यतः माइक्रोइलेक्ट्रॉनिक अनुप्रयोगों के लिए 2 होता है, इस कारण 28 8-बिट फ़र्मवेयर के लिए, या 232 या 264 सॉफ्टवेयर अनुप्रयोगों के लिए करते हैं।

REDC एल्गोरिद्म के लिए उत्पाद मॉड्यूल $R$ की आवश्यकता होती है, और सामान्यतः $R &gt; N$ जिससे कि उत्पादों की गणना करने के लिए आरईडीसी का उपयोग किया जा सके। चूंकि, कब $R$ की शक्ति है $B$, REDC का प्रकार है जिसके लिए केवल मशीन शब्द आकार के पूर्णांकों के उत्पादों की आवश्यकता होती है। मान लीजिए कि धनात्मक बहु-परिशुद्धता पूर्णांक थोड़ा एंडियन संग्रहीत हैं, अर्थात, $x$ को सरणी $x[0], ..., x[ℓ - 1]$ के रूप में संग्रहीत किया जाता है, इसका मान इस प्रकार हैं कि $0 &le; x[i] &lt; B$ सभी के लिए $i$ और $x = &sum; x[i] B^{i}$. कलन बहु-परिशुद्धता पूर्णांक से प्रारंभ होता है $T$ और इसे बार में शब्द कम कर देता है। पहले का उपयुक्त गुणक $N$ बनाने के लिए $T$ द्वारा विभाज्य $B$ जोड़ा जाता है, फिर का गुणक $N$ बनाने के लिए जोड़ा जाता है, इस प्रकार $T$ द्वारा विभाज्य $B^{2}$, और इसी प्रकार अंततः $T$ से विभाज्य है $R$, और विभाजन के पश्चात $R$ कलन उसी स्थान पर है जहाँ REDC की गणना $t$ के पश्चात की गयी थी।

function MultiPrecisionREDC is Input: Integer N with gcd(B, N) = 1, stored as an array of p words, Integer R = Br,    --thus, r = logB R Integer N′ in [0, B − 1] such that NN′ ≡ −1 (mod B), Integer T in the range 0 ≤ T < RN, stored as an array of r + p words. Output: Integer S in [0, N − 1] such that TR−1 ≡ S (mod N), stored as an array of p words. Set T[r + p] = 0 (extra carry word) for 0 ≤ i < r do --loop1- Make T divisible by Bi+1 c ← 0 m ← T[i] ⋅ N′ mod B for 0 ≤ j < p do --loop2- Add the low word of m ⋅ N[j] and the carry from earlier, and find the new carry x ← T[i + j] + m ⋅ N[j] + c T[i + j] ← x mod B c ← ⌊x / B⌋ end for for p ≤ j ≤ r + p − i do --loop3- Continue carrying x ← T[i + j] + c T[i + j] ← x mod B c ← ⌊x / B⌋ end for end for for 0 ≤ i < p do S[i] ← T[i + r] end for if S ≥ N then return S − N else return S     end if

end function अंतिम तुलना और घटाव मानक कलन द्वारा किया जाता है।

उपरोक्त एल्गोरिथ्म अनिवार्य रूप से उन्हीं कारणों से सही है जो REDC सही हैं। हर बार के माध्यम से $i$ कुंडली, $m$ चुना जाता है जिससे कि $T[i] + mN[0]$ से विभाज्य है $B$. तब $mNB^{i}$ जोड़ा जाता है $T$. क्योंकि यह मात्रा जीरो मॉड है $N$, इसे जोड़ने से का मान $T mod N$ प्रभावित नहीं होता है। इस प्रकार यदि $m_{i}$ के मान को दर्शाता है $m$ में गणना की गई i}लूप का } वाँ पुनरावृत्ति, फिर कलन समुच्चय करता है जिसके लिए $S$ को $T + (&sum; m_{i} B^{i})N$ द्वारा दर्शाते हैं क्योंकि मल्टी प्रेसिजन REDC और REDC ही आउटपुट का उत्पादन करते हैं, यह योग विकल्प के समान है $m$ कि REDC कलन बना देगा।

का अंतिम शब्द $T$, $T[r + p]$ (और इसके परिणामस्वरूप $S[p]$), का उपयोग केवल कैरी रखने के लिए किया जाता है, क्योंकि प्रारंभिक कमी का परिणाम की सीमा में परिणाम के लिए बाध्य होता है $0 &le; S &lt; 2N$. इससे यह निष्कर्ष निकलता है कि इस अतिरिक्त कैरी शब्द से पूर्ण रूप से बचा जा सकता है यदि यह पहले से ज्ञात हो $R &ge; 2N$ जिसका विशिष्ट बाइनरी कार्यान्वयन पर, यह कहने के बराबर है कि यदि बिट्स की संख्या हो तो इस कैरी शब्द से बचा जा सकता है $N$ बिट्स की संख्या से छोटा है $R$. अन्यथा, वहन या तो शून्य या होगा। प्रोसेसर के आधार पर, इस शब्द को पूर्ण आकार के शब्द के अतिरिक्त कैरी फ़्लैग के रूप में संग्रहीत करना संभव हो सकता है।

मल्टीप्रिसिजन गुणन और आरईडीसी को कलन में जोड़ना संभव है। इस संयुक्त एल्गोरिथ्म को सामान्यतः मोंटगोमरी गुणन कहा जाता है। इस प्रकार Koç, Acar, और Kaliski द्वारा कई अलग-अलग कार्यान्वयनों का वर्णन किया गया है। इस कारण $p + 2$ स्टोरेज के शब्द प्लस कैरी बिट के लिए एल्गोरिथ्म जितना कम उपयोग कर सकता है ।

एक उदाहरण के रूप में, चलो $B = 10$, $N = 997$, और $R = 1000$ के मान पर लगता है कि $a = 314$ और $b = 271$ मोंटगोमरी का प्रतिनिधित्व $a$ और $b$ हैं जिसका मान $314000 mod 997 = 942$ और $271000 mod 997 = 813$ प्राप्त होता हैं। जिसकी गणना करने पर $942 ⋅ 813 = 765846$ मान प्राप्त होता हैं। इसका प्रारंभिक इनपुट $T$ से मल्टी प्रेसिजन REDC [6, 4, 8, 5, 6, 7] होगा। जो नंबर $N$ को [7, 9, 9] के रूप में दर्शाया जाता हैं। विस्तारित यूक्लिडियन एल्गोरिथ्म कहता है कि $&minus;299 ⋅ 10 + 3 ⋅ 997 = 1$, इसलिए $N&prime;$ का मान 7 होता हैं।

i ← 0 m ← 6 ⋅ 7 mod 10 = 2 j T      c - --- - 0 0485670 2   (After first iteration of first loop) 1 0485670 2 2 0485670 2 3 0487670 0   (After first iteration of second loop) 4 0487670 0 5 0487670 0 6 0487670 0 i ← 1 m ← 4 ⋅ 7 mod 10 = 8 j T      c - --- - 0 0087670 6   (After first iteration of first loop) 1 0067670 8 2 0067670 8 3 0067470 1   (After first iteration of second loop) 4 0067480 0 5 0067480 0 i ← 2 m ← 6 ⋅ 7 mod 10 = 2 j T      c - --- - 0 0007480 2   (After first iteration of first loop) 1 0007480 2 2 0007480 2 3 0007400 1   (After first iteration of second loop)

4 0007401 0 इसलिए, अंतिम तुलना और घटाव से पहले, $S = 1047$. अंतिम घटाव संख्या 50 देता है। मोंटगोमरी के प्रतिनिधित्व के पश्चात $314 ⋅ 271 mod 997 = 349$ है $349000 mod 997 = 50$, यह अपेक्षित परिणाम है।

बेस 2 में कार्य करते समय, सही का निर्धारण करना $m$ प्रत्येक चरण में विशेष रूप से सरल है: यदि वर्तमान फलन का मान बिट के रूप में सम संख्या के रूप में प्रदर्शित होता है, तो $m$ शून्य है और यदि यह विषम है, तो $m$ है। इसके अतिरिक्त, क्योंकि मल्टी प्रेसिजन REDC के प्रत्येक चरण को केवल सबसे कम बिट जानने की आवश्यकता होती है, मॉन्टगोमरी गुणन को कैरी-सेव योजक के साथ सरलता से जोड़ा जा सकता है।

साइड-चैनल अटैक
चूंकि भागफल अंकों के अनुमान गलत होने पर मॉन्टगोमरी कटौती पारंपरिक विभाजन में आवश्यक सुधार चरणों से बचती है, यह अधिकतम सशर्त शाखाओं से मुक्त है जो समय और पावर साइड-चैनल हमलों के प्राथमिक लक्ष्य हैं, निष्पादित निर्देशों का क्रम इनपुट ऑपरेंड मूल्यों से स्वतंत्र है। इसका एकमात्र अपवाद मापांक का अंतिम सशर्त घटाव है, अपितु इसे प्रतिरोधी बनाने के लिए इसे सरलता से संशोधित किया जाता है इसके लिए सदैव कुछ कमी होने से मापांक शून्य हो जाता हैं। यह निश्चित रूप से आवश्यक है कि गुणन के समीप निर्मित घातांक एल्गोरिथ्म भी प्रतिरोधी होता हैं।

यह भी देखें

 * बैरेट कमी