הצפנת בלום-גולדווסר – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
שורה 25:
 
===הוכחה לנכונות האלגוריתם===
ראשית מ[[משפט השאריות הסיני]] נובע, היות ש-<math>\ x_t</math> הוא שארית ריבועית מודולו <math>\ n</math> ולכן, הוא גם שארית ריבועית שלמודולו הגורמים הראשוניים של <math>\ n</math>. מזהולפי נובעתכונות [[סימן לז'נדר]] ש-<math>\ x^{(p-1)/2}_t\equiv 1\ (\mbox{mod }p)</math>.
 
שנית, ניתן לראות ש-