איך כותבים חוזה חכם של WebAssembly ברשת אונטולוגיה? חלק 1: חלודה

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

עכשיו אונטולוגיה Wasm תומך בו זמנית בפיתוח Rust ו-C++. שפת Rust תומכת בצורה טובה יותר ב- Wasm, וקוד הביטים שנוצר פשוט יותר, מה שיכול להוזיל עוד יותר את העלות של שיחות חוזה. כך, כיצד להשתמש ב-Rust כדי לפתח חוזה ברשת אונטולוגיה?

פיתוח חוזה WASM עם Rust

צור חוזה

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

מבנה הפרויקט שהוא מייצר:

הקובץ Cargo.toml משמש להגדרת מידע פרויקט בסיסי ומידע ספרייה תלוי. יש להגדיר את הקטע [lib] של הקובץ ל-crate-type = ["cdylib"]. הקובץ lib.rs משמש לכתיבת קוד לוגיית החוזה. בנוסף, עליך להוסיף פרמטרי תלות לקטע [תלות] בקובץ התצורה של Cargo.toml:

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

פונקציית הזנת חוזה

לכל תוכנית יש פונקציית קלט, כמו הפונקציה הראשית שאנו רואים בדרך כלל, אך לחוזה אין פונקציה ראשית. כאשר חוזה Wasm פותח באמצעות Rust, פונקציית ה-invoke המוגדרת כברירת מחדל משמשת כפונקציית הקלט לשימוש בחוזה. שמה של פונקציה ב-Rust לא יהיה ברור בעת הידור של קוד מקור Rust לקוד בתים שניתן לבצע על ידי מכונה וירטואלית. כדי למנוע מהקומפיילר ליצור קוד מיותר ולהקטין את גודל החוזה, פונקציית ה-invoke מוסיפה את ההערה #[no_mangle].

כיצד פונקציית invoke מקבלת פרמטרים לביצוע עסקה?

ספריית ontio_std מספקת פונקציית runtime::input() כדי לקבל את הפרמטרים לביצוע עסקה. מפתחים יכולים להשתמש ב- ZeroCopySource כדי לבטל את סדרת הבתים המתקבלת. שבו המערך הראשון של הבתים שנקרא הוא שם שיטת ה-invoke, ואחריו פרמטרי השיטה.

כיצד מוחזרת תוצאת ביצוע החוזה?

הפונקציה runtime::ret המסופקת על ידי ספריית ontio_std מחזירה את התוצאה של ביצוע שיטה.

פונקציית ה-invoke שהושלמה נראית כך:

סידור וביטול הסדרת נתוני חוזה

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

ספריית ontio_std מספקת ממשקי מפענח ומקודד עבור הסדרת נתונים וסידריאליזציה. השדות של מבנה מיישמים גם את ממשקי המפענח והמקודד, כך שניתן לבצע את המבנה בסידרה ובסידריאליזציה. נדרשים מופעים של המחלקה Sink כאשר סוגים שונים של נתונים מסודרים. למופע של המחלקה Sink יש שדה buff מסוג set שמאחסן את נתוני סוג הבתים, וכל הנתונים בסידרה מאוחסנים ב-buf.

עבור נתונים באורך קבוע (למשל: byte, u16, u32, u64 וכו'), הנתונים מומרים ישירות למערך בתים ואז מאוחסנים ב-buf; עבור נתונים באורך לא קבוע, אורך חייב להיות מסודר תחילה, ולאחר מכן Ddata (לדוגמה, מספרים שלמים ללא סימנים בגודל לא ידוע, כולל u16, u32 או u64 וכו').

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

גישה ועדכון נתונים בשרשרת

אונטולוגיה-wasm-cdt-rust - מובלעת שיטה תפעולית לעבודה עם נתונים בשרשרת, אשר נוחה למפתחים ליישם פעולות כגון הוספה, מחיקה, שינוי ושאילתה של נתונים בשרשרת באופן הבא:

• מסד נתונים::get(key) - משמש לבקשת נתונים מהשרשרת, ובקשות מפתח ליישום ממשק AsRef;
• מסד נתונים::put(key, value) - משמש לאחסון נתונים ברשת. Key מבקש את הטמעת ממשק AsRef, ו-value מבקש את הטמעת ממשק ה-Encoder;
• מסד נתונים::delete(key) - משמש להסרת נתונים מהשרשרת, ומפתח מבקש את הטמעת ממשק AsRef.

בדיקת חוזה

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

איתור באגים בחוזה

console::debug(msg) מציג מידע על ניפוי באגים בזמן איתור באגים בחוזה. מידע ההודעה יתווסף לקובץ יומן הצומת. תנאי מוקדם הוא להגדיר את רמת קובץ היומן למצב ניפוי באגים כאשר צומת הבדיקה המקומי של אונטולוגיה פועל.

runtime::notify(msg) מוציא את מידע ניפוי הבאגים המתאים בזמן שהחוזה מתבצע באגים. שיטה זו תשמור את המידע שהוזן לשרשרת וניתן יהיה לבצע שאילתה מהשרשרת באמצעות שיטת getSmartCodeEvent.

המאמר תורגם על ידי עורכי Hashrate&Shares במיוחד עבור OntologyRussia. לחץ על

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

אונטולוגיה

• אתר אונטולוגיה
• GitHub / מחלוקת
• מברק אנגלית / רוסי
• טויטר / reddit

מקור: www.habr.com