ใช้เวลานานแค่ไหนในการตรวจสอบสัญญาอัจฉริยะ | DeFi

เกือบครึ่งหนึ่งของสัญญาอัจฉริยะในระบบนิเวศ Ethereum นั้นยังไม่ได้ตรวจสอบ นำไปสู่การแฮ็กจำนวนมากขึ้น 

การตรวจสอบสัญญาอัจฉริยะโดยทั่วไปเป็นขั้นตอนสุดท้ายในการเดินทางของสัญญาอัจฉริยะหรือสำหรับแอปพลิเคชัน DeFi และมักถูกละเลย เมื่อพิจารณาถึงความโดดเด่นของสัญญาอัจฉริยะในโลก DeFi หรือในแอปพลิเคชัน Blockchain ใดๆ การตรวจสอบสัญญาอัจฉริยะถือเป็นส่วนสำคัญของแอปพลิเคชัน 

ไม่ว่าจะเป็นการปฏิวัติทางการเงิน การแปลงโทเค็นของสินทรัพย์ หรือการใช้งานกรณีการใช้งานใดๆ บนแพลตฟอร์ม Blockchain สัญญาอัจฉริยะก็มีความจำเป็น โดยพื้นฐานแล้ว smart contracts เป็นเพียงโค้ดสองสามบรรทัดที่ใช้ในการดำเนินการตามเงื่อนไข ตัวอย่างเช่น หากคุณกำลังกู้เงินจากแอปพลิเคชัน DeFi เช่น Aave และ Compound โดยให้หลักประกันและจ่ายดอกเบี้ยตามที่กำหนดไว้สำหรับเงินกู้ เงื่อนไขทั้งหมดจะกำหนดผ่านชุดสัญญาอัจฉริยะ 

ในสถานการณ์สมมตินี้ มีสัญญาอัจฉริยะหลายรายการที่เกี่ยวข้องกับการสร้างระบบนิเวศดิจิทัลของการโต้ตอบทางการเงิน สิ่งที่ต้องตระหนักในที่นี้คือสัญญาอัจฉริยะหลายรายการเหล่านี้ต้องพึ่งพาอาศัยกัน ข้อบกพร่องเล็กๆ น้อยๆ ในโค้ดบรรทัดใดก็ได้จากสัญญาอัจฉริยะใดๆ อาจนำไปสู่ผลลัพธ์ที่รุนแรงได้ 

เป็นความเข้าใจผิดทั่วไปที่การตรวจสอบสัญญาอัจฉริยะใช้เวลานานเกินสมควร นี่เป็นมุมมองทั่วไปในขณะที่ในความเป็นจริง เวลาที่จำเป็นสำหรับการตรวจสอบสัญญาอัจฉริยะนั้นขึ้นอยู่กับความซับซ้อนของกรณีการใช้งานและปัจจัยอื่นๆ การขาดความรู้เกี่ยวกับเวลาในการตรวจสอบเป็นหนึ่งในสาเหตุสำคัญที่ทำให้สัญญาอัจฉริยะจำนวนมากยังคงไม่ได้รับการตรวจสอบ

การตรวจสอบสัญญาอัจฉริยะใช้เวลานานเท่าใด

ที่กล่าวถึงด้านล่างนี้คือความเป็นไปได้บางประการในแง่ของเวลาที่การตรวจสอบสัญญาอัจฉริยะสามารถทำได้:

1. ปัจจัยที่พบบ่อยที่สุดสำหรับการตรวจสอบคือขนาดของโครงการ ความซับซ้อนของโครงการก็มีความสำคัญเช่นกัน แต่ขนาดของโครงการจะกลายเป็นลักษณะเฉพาะหลักในการกำหนดเวลาในการตรวจสอบ

โดยทั่วไป สัญญาอัจฉริยะอย่างง่าย เช่น สัญญาโทเค็นสำหรับโทเค็น ERC20 อาจใช้เวลาสองสามวัน ซึ่งหมายความว่าเวลาในการตรวจสอบสัญญาดังกล่าวอาจใช้เวลาระหว่าง 24 ถึง 48 ชั่วโมง ขึ้นอยู่กับความซับซ้อนของโครงการอีกครั้ง ในกรณีของ ERC20 ที่ใช้ใน Dapp การตรวจสอบอาจใช้เวลาเกือบหนึ่งเดือนเต็ม 

สัญญาอีกประเภทหนึ่งคือสัญญาขายโทเค็น สิ่งเหล่านี้สามารถกำหนดเป็นสัญญา ERC20 ขั้นสูงที่มีโทเค็นและคุณสมบัติขั้นสูงที่กำหนดไว้ ฟังก์ชั่นเช่นการปักหลักและการแลกเปลี่ยนสามารถเป็นส่วนหนึ่งของสัญญาดังกล่าวได้ การตรวจสอบสัญญาดังกล่าวอย่างสมบูรณ์อาจใช้เวลาหนึ่งถึงสองสัปดาห์ เมื่อเทียบกับสองสามวันสำหรับสัญญา ERC20 ขั้นพื้นฐาน

2. ตามที่กล่าวไว้ข้างต้น เวลาสำหรับการตรวจสอบยังขึ้นอยู่กับความซับซ้อนของโครงการด้วย ตัวอย่างเช่น หากคุณกำลังสร้างการแลกเปลี่ยนแบบกระจายอำนาจหรือตลาดเงินแบบกระจายอำนาจ เช่น Aave การตรวจสอบจำเป็นต้องมีผู้ตรวจสอบผู้เชี่ยวชาญและไทม์ไลน์ที่กว้างขวางเพื่อให้แน่ใจว่าไม่มีแบ็คดอร์ ในกรณีเช่นนี้ แม้แต่ oracles ยังต้องได้รับการตรวจสอบพร้อมกับผู้ดูแลสภาพคล่องอัตโนมัติและส่วนอื่นๆ ของระบบนิเวศ

ในบางกรณี การพึ่งพาโปรโตคอลหรือสัญญาอัจฉริยะกับปัจจัยภายนอกทำให้เกิดช่องโหว่ขนาดใหญ่ที่อาจนำไปสู่ความสูญเสียที่ไม่คาดคิด 

ดังนั้นการสมัครประเภทนี้จึงต้องมีการตรวจสอบที่ใช้เวลาถึง 1 เดือน 

โครงการอื่นๆ ที่อยู่ในหมวดหมู่นี้ ได้แก่ การให้กู้ยืม การกู้ยืม การประกันภัยและอนุพันธ์ เป็นต้น 

3. ประเภทของการตรวจสอบยังมีบทบาทสำคัญในการกำหนดเวลาที่ต้องการ หากสัญญาอัจฉริยะของคุณได้รับการเข้ารหัสด้วยแนวทางการพัฒนาที่ดีที่สุด และคุณมั่นใจในความสมบูรณ์ของสัญญา การตรวจสอบระหว่างกาลควรเป็นทางเลือกของคุณ 

ในการตรวจสอบระหว่างกาล ผู้เชี่ยวชาญจะได้รับการจัดสรรให้กับโครงการเพื่อตรวจสอบโครงสร้างและวิเคราะห์จุดอ่อนที่เป็นไปได้ การตรวจสอบระหว่างกาลช่วยให้แน่ใจว่าโครงการกำลังดำเนินไปในทิศทางที่ถูกต้อง และช่องโหว่ที่อาจเปลี่ยนแปลงโครงสร้างทั้งหมดของแอปพลิเคชันในระยะต่อมาจะถูกระบุโดยเร็วที่สุด การตรวจสอบนี้โดยทั่วไปจะใช้เวลาหนึ่งวันจึงจะเสร็จสมบูรณ์ 

ถัดไปคือการตรวจสอบความปลอดภัยเต็มรูปแบบ ในขณะที่การตรวจสอบระหว่างกาลสามารถทำได้ในขณะที่สัญญาอัจฉริยะกำลังอยู่ระหว่างการพัฒนา การตรวจสอบความปลอดภัยแบบสมบูรณ์จะมีผลหลังจากแอปพลิเคชันเสร็จสิ้น นี่เป็นขั้นตอนสุดท้ายที่จำเป็นก่อนที่จะปรับใช้แอปพลิเคชันบนเน็ตหลัก หากแอปพลิเคชันถูกปรับใช้โดยไม่มีการตรวจสอบความปลอดภัยอย่างเต็มรูปแบบ มีโอกาสสูงที่จะเกิดจุดบกพร่องและช่องโหว่ของ mainnet เวลาสำหรับการตรวจสอบความปลอดภัยเต็มรูปแบบขึ้นอยู่กับความซับซ้อนของโครงการตามที่อธิบายไว้ในจุดที่ 1 

ขั้นตอนการตรวจสอบสัญญาอัจฉริยะสามารถทำได้ด้วยตนเองหรือโดยอัตโนมัติ การตรวจสอบอัตโนมัติเกี่ยวข้องกับการทดสอบรหัสสัญญาอัจฉริยะกับฟังก์ชันและเครื่องมือทดสอบที่กำหนดไว้ล่วงหน้าต่างๆ ซึ่งจะให้การประเมินช่องโหว่ทั่วไปสำหรับสัญญาอัจฉริยะ อย่างไรก็ตาม การตรวจสอบประเภทนี้ไม่ครอบคลุมการวิเคราะห์เชิงลึกของรหัสและช่องโหว่อื่นๆ เช่น ประตูหลัง สำหรับสิ่งนี้ ต้องทำการตรวจสอบด้วยตนเอง ในการตรวจสอบด้วยตนเอง ทีมผู้เชี่ยวชาญจะกำหนดกรณีทดสอบที่กำหนดเองบางกรณี และตรวจสอบแง่มุมต่างๆ ของโค้ด 

การตรวจสอบอัตโนมัติอาจใช้เวลาถึงหนึ่งวันสำหรับสัญญา erc20/bep20 ในขณะที่การตรวจสอบด้วยตนเองมักใช้เวลาประมาณ 3 ถึง 5 วันสำหรับสัญญา erc20/bep20 ในขณะที่สำหรับโปรโตคอลที่ซับซ้อน เวลาของการตรวจสอบจะขึ้นอยู่กับรหัส หากต้องการรับการตรวจสอบแบบกำหนดเองว่าจะใช้เวลานานแค่ไหนในการตรวจสอบโปรโตคอลของคุณและประเภทของการตรวจสอบที่ดีที่สุด โปรดติดต่อผู้เชี่ยวชาญที่ QuillAudits เพื่อรับคำปรึกษาฟรี

เมื่อพิจารณาถึงเวลาที่กำหนดสำหรับสัญญาอัจฉริยะประเภทต่างๆ และแอปพลิเคชัน DeFi ผู้คนจำนวนมากออกสู่ตลาดด้วยผลิตภัณฑ์ที่เป็นนวัตกรรมใหม่โดยไม่ได้รับการตรวจสอบ เหตุผลหลักเบื้องหลังนี้คือความกระตือรือร้นหรือ FOMO ของผู้อื่นที่แนะนำโครงการที่คล้ายกันในตลาด อีกเหตุผลหนึ่งอาจเป็นค่าใช้จ่ายเพิ่มเติมที่บุคคลอาจไม่ต้องการแบกรับ 

อย่างไรก็ตาม เราไม่สามารถเน้นถึงความสำคัญของการตรวจสอบสัญญาอัจฉริยะได้เพียงพอ เวลาและเงินพิเศษบางส่วนที่ใช้ไปกับการตรวจสอบสัญญาอัจฉริยะสามารถประหยัดเงินได้หลายล้านสำหรับผู้ใช้ 

เพื่อให้มุมมองที่ดีขึ้นเกี่ยวกับความจำเป็นในการตรวจสอบสัญญาอัจฉริยะ ที่กล่าวถึงด้านล่างคือแฮ็ก DeFi อันดับต้น ๆ ที่เกิดขึ้นเนื่องจากข้อผิดพลาดง่ายๆ เพียงครั้งเดียวที่ไม่ได้รับการตรวจสอบ

แฮ็ก DeFi ยอดนิยม

• DAO แฮ็ค

DAO เป็นองค์กรอิสระที่กระจายอำนาจซึ่งกำลังกลายเป็นมาตรฐานใหม่ในการกำหนดรูปแบบการกำกับดูแลของแอปพลิเคชันใดๆ โดยพื้นฐานแล้ว DAO จะตัดสินใจสำหรับแอปพลิเคชันผ่านสัญญาอัจฉริยะ ดังนั้นสัญญาอัจฉริยะจึงมีบทบาทสำคัญในสภาพแวดล้อมดังกล่าว 

ในกรณีหนึ่งที่ DAO รับผิดชอบในการทำให้กระบวนการระดมทุนเป็นประชาธิปไตยสำหรับกระบวนการ Ethereum แฮ็กเกอร์ใช้ประโยชน์จากช่องโหว่ของฟังก์ชันทางเลือกในสัญญาอัจฉริยะ ด้วยการใช้การโจมตีซ้ำ เขาขโมย 3.6 ล้านจากโปรโตคอล 

• การโจมตีพาริตี้

Parity นำเสนอแนวคิดของลายเซ็นหลายรายการเพื่อตรวจสอบความถูกต้องของการโอน Ethers รองรับกระบวนการนี้ผ่านสัญญาอัจฉริยะจำนวนหนึ่งซึ่งต้องใช้ลายเซ็นดิจิทัลมากกว่าหนึ่งลายเซ็นเพื่อตรวจสอบความถูกต้องของการถ่ายโอน Ether 

เนื่องจากไม่ได้รับการตรวจสอบอย่างถูกต้อง แฮ็กเกอร์จึงสามารถใช้ประโยชน์จากฟังก์ชัน delegatecall และ fallback ของสัญญาอัจฉริยะและขโมย Ethers ได้มากถึง 30 ล้านดอลลาร์

สรุป

การแฮ็กดังกล่าวเป็นเพียงส่วนเล็กๆ ของภูเขาน้ำแข็ง มีการแฮ็กนับไม่ถ้วนในระบบนิเวศ DeFi ด้วยการเติบโตของ DeFi การแฮ็กเหล่านี้ก็เพิ่มขึ้นอย่างทวีคูณ สาเหตุหลักประการหนึ่งที่อยู่เบื้องหลังการเพิ่มขึ้นนี้คือสัญญาอัจฉริยะที่ยังไม่ได้ตรวจสอบหรือสัญญาอัจฉริยะที่ตรวจสอบไม่ดี 

การตรวจสอบสัญญาอัจฉริยะของคุณไม่ได้รับประกันความปลอดภัย แต่การได้รับการตรวจสอบจากทีมที่มีประสบการณ์และเป็นที่ยอมรับในอุตสาหกรรม เช่นเดียวกับที่ Quillaudits คือสิ่งที่สำคัญ 

แม้ว่าจะต้องใช้เวลาและเงินพอสมควร การตรวจสอบสัญญาอัจฉริยะของคุณโดยทีมที่มีประสบการณ์สามารถช่วยคุณสร้างโครงการที่ยั่งยืนและไปถึงจุดสูงสุดของความสำเร็จได้

ติดต่อ QuillHash

ด้วยการปรากฏตัวของอุตสาหกรรมหลายปี ขนนกแฮช ได้ส่งมอบโซลูชันระดับองค์กรไปทั่วโลก QuillHash พร้อมทีมผู้เชี่ยวชาญคือบริษัทพัฒนาบล็อกเชนชั้นนำที่ให้บริการโซลูชั่นอุตสาหกรรมต่างๆ รวมถึงองค์กร DeFi หากคุณต้องการความช่วยเหลือในการตรวจสอบสัญญาอัจฉริยะ โปรดติดต่อผู้เชี่ยวชาญของเรา ที่นี่!

ติดตาม QuillHash สำหรับการอัปเดตเพิ่มเติม

Twitter | LinkedIn | Facebook

ที่มา: https://blog.quillhash.com/2021/04/30/how-long-does-it-take-to-get-smart-contracts-audited-defi/