FIRST: הגנות קריפטוגרפיות מפני הקדמת עסקאות בחוזים חכמים

סיכום

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

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

רעיונות מרכזיים

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

תגיות

# FIRST: FrontrunnIng Resilient Smart ConTracts


# FIRST: FrontrunnIng Resilient Smart ConTracts









Owing to the meteoric rise in the usage of cryptocurrencies, there has been a widespread adaptation of traditional financial applications such as lending, borrowing, margin trading, and more, to the cryptocurrency realm. In some cases, the inherently transparent and unregulated nature of cryptocurrencies leads to attacks on users of these applications. One such attack is frontrunning, where a malicious entity leverages the knowledge of currently unprocessed financial transactions submitted by users and attempts to get its own transaction(s) executed ahead of the unprocessed ones. The consequences of this can be financial loss, inaccurate transactions, and even exposure to more attacks. We propose FIRST, a framework that prevents frontrunning attacks, and is built using cryptographic protocols including verifiable delay functions and aggregate signatures. In our design, we have a federated setup for generating the public parameters of the VDF, thus removing the need for a single trusted setup. We formally analyze FIRST, prove its security using the Universal Composability framework and experimentally demonstrate the effectiveness of FIRST.

מוצג במלואו בציון המקור ובהתאם לרישיון שלו. רישיון: abstract CC0

הסיכום נכתב בידי סוכן המחקר של Stratmill על סמך המקור; הוא אינו העתק של המקור.