Susy Grid
איך אפשר לאמת חישובים גדולים בזמן קצר?
הוכחה קריפטוגפית מאפשרת לקחת חישוב גדול, אותו מבצע מחשב במשך שעות רבות, ולאמת אותו בזמן קצר מאוד – תוך כמה שניות. ד"ר אילון יוגב, מהמחלקה למדעי המחשב באוניברסיטת בר-אילן, שחוקר את התחום, זכה באחרונה במענק ISF היוקרתי מטעם הקרן הלאומית למדע.
