כמה זמן לוקח לבצע ביקורת על חוזים חכמים | DeFi

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

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

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

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

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

כמה זמן לוקח ביקורת חוזים חכמים

להלן מספר אפשרויות במונחים של זמן שביקורת חוזים חכמה יכולה לקחת:

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

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

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

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

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

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

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

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

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

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

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

הביקורת האוטומטית יכולה להימשך עד יום אחד עבור חוזי erc20/bep20 בעוד שהביקורות הידניות נמשכות בדרך כלל בין 3 ל-5 ימים עבור חוזי erc20/bep20 בעוד עבור פרוטוקולים מורכבים, זמן הביקורת תלוי בקוד. כדי לקבל בדיקה מותאמת אישית למשך כמה זמן תארך הביקורת עבור הפרוטוקול שלך ואיזה סוג ביקורת הוא הטוב ביותר, פנה למומחים ב-QuillAudits כדי לקבל ייעוץ חינם.

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

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

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

פריצות מובילות של DeFi

• DAO האק

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

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

• התקפת הזוגיות

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

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

סיכום

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

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

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

פנה אל קווילהאש

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

עקוב אחר QuillHash לקבלת עדכונים נוספים

טויטר | לינקדין | פייסבוק

מקור: https://blog.quillhash.com/2021/04/30/how-long-does-it-take-to-get-smart-contracts-audited-defi/