לומדים לכתוב חוזים חכמים של Waves ב-RIDE ו-RIDE4DAPPS. חלק 1 (ארנק מרובה משתמשים)

שלום לכולם!

לאחרונה, Waves Labs הוכרז תחרות למפתחים המוקדשת לשחרור הרחבה של שפת החוזה החכם RIDE עבור יישומים מבוזרים Ride4Dapps לרשת הבדיקה!

בחרנו במקרה של DAO בגלל ונטור מתכנן לפתח dApps עם פונקציות חברתיות: הצבעה, גיוס כספים, ניהול אמון וכו'.
התחלנו עם דוגמה פשוטה ב מפגשי שאלות ותשובות ו - RIDE IDE - דוגמה עם ארנק משותף.

בואו נסתכל על הדוגמה הזו, נבחן השערות ונראה כמה מוזרויות:

תן לנו את אליס - בעל dApp
בוב וקופר הם שותפים של אליס, מייסדי Alice-BC DAO
נלי היא בעלת עסק שזקוקה למימון
בנק - בנק המחלק אסימונים

שלב 1. אתחול יתרות

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

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

1 WAVES = 100000000 יחידות (wavelets), מכיוון שסכומים יכולים להיות רק מספר שלם
0.01 WAVES (עמלת עסקה) = 1000000

בנק -> [3 גלים] -> אליס, באמצעות Transaction Transaction (סוג: 4).

אנו בודקים שה-env.SEED שממנו נחתמות עסקאות תואם לבנק שלנו:


אם אין לך ביטוי ראשוני תואם, פשוט עבור אליו בלשונית חשבונות ובדוק שוב.
לאחר מכן, אנו יוצרים, מכריזים וחותמים על עסקה להעברת 3 WAVES Alice.
אתה יכול גם לגלות את הנתונים של אליס דרך המשתנה env.accounts. המספור מתחיל מ-0, אז אליס היא env.accounts[1].

broadcast(transfer({recipient:address(env.accounts[1]), amount: 300000000, fee: 1000000}))

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

אנו מוודאים שהיתרה של אליס תתחדש ב-3 WAVES, ויתרת הבנק נשארת ב-10 - 3 - 0.01 = 0.699.

אנחנו שולחים את בוב וקופר 3 WAVES כל אחד, ונלי, זינה ומארק 0.2 WAVES כל אחד באותו אופן.
(הערות: עשינו שגיאה של תו אחד ושלחנו את Neli 0.02 WAVES. היזהר!)

broadcast(transfer({recipient:address(env.accounts[4]), amount: 20000000, fee: 1000000}))

לאחר מילוי היתרות של כל המשתתפים, אנו רואים:

שלב 2. צור חשבון dApp

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

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

עמלה לכל עסקת setScript 1400000/100000000 = 0.014 WAVES. לאליס נותרו 2.986 WAVES על המאזן שלה.

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

Ride4Dapps כולל כעת 2 סוגי הערות חדשים:

1. @Callable(i) — לוקח כפרמטר i, נתונים לגבי איזה חשבון קרא/חתם על העסקה. התוצאה של פונקציה זו היא שקובעת את השינוי במצב חשבון dApp. חשבונות אחרים יכולים ליצור עסקאות ולבצע פונקציות עם ההערה הזו ולשנות את המצב של חשבון dApp.
2. @Verifier(tx) - מאמת עסקה עם פרמטר טרנזקציה TX. מתאים להיגיון הפרדיקט מ-RIDE. בביטוי זה אתה יכול לאפשר או לאסור שינויים נוספים בהיגיון של חוזים חכמים בחשבון dApp.

בא נעשה dApp חשבון כארנק משותף לכל המשתתפים.

כדי לבדוק איזה חוזה פעיל כרגע בחשבון שלך, אתה יכול להעתיק את קוד base64 של החוזה החכם ב-block explorer ולזהות אותו באמצעות Decompiler (לדוגמה)

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

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

בוב וקופר מבצעים את ההפקדות שלהם לחשבון dApp עם 1 WAVES.

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

בוב שלח 1 WAVES לחשבון dApp.

broadcast(invokeScript({dappAddress: address(env.accounts[1]), call:{function:"deposit",args:[]}, payment: [{amount: 100000000, asset:null }]}))

לבוב נותרו 1.99 WAVES. כלומר, בוב שילם עמלה של 0.01 WAVES

לאליס היו 2.972 WAVES על המאזן שלה, עכשיו זה 3.972. גם על חשבון Alice נרשמה עסקה, אך לא נגבה עמלה מחשבון dApp (Alice).
לאחר שגם קופר מילא את החשבון, היתרה של אליס הפכה ל-4.972 WAVES.

אתה יכול לברר מי הבעלים של כמה WAVES בארנק המשותף ב-block explorer בלשונית Data.

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

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

לקופר יש כעת 2.48 WAVES במאזנה. בהתאם, 3 WAVES - 1 - 0.01, ולאחר מכן + 0.5 - 0.01. בהתאם לכך, כל קריאה להפקדה ולמשיכה עולה 0.01 WAVES. כתוצאה מכך, הערכים בטבלת בעלי dApps השתנו באופן הבא.

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

עם זאת, בחוזה החכם היה המחאה למצב זה.

זינה היא רמאית, היא ניסתה למשוך 1 WAVES מהחשבון הכולל.

גם לה זה לא הסתדר.

בחלק הבא, נבחן סוגיות מורכבות יותר הקשורות לחוסר השלמות של חשבון Alice dApp.

מקור: www.habr.com