הוכחת עבודה (PoW): עלות החישוב של האמון ומנגנון נגד הונאה

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

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

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

מכניקת הוכחת העבודה

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

החידה הקריפטוגרפית והנונס

הפעילות המרכזית במערכת PoW היא האש. כורים לוקחים קבוצה של עסקאות לא מאומתות, משלבים אותן עם נתונים מהבלוק הקודם, ומוסיפים מספר אקראי הידוע כ-"nonce." הם אז מריצים את הנתונים האלה דרך אלגוריתם האש, כמו SHA-256. האלגוריתם מייצר מחרוזת קבועת אורך של תווים שמשמשת כטביעת אצבע דיגיטלית עבור קבוצת הנתונים הספציפית הזו.

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

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

אימות וקונצנזוס

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

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

פתרון בעיית ההוצאה הכפולה

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

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

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

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

כרייה: כלכלה ותמריצים

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

תגמולי בלוק וה-Halving

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

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

אירועשנהתגמול בלוקהשפעת אינפלציה
השקה200950 BTCהפצה ראשונית
ה-Halving הראשון201225 BTCהפחתה משמעותית
ה-Halving השני201612.5 BTCהתבגרות השוק
ה-Halving השלישי20206.25 BTCאימוץ מוסדי
ה-Halving הרביעי20243.125 BTCעליית מחסור

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

עמלות עסקה ושוק העמלות

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

זה יוצר שוק עמלות. בתקופות של שימוש גבוה ברשת, משתמשים מתחרים על מקום על ידי הצעת עמלות גבוהות יותר. כורים, הפועלים באופן רציונלי כדי למקסם רווח, נותנים עדיפות לעסקאות עם העמלות הגבוהות ביותר לבית (satoshis per byte). ככל שהסבסוד הבלוק ממשיך להתחצות ולבסוף להגיע לאפס, עמלות עסקה יהפכו לפיצוי העיקרי לכורים, ויבטיחו שהרשת תישאר מאובטחת גם לאחר שכל המטבעות נכרו.

האשרייט וביטחון הרשת

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

האשרייט נמדד בהאשים לשנייה (H/s). בשל הכוח העצום של רשתות הכרייה המודרניות, זה מבוטא לעיתים קרובות בקווינטיליונים או סקסטיליונים של האשים לשנייה.

יחידה סמל ערך (האשים/שנייה)
טרהאש TH/s טריליון 1
פטהאש PH/s קוודריליון 1
אקסאהש EH/s קווינטיליון 1

הביטחון של רשת PoW מבוסס על ההנחה שאף ישות בודדת לא שולטת ביותר מ-50% מהאשרייט הכולל. אם תוקף יקבל 51% מכוח הכרייה, הוא יוכל תיאורטית לצנזר עסקאות או לבצע הוצאות כפולות על ידי ארגון מחדש של ההיסטוריה האחרונה של הבלוקצ'יין.

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

מנגנון התאמת הקושי

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

עבור Bitcoin, הרשת מכוונת לממוצע של 10 דקות לגילוי בלוק. כל 2,016 בלוקים, שזה בערך שבועיים, הרשת מחשבת את הזמן הממוצע שנדרש לכרות את הבלוקים האלה. אם הבלוקים נכרו מהר מדי, קושי החידה עולה, ודורש יותר עבודה חישובית כדי למצוא האש תקף. אם הבלוקים נכרו לאט מדי, הקושי יורד.

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

תפקיד הצמתים בקונצנזוס

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

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

סוג צומת פונקציה צורכי אחסון
צומת מלא מאמת את כל הכללים וההיסטוריה גבוה
צומת מקוצץ מאמת הכל, מאחסן רק לאחרונים בינוני
צומת קל מאמת כותרות, סומך על צמתים מלאים נמוך

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

ה-Mempool: חדר ההמתנה של העסקאות

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

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

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

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

Bitcoin Script ולוגיקת עסקאות

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

סקריפטי נעילה ושחרור

כאשר עסקה יוצרת פלט, היא משתמשת ב-"locking script" (ScriptPubKey) כדי להעמיס על הכספים. הסקריפט הזה בעצם אומר, "כספים אלה ניתנים להוצאה רק על ידי מישהו שמספק חתימה דיגיטלית ספציפית." הצורה הנפוצה ביותר היא Pay-to-Public-Key-Hash (P2PKH), שמנעלת כספים לכתובת ספציפית.

כדי להוציא את הכספים האלה מאוחר יותר, הבעלים חייב לספק "unlocking script" (ScriptSig) בעסקה חדשה. זה כולל את המפתח הציבורי שלו וחתימה דיגיטלית שנוצרה עם המפתח הפרטי שלו. הרשת משלבת את הסקריפטים האלה ומבצעת אותם. אם התוצאה היא "True," העסקה תקפה והכספים מועברים.

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

צריכת אנרגיה כהגנה

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

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

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

מדרגיות ופתרונות שכבה 2

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

כדי להתמודד עם זאת, מפתחים בנו פתרונות שכבה 2 על גבי הבלוקצ'יין הראשי. הדוגמה הבולטת ביותר היא רשת Lightning. המערכת הזו משתמשת בחוזים חכמים (דרך Bitcoin Script) כדי לפתוח ערוצי תשלום בין משתמשים.

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

מסקנה

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

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

הוכחת עבודה הופכת אנרגיה לאמת, ומבטיחה שכסף דיגיטלי נשאר מאובטח, נדיר ולא בשליטת איש.