לפני שהם היו מגניבים: הבריתות בייצור על נוזל

By Bitcoin מגזין - לפני חודשיים - זמן קריאה: 6 דקות

לפני שהם היו מגניבים: הבריתות בייצור על נוזל

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

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

היסטוריה של אמנות על נוזל

ניתן לעקוב אחר התחייבויות על Liquid לפריסה של ה-sidechain הראשון של Elements, אלפא. שרשרת הצד הזו הציגה את קודי ה-OP_CHECKSIGFROMSTACK (CSFS) ו-OP_DETERMINISTICRANDOM יחד עם מספר אחרים ל-Elements. אלפא גם אפשרה גרסאות קבועות של קודי הפעלה שהושבתו בשלב מוקדם Bitcoin, כמו OP_CAT-אופקוד שרבים בוחרים לחזור אליו בדיאלוג ההולך וגדל ברחבי המדיה החברתית. קודים חדשים אלה שיפרו עוד יותר את כושר הביטוי של הגרסה של Bitcoin סקריפט זמין ב-Elements, והוכחה לקונספט קמרון מוסר-אייל-סירר פותחה תוך שימוש ב-CSFS כדי להמחיש את האפשרויות החדשות.

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

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

הצעות אמנה מובילות

נכון לעכשיו, Bitcoin הקהילה דנה ברשימת כביסה של הצעות אמנה אפשריות, כולל SIGHASH_ANYPREVOUT (APO), OP_TXHASH, CSFS, OP_CAT, OP_TLUV, קוד ה-MATT OP_CHECKCONTRACTVERIFY (CCV), OP_VAULT ו-OP_CHECKTEMPLATEVERIFY (CTV). פשטות, שפת סקריפטים מהדור הבא שיכולה ליישם פונקציונליות דומה להרבה אמנות ברמה נמוכה יותר, היא גם מסלול פוטנציאלי עבור Bitcoin (נחזור על זה מאוחר יותר).

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

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

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

השגת פונקציונליות דומה עם Liquid Opcodes

בעוד ל-Liquid אין את קודי ה-CTV וה-VAULT, יש לו CSFS ו חָתוּל עבור בריתות. על ידי שימוש בקודים המוגדרים בצורה מצומצמת יותר עם קודי התבוננות המופנמים שהוזכרו לעיל, מפתחים פתחו אפשרויות פיננסיות חדשות עם פונקציונליות דומה ל-CTV ו-VAULT כדי להגדיל את שרשרת הצד.

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

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

קודים נוזליים בפעולה

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

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

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

למה לא על Liquid First?

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

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

האופי האקספרסיבי של הפשטות מאפשר העברה חלקה של קודי אמנה של Script, מה שמבטיח אמינות רבה יותר ופחות התנהגויות בלתי צפויות. Bitcoin חוקר Sanket Kanjalkar כבר עשה את העבודה הזו עבור CTV. באמצעות סְלֶנְג, קריא יותר Bitcoinשפת תכנות מרוכזת שמתחברת עד לפשטות, הוא הצליח לשכפל את הסמנטיקה בהוכחה מעשייה שזמינה לכל אחד לנסות היום.

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

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

אז, בפעם הבאה שמישהו יציע ברית חדשה, כדאי לשאול: למה לא לנסות את זה קודם ב-Liquid?

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

מקור מקורי: Bitcoin מגזין