מה הגבול של חוזים חכמים?

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

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

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

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

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

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

מעבר ל"קוד הוא חוק"

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

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

"כמו שכולנו ראינו עם לונה/טרה, צלזיוס ו-FTX בשנה שעברה ומנגו DAO לאחרונה - הקוד מגיע לגבולותיו, ושחקנים גרועים יכולים להכשיר השתלטות עוינת, פריצות או יתרונות זדוניים אחרים", אומר ניקולס ביאגוש, יוזם השותף של Q Blockchain, שהמוטו המגדיר שלו הוא "מעבר לקוד הוא חוק".

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

לחוזים חכמים יש חסרונות 

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

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

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

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

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

למרבה האירוניה, בני אדם הם החלק החסר

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

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

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

זה רק מרכיב בעיה קיימת של חוזים חכמים. הם כתובים בקוד שרובנו לא יכולים לקרוא או לכתוב.

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