Bảo mật Hợp đồng Thông minh trong DeFi: Những Lỗ hổng Thường gặp và Cách Tránh Chúng

Trước khi chúng ta đi sâu vào các lỗ hổng kỹ thuật, luôn là điều khôn ngoan để đảm bảo rằng các hoạt động giao dịch cơ bản của bạn được thực hiện trên một nền tảng an toàn. Bạn có thể kiểm tra giá cả và biến động mới nhất của các tài sản khác nhau trên trang Exbix Markets .

Phần 2: Các lỗ hổng và khai thác hợp đồng thông minh phổ biến

Hãy cùng phân tích các loại lỗ hổng phổ biến nhất đã dẫn đến những tổn thất đáng kể. thua lỗ trong DeFi.

1. Tấn công tái nhập: Vụ cướp cổ điển

Tấn công tái nhập là lỗ hổng hợp đồng thông minh nổi tiếng nhất, được chứng minh một cách tai tiếng bởi cuộc tấn công DAO năm 2016, dẫn đến việc mất 3,6 triệu ETH và một hard fork Ethereum sau đó.

• Nó là gì? Một cuộc tấn công tái nhập xảy ra khi một hợp đồng độc hại gọi lại vào hợp đồng đang gọi trước khi việc thực thi hàm ban đầu hoàn tất. Điều này có thể cho phép kẻ tấn công rút tiền nhiều lần trước khi số dư của họ được cập nhật.
• Cách hoạt động:
  1. Hợp đồng A có một hàm withdraw() gửi ETH cho người dùng và sau đó cập nhật số dư nội bộ của người dùng.
  2. Hợp đồng của kẻ tấn công B gọi withdraw().
  3. Hợp đồng A gửi ETH đến Hợp đồng B.
  4. Hợp đồng B có một fallback() hàm (nhận ETH) mà ngay lập tức gọi withdraw() lại trong Hợp đồng A.
  5. Hợp đồng A chưa cập nhật số dư của kẻ tấn công, vì vậy nó vẫn thấy rằng Hợp đồng B vẫn có quyền nhận thêm ETH và gửi lại một lần nữa.
  6. Vòng lặp này tiếp tục, làm cạn kiệt Hợp đồng A, cho đến khi gas giao dịch hết hoặc hợp đồng trống rỗng.
• Ví dụ Nổi Tiếng: Cuộc tấn công DAO (2016).
• Cách Tránh Nó:
  • Sử dụng mẫu Kiểm tra-Tác động-Interactions: Đây là quy tắc vàng. Luôn luôn:
    1. Kiểm tra tất cả các điều kiện (ví dụ, require(balances[msg.sender] >= amount);).
    2. Cập nhật tất cả các biến trạng thái nội bộ (tác động) (ví dụ, balances[msg.sender] -= số lượng;).
    3. Tiếp theo, tương tác với các hợp đồng khác hoặc EOA (tương tác) (ví dụ, msg.sender.call{value: amount}("");).
  • Sử dụng Bảo vệ Tái nhập: OpenZeppelin cung cấp một ReentrancyGuard modifier khóa một hàm trong quá trình thực thi của nó, ngăn chặn các cuộc gọi đệ quy.

2. Tấn công Manipulation Oracle

Các hợp đồng thông minh thường cần dữ liệu từ thế giới thực. Oracles là các dịch vụ cung cấp dữ liệu này. Việc thao túng nguồn cấp giá mà một oracle cung cấp là một trong những phương thức tấn công chính.

• Nó là gì? Một kẻ tấn công thao túng giá của một tài sản trên một sàn giao dịch phi tập trung (DEX) có thanh khoản thấp để lừa một oracle của giao thức báo cáo giá không chính xác.
• Cách hoạt động:
  1. Một giao thức cho vay sử dụng giá giao ngay của DEX làm oracle để xác định số tiền có thể vay dựa trên tài sản thế chấp.
  2. Một kẻ tấn công thực hiện một khoản vay chớp nhoáng để rút cạn thanh khoản từ một cặp giao dịch, chẳng hạn, ABC/ETH, khiến nó trở nên rất kém thanh khoản.
  3. Người tấn công sau đó giao dịch một lượng nhỏ ABC để làm tăng mạnh giá của nó so với ETH trên pool hiện đã không còn thanh khoản.
  4. Oracle của giao thức đọc giá đã bị thao túng này.
  5. Người tấn công sử dụng ABC đã được thổi phồng giá như một tài sản thế chấp để vay một lượng lớn tài sản khác, không bị thao túng từ giao thức.
  6. Người tấn công trả lại khoản vay nhanh, và giá của ABC sẽ tự điều chỉnh, nhưng giao thức vẫn để lại tài sản thế chấp vô giá trị và một khoản nợ xấu khổng lồ.
• Các Ví Dụ Nổi Tiếng: Cuộc tấn công Harvest Finance (mất 34 triệu đô la), sự cố DAI của Compound.
• Cách Tránh Nó:
  • Sử Dụng Oracle Phi Tập Trung: Sử dụng các mạng oracle mạnh mẽ như Chainlink, mà tập hợp dữ liệu từ nhiều nút và nguồn độc lập, khiến chúng trở nên cực kỳ khó khăn và tốn kém để thao túng.
  • Sử dụng Giá Trung Bình Thời Gian (TWAPs): Sử dụng một giá trung bình trong một khoảng thời gian (ví dụ, 30 phút) thay vì giá giao ngay ngay lập tức khiến việc thao túng ngắn hạn trở nên không có lợi nhuận.
  • Sử dụng Nhiều Nguồn Dữ Liệu: Đừng dựa vào thanh khoản của một DEX duy nhất cho một nguồn giá quan trọng.

3. Tràn và Thiếu số nguyên

Các máy tính có giới hạn về kích thước của một số. Một uint256 (số nguyên không dấu) trong Solidity có giá trị tối đa là 2^256 - 1.

• Nó là gì?
  • Tràn số: Khi một phép toán (như phép cộng) dẫn đến một số lớn hơn giá trị tối đa, nó “quay vòng” về một số rất nhỏ.
  • Thiếu số: Khi một phép toán (như phép trừ) dẫn đến một số dưới không (đối với các số nguyên không dấu, không thể âm), nó quay vòng về một số rất lớn. số.
• Cách thức hoạt động:
  • Một số dư của 100 token. Người dùng chi 101. Phép tính 100 - 101 sẽ bị tràn, dẫn đến một số dư là 2^256 - 1, thực sự mang lại cho người dùng một số dư gần như vô hạn.
• Cách để Tránh Nó:
  • Sử dụng Solidity 0.8.x hoặc phiên bản mới hơn: Trình biên dịch tự động kiểm tra các lỗi tràn/thiếu và hoàn tác các giao dịch khi chúng xảy ra.
  • Sử dụng SafeMath cho các trình biên dịch cũ hơn: Thư viện SafeMath của OpenZeppelin cung cấp các hàm cho các phép toán số an toàn trước phiên bản v0.8.