Bonzo Lend mất 9 triệu USD do cập nhật giá oracle giả mạo
Điểm thất bại được mô tả là một verifier Supra chấp nhận một bản cập nhật giá bị thao túng, làm sống lại rủi ro về tính toàn vẹn của oracle cho các thị trường cho vay.
Bonzo Lend, một giao thức cho vay trên Hedera, được mô tả là chịu thiệt hại 9 triệu đô la sau khi một trình xác minh Supra chấp nhận một cập nhật giá bị thao túng. Cơ chế này chỉ ra một sự cố về tính toàn vẹn của oracle, nơi mà logic cho vay ở hạ nguồn có thể đã hoạt động dựa trên một mức giá không chính xác.
Điểm nổi bật chính
- Bonzo Lend hoạt động như một giao thức cho vay trong hệ sinh thái DeFi của Hedera.
- Sự cố này đã được mô tả là một khoản lỗ hoặc thiệt hại 9 triệu đô la.
- Một trình xác thực Supra chấp nhận một bản cập nhật giá bị thao túng đã được xác định là cơ chế cho phép.
Bonzo Lend báo cáo thiệt hại 9 triệu USD trên Hedera sau khi bị thao túng giá Oracle.
Bonzo Lend, một giao thức cho vay dựa trên Hedera, đã được mô tả là chịu thiệt hại 9 triệu đô la trong một sự cố liên quan đếnoracleđịnh giá. Cơ chế cụ thể duy nhất trong gói hiện tại là quen thuộc: một verifier Supra đã chấp nhận một bản cập nhật giá đã bị thao túng.
Chi tiết đó quan trọng hơn con số tiêu đề. Khi điểm thất bại nằm ở lớp xác minh, phạm vi ảnh hưởng hiếm khi chỉ giới hạn trong một dòng hợp đồng đơn lẻ hoặc một bể đơn lẻ. Đây là một vấn đề phụ thuộc, và các vấn đề phụ thuộc là nơi rủi ro cho vay DeFi có xu hướng tích lũy.
Điều nổi bật ở đây là có rất ít thông tin khác được xác định trong tài liệu hiện có. Không có thị trường bị ảnh hưởng nào được xác nhận, không có thông tin nào được xác định.tài sảngiá của nó đã bị thao túng, và không có bước khắc phục nào được xác nhận. Các nhà giao dịch bị gán nhãn mức độ nghiêm trọng cao và chỉ một manh mối quan trọng về nơi mà sự kiểm soát đã thất bại.
Cách một cập nhật giá bị thao túng có thể phá vỡ các kiểm soát rủi ro cho vay
Các giao thức cho vay chỉ bảo thủ như mức giá mà chúng áp dụng.Tài sản đảm bảocác yếu tố,thanh lýCác ngưỡng và giới hạn vay đều giả định rằng giá tham chiếu được gắn liền với thực tế. Nếu một giao thức tiếp nhận một mức giá sai, nó có thể trở nên "đúng" về mặt cơ học nhưng lại sai về mặt kinh tế.
Mô hình cổ điển rất đơn giản. Một mức giá bị thao túng có thể làm cho tài sản thế chấp trông có giá trị hơn thực tế, điều này có thể cho phép vay mượn không đủ tài sản thế chấp và rút giá trị. Cùng một loại biến dạng cũng có thể biến việc thanh lý từ một biện pháp kiểm soát rủi ro thành một bề mặt tấn công, nơi các vị thế bị thanh lý hoặc được bảo vệ dựa trên một tham chiếu sai.
Trong trường hợp này, điểm nghẽn được mô tả là một bộ xác minh. Trong các hệ thống oracle, một bộ xác minh thường là thành phần xác thực và chuyển tiếp các cập nhật giá vào môi trường mà "hợp đồng thông minh" có thể tiêu thụ chúng.
Nếu bộ xác minh đó chấp nhận các đầu vào bị thao túng, các giao thức hạ nguồn có thể thực hiện logic rủi ro trên các giá không chính xác mà không có bất kỳ "lỗi" nào trong toán học cho vay.Sự phân biệt đó không chỉ mang tính học thuật. Một lỗi hợp đồng thông minh thường là cụ thể cho giao thức. Vấn đề chấp nhận của bộ xác minh là một rủi ro phụ thuộc chung, và nó có xu hướng buộc mọi nhà tích hợp phải đặt cùng một câu hỏi vào cùng một thời điểm: chúng ta có bị phơi bày trước cùng một điều kiện chấp nhận không.Những gì chúng ta có thể và không thể xác minh từ báo cáo hiện tại
Đây là những gì có thể được coi là đã được xác nhận từ gói.
Bonzo Lend là một giao thức cho vay trên Hedera. Sự cố được mô tả là một khoản thiệt hại hoặc mất mát 9 triệu đô la. Cơ chế được mô tả liên quan đến một bộ xác minh Supra chấp nhận một cập nhật giá bị thao túng.
Mọi thứ mà các nhà giao dịch thường sử dụng để xác định mức độ phơi bày đều thiếu.
Gói không chỉ rõ giá của tài sản nào đã bị thao túng, thị trường hoặc pool nào bị ảnh hưởng, hoặc cách mà kẻ tấn công đã rút giá trị. Nó cũng không cung cấp các định danh trên chuỗi như địa chỉ kẻ tấn công hoặc băm giao dịch, điều này có nghĩa là việc xác minh độc lập và giám sát thời gian thực là không thể từ tài liệu được cung cấp.
Việc tính toán con số 9 triệu đô la cũng không rõ ràng. Gói không chỉ rõ liệu con số này đại diện cho các khoản lỗ đã thực hiện, quỹ bị rút, nợ xấu của giao thức, hay một ước tính sơ bộ. Sự phân biệt đó dẫn đến những kết quả thứ cấp rất khác nhau cho các nhà gửi tiền và cho bất kỳ người tham gia thị trường nào dựa vào khả năng thanh toán của giao thức.
Đây là một ví dụ về cách mà các vấn đề trong một giao thức có thể ảnh hưởng đến toàn bộ hệ sinh thái.
Việc thiếu thông tin chi tiết có thể dẫn đến sự không chắc chắn và rủi ro lớn cho các nhà đầu tư.
Cuối cùng, không có thông tin xác nhận nào về việc Bonzo Lend đã tạm dừng các thị trường, vô hiệu hóa việc vay mượn, điều chỉnh các yếu tố tài sản thế chấp, hoặc phối hợp phản ứng với Supra hoặc các thành viên khác trong hệ sinh thái Hedera. Trong các sự cố cho vay, những chi tiết vận hành đó thường quan trọng như con đường khai thác vì chúng xác định xem hệ thống vẫn hoạt động, hoạt động một phần, hay đã bị đóng băng hoàn toàn.
Xét về khoảng cách giữa mức độ nghiêm trọng được ngụ ý bởi “9 triệu đô la” và sự thiếu hụt thông tin cụ thể quan trọng đối với nhà giao dịch, tư thế đúng đắn là thận trọng nhưng không hoảng sợ. Thông tin không đầy đủ nhưng có mức độ nghiêm trọng cao chính là nơi mà những quyết định sai lầm được đưa ra.
Kiểm tra Rủi Ro Ngay Lập Tức cho Người Gửi và Người Vay trên Thị Trường Cho Vay Hedera
Cho đến khi Bonzo Lend công bố các chi tiết cụ thể, trọng tâm thực tiễn là những tín hiệu thu hẹp sự không chắc chắn.
Đầu tiên, hãy theo dõi bất kỳ tuyên bố nào làm rõ liệu các thị trường có bị tạm dừng, việc vay mượn có bị vô hiệu hóa, hoặc các yếu tố tài sản thế chấp có bị thay đổi sau sự cố hay không. Những hành động đó là cách nhanh nhất để suy luận xem giao thức có tin rằng vector khai thác đã được kiểm soát hay vẫn còn hoạt động.
Thứ hai, thị trường cần một báo cáo sau sự cố xác định tài sản hoặc thị trường bị thao túng và con đường khai thác chính xác, cho dù đó là vay và rút tiền, thao túng thanh lý, hay một con đường khai thác khác. Địa chỉ trên chuỗi và băm giao dịch không phải là tùy chọn cho việc đánh giá rủi ro nghiêm trọng.
Nếu không có chúng, các nhà giao dịch không thể lập bản đồ dòng chảy, xác định các bên đối tác, hoặc xác định xem liệu các khoản lỗ có còn đang tiếp diễn hay không.
Thứ ba, bất kỳ cập nhật nào từ Supra hoặc các phản ứng trong hệ sinh thái Hedera về các thay đổi cấu hình xác minh hoặc oracle sẽ có ý nghĩa ngoài Bonzo Lend. Nếu vấn đề thực sự là “cập nhật giá bị thao túng được xác minh”, các giao thức khác sử dụng cùng một con đường xác minh cần biết liệu họ có bị phơi bày trước điều kiện chấp nhận tương tự hay không.
Thứ tư, sự làm rõ về việc 9 triệu đô la đại diện cho điều gì sẽ định hình cách mà thị trường định giá thiệt hại. Các khoản lỗ thực tế, nợ xấu của giao thức, và các ước tính sơ bộ đều ngụ ý các khung thời gian khác nhau và các cơ chế phục hồi khác nhau.
Xác Minh Oracle Là Điểm Nghẽn Mà Các Nhà Giao Dịch Nên Kiểm Tra
Tôi đang coi đây là một sự cố về tính toàn vẹn của oracle trước tiên và một sự cố cụ thể của Bonzo sau, vì cơ chế duy nhất mà chúng ta có là một xác minh chấp nhận cập nhật giá bị thao túng. Đó là cấu trúc cổ điển mà logic cho vay hạ nguồn thực hiện chính xác những gì nó được lập trình để làm, và kẻ tấn công thu lợi vì đầu vào là sai.
Có hai kịch bản quan trọng từ đây.
Kịch bản đầu tiên là kiểm soát. Bonzo Lend xác nhận rằng các thị trường đã bị tạm dừng hoặc việc vay mượn đã bị vô hiệu hóa nhanh chóng, công bố tài sản bị ảnh hưởng và đường dẫn khai thác, và Supra hoặc các phản ứng của hệ sinh thái mô tả một xác minh cụ thể hoặc thay đổi cấu hình ngăn chặn điều kiện chấp nhận tương tự.
Các điểm xác nhận là rõ ràng: thị trường được đặt tên, tài sản được đặt tên, các định danh trên chuỗi, và một mô tả khắc phục liên quan trực tiếp đến sự thất bại trong việc chấp nhận xác minh. Nếu những điều đó xuất hiện, sự cố vẫn xấu nhưng có giới hạn, và bài học chính cho các nhà giao dịch là lập bản đồ phụ thuộc, không phải rủi ro giao thức tồn tại.
Kịch bản thứ hai là phơi bày rộng hơn. Bài báo sau khi sự cố tiết lộ rằng vấn đề chấp nhận xác minh không phải là một sai lầm tích hợp đơn lẻ, mà là một con đường mà các địa điểm DeFi khác của Hedera cũng dựa vào. Điểm xác nhận là đơn giản: các giao thức khác công nhận sự phơi bày chung hoặc thực hiện các thay đổi khẩn cấp đối với cùng một cấu hình xác minh. Nếu điều đó xảy ra, tác động thứ cấp không chỉ là con số thua lỗ của Bonzo.
Đó là sự phân mảnh thanh khoản trên các thị trường cho vay của Hedera khi các bên tham gia định giá lại rủi ro oracle và rút vốn cho đến khi các giả định xác minh được xây dựng lại.
Điểm vô hiệu hóa cho luận thuyết "phụ thuộc chung" sẽ là một phát hiện rõ ràng rằng vấn đề chỉ giới hạn ở tích hợp cụ thể của Bonzo Lend, không có điểm yếu chấp nhận xác minh rộng hơn cho các nhà tích hợp khác. Nếu đó là những gì mà các chi tiết kỹ thuật cho thấy, điều này trở thành một thất bại ở cấp độ giao thức thay vì một vấn đề xác minh oracle ở cấp độ hệ sinh thái.
Dù sao đi nữa, luận thuyết cốt lõi đứng vững hoặc sụp đổ dựa vào một điều: liệu các chi tiết kỹ thuật sắp tới có chứng minh rằng một xác minh đã chấp nhận một bản cập nhật giá bị thao túng theo cách mà các giao thức khác cũng có thể đã chấp nhận hay không.
