הוכחה באפס ידיעה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 84:
יתרה מזו, אפילו מבלי ליצור קשר עם פגי ויקטור מסוגל לייצר שלשות ערכים <math>(s_i,\beta_i,z_i)</math> שהם בלתי ניתנים להבחנה מערכים תקפים שהיו מתקבלים מפגי אילו יצר איתה קשר. הוא יכול לבצע כדלהלן כאשר הוא בוחר אתגר <math>\beta_i</math> בסבב כלשהו הוא בוחר גם <math>z</math> אקראי ומציב:
:<math>s\equiv z^2(y^{\beta})^{-1}\text{ (mod }N)</math>.
הביטוי המתואר מוכיח מדוע המידע מפגי אינו עוזר לויקטור כדי להוכיח את הטענה למישהו אחר כי הוא יכול באותה מידה להכין את סט הערכים שייראו תקפים לכל צופה.
<!-- תחילה, מכינים שלם <math>\ n</math>, שהוא [[כפל|מכפלה]] של שני מספרים ראשוניים גדולים, שווים בגודלם בקירוב. המשתתפת אליס בוחרת לעצמה סוד <math>\ s</math> כלשהו, הנמוך מ-<math>\ n</math>, ומחשבת את: '''<math>\ v = s^{\,2} \mbox{ mod } n</math>'''. מספר זה, יחד עם המודולוס <math>\ n</math>, ישמשו להוכחה ויהיו פומביים. יש להבטיח שייכותם לאליס בדרך מוסכמת.
| |||