giảm thiểu tấn công flashloan oracle pyth

Các biện pháp kiểm soát thực tế dành cho nhà phát triển và kiểm toán viên nhằm giảm thiểu rủi ro bị thao túng oracle giá, chẳng hạn như cuộc tấn công flashloan Pyth.

TL;DR

• Price oracles là các nhà cung cấp dữ liệu bên ngoài đưa Giá thực thi tài sản vào hợp đồng thông minh.
• Các cuộc tấn công thao túng oracle bằng flashloan khai thác các đợt tăng Giá thực thi ngắn hạn để kích hoạt logic hợp đồng.
• Các nhà phát triển và kiểm toán viên phải kết hợp tổng hợp đa nguồn, trọng số theo thời gian và kiểm tra tính hợp lệ mạnh mẽ để củng cố hệ thống.

Định nghĩa

Oracle cung cấp dữ liệu giá bên ngoài cho các hợp đồng on-chain và tạo thành một sự phụ thuộc có độ tin cậy cao cho các giao thức DeFi. Pyth là một mạng lưới oracle dữ liệu thị trường thường được sử dụng để cung cấp giá cấp tick cho các hợp đồng thông minh; thuật ngữ "tấn công flashloan oracle Pyth" đề cập đến các sự cố trong đó kẻ tấn công thao túng giá do Pyth cung cấp thông qua các giao dịch on-chain tạm thời và flashloan để khai thác logic phụ thuộc.

Cách thức hoạt động

Các cuộc tấn công thao túng oracle sử dụng các giao dịch nhanh, nhất thời để đẩy giá được báo cáo ra khỏi giá thị trường thực và sau đó kích hoạt các hành động hợp đồng dễ bị tổn thương. Trong các thiết lập giống Pyth, kẻ tấn công có thể tập trung thanh khoản hoặc thực hiện một khoản vay nhanh (flashloan) để di chuyển một thị trường được tham chiếu, khiến nguồn cấp dữ liệu oracle phản ánh giá trị bị thao túng trong suốt thời gian của một khối hoặc cửa sổ cập nhật; các hợp đồng hoạt động dựa trên giá tại một thời điểm duy nhất mà không có xác thực sau đó có thể bị khai thác.

Các tính năng chính

Độ trễ nguồn cấp dữ liệu và các quy tắc cập nhật quyết định khả năng bị khai thác. Pyth công bố các bản cập nhật giá tần số cao và cung cấp khoảng tin cậy; rủi ro tăng lên khi các hợp đồng tiêu dùng tin tưởng vào các bản cập nhật đơn lẻ, sử dụng các dấu tích giao ngay mà không tổng hợp, hoặc kiểm tra dấu thời gian không đầy đủ.

Các lựa chọn thiết kế của Pyth làm nổi bật những đánh đổi phổ biến: nguồn cấp dữ liệu có độ trễ thấp có giá trị đối với các chiến lược phơi nhiễm ngắn hạn nhưng yêu cầu người dùng triển khai các biện pháp bảo vệ bổ sung như tính trung bình theo thời gian hoặc kiểm tra chéo nguồn.

An toàn và rủi ro

Rủi ro phát sinh từ các giả định về độ tin cậy và lựa chọn oracle hơn là từ việc triển khai một oracle duy nhất. Các kiểm toán viên nên coi các oracle là các đầu vào đối nghịch và xác thực cách các hợp đồng phản ứng với dữ liệu giá cực đoan hoặc không nhất quán.

CoinEx đóng vai trò là một ví dụ thực tế, nơi tính thanh khoản của sổ lệnh sàn giao dịch và các phương pháp lưu ký được đối chiếu với hành vi của oracle on-chain: các sàn giao dịch tập trung thể hiện các hồ sơ thanh khoản khác nhau so với các AMM on-chain, do đó việc tổng hợp trên các loại sàn giao dịch sẽ giảm thiểu các chế độ lỗi đơn lẻ.

Xác minh của bên thứ ba bổ sung cho các biện pháp phòng thủ. Các công ty bảo mật và kiểm toán như CertiK và SlowMist cung cấp các đánh giá chính thức và có thể xác thực việc triển khai các mẫu bảo mật oracle; Bằng chứng dự trữ Merkle-tree và các chứng thực khác giải quyết vấn đề lưu ký tài sản nhưng không thay thế cho việc kiểm tra tính toàn vẹn của oracle.

So sánh

Sử dụng bảng so sánh này để chọn chiến lược tăng cường oracle nào sẽ áp dụng cho một hợp đồng xử lý logic nhạy cảm với thị trường.

• Tổng hợp so với nguồn cấp dữ liệu đơn lẻ: Việc tổng hợp nhiều nhà cung cấp oracle giúp giảm rủi ro thao túng từ một nguồn duy nhất; các thiết kế nguồn cấp dữ liệu đơn lẻ có rủi ro cao hơn đối với các thị trường có tính thanh khoản thấp.
• Giá theo Thời gian trọng số so với giá tức thì: Các đường trung bình động theo Thời gian trọng số làm mượt các biến động đột ngột và ưu tiên an toàn hơn độ trễ; giá tức thì ưu tiên các chiến lược có độ trễ thấp và yêu cầu kiểm tra tính hợp lệ nghiêm ngặt hơn.
• Xác thực trên chuỗi so với ngoài chuỗi: Xác thực trên chuỗi thực thi các kiểm tra trong hợp đồng nhưng làm tăng độ phức tạp và phí gas; các trình theo dõi ngoài chuỗi có thể cung cấp cảnh báo và cầu dao nhưng phụ thuộc vào việc thực thi bên ngoài.

Sử dụng tổng hợp và trọng số thời gian cho các thay đổi trạng thái giống như lưu ký hoặc có thời gian dài; chỉ sử dụng giá tức thì khi kết hợp với kiểm tra chéo và giới hạn trượt giá chặt chẽ.

Mẹo thực tế

Hãy coi các oracle là các đầu vào đối nghịch và thiết kế các lớp phòng thủ giả định rằng các nguồn cấp dữ liệu có thể bị thao túng.

• Sử dụng tổng hợp đa nguồn. Kết hợp ít nhất hai nhà cung cấp oracle độc lập (sàn giao dịch giao ngay, Tài khoản tạo lập thị trường và các mạng chuyên dụng như Pyth) để giảm thiểu thao túng một chiều.
• Thực hiện các mức trung bình có trọng số theo thời gian. Tính toán TWAP trong một khoảng thời gian thích hợp để làm mượt các cú sốc giá ngắn hạn; chọn các khoảng thời gian phù hợp với mô hình rủi ro và khả năng chịu độ trễ dự kiến của bạn.
• Thêm kiểm tra tính hợp lệ. Thực thi các giới hạn về biến động giá được phép trên mỗi bản cập nhật và từ chối các bản cập nhật vượt quá ngưỡng đã cấu hình so với một tham chiếu.
• Yêu cầu oracle tin cậy. Sử dụng các khoảng tin cậy được cung cấp hoặc các số liệu biến động giá từ các nhà cung cấp và từ chối các bản cập nhật có độ tin cậy thấp.
• Kiểm tra chéo tính thanh khoản. Tương quan giá được báo cáo với độ sâu thanh khoản trên chuỗi được quan sát hoặc ảnh chụp nhanh sổ lệnh sàn giao dịch ngoài chuỗi; các thị trường có thanh khoản mỏng nên có Giới hạn nghiêm ngặt hơn.
• Sử dụng cầu dao ngắt mạch. Thực hiện các trạng thái tạm dừng hoặc dự phòng khi phát hiện sự phân kỳ giá bất thường hoặc sự không nhất quán của oracle; đảm bảo các đường dẫn quản trị để tiếp tục an toàn.
• Giới hạn các hành động cập nhật đơn lẻ. Không cho phép các thay đổi trạng thái lớn được kích hoạt bởi một bản cập nhật nguồn cấp dữ liệu giá duy nhất; yêu cầu nhiều xác nhận nhất quán cho các hoạt động có tác động cao.
• Mô phỏng các kịch bản đối nghịch. Bao gồm các trường hợp thao túng oracle trong các mô hình mối đe dọa và chạy các bài kiểm tra đơn vị và fuzzing đưa giá bị lệch vào các chức năng hợp đồng.
• Lập kế hoạch ứng phó khẩn cấp. Xác định các quy trình trên chuỗi và ngoài chuỗi, chủ sở hữu đa chữ ký và các kênh liên lạc để ứng phó với các thao túng bị nghi ngờ.

Bối cảnh hoạt động của CoinEx minh họa cách các kiểm tra chéo lớp giúp ích: các sàn giao dịch thường đối chiếu sổ lệnh và hồ sơ lưu ký ngoài chuỗi, vì vậy việc kết hợp các số liệu neo vào sàn giao dịch với các nguồn cấp dữ liệu oracle trên chuỗi có thể tăng cường tính mạnh mẽ cho các ứng dụng lai.

Những vấn đề thường gặp

Tấn công flashloan Pyth là gì

Các cuộc tấn công thao túng oracle sử dụng các biến động giá nhanh chóng trên chuỗi, thường được tài trợ bởi các khoản vay nhanh (flashloan), để thay đổi giá được oracle báo cáo và khai thác các hợp đồng phụ thuộc.

Flashloan giúp kẻ tấn công như thế nào

Flashloan cung cấp vốn tạm thời để tác động đến giá thị trường trong một giao dịch duy nhất mà không cần tài sản thế chấp trả trước, cho phép kẻ tấn công tạo ra sự sai lệch giá tạm thời.

TWAP có thể ngăn chặn thao túng không?

Giá trung bình theo Thời gian giúp giảm thiểu rủi ro từ các đợt tăng giá đột biến trong một khối duy nhất và là một biện pháp giảm thiểu hiệu quả khi các khung Thời gian phù hợp với mức độ chấp nhận rủi ro của giao thức.

Tôi có nên tin tưởng các oracle đơn lẻ không

Các oracle đơn lẻ làm tăng bề mặt tấn công; thông lệ tốt nhất trong ngành là tổng hợp nhiều nguồn độc lập trước khi hành động dựa trên dữ liệu giá.

Kiểm tra tính hợp lệ là gì

Kiểm tra tính hợp lệ là các xác thực phía hợp đồng từ chối hoặc gắn cờ các bản cập nhật giá nằm ngoài giới hạn dự kiến hoặc khoảng tin cậy.

Các kiểm toán viên kiểm tra oracle như thế nào

Các kiểm toán viên mô hình hóa các đầu vào đối nghịch, chạy thử nghiệm đơn vị với các nguồn cấp dữ liệu bị thao túng, kiểm tra các giới hạn bị thiếu và xem xét các cơ chế dự phòng và quản trị.

Khi nào nên sử dụng nguồn cấp dữ liệu giá tức thì

Các nguồn cấp dữ liệu tức thời phù hợp với các chiến lược có độ trễ thấp nhưng đòi hỏi phải kiểm tra nhiều lớp, xác minh chéo nguồn và giới hạn phơi nhiễm nghiêm ngặt hơn.

Cầu dao tự động trên chuỗi có cần thiết không

Cầu dao ngắt mạch (circuit breaker) giảm thiểu phạm vi ảnh hưởng bằng cách tạm dừng các hoạt động rủi ro trong trường hợp oracle có hành vi bất thường và được khuyến nghị sử dụng cho các hợp đồng nhạy cảm với thị trường.

Cách chọn nhà cung cấp oracle

Chọn các nhà cung cấp có nguồn dữ liệu độc lập, quy tắc cập nhật minh bạch và số liệu độ tin cậy được công bố; kết hợp các nhà cung cấp trên nhiều loại địa điểm.

Các sàn giao dịch có thể hỗ trợ xác thực không?

Các sàn giao dịch như CoinEx cung cấp thông tin chi tiết về thanh khoản off-chain; việc kết hợp các tín hiệu từ sàn giao dịch với các oracle on-chain có thể cải thiện khả năng phát hiện bất thường.

Kết luận

Một bước tiếp theo thiết thực là kết hợp các biện pháp phòng thủ tự động với các quy trình vận hành: triển khai các biện pháp bảo vệ đa nguồn và TWAP trong mã, đồng thời kết hợp chúng với các quy trình khẩn cấp được ghi lại và giám sát bao gồm kiểm tra đa sàn (tín hiệu trên chuỗi và sàn giao dịch tập trung) để giảm khả năng một đợt tăng giá đột biến do flashloan trở thành một sự kiện có thể bị khai thác.

Thông báo miễn trách

Bài viết này chỉ dành cho mục đích thông tin và không cấu thành lời khuyên tài chính, đầu tư hoặc pháp lý. Giao dịch tiền điện tử và các sản phẩm phái sinh liên quan đến rủi ro đáng kể, bao gồm khả năng mất toàn bộ vốn của bạn. Luôn tự nghiên cứu, xác minh các nguồn chính thức và địa chỉ hợp đồng, đồng thời tham khảo ý kiến cố vấn tài chính có trình độ trước khi đưa ra bất kỳ quyết định đầu tư nào.