Top 10 similar words or synonyms for למוכיח

למוודא    0.610640

שהמחלק    0.607774

invalid    0.598828

מהשולח    0.595294

אינטגרבילי    0.585640

addm    0.585431

לשרדר    0.585132

sres    0.583429

המצפין    0.579562

הומאומורפי    0.578163

Top 30 analogous words or synonyms for למוכיח

Article Example
מערכת הוכחה אינטראקטיבית במערכת זו יש חשיבות לכך, שהניחוש האקראי שאותו מבצע המוודא אינו גלוי למוכיח – אחרת המוכיח יודע מה הגרף אותו בחר המוודא ותמיד מסוגל להשיב לו תשובה נכונה.
המשפט האחרון של פרמה ב-1816 ושוב ב-1850 הציעה האקדמיה הצרפתית למדעים פרס כספי למוכיח המשפט. ב-1857 העניקה האקדמיה 3,000 פרנק ומדליית זהב לארנסט קומר (Kummer) על עבודתו, אף שלא הגיש את עבודתו לפרס.
פרוטוקול אתגר-מענה בפרוטוקול זה המאמת שולח תחילה מספר אקראי formula_5 כלשהו למוכיח, כאשר המוכיח משיב במסר המכיל את המספר שקיבל כשהוא מוצפן באמצעות פונקציית הצפנה "E" עם המפתח המשותף "K". אולם כדי למנוע התקפה על הפרוטוקול (כאשר התוקף עלול לחזור ולשדר מסר זה מאוחר יותר כדי להתחזות ל-A), יש צורך להגביל את הפרוטוקול באופן שלא יאפשר שידור חוזר של אותם ערכים בטווח זמן כלשהו.
פרוטוקול אתגר-מענה המאמת שולח למוכיח ערך אקראי חד פעמי במצב קריא וכל מה שהמוכיח עושה הוא חותם על ערך זה ומחזירו למאמת יחד עם החתימה. פרוטוקול אימות דו-צדדי מבוסס חתימה דיגיטלית, זהה לקודמו מלבד זאת ששני הצדדים שולחים זה לזה ערכים אקראיים חתומים בעזרת מנגנון החתימה הדיגיטלית שלהם.
מערכת הוכחה אינטראקטיבית פרוטוקול ארתור-מרלין (על שם המלך ארתור והקוסם מרלין) דומה לפרוטוקול עבור IP, אך עבורו כל ההגרלות שאותן מבצע המוודא ("ארתור") הן ציבוריות – כלומר, תוצאות ההגרלה ידועות גם למוכיח ("מרלין"). מתברר, כי כאשר מרשים מספר סיבובים פולינומי ביחס לאורך הקלט, מחלקת השפות שניתן להכריע באמצעות הפרוטוקול היא IP – כלומר, כוחה של המערכת אינו קטן בשל המעבר להגרלות ציבוריות.