Phân tích cuộc tấn công vào dự án hợp đồng WooPPV2 trên chuỗi Arbitrum

Hợp đồng WooPPV2 Có một chức năng hoán đổi trong Người dùng có thể gọi chức năng này để trao đổi token. Đây chủ yếu là trao đổi giữa USDC.e và Woo (phần sau được phân tích dựa trên trao đổi giữa USDC.e và Woo), trong đó chức năng The Biến quoteToken đại diện cho USDC.e.

hàm_sellQuote Logic của hàm _sellBase cũng tương tự, nó tính toán số lượng token cần trao đổi dựa trên giá, sau đó gửi token cho người gọi. _sellQuote là hàm được gọi khi người gọi sử dụng USDC.e để đổi mã thông báo Woo. Các chức năng chính là trạng thái và _calcBaseAmountSellQuote. state được sử dụng để trả về cấu trúc giúp tiết kiệm giá Woo. _calcBaseAmountSellQuote là phép tính của người dùng về số tiền trao đổi và số tiền mới giá cả.Chức năng.

Tiếp theo chúng ta xem xét Hàm _calcBaseAmountSellQuote logic triển khai, baseAmount là số tiền trao đổi được tính toán, logic chính là chia số tiền USDC.e cho giá của Woo để lấy số lượng Woo có thể trao đổi, sau đó tính giá mới sau khi trao đổi dựa trên giá hiện tại và số tiền trao đổi.

Hàm _sellBase và hàm _sellQuote giống nhau, ngoại trừ hàm _calcQuoteAmountSellBase hơi khác Logic chính là nhân số lượng Woo với giá Woo để có được số lượng USDC.e có thể trao đổi.

Theo logic trao đổi, chúng tôi có thể tìm thấy Một câu hỏi,Logic tính toán số lượng trao đổi này khác với mô hình sản phẩm không đổi của các giao dịch hoán đổi truyền thống như Uniswap. Mô hình này tính toán trực tiếp số lượng bằng cách nhân và chia dựa trên giá, do đó không có hiện tượng trượt giá trong quá trình trao đổi, nhưng giá sẽ thay đổi theo sự thay đổi. Nếu người gọi tính toán cẩn thận, anh ta có thể trích xuất các mã thông báo bên trong.

Ví dụ:

Nếu có ban đầu có 1.000 mã thông báo A và 1.000 mã thông báo B trong nhóm và giá của mã thông báo B là 1. Sau đó, nếu bạn sử dụng 500 mã thông báo A, bạn có thể đổi lấy mã thông báo 500 B. Tại thời điểm này, nhóm sẽ trở thành 1500:500 và giá mã thông báo B sẽ tăng, chẳng hạn như lên 2. Tiếp theo, sử dụng 500 mã thông báo B được trao đổi để đổi lấy 1.000 mã thông báo A. Nhóm cuối cùng trở thành 500: 1.000 và 500 mã thông báo A được rút ra từ không khí.

Trong sự cố này, kẻ tấn công đã sử dụng vấn đề bảo mật này. Hãy cùng xem kẻ tấn công thực hiện cuộc tấn công như thế nào.