ความปลอดภัยของสมาร์ทคอนแทรคใน DeFi: ช่องโหว่ทั่วไปและวิธีหลีกเลี่ยง

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

ส่วนที่ 2: ช่องโหว่และการโจมตีที่พบบ่อยใน Smart Contract

มาวิเคราะห์หมวดหมู่ของช่องโหว่ที่พบบ่อยที่สุดซึ่งนำไปสู่การเกิดเหตุการณ์ที่สำคัญกันเถอะ การขาดทุนใน DeFi.

1. การโจมตีแบบ Reentrancy: การปล้นแบบคลาสสิก

การโจมตีแบบ reentrancy เป็นช่องโหว่ของสมาร์ทคอนแทรกต์ที่มีชื่อเสียงที่สุด ซึ่งถูกแสดงให้เห็นอย่างมีชื่อเสียงโดย การแฮ็ก DAO ในปี 2016 ซึ่งนำไปสู่การสูญเสีย 3.6 ล้าน ETH และการแยกเครือข่าย Ethereum ที่ตามมา.

• มันคืออะไร? การโจมตีแบบ reentrancy เกิดขึ้นเมื่อสัญญาที่เป็นอันตรายเรียกกลับไปยังสัญญาที่เรียกก่อนที่การดำเนินการฟังก์ชันเริ่มต้นจะเสร็จสิ้น ซึ่งอาจทำให้ผู้โจมตีสามารถถอนเงินซ้ำแล้วซ้ำเล่าก่อนที่ยอดเงินของพวกเขาจะถูกอัปเดต.
• วิธีการทำงาน:
  1. สัญญา A มีฟังก์ชัน withdraw() ที่ส่ง ETH ไปยังผู้ใช้ และ จากนั้น อัปเดตยอดเงินภายในของผู้ใช้。
  2. สัญญาของผู้โจมตี B เรียก withdraw().
  3. สัญญา A ส่ง ETH ไปยังสัญญา B.
  4. สัญญา B มีฟังก์ชัน fallback() (ซึ่งรับ ETH) ที่ เรียก withdraw() ในสัญญา A อีกครั้ง。
  5. สัญญา A ยังไม่ได้อัปเดตยอดเงินของผู้โจมตี ดังนั้นจึงเห็นว่า Contract B ยังคงมีสิทธิ์ได้รับ ETH เพิ่มเติมและส่งมันอีกครั้ง.
  6. ลูปนี้จะดำเนินต่อไป ทำให้ Contract A หมดเงิน จนกว่าค่าธรรมเนียมการทำธุรกรรมจะหมดหรือสัญญาจะว่างเปล่า.
• ตัวอย่างที่มีชื่อเสียง: การแฮ็ก DAO (2016).
• วิธีหลีกเลี่ยง:
  • ใช้รูปแบบ Checks-Effects-Interactions: นี่คือกฎทองคำ เสมอ:
    1. ตรวจสอบ ทุกเงื่อนไข (เช่น, require(balances[msg.sender] >= amount);).
    2. อัปเดต ตัวแปรสถานะภายในทั้งหมด (ผลกระทบ) (เช่น, balances[msg.sender] -= จำนวน;).
    3. จากนั้น ทำการโต้ตอบกับสัญญาอื่นหรือ EOA (การโต้ตอบ) (เช่น, msg.sender.call{value: amount}("");).
  • ใช้การป้องกันการเรียกซ้ำ: OpenZeppelin มี ReentrancyGuard ตัวแก้ไขที่ล็อกฟังก์ชันระหว่างการทำงาน ป้องกันการเรียกซ้ำ.

2. การโจมตีด้วยการจัดการออเรเคิล

สมาร์ทคอนแทรคมักต้องการข้อมูลจากโลกจริง ออเรเคิลคือบริการที่จัดเตรียมข้อมูลนี้ การจัดการกับข้อมูลราคาที่ออเรเคิลให้มาเป็นช่องทางการโจมตีหลัก

• มันคืออะไร? ผู้โจมตีจัดการราคาของสินทรัพย์ในตลาดแลกเปลี่ยนแบบกระจายศูนย์ (DEX) ที่มีสภาพคล่องต่ำเพื่อ หลอกให้ oracle ของโปรโตคอลรายงานราคาที่ไม่ถูกต้อง.
• วิธีการทำงาน:
  1. โปรโตคอลการให้ยืมใช้ราคาสปอตของ DEX เป็น oracle เพื่อกำหนดว่ามีจำนวนเท่าใดที่สามารถยืมได้จากหลักประกัน.
  2. ผู้โจมตีทำการกู้ยืมแบบฟลัชเพื่อดึงสภาพคล่องจากคู่การซื้อขาย เช่น ABC/ETH ทำให้มีสภาพคล่องน้อยมาก.
  3. ผู้โจมตีทำการแลกเปลี่ยน ABC จำนวนเล็กน้อยเพื่อทำให้ราคาของมันเคลื่อนไหวอย่างมากต่อ ETH ในพูลที่ไม่มีสภาพคล่องในขณะนี้
  4. ออราเคิลของโปรโตคอลอ่านราคาที่ถูกปรับเปลี่ยนนี้
  5. ผู้โจมตีใช้ ABC ที่ถูกปรับราคาให้สูงขึ้นอย่างเทียมเป็นหลักประกันในการกู้ยืมสินทรัพย์อื่น ๆ ที่ไม่ได้ถูกปรับเปลี่ยนในจำนวนมากจากโปรโตคอล
  6. ผู้โจมตีชำระคืนเงินกู้ด่วน และราคาของ ABC แก้ไขตัวเอง แต่โปรโตคอลต้องเผชิญกับหลักประกันที่ไม่มีค่าและหนี้เสียจำนวนมาก。
• ตัวอย่างที่มีชื่อเสียง: การแฮก Harvest Finance (สูญเสีย $34 ล้าน), เหตุการณ์ DAI ของ Compound。
• วิธีหลีกเลี่ยง:
  • ใช้ Oracle แบบกระจายศูนย์: ใช้เครือข่าย oracle ที่แข็งแกร่ง เช่น Chainlink ซึ่ง รวบรวมข้อมูลจากหลายโหนดและแหล่งข้อมูลที่เป็นอิสระ ทำให้การจัดการข้อมูลเหล่านี้เป็นเรื่องที่ยากและมีค่าใช้จ่ายสูงอย่างมาก
  • ใช้ราคาเฉลี่ยถ่วงน้ำหนักตามเวลา (TWAPs): การใช้ราคาเฉลี่ยในช่วงเวลาหนึ่ง (เช่น 30 นาที) แทนที่จะใช้ราคาในจุดที่ทันที ทำให้การจัดการในระยะสั้นไม่เป็นผลกำไร
  • ใช้แหล่งข้อมูลหลายแห่ง: อย่า อิงจากสภาพคล่องของ DEX เดียวสำหรับการให้ข้อมูลราคาที่สำคัญ

3. การล้นและการขาดของจำนวนเต็ม

คอมพิวเตอร์มีขีดจำกัดในเรื่องขนาดของตัวเลขที่สามารถมีได้ uint256 (จำนวนเต็มไม่ติดลบ) ใน Solidity มีค่ามากสุดที่ 2^256 - 1.

• มันคืออะไร?
  • Overflow: เมื่อการดำเนินการ (เช่น การบวก) ส่งผลให้ได้หมายเลขที่มากกว่าค่ามากสุด มันจะ “วนกลับ” ไปยังหมายเลขที่เล็กมาก
  • Underflow: เมื่อการดำเนินการ (เช่น การลบ) ส่งผลให้ได้หมายเลขที่ต่ำกว่าศูนย์ (สำหรับจำนวนเต็มที่ไม่มีเครื่องหมาย ซึ่งไม่สามารถเป็นลบได้) มันจะวนกลับไปยังหมายเลขที่ใหญ่โต หมายเลข.
• วิธีการทำงาน:
  • ยอดคงเหลือของ 100 โทเค็น ผู้ใช้ใช้จ่าย 101. การคำนวณ 100 - 101 จะเกิดการล้น ทำให้ยอดคงเหลือเป็น 2^256 - 1 ซึ่งให้ยอดคงเหลือที่แทบจะไม่มีที่สิ้นสุดแก่ผู้ใช้.
• วิธีหลีกเลี่ยง ใช้ Solidity 0.8.x หรือเวอร์ชันที่ใหม่กว่า: คอมไพเลอร์จะตรวจสอบการเกิด overflow/underflow โดยอัตโนมัติและย้อนกลับธุรกรรมที่เกิดขึ้น
• ใช้ SafeMath สำหรับคอมไพเลอร์รุ่นเก่า: OpenZeppelin SafeMath ไลบรารีมีฟังก์ชันสำหรับการดำเนินการทางคณิตศาสตร์อย่างปลอดภัยก่อน v0.8.