Câu trả lờiĐã xuất bản20 nguồn
Lỗ hổng Notional Finance V1 biến khoản nợ 2^128 thành 0 như thế nào
Theo báo cáo, hai lệnh gọi mintfCashPair() đã tạo khoản nợ fCash ở ngưỡng 2^128; phép chuyển đổi uint128 không an toàn đã khiến nó thành 0 trong bước định giá tài sản thế chấp. Khoảng 69.257 DAI và 1.650.824 USDC được cho là đã rời khỏi escrow, sau đó đổi thành khoảng 689,2 ETH và được gửi vào Tornado Cash.
Đăng bởiBiên tập bằng GPT-5.6 TerraHình ảnh được tạo bằng GPT Image 2
Câu trả lời nghiên cứu
Bài học chính
- Theo báo cáo, hai lệnh gọi mintfCashPair() đã tạo khoản nợ fCash ở ngưỡng 2^128; phép chuyển đổi uint128 không an toàn đã khiến nó thành 0 trong bước định giá tài sản thế chấp.
- Khoảng 69.257 DAI và 1.650.824 USDC được cho là đã rời khỏi escrow, sau đó đổi thành khoảng 689,2 ETH và được gửi vào Tornado Cash.
- Sự việc nhấn mạnh rằng hợp đồng DeFi cũ vẫn là bề mặt tấn công tài chính thực sự nếu còn nắm giữ tài sản hoặc vẫn tham gia các luồng đúc token, tất toán, tính thế chấp và rút tiền.
Prompt AI
openai.comCreate a landscape editorial hero image for this Studio Global article: How did an attacker exploit an unsafe uint128 downcast/integer-overflow flaw in Notional Finance’s legacy Ethereum V1 escrow contract on Sep. Article summary: The reported exploit abused a legacy V1 accounting path: the attacker created an fCash liability at the `2^128` boundary, then an unsafe cast to `uint128` truncated that liability to zero during free-collateral valuation. Topic tags: general, general web, user generated, government, documentation. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text,
Đây không phải dạng sự cố thiếu tài sản thế chấp thông thường. Theo tái dựng ban đầu từ hoạt động on-chain và các nhà nghiên cứu bảo mật, điểm yếu nằm ở sai lệch hạch toán: một khoản nợ fCash cực lớn được tạo đúng tại ngưỡng 2^128, rồi bị thu hẹp về kiểu uint128 thành giá trị 0 khi giao thức tính tài sản thế chấp tự do (free collateral). Khi khoản nợ bị ghi nhận là 0 tại bước kiểm tra then chốt, tài khoản có thể trông như vẫn đủ khả năng thanh toán và rút tài sản lẽ ra không thể rút. 4
16
Các chi tiết kỹ thuật hiện là tái dựng công khai, chưa phải báo cáo hậu kiểm chính thức từ Notional. Dòng tiền trên blockchain có thể quan sát được, nhưng trình tự gọi hàm đầy đủ, tổng thiệt hại cuối cùng và biện pháp khắc phục chưa được xác nhận trong các báo cáo có sẵn vào thời điểm đó. 3
4
Khoản nợ khổng lồ bị tính thành bằng 0
Trong Notional V1, fCash là token biểu thị nghĩa vụ tiền mặt trong tương lai. CertiK cho biết kẻ tấn công đã dùng hai lệnh gọi mintfCashPair() để tạo khoản nợ -2^128. Trong quá trình định giá free collateral, một phép chuyển đổi không an toàn sang uint128 được cho là đã cắt cụt giá trị này thành 0. 16
Có thể hình dung chuỗi khai thác được báo cáo theo bốn bước:
- Tạo vị thế fCash âm cực lớn: Kẻ tấn công tạo khoản nợ đúng kích thước mà khi thu hẹp về số nguyên không dấu 128 bit, biểu diễn khoản nợ có thể bị loại bỏ.
4
16
- Kích hoạt bước định giá tài sản thế chấp: Hệ thống escrow được cho là chuyển đổi khoản nợ bằng phép downcast
uint128không an toàn. - Khoản nợ biến mất trong phép kiểm tra: Thay vì phản ánh nghĩa vụ âm cực lớn, phép tính coi giá trị này là 0.
6
- Vượt qua cổng rút tiền: Do khoản nợ không còn xuất hiện trong phép tính free collateral, tài khoản có thể đáp ứng điều kiện để rút stablecoin thanh khoản trong escrow.
Vì vậy, nên xem đây chủ yếu là lỗi chuyển đổi kiểu dữ liệu thu hẹp và vi phạm bất biến hạch toán, thay vì chỉ gọi chung là “tràn số nguyên”. Hệ quả then chốt được báo cáo là một nghĩa vụ âm bị biến thành 0 ngay trong luồng định giá có nhiệm vụ ngăn rút tiền khi tài khoản không đủ thế chấp. 4
16
Khoản tiền nào được cho là đã bị rút?
Theo các báo cáo on-chain, số tài sản rời khỏi escrow gồm khoảng 69.257 DAI và 1.650.824 USDC, tổng trị giá khoảng 1,728 triệu USD. Số tiền này được cho là đã hoán đổi thành khoảng 689,2 ETH, rồi nạp vào Tornado Cash. 2
15
Hợp đồng được nêu trong các báo cáo là escrow của Notional Finance tại địa chỉ 0x9abd0b8868546105F6F48298eaDC1D9c82f7f683. Một báo cáo ghi nhận giao dịch chuẩn bị từ địa chỉ có đuôi Ce38 lúc 23:58:47 UTC ngày 3/9/2026; khoảng ba phút sau là giao dịch rút tiền, được xác nhận vào rạng sáng 4/9. 17
23
Các nhà điều tra công khai liên hệ hai địa chỉ Ethereum với các đợt chuyển tiền:
0xC954…De690xDaCC…Ce38
Đây là nhãn liên hệ trong điều tra on-chain, không phải kết luận xác định danh tính của một cá nhân, tổ chức hay chủ thể kiểm soát cuối cùng. 11
Vì sao tuyến chuyển sang ETH làm việc thu hồi khó hơn?
DAI và USDC ban đầu để lại dấu vết chuyển tiền rõ ràng trên Ethereum. Tuy nhiên, sau khi đổi thành ETH, tài sản đã chuyển sang dạng khác và bị phân tán theo luồng giao dịch ETH. Việc nạp ETH vào Tornado Cash tiếp tục bổ sung lớp riêng tư nhằm che khuất nguồn, đích và đối tác của giao dịch. 2
29
Điều đó không có nghĩa phân tích blockchain là bất khả thi, cũng không chứng minh ai kiểm soát các khoản rút sau này. Nhưng dấu vết trực tiếp theo từng tài sản, từ escrow bị khai thác đến người nhận về sau, trở nên khó theo dõi đáng kể khi tiền đi qua một mixer. 29
Những điểm vẫn chưa rõ
Tại thời điểm các báo cáo được công bố, Notional chưa đưa ra phản hồi sự cố chính thức. Vì vậy, một số vấn đề quan trọng vẫn bỏ ngỏ:
- nguyên nhân kỹ thuật cuối cùng và toàn bộ chuỗi gọi hàm khai thác;
- liệu các giao dịch được báo cáo có bao quát toàn bộ hợp đồng, tài khoản và tài sản bị ảnh hưởng hay không;
- thiệt hại cuối cùng sau hoán đổi, phí và các giao dịch tiếp theo;
- khả năng tạm dừng, nâng cấp, bồi hoàn hoặc thu hồi tài sản; và
- danh tính kẻ tấn công, cũng như liệu các ví được gắn nhãn có phải toàn bộ các ví cùng do một chủ thể kiểm soát hay không.
3
11
Do đó, nguyên nhân được nêu cần được coi là một tái dựng sơ bộ có cơ sở mạnh, không thay thế cho báo cáo hậu kiểm đã được kiểm toán hoặc thông báo chính thức từ giao thức.
Bài học bảo mật từ hợp đồng DeFi cũ
Một hợp đồng cũ không tự nhiên trở thành ít rủi ro chỉ vì không còn là trọng tâm trong lộ trình sản phẩm. Nếu nó vẫn lưu ký tài sản hoặc còn quyền tham gia các luồng đúc token, tất toán, tính thế chấp hay rút tiền, nó vẫn là một bề mặt tấn công tài chính đang hoạt động.
Các nhóm phát triển giao thức nên đồng thời kiểm tra những điểm sau:
- dùng phép chuyển đổi kiểu thu hẹp có kiểm tra và từ chối rõ ràng các giá trị không thể biểu diễn an toàn;
- kiểm thử tính toán nợ có dấu, tất toán và tài sản thế chấp tại các ngưỡng số học như
2^128; - mã hóa các quy tắc về khả năng thanh toán và bảo toàn tài sản thành bất biến, rồi kiểm thử chúng qua chuỗi nhiều lệnh gọi;
- xem xét liệu các đường gọi đặc quyền hoặc bất thường có thể kết hợp việc đúc token, tất toán và rút tiền theo thứ tự ngoài dự kiến hay không; và
- giới hạn người gọi cùng luồng gọi ở mọi hàm không an toàn khi bị dùng ngoài ngữ cảnh thiết kế.
Mô thức rộng hơn của DeFi vẫn quen thuộc: một lỗi nhỏ về biểu diễn dữ liệu hoặc phân quyền có thể dẫn tới mất toàn bộ tài sản nếu nó chạm vào luồng rút tiền đang giữ thanh khoản. Phòng thủ không chỉ là kiểm toán từng hàm riêng lẻ, mà là chứng minh các bất biến hạch toán của hệ thống vẫn đúng với mọi chuỗi lệnh gọi có thể xảy ra.
Studio Global AI
Tiếp tục nghiên cứu của bạn
Trang này bao gồm câu trả lời dựa trên nguồn mà bạn có thể tiếp tục bên trong Studio Global.
Người ta cũng hỏi
Câu trả lời ngắn gọn cho "Lỗ hổng Notional Finance V1 biến khoản nợ 2^128 thành 0 như thế nào" là gì?
Theo báo cáo, hai lệnh gọi mintfCashPair() đã tạo khoản nợ fCash ở ngưỡng 2^128; phép chuyển đổi uint128 không an toàn đã khiến nó thành 0 trong bước định giá tài sản thế chấp.
Những điểm chính cần xác nhận đầu tiên là gì?
Theo báo cáo, hai lệnh gọi mintfCashPair() đã tạo khoản nợ fCash ở ngưỡng 2^128; phép chuyển đổi uint128 không an toàn đã khiến nó thành 0 trong bước định giá tài sản thế chấp. Khoảng 69.257 DAI và 1.650.824 USDC được cho là đã rời khỏi escrow, sau đó đổi thành khoảng 689,2 ETH và được gửi vào Tornado Cash.
Tôi nên làm gì tiếp theo trong thực tế?
Sự việc nhấn mạnh rằng hợp đồng DeFi cũ vẫn là bề mặt tấn công tài chính thực sự nếu còn nắm giữ tài sản hoặc vẫn tham gia các luồng đúc token, tất toán, tính thế chấp và rút tiền.