הכנסת שרבוט על ידי חריצות ConsenSys

בלוג 1חדשות מפתחיםיזם הסבר על בלוקצ’יין אירועים וכנסים לחץעלונים

הירשם לניוזלטר שלנו.

כתובת דוא”ל

אנו מכבדים את פרטיותך

דף הבית בלוג חדשות

הכנסת שרבוט על ידי חריצות ConsenSys

על ידי ConsenSys 8 בדצמבר 2020 פורסם ב 8 בדצמבר 2020

לשרבט

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

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

מה זה שרבוט?

כשאנחנו מדברים על שרבוט, אנחנו מדברים על שני דברים.

ראשית, שרבוט היא שפת מפרט למאפייני כתיבה.

שנית, Scribble הוא כלי לאימות זמן ריצה המשתמש בשפת מפרט Scribble.

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


שרבוט הוא שפה

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

הערה: מאפיין הוא משפט הגיוני שאתה מצפה שיהיה נכון, למשל. “כל המכוניות אדומות”. באופן מוצק, לרוב יהיו לך מאפיינים כמו: “רק הבעלים יכול לעשות שינוי ב- X”. או “פונקציית sendToken (), לא אמורה לשנות את מאזן האתר של החוזה הזה”.

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

זו דוגמה להערת שרבוטים:

צילום מסך 2020 12 08 בשעה 12 06 15 אחר הצהריים

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

קרא תיעוד שרבוטים

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

שרבוט הוא כלי

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

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

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

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

מטרות

בְּדִיקָה

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

צרו איתנו קשר למידע נוסף על מטשטשים ובדיקות מבוססות נכסים במהלך ביקורת

תֶקֶן

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

אימוץ

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

איפה אתה יכול להשיג את זה?

יש לנו סקריבל מקורות פתוחים לחלוטין, והוא זמין כעת ב github.com/consensys/scribble.

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

אתה יכול להתקין בקלות Scribble עם npm:

צילום מסך 2020 12 08 בשעה 12 06 35 אחר הצהריים התקן את שרבוט

ניוזלטר הירשם לניוזלטר שלנו לקבלת החדשות האחרונות של Ethereum, פתרונות ארגוניים, משאבי מפתח ועוד. כתובת דוא”ל תוכן בלעדידוח DeFi של Ethereum Q3 2020להגיש תלונה

דוח DeFi של Ethereum Q3 2020

דוח DeFi 2020 של Ethereum Q2להגיש תלונה

דוח DeFi 2020 של Ethereum Q2

Ethereum 2 0 דולהגיש תלונה

דו”ח המערכת האקולוגית של Ethereum 2.0

מדריך מלא לרשתות עסקיות של Blockchainלהנחות

מדריך מלא לרשתות עסקיות של Blockchain

כיצד לבנות מוצר מצליח של בלוקצ'ייןוובינר

כיצד לבנות מוצר מצליח של בלוקצ’יין

בנקים מרכזיים ועתיד הכסףנייר לבן

בנקים מרכזיים ועתיד הכסף

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me
Like this post? Please share to your friends:
Adblock
detector
map