הצפנת בלום-גולדווסר – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 25:
===הוכחה לנכונות האלגוריתם===
ראשית מ[[משפט השאריות הסיני]] נובע, היות ש-<math>\ x_t</math> הוא שארית ריבועית מודולו <math>\ n</math>
שנית, ניתן לראות ש-
|
שורה 25:
===הוכחה לנכונות האלגוריתם===
ראשית מ[[משפט השאריות הסיני]] נובע, היות ש-<math>\ x_t</math> הוא שארית ריבועית מודולו <math>\ n</math>
שנית, ניתן לראות ש-
|