הוכחת אפס ידיעה (ZK) (Zero-Knowledge Proof)

הרעיון בדוגמה

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

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

איפה משתמשים בזה

• רולאפים מסוג ZK: מוכיחים לאתריום שאלפי עסקאות בוצעו כראוי, ואתריום בודק רק את ההוכחה הקטנה.
• פרטיות: Zcash, שעלה ב-2016, מאפשר לשלוח מטבעות בלי לחשוף שולח, נמען וסכום, ועדיין להוכיח שהעסקה תקינה. ראו מטבע פרטיות.
• זהות: להוכיח שאתם מעל גיל 18 או אזרחים של מדינה מסוימת, בלי למסור את תעודת הזהות עצמה.

בלי להיכנס למתמטיקה

תשמעו את המונחים zk-SNARK ו-zk-STARK. שניהם שיטות לייצר הוכחות כאלה. ההבדלים הם בגודל ההוכחה, במהירות הבדיקה ובהנחות האבטחה.