نمایش مبدأ برای تقسیم رمز با استفاده از قضیه باقی‌مانده چینی

{{ویکی‌سازی|تاریخ=مه ۲۰۱۹}}
تقسیم راز به معنای برگرداندن راز با استفاده از یک سری سهم، به طوری که هر سهم یک سری اطلاعات از راز دارد. در این صفحه به تقسیم راز با استفاده از [[قضیه باقیمانده چینی]] می‌پردازیم.

تقسیم راز انواع مختلفی دارد یکی از پایه‌ای‌ترین نوع‌ها طرح‌های [[:en:Threshold_cryptosystem|آستانه‌ای]] می‌باشد که در آن به ازای یک <math>k</math> برای دستیابی به راز حداقل به <math>k</math> سهم نیاز داریم و اگر <math>k</math> سهم داشته باشیم حتماً می‌توانیم به راز دست پیدا کنیم، روش تقسیم رمز با استفاده از قضیه باقیمانده چینی نیز یکی از روش‌های طرح آستانه‌ای می‌باشد.

== شرح ==
فرض کنید راز مورد نظر <math>S</math>باشد، با توجه به قضیه باقیمانده چینی اگر برای یک <math>k</math>تایی <math>m_1,m_2,...,m_k</math>که هردوتایی از آن‌ها نسبت به هم اول هستند و <math>S < \prod_{i=1}^k m_i</math> باقیمانده <math>S</math>بر <math>m_i</math>ها را بدانیم، <math>S</math>یکتا بدست می‌آید و اگر <math>S \geqslant \prod_{i=1}^k m_i</math>حداقل دو جواب برای <math>S</math>طبق قضیه باقیمانده [[چین]]ی وجود دارد. این گزاره ایده ای برای انتخاب کردن سهم‌ها می‌دهد.

اگر <math>n</math> عدد مثبت انتخاب کنیم که دو به [[متباین|دو نسبت به هم اول]] باشند مثل <math>0<m_1<m_2<...<m_n</math> و سهم‌ها باقیمانده <math>S</math> بر <math>m_i</math>ها باشند، برای اینکه با استفاده از هر <math>k</math> تا سهم بتوان <math>S</math> را پیدا کرد و با کمتر از <math>k</math> سهم نتوان <math>S</math>را پیدا کرد باید شرط روبرو برقرار باشد: <math>\prod_{i=n-k+2}^n m_i < S < \prod_{i=1}^k m_i</math> (چون <math>\prod_{i=1}^k m_i</math> بین همه زیرمجموعه‌های حداقل <math>k</math> عضوی کمترین ضرب است و <math>\prod_{i=n-k+2}^n m_i</math> بین همه زیرمجموعه‌های کمتر از <math>k</math> عضوی بیشترین ضرب است) در این صورت طبق چیزی که قبلاً گفتیم چون ضرب <math>m_i</math>‌های هر <math>k-1</math>سهم کمتر از <math>S</math>است پس نمی‌توان به صورت یکتا به <math>S</math>دست یافت و از طرفی چون ضرب هر <math>k</math>سهم از <math>S</math>بیشتر است می‌توان <math>S</math>را به صورت یکتا بدست آورد.

=== روش مینوت (Mignotte) ===
دنباله <math>Mignotte(k,n)</math>شامل <math>n</math>عدد مثبت است مثل <math>0<m_1<m_2<...<m_n</math> که دو به دو [[متباین|نسبت به هم اول]] هستند و <math>\prod_{i=n-k+2}^n m_i < \prod_{i=1}^k m_i</math>.

به ازای یک <math>S</math> رندوم که شرط <math>\prod_{i=n-k+2}^n m_i < S < \prod_{i=1}^k m_i</math> را دارا می‌باشد سهم‌ها به این صورت تعریف می‌شوند : <math>s_i=S\%m_i</math> (<math>a\%b</math> برابر [[باقیمانده]] تقسیم <math>a</math> بر <math>b</math> است)

و طبق قضیه باقیمانده چینی برای به دست آوردن <math>S</math> از <math>k</math> سهم باید معادله زیر را حل کنیم:

<math>\begin{cases}
x \equiv & s_{i_1} \ \bmod \ m_{i_1} \\
         & \vdots \\
x \equiv & s_{i_k} \ \bmod \ m_{i_k} \\
\end{cases}</math>

=== روش ازموث-بلوم (Asmuth-Bloom) ===
دو [[عدد طبیعی]] <math>n</math> و <math>k</math> را در نظر بگیرید که دارای شرط روبرو باشند <math>2\leqslant k\leqslant n</math> و یک مجموعه از اعداد طبیعی مثل <math>0<m_0<m_1<...<m_n</math> که دو به دو نسبت به هم اول هستند و شرط <math>m_0.\prod_{i=n-k+2}^n m_i < \prod_{i=1}^k m_i</math> برقرار است، فرض کنید <math>S</math> یک عدد تصادفی باشد که در شرط <math>0\leqslant S <m_0</math> صدق می‌کند، حال برای مشخص کردن سهم‌ها یک عدد تصادفی <math>\alpha</math>انتخاب می‌کنیم که در شرط <math>S+\alpha m_0<\prod_{i=1}^k m_i</math>صدق کند، سپس سهم‌ها را به این صورت تعریف می‌کنیم : <math>s_i=(S+\alpha m_0)\%m_i</math>

در این صورت به ازای هر <math>k</math> سهم چون <math>S+\alpha m_0<\prod_{i=1}^k m_i</math> طبق قضیه باقیمانده چینی می‌توان <math>S+\alpha m_0</math> را به صورت یکتا پیدا کرد پس می‌توان با باقیمانده گرفتن <math>S+\alpha m_0</math> بر <math>m_0</math> می‌توان <math>S</math> را پیدا کرد.

برتری این روش نسبت به روش قبل این است که در روش قبلی با داشتن <math>k-1</math> سهم اطلاعاتی راجع به <math>S</math> داشتیم چون اگر ضرب <math>m_i</math>های متناظر این <math>k-1</math> سهم برابر <math>Z</math> باشد با استفاده از قضیه باقیمانده چینی باقیمانده <math>S</math> را بر <math>Z</math>داشتیم، در صورتی که در روش ازموث-بلوم با داشتن همین <math>k-1</math> سهم باقیمانده <math>S+\alpha m_0</math> را بر <math>Z</math> داریم و چون <math>\alpha</math> را یک عدد تصادفی انتخاب کردیم در واقع اطلاعاتی دربارهٔ خود <math>S</math> نداریم.

==== مثال ====
در ادامه مثالی از روش ازموث-بلوم را بررسی می‌کنیم:

<math>
\begin{cases}
n=4\\
k=3\\
 m_0=3, m_1=11, m_2=13, m_3=17, m_4=19\\
\end{cases}</math>

در مثال بالا <math>m_i</math>ها دارای شرایط گفته شده می‌باشند چون هم دو به دو نسبت به هم اول هستند (چون همه اعداد اول هستند و هر دو عدد اولی نیز نسبت به هم اول هستند) و در شرط <math>m_0.\prod_{i=n-k+2}^n m_i < \prod_{i=1}^k m_i</math> نیز برقرار هستند (<math>3\times17\times19<11\times13\times17</math>).

فرض کنید <math>S=2</math> باشد و عدد تصادفی‌ای که انتخاب کردیم <math>\alpha=51</math>باشد در این صورت در شرط <math>S+\alpha m_0<\prod_{i=1}^k m_i</math> صدق می‌کند (چون <math>2+51\times3=155<11*13*17=2431</math>).

در این صورت سهم‌ها برابر <math>\{1,12,2,3\}</math> می‌باشند. حال با استفاده از باقیمانده چینی به ازای هر سه سهم می‌توان به عدد <math>S</math> رسید.

== جستارهای وابسته ==
* [[قضیه باقی‌مانده چینی|قضیه باقیمانده چینی]]
* [[:en:Secret_sharing|تقسیم راز]]

== منابع ==
{{پانویس}}
* [[Oded Goldreich]], [[Dana Ron]] and [[Madhu Sudan]], Chinese Remaindering with Errors, IEEE Transactions on Information Theory, Vol. 46, No. 4, July 2000, pages 1330-1338.
* C.A. Asmuth and J. Bloom. A modular approach to key safeguarding. IEEE Transactions on Information Theory, IT-29(2):208-210, 1983.
* Sorin Iftene. General Secret Sharing Based on the Chinese Remainder Theorem with Applications in E-Voting. Electronic Notes in Theoretical Computer Science (ENTCS). Volume 186, (ژوئیه ۲۰۰۷). Pages 67–84. Year of Publication: 2007. {{ISSN|1571-0661}}.
* [[Thomas H. Cormen]], [[Charles E. Leiserson]], [[Ronald L. Rivest]], and [[Clifford Stein]]. Introduction to Algorithms, Second Edition. MIT Press and McGraw-Hill, 2001. {{ISBN|0-262-03293-7}}. Section 31.5: The Chinese remainder theorem, pages 873-876.
* [[Ronald Cramer]]. Basic Secret Sharing (Lectures 1-2), Class Notes. October 2008, version 1.1.
[[رده:الگوریتم‌های رمزنگاری]]