אלי בן-ששון

**אלי בן-ששון** (נולד ב-1970) הוא מדען מחשב ויזם היי-טק ישראלי, ממייסדי חברת סטארקוויר תעשיות ובעבר פרופסור למדעי המחשב בטכניון.

## ביוגרפיה

בן שושן נולד וגדל בשכונת קריית משה בירושלים למשפחה דתית לאומית. בצבא שירת ב-8200 והשתחרר לאחר ארבע וחצי שנות שירות. 

בשנת 1993 החל ללמוד באוניברסיטה העברית בירושלים לתואר ראשון במדעי המחשב וביולוגיה במסגרת תוכנית אמירים. בשנת 2001 השלים באוניברסיטה העברית עבודת דוקטורט במדעי המחשב, בהנחייתו של פרופ' אבי ויגדרזון. בשנים 1999–2001 שהה במכון למחקר מתקדם בפרינסטון. לאחר מכן השלים פוסט דוקטורט באוניברסיטת הרווארד וב-MIT.

בשנת 2005 הצטרף לסגל האקדמי של הפקולטה למדעי המחשב בטכניון. בשנת 2009 זכה בפרס הנרי טאוב להצטיינות אקדמית לאותה שנה. באותה שנה קיבל מענק על סך 1.7 מיליון יורו ממועצת המחקר האירופית, לשם פיתוח מחקרי במדעי המחשב.

בשנת 2010 מונה לפרופסור חבר ובשנת 2015 מונה לפרופסור מן המניין. מחקרו עוסק במדעי המחשב התאורטיים, היסודות המתמטיים של החישוב, ובפרט בתורת הסיבוכיות.

בראשית המאה ה-21 פרסם סדרת מאמרים בנושא הוכחות קצרות הניתנות לבדיקה ביעילות, כולל הוכחות PCP באורך קוואזי-ליניארי, ובהמשך פרסם שיפורים תאורטיים ופרקטיים של שיטות אלו, שהובילו למימושן באופן מסחרי.

בשנת 2013, בעודו מרצה במוסדות אקדמיים בארצות הברית אודות מחקריו בתחום הוכחה באפס ידיעה הרצה בכנס ביטקוין, והיה הראשון להציג את הפוטנציאל הגלום בהוכחות קריפטוגרפיות לצורך שיפור ביצועי רשת ביטקוין והגדלת נפח הפעילות בה. פגישותיו באותה שנה עם פעילים ראשונים בתחום הקריפטו, ובהם גרג מקסוול וויטליק בוטרין, העלו את המודעות בקרב קהילת הקריפטו להוכחות אפס ידיעה. בעקבות כך, החל לפעול למימוש מעשי של מחקריו בתחום הקריפטו והבלוקצ'יין.

מחקרו של בן-ששון בתחום זה, יחד עם חוקרים נוספים, הוליד את פרוטוקול Zerocash המראה כי באמצעות שימוש בהוכחות באפס ידיעה, ניתן ליישם פרטיות תשלומים בעת ביצוע עסקאות בביטקוין, תוך ההסתרה של זהות המשלם, של מקבל התשלום, וכן של סכום התשלום המועבר. מחקר זה זכה בפרס Test of Time Award מטעם איגוד IEEE לשנת 2024. לאחר מכן, נמנה בן-ששון עם מייסדי פרוטוקול Zcash שהתבסס על מאמר זה.

בשנת 2018, בהיותו פרופסור למדעי המחשב בטכניון, המציא בן-ששון עם תלמידיו ד״ר עידו בן-טוב, ד״ר מיכאל ריאבצב וינון חורש, את פרוטוקולי FRI ו-STARK, אשר יחדיו היו הראשונים להראות מערכת הוכחה באפס ידיעה שלה מספר תכונות ייחודיות: (1) הגנה בפני מחשבים קוונטיים, (2) זמן הוכחה קוואזי-ליניארי, (3) זמן וידוא פולי-לוגריתמי ו–(4) שקיפות, שמשמעותה חוסר תלות במפתחות סודיים.

על בסיס הפרוטוקולים הללו הקים בן-ששון, יחד עם שותפים, את חברת סטארקוויר תעשיות, המפתחת תוכנה בתחום הבלוקצ'יין. בן-ששון הוא מנכ"ל ויו"ר החברה. הטכנולוגיה שפיתחה החברה, מאפשרת האצה ניכרת של עדכוני בלוקצ'יין. בשנת 2018 פרש בן-ששון מהטכניון. בשנת 2019 הגיש הטכניון תביעה נגד בן-ששון וריאבצב, בטענה שהחברה הוקמה על בסיס קניין רוחני של הטכניון שנוצר בעת מחקרם במוסד. התביעה הסתיימה בפשרה. בשנת 2022, הוערך שווי החברה בשמונה מיליארד דולרים. נכון לשנת 2025 פרוטוקולי FRI ו-STARK אומצו ע״י מרבית החברות העוסקות בהוכחות באפס ידיעה לצורך האצת פעילות הבלוקצ׳יין.

## חיים אישיים
בן-ששון נשוי לד"ר איילת בן-ששון, מרצה בכירה בחוג לריפוי בעיסוק באוניברסיטת חיפה, ולהם חמישה ילדים.

## קישורים חיצוניים

* Eli Ben-Sasson, באתר הטכניון

* 
**הרצאות ומצגות**:
* מטבע הביטקוין, בערוץ יוטיוב של הטכניון, 14 באוג׳ 2016

* Cryptocurrencies - transparent computational integrity and privacy
* StarkWare: Transparent Computational Integrity with Eli Ben Sasson, Software Engineering Daily, March 4, 2019
* Scaling Computation on Blockchains with ZK-STARKs, YouTube channel of TheIACR
* From STARK to StarkWare: the winding path from Theory to Practice, YouTube channel of TheIACR
* STARKs I - Arithmetization, YouTube channel of The Technion


## הערות שוליים

קטגוריה:מדעני מחשב ישראלים
קטגוריה:בעלי תואר דוקטור מהאוניברסיטה העברית בירושלים
קטגוריה:סגל הטכניון: מדעי המחשב
קטגוריה:יזמי היי-טק ישראלים
קטגוריה:דירקטורים ישראלים
קטגוריה:מנכ"לים ישראלים
קטגוריה:ישראלים שנולדו ב-1970