הוכחה באפס ידיעה – הבדלי גרסאות

לצורך הכנה, אליס בוחרת את המודולוס <math>\ n</math>, שהוא מכפלת הראשוניים <math>\ 173 \cdot 227</math> (קטנים, רק לצורך המחשה כמובן): <math>\ n = 173 \cdot 227 = 39271</math>, בוחרת סיסמה סודית, נניח: <math>\ sx = 401</math>, ומחשבת את <math>\ vy</math> המשמש לאימות: <math>\ vy = 401^ {2} \mbox{ mod } 39271 = 3717</math>. את <math>\ 3717</math> יחד עם <math>\ 39271</math> היא רושמת אצל [[צד שלישי]] נאמן כ[[מפתח ציבורי]].

* אליס בוחרת מספר אקראי, נניח: <math>\ r = 386</math>, ומחשבת את ההוכחה <math>xs</math>:

:<math>\ xs = 386^ {2} \mbox{ mod } 39271 = 31183</math>

* אליס משדרת לבוב את ההוכחהההתחייבות: <math>\ 31183</math>

* אליס מחשבת את ערך <math>\ yz</math> בהתאם לסיבית האתגר:

:<math>\ yz = 386 \cdot 401 \mbox{ mod } 39271 = 36973</math>

:ומשדרת לבוב את המענה: <math>\ 36973</math>

:<math>\ 36973^2 \equiv 31183 \cdot 3717 \, (\mbox{mod }39271)</math>