Phân tích sự kiện tấn công di chuyển thanh khoản của Cellframe Network

Vào lúc 10 giờ 7 phút 55 giây (UTC+8) ngày 1 tháng 6 năm 2023, Cellframe Network đã bị tấn công bởi hacker do vấn đề tính toán số lượng token trong quá trình di chuyển thanh khoản trên một chuỗi thông minh. Cuộc tấn công này đã khiến hacker thu lợi khoảng 76112 đô la.

Phân tích sự kiện

Kẻ tấn công đã lợi dụng lỗ hổng tính toán trong việc di chuyển thanh khoản. Quy trình tấn công như sau:

1. Kẻ tấn công trước tiên thông qua khoản vay chớp nhoáng để thu được một lượng lớn vốn, bao gồm 1000 mã thông báo gốc của một chuỗi nào đó và 500000 mã thông báo New Cell.
2. Chuyển đổi tất cả các mã thông báo New Cell sang mã thông báo gốc của một chuỗi, dẫn đến số lượng mã thông báo gốc của chuỗi đó trong bể gần như bằng không.
3. Sử dụng 900 đồng token gốc của một chuỗi nào đó để đổi lấy token Old Cell.
4. Trước khi tấn công, kẻ tấn công đã thêm Old Cell và thanh khoản của token gốc của một chuỗi nào đó, nhận được Old lp.
5. Gọi hàm chuyển đổi thanh khoản. Lúc này, trong bể mới gần như không có token gốc của một chuỗi, và trong bể cũ gần như không có token Old Cell.

Quá trình di chuyển bao gồm:

• Gỡ bỏ thanh khoản cũ, hoàn trả token cho người dùng
• Thêm thanh khoản mới theo tỷ lệ của hồ bơi mới

Do vì token Old Cell hiếm trong bể cũ, số lượng token gốc của một chuỗi nhận được khi rút thanh khoản tăng lên, trong khi số lượng token Old Cell giảm đi. Điều này khiến người dùng chỉ cần thêm một lượng nhỏ token gốc của một chuỗi và token New Cell để có được thanh khoản, số token gốc của một chuỗi và token Old Cell dư thừa sẽ được trả lại cho người dùng.

6. Kẻ tấn công loại bỏ thanh khoản của bể mới, đổi các token Old Cell đã trả lại thành token gốc của một chuỗi.
7. Lúc này, trong bể cũ Old Cell có đủ token nhưng thiếu một loại token gốc của chuỗi nào đó, kẻ tấn công sẽ đổi lại token Old Cell thành token gốc của chuỗi đó để thu lợi.
8. Thực hiện lại thao tác di chuyển.

Tóm tắt và đề xuất

Khi thực hiện việc chuyển nhượng thanh khoản, cần xem xét tổng thể sự thay đổi số lượng hai loại token trong bể cũ và bể mới cũng như giá token hiện tại. Việc tính toán trực tiếp dựa trên số lượng của hai loại token trong cặp giao dịch dễ bị thao túng.

Ngoài ra, phía dự án nên thực hiện kiểm tra an ninh toàn diện trước khi mã được triển khai, để ngăn chặn sự xuất hiện của các lỗ hổng tương tự. Sự kiện này một lần nữa nhấn mạnh tầm quan trọng của việc thực hiện kiểm tra an ninh toàn diện trong các dự án Web3, đặc biệt là khi liên quan đến các hoạt động tài chính phức tạp.