Vượt qua lỗi mã: Kiểm toán kinh tế và An ninh giao thức DeFi

Trung cấp11/26/2024, 4:24:01 AM
Bài viết này đi sâu vào những thách thức về an ninh của giao thức DeFi, đặc biệt là sự phân biệt giữa kiểm tra kỹ thuật và kinh tế. Trong khi kiểm tra kỹ thuật tập trung vào tính toàn vẹn mã và lỗi, kiểm tra kinh tế đề cập đến những yếu tố rộng lớn như biến động thị trường, lỗ hổng quản trị và khủng hoảng thanh khoản ảnh hưởng đến sự ổn định của giao thức.

Các lỗ hổng bảo mật trong các giao thức DeFi không chỉ xuất phát từ các lỗi mã hoặc tấn công mạng mà còn từ các yếu tố kinh tế bên ngoài như biến động thị trường, sự thao túng quản trị và khủng hoảng thanh khoản. Trong khi các cuộc kiểm tra kỹ thuật truyền thống tập trung vào đảm bảo mã hoạt động như dự định, thường bỏ qua sự ảnh hưởng của các điều kiện kinh tế bên ngoài như căng thẳng hoặc thao túng thị trường đến sự ổn định của một giao thức.

Kiểm toán kỹ thuật nhằm xác minh rằng mã nguồn chạy như dự kiến ​​và không chứa lỗi có thể tận dụng. Tuy nhiên, phạm vi của chúng thường chỉ giới hạn trong việc phân tích giao thức mà không xem xét môi trường kinh tế rộng hơn hoặc cách các giao thức phụ thuộc vào nhau có thể mang đến rủi ro bổ sung.

Kiểm toán kinh tế là gì?

Các kiểm toán kinh tế vượt xa phạm vi kỹ thuật của việc xác minh tính toàn vẹn của mã. Trong khi kiểm toán kỹ thuật tập trung vào phát hiện lỗi hoặc lỗ hổng trong mã, kiểm toán kinh tế mô phỏng điều kiện thị trường thực tế và tiến hành các bài kiểm tra căng thẳng để đánh giá tính chịu đựng của giao thức dưới các kịch bản kinh tế khác nhau.

Kiểm toán kinh tế nhấn mạnh việc hiểu động lực kinh tế nội bộ của các giao thức DeFi và cách các yếu tố bên ngoài — chẳng hạn như biến động thị trường, khủng hoảng thanh khoản và thao túng quản trị — có thể khai thác các lỗ hổng.

Các khía cạnh chính của kiểm toán kinh tế bao gồm mô phỏng các kịch bản như biến động giá cả cực đoan, sự chuyển động của thanh khoản và thay đổi trong hành vi người dùng. Họ cũng kiểm tra cấu trúc quản trị, vì các hệ thống thiết kế kém cỏi có thể cho phép các bên tấn công độc hại kiểm soát, như được chứng minh trong các sự cố như vụ hack Beanstalk.

Ngoài ra, kiểm toán kinh tế kiểm tra các cấu trúc khuyến khích để đảm bảo chúng thúc đẩy sự tham gia lành mạnh và ngăn chặn các hành động độc hại. Các ưu đãi được thiết kế kém có thể dẫn đến bóc lột hoặc mất ổn định. Kiểm toán kinh tế cũng xem xét các tác động gợn sóng của các cuộc tấn công vào các giao thức riêng lẻ trong hệ sinh thái DeFi được kết nối với nhau, nơi các lỗi có thể xếp tầng và gây ra sự gián đoạn trên diện rộng.

Các cuộc kiểm toán này đánh giá cách một cuộc tấn công duy nhất có thể kích hoạt phản ứng dây chuyền, tương tự như cách khủng hoảng tài chính lan rộng ở các thị trường truyền thống. Với bản chất kết nối với nhau của DeFi, những thất bại xếp tầng như vậy gây ra rủi ro đáng kể, với sự sụp đổ của một giao thức có khả năng ảnh hưởng đến tính thanh khoản, giá cả và quản trị trên các giao thức khác.

Cuối cùng, kiểm toán kinh tế đánh giá xem các tham số rủi ro của một giao thức có được điều chỉnh tốt để xử lý căng thẳng và gian lận hay không. Chúng cung cấp một khung bảo mật toàn diện, xác định các lỗ hổng mà chỉ kiểm toán kỹ thuật đơn thuần không thể phát hiện được, để bảo vệ hệ sinh thái DeFi tốt hơn.

Kiểm toán kỹ thuật so với kiểm toán kinh tế

Cả kiểm tra kỹ thuật và kinh tế đều cần thiết, nhưng chúng phục vụ mục đích riêng biệt và không thể thay thế lẫn nhau.

Các Hoạt Động Nguyên Tử so với Các Hoạt Động Phức Tạp, Phụ Thuộc Bên Ngoài

  • Kiểm toán kỹ thuật: Tập trung đảm bảo rằng mã nguồn thực hiện các hoạt động nguyên tử - nơi các nhiệm vụ hoàn toàn hoàn thành hoặc thất bại - giảm thiểu các rủi ro liên quan đến lỗi thực thi một phần. Những kiểm toán này đánh giá logic mã nguồn cụ thể để xác minh rằng nó hoạt động như dự định và không có lỗi hoặc lỗ hổng.
  • Kiểm toán kinh tế: Giải quyết các mối quan tâm rộng lớn hơn ngoài việc thực thi mã, tập trung vào các yếu tố kinh tế bên ngoài như thanh khoản, giá cả thị trường và các quyết định quản trị. Bằng cách mô phỏng các điều kiện này, kiểm toán kinh tế đánh giá cách các yếu tố này có thể khai thác lỗ hổng hoặc tạo ra rủi ro cho giao thức.

Lỗi cấp mã nguồn so với khả năng khai thác rộng hơn

  • Kiểm định Kỹ thuật: Chủ yếu nhận diện các lỗi cấp mã nguồn mà kẻ tấn công có thể tận dụng, chẳng hạn như các chức năng không được bảo mật có thể cho phép truy cập trái phép vào quỹ hoặc thao tác thay đổi các tham số chính.
  • Kiểm toán kinh tế: Xem xét cách điều kiện kinh tế như lỗ hổng quản trị hoặc thao tác thị trường có thể tiết lộ giao thức cho các cuộc tấn công. Hệ thống quản trị thiết kế kém có thể cho phép các vụ chiếm đóng thù địch hoặc thao tác giá, gây ra những đột biến nghiêm trọng.

Phạm vi Nội vs. Phạm vi Ngoại

  • Kiểm định Kỹ thuật: Giới hạn trong việc xem xét các hoạt động nội bộ và cơ sở mã nguồn của giao thức, tập trung vào việc sửa các lỗi kỹ thuật và đảm bảo tính hoạt động.
  • Kiểm toán Kinh tế: Bao gồm phạm vi rộng hơn, phân tích cách các giao thức tương tác với hệ sinh thái DeFi tổng thể, bao gồm thanh khoản, phụ thuộc vào token, cấu trúc quản trị và điều kiện thị trường. Tiếp cận rộng hơn này đảm bảo hiểu rõ hơn về những rủi ro trong các hệ sinh thái động và liên kết.

Các lỗ hổng thực tế so với bảo mật cấp mã nguồn

  • Kiểm định Kỹ thuật: Đảm bảo sự vắng mặt của các lỗi cụ thể, như vấn đề tái nhập hoặc lỗi toán học, giúp mã nguồn an toàn trong môi trường kiểm soát.
  • Kiểm toán kinh tế: Mô phỏng các kịch bản trong thế giới thực trong đó áp lực bên ngoài - chẳng hạn như thao túng giá hoặc tấn công quản trị - có thể phơi bày các lỗ hổng. Các thử nghiệm này đảm bảo giao thức vẫn mạnh mẽ ngay cả trong những thách thức như vậy.

Sự khác biệt về Phạm vi Kiểm toán

  • Kiểm tra kỹ thuật: Thông thường chỉ giới hạn trong hoạt động nội bộ và mã nguồn của giao thức. Các kiểm tra này tập trung vào xem xét hợp đồng thông minh để đảm bảo chúng hoạt động như dự định và không chứa lỗi hoặc sai sót logic.
  • Kiểm toán kinh tế: Bao gồm phạm vi rộng hơn, có tính đến các yếu tố bên ngoài như sự phụ thuộc vào thị trường, cấu trúc quản trị và căng thẳng thanh khoản. Kiểm toán kinh tế đánh giá cách giao thức tương tác với hệ sinh thái DeFi rộng lớn hơn và đánh giá khả năng phục hồi của nó trước áp lực kinh tế.

Kiểm toán kỹ thuật và kinh tế bổ sung cho nhau và không thể thiếu để xây dựng một hệ thống đảm bảo an ninh toàn diện.

Các lỗ hổng nghiêm trọng được phát hiện bởi kiểm toán kinh tế: Kiểm toán kỹ thuật không thể giải quyết các lỗ hổng gây ra bởi các yếu tố kinh tế bên ngoài, sự phụ thuộc và tương tác với các giao thức khác. Những vấn đề này đòi hỏi phải có kiểm toán kinh tế để xác định và giảm nhẹ.

Phụ thuộc Token và Hiệu ứng Lan truyền

Sự phụ thuộc Token đặt ra một rủi ro đáng kể trong DeFi, nơi các token từ các giao thức khác nhau thường phụ thuộc vào nhau. Một sự suy giảm đáng kể trong giá trị một token có thể kích hoạt một phản ứng chuỗi ảnh hưởng đến nhiều nền tảng.

  • Kiểm định Kỹ thuật: Thông thường không tính đến cách điều kiện kinh tế bên ngoài, chẳng hạn như các sự suy thoái trên thị trường hoặc các cuộc tấn công vào các giao thức liên quan, có thể gây ra sự hỏng hóc lan truyền liên quan đến token của một giao thức.
  • Kiểm toán kinh tế: Mô phỏng những tình huống như vậy để đánh giá sự kháng cự của giao thức. Ví dụ, trong thời kỳ sụp đổ của Terra Luna, việc mất khớp của đồng stablecoin của nó dẫn đến những rối loạn lan rộng trên hệ sinh thái DeFi.

Oracle Dependencies and Price Manipulation

Nhiều giao thức DeFi phụ thuộc vào các oracles để có được dữ liệu bên ngoài, như giá token hoặc lãi suất. Tuy nhiên, sự phụ thuộc này mang lại một điểm yếu chung: nếu một oracle bị tấn công, hoặc nếu dữ liệu mà nó cung cấp không chính xác hoặc bị thao túng, giao thức có thể đối mặt với những rủi ro đáng kể.

  • Tấn công Manipulation giá: Một hình thức tấn công kinh tế điển hình trong đó kẻ tấn công điều chỉnh giá token được báo cáo bởi các bộ phận trao đổi để thu lợi, ví dụ như thông qua các cơ hội cơ động hoặc thanh lý bắt buộc.
  • Kiểm định kỹ thuật: Thường tập trung vào đảm bảo mã tương tác đúng với bộ truy vấn nhưng không đánh giá rủi ro về manipulation giá cấp độ bộ truy vấn, điều này có thể gây tác động tàn phá vào giao thức.

Tấn công quản trị

Các lỗ hổng về quản trị là một rủi ro lớn khác trong các giao thức DeFi, đặc biệt là trong các hệ thống mà sức ảnh hưởng bỏ phiếu phụ thuộc vào việc nắm giữ token. Kẻ tấn công có thể lợi dụng cơ chế quản trị để chiếm đoạt một giao thức, đề xuất các hành động độc hại, hoặc lấy cắp tiền, như đã được thể hiện trong vụ tấn công Beanstalk. Trong sự cố này, kẻ tấn công tạm thời mượn một số lượng lớn token thông qua một khoản vay flash, kiểm soát 79% quyền biểu quyết, thông qua một đề xuất độc hại, và lấy cắp 181 triệu đô la.

  • Kiểm định Kỹ thuật: Thông thường bỏ qua cấu trúc quản trị và tập trung vào mã hợp đồng thông minh.
  • Kiểm toán kinh tế: Phân tích các lỗ hổng tiềm ẩn trong các hệ thống quản trị, đặc biệt là rủi ro xuất phát từ sự gia tăng tạm thời quyền biểu quyết thông qua các phương pháp như cho vay nhanh, thường không thể phát hiện được bằng kiểm toán kỹ thuật.

Khủng hoảng thanh khoản và sự kiên cường của giao thức

Khủng hoảng thanh khoản là một thách thức lớn đối với các giao thức DeFi. Thanh khoản giảm đột ngột có thể gây trượt giá, thanh lý bắt buộc hoặc thiếu tài sản thế chấp, có khả năng sụp đổ toàn hệ thống. Những cuộc khủng hoảng như vậy có thể là kết quả của sự suy thoái thị trường, biến động mã thông báo hoặc rút tiền quy mô lớn.

  • Kiểm định Kỹ thuật: Đảm bảo rằng hợp đồng hoạt động đúng trong điều kiện bình thường nhưng hiếm khi mô phỏng các kịch bản liên quan đến thiếu thanh khoản, nơi mà các điểm yếu có thể xuất hiện.
  • Kiểm toán kinh tế: Mô phỏng các điều kiện căng thẳng cao, chẳng hạn như khủng hoảng thanh khoản, để đánh giá khả năng của giao thức để chịu được các kịch bản như vậy và phục hồi hiệu quả.

Các trường hợp điển hình của các cuộc tấn công kinh tế

Những trường hợp này mô tả cách tấn công viên khai thác nhược điểm kinh tế trong thiết kế và cấu trúc của giao thức DeFi thay vì các lỗ hổng kỹ thuật.

Trường hợp 1: Tấn công thị trường Mango

Ngày: Tháng Mười 2022

Phương pháp tấn công: Điều chỉnh giá

Số tiền mất: $116 triệu

Trong cuộc tấn công này, kẻ tấn công đã thao túng giá của mã thông báo Mango ($MNGO), tạo ra sự khác biệt về giá trên nhiều sàn giao dịch, gây ra thanh lý lớn và cuối cùng làm cạn kiệt tiền của giao thức.

Quy trình tấn công:

* Thiết lập ban đầu: Kẻ tấn công đã sử dụng hai ví tiền, mỗi ví chứa 5 triệu đô la Mỹ, để khởi đầu cuộc tấn công. Ví 1 đặt một lệnh bán lớn trị giá 483 triệu đô la Mỹ cho các token MANGO với giá thấp là 0,0382 đô la Mỹ.* Gian lận giá: Ví 2 đã mua tất cả các token MANGO được bán bởi Ví 1 với giá thấp này. Sau đó, kẻ tấn công bắt đầu mua các token MANGO một cách quyết liệt trên một số nền tảng khác nhau, bao gồm Mango Markets, AscendEX và FTX, đẩy giá từ 0,0382 đô la Mỹ lên 0,91 đô la Mỹ trong thời gian ngắn.* Khai thác Đợt tăng giá: Đợt tăng giá đột ngột đã gây ra sự thanh lý hàng loạt các vị thế ngắn hạn khi giá token MANGO vượt quá giá trị tài sản đảm bảo của người bán ngắn. Kẻ tấn công đã kiếm lợi từ sự tăng giá, sau đó giá token MANGO giảm xuống còn 0,0259 đô la Mỹ.

Kết quả: Cuộc tấn công đã gây ra mất mát đáng kể về thanh khoản cho Mango Market, với hơn 4.000 vị trí ngắn hạn bị thanh lí, làm mất ổn định giao thức. Cuộc tấn công kinh tế này dựa trên việc thao túng giá chéo các nền tảng thay vì lợi dụng các lỗ hổng kỹ thuật, nhấn mạnh nhu cầu kiểm toán kinh tế để mô phỏng và giảm thiểu tác động của các kịch bản thao túng giá.

Trường hợp 2: Cuộc tấn công Beanstalk

Ngày: Tháng 4 năm 2022

Phương pháp tấn công: Thao túng quản trị

Số tiền mất: $181 triệu

Cuộc tấn công này liên quan đến kẻ tấn công khai thác các hệ thống quản trị để đẩy các đề xuất độc hại. Nó đã làm nổi bật rằng những lỗ hổng quản trị được quản lý kém có thể gây ra thiệt hại cũng nghiêm trọng như những lỗi kỹ thuật.

Quy trình tấn công:

  • Khai thác quyền quản trị: Kẻ tấn công đề xuất hai đề xuất chuyển token từ quỹ của Beanstalk vào ví của họ. Những đề xuất này được ngụy trang thành những thay đổi quản trị hợp pháp. Hệ thống quản trị của Beanstalk yêu cầu một cuộc bỏ phiếu khẩn cấp, trong đó các đề xuất cần có đa số hai phần ba để thông qua.
  • Cuộc tấn công Flash Loan: Kẻ tấn công đã sử dụng một khoản vay flash để tạm thời mượn một số lượng lớn token Beanstalk, chiếm quyền kiểm soát 79% quyền biểu quyết. Với đa số này, kẻ tấn công đã thành công trong việc thông qua các đề xuất, chuyển tiền từ nguồn kinh phí của Beanstalk vào ví của họ.

Kết quả: Cuộc tấn công quản trị thành công làm cho token BEAN mất giá trị cố định của nó, với giá giảm đi 75%, ảnh hưởng nghiêm trọng đến sự ổn định của giao thức. Tổng số tiền mất mát lên đến 181 triệu đô la. Nếu một cuộc kiểm toán kinh tế đã mô phỏng các rủi ro quản trị, đặc biệt là tiềm năng kiểm soát bỏ phiếu bằng vay flash, cuộc tấn công này có thể đã được giảm nhẹ. Cuộc kiểm toán kinh tế có thể xác định các rủi ro thao túng quản trị thường bị bỏ qua trong các cuộc kiểm toán kỹ thuật truyền thống.

Trường hợp 3: Terra Luna Stablecoin De-Pegging

Sự sụp đổ của hệ sinh thái Terra Luna là một trường hợp quan trọng của việc giao thức thất bại do quản lý kinh tế kém cỏi thay vì là lỗ hổng kỹ thuật. Sự cố này thường được coi là một câu chuyện cảnh báo về quản lý kinh tế kém cỏi, minh họa cho việc làm thế nào sự thất bại trong một lĩnh vực có thể kích hoạt sự sụp đổ lan truyền trên toàn hệ sinh thái DeFi.

Đồng tiền ổn định UST của Terra được gắn kết theo thuật toán với đô la Mỹ, phụ thuộc vào mối quan hệ với token Luna để duy trì ổn định giá. Hệ thống cho phép UST được trao đổi sang Luna theo tỷ lệ cố định để bảo toàn sự gắn kết của nó. Tuy nhiên, mô hình này phụ thuộc nặng vào niềm tin và tính thanh khoản của thị trường, cả hai đều sụp đổ dưới áp lực kinh tế bên ngoài.

Vào tháng 5 năm 2022, một sự kiện thị trường lớn đã khiến UST mất mục tiêu và giảm xuống dưới 1 đô la. Điều này đã kích hoạt hiệu ứng “quay vòng chết”, khi người giữ UST vội vàng đổi mã thông báo của họ thành Luna. Điều này đã làm giảm nguồn cung Luna nhanh chóng, gây sự sụp đổ giá của nó. Khi việc mất mục tiêu của UST trở nên nghiêm trọng hơn, một vòng lặp phản hồi được hình thành, gây ra sự sụp đổ của cả giá UST và Luna, làm cho giao thức không thể cứu được.

Tác động: Sự sụp đổ của Terra Luna đã ảnh hưởng rộng rãi đến hệ sinh thái DeFi. Nhiều giao thức liên kết với Terra thông qua các hồ bơi thanh khoản, các nền tảng cho vay và dịch vụ staking đối mặt với khủng hoảng thanh khoản, dẫn đến sự thanh lý và mất mát quỹ lan rộng do ti exposure của họ đến Terra.

Sự sụp đổ này không phải do các lỗ hổng mã cụ thể hoặc lỗi kỹ thuật mà do quản lý kinh tế yếu kém, chẳng hạn như dựa vào một stablecoin thuật toán mà không có đủ dự trữ hoặc biện pháp bảo vệ chống lại sự biến động của thị trường.

Kiến trúc lớp của giao thức DeFi

Các giao thức DeFi thường bao gồm nhiều lớp, mỗi lớp đóng một vai trò cụ thể trong chức năng tổng thể của giao thức. Các lớp này thường bao gồm:

  1. Lớp Giao Thức Cốt Lõi:

Đây là nền tảng của giao thức, bao gồm các hợp đồng thông minh xác định các hoạt động của giao thức, như cho vay, đặt cược, hoặc giao dịch. Các đợt kiểm tra kỹ thuật thường tập trung vào tầng này, đảm bảo rằng các hợp đồng thông minh thực thi theo ý định mà không có lỗ hổng hoặc lỗi lập trình.

  1. Layer Oracle:

Các giao thức DeFi thường phụ thuộc vào oracles để có được dữ liệu thời gian thực từ các nguồn bên ngoài (ví dụ: dữ liệu giá, lãi suất). Lớp này rất quan trọng đối với hoạt động bình thường của giao thức, vì dữ liệu không chính xác có thể dẫn đến lỗi định giá, thiếu tài sản thế chấp hoặc các rủi ro khác. Các kiểm toán kinh tế xem xét sự phụ thuộc của giao thức vào oracles và các rủi ro tiềm năng do thao túng oracles, mà các kiểm toán kỹ thuật thường không thể đầy đủ đề cập.

  1. Tầng Quản trị:

Nhiều giao thức DeFi sử dụng cấu trúc quản trị phi tập trung để đưa ra các quyết định quan trọng. Lớp này liên quan đến việc bỏ phiếu, ra quyết định dựa trên mã thông báo và thay đổi giao thức. Kiểm toán kinh tế phân tích các lỗ hổng trong cấu trúc quản trị, chẳng hạn như thao túng quyền biểu quyết hoặc tấn công cho vay nhanh, nơi những kẻ tấn công tạm thời có được quyền biểu quyết lớn để ảnh hưởng đến các quyết định giao thức.

  1. Lớp thanh khoản:

Lớp thanh khoản đảm bảo rằng giao thức có đủ thanh khoản để hoạt động đúng cách. Trong các giao thức cho vay hoặc giao dịch, lớp này xác định xem người dùng có thể truy cập các quỹ hay thực hiện giao dịch hay không. Các cuộc kiểm toán kinh tế mô phỏng các kịch bản căng thẳng về thanh khoản để kiểm tra hiệu suất của giao thức dưới điều kiện thanh khoản không đủ, chẳng hạn như rút tiền lớn hoặc sự sụt giảm đột ngột của thị trường.

Rủi ro kinh tế trong kiến trúc lớp

Các tương tác giữa các tầng trong kiến trúc lớp của giao thức DeFi có thể mang lại một số rủi ro kinh tế, thường không được bao gồm trong các kiểm tra kỹ thuật truyền thống.

  1. Tương tác giữa các giao thức:

Nhiều giao thức DeFi phụ thuộc vào nhau về thanh khoản, tài sản đảm bảo hoặc dữ liệu. Ví dụ, một giao thức cho vay có thể phụ thuộc vào stablecoin từ bên ngoài làm tài sản đảm bảo. Nếu stablecoin đó sụp đổ hoặc mất giá trị so với đồng tiền fiat, giao thức cho vay có thể đối mặt với tài sản đảm bảo không đủ, dẫn đến việc thanh lý hàng loạt.

  1. Tác động liên tiếp giữa các giao thức:

Kẻ tấn công có thể khai thác một lớp để ảnh hưởng đến các lớp khác, tận dụng các kết nối giữa các giao thức để gây ra thiệt hại rộng hơn. Ví dụ, kẻ tấn công có thể thao túng giá tài sản trong một giao thức (thông qua việc thao túng Oracle) để ảnh hưởng đến các hoạt động cho vay, giao dịch hoặc thế chấp trong các giao thức khác.

  1. Khủng hoảng thanh khoản:

Kiến trúc phân lớp cũng đưa ra rủi ro khủng hoảng thanh khoản, trong đó tính thanh khoản của lớp này phụ thuộc vào lớp khác. Việc rút thanh khoản đột ngột khỏi một nhóm có thể làm gián đoạn hoạt động của giao thức, dẫn đến các lỗi xếp tầng ảnh hưởng đến chức năng của các lớp khác.

Sự liên kết của các giao thức DeFi có nghĩa là rủi ro thường lan rộng qua nhiều tầng. Một lỗ hổng ở một tầng (ví dụ, tầng oracles hoặc tầng quản trị) có thể kích hoạt các phản ứng chuỗi, dẫn đến sự thất bại ở các tầng khác (ví dụ, tầng thanh khoản hoặc hoạt động cốt lõi). Các kiểm toán kỹ thuật tập trung chủ yếu vào giao thức cốt lõi, đảm bảo hợp đồng thông minh hoạt động như dự kiến, nhưng họ không thể mô phỏng các rủi ro hệ thống phát sinh từ sự tương tác giữa các tầng này.

Kết luận

Kiến trúc lớp của các giao thức DeFi giới thiệu những rủi ro kinh tế phức tạp mà không thể hoàn toàn nắm bắt được chỉ bằng kiểm tra kỹ thuật một mình. Kiểm tra kinh tế cung cấp đánh giá quan trọng về tương tác giữa các lớp khác nhau, phân tích cách chúng có thể bị khai thác hoặc căng thẳng dưới điều kiện thực tế để xác định điểm rủi ro tiềm năng.

Những điểm chính:

Dựa vào việc kiểm định kỹ thuật một cách đơn thuần là không đủ để bảo vệ giao thức DeFi khỏi những rủi ro kinh tế rộng lớn. Kiểm định kinh tế mô phỏng các điều kiện thị trường thực tế, tiến hành kiểm tra căng thẳng và đánh giá sức bền của giao thức đối với những rủi ro như thao túng giá, khủng hoảng thanh khoản và sự yếu đuối trong quản trị. Ngành công nghiệp DeFi phải ưu tiên quản lý rủi ro kinh tế để bảo vệ giao thức trước các mối đe dọa toàn diện.

Hiện nay, thị trường kiểm toán kinh tế vẫn còn phát triển hạn chế, tạo ra cơ hội đáng kể cho các công ty tập trung vào lĩnh vực này. Tương lai của an ninh DeFi sẽ đòi hỏi sự kết hợp giữa kiểm toán kỹ thuật và kinh tế để đảm bảo giao thức có thể chống đỡ một loạt các lỗ hổng rộng hơn.

Miễn trách nhiệm:

  1. Bài viết này đã được tái in từ [ Jinse Finance]. Bản quyền thuộc về tác giả gốc [TEDAO]. Để đối đáp với việc tái bản, vui lòng liên hệ Học cửa Gateđội ngũ, sẽ xử lý các yêu cầu một cách nhanh chóng theo các quy trình liên quan.
  2. Tuyên bố từ chối trách nhiệm: Các ý kiến thể hiện trong bài viết này thể hiện quan điểm cá nhân của tác giả và không cấu thành lời khuyên đầu tư.
  3. Các phiên bản ngôn ngữ khác của bài viết này đã được dịch bởi nhóm gate Learn. Trừ khi có quy định khác, việc sao chép, phân phối hoặc đạo văn các bài báo đã dịch đều bị cấm.

Vượt qua lỗi mã: Kiểm toán kinh tế và An ninh giao thức DeFi

Trung cấp11/26/2024, 4:24:01 AM
Bài viết này đi sâu vào những thách thức về an ninh của giao thức DeFi, đặc biệt là sự phân biệt giữa kiểm tra kỹ thuật và kinh tế. Trong khi kiểm tra kỹ thuật tập trung vào tính toàn vẹn mã và lỗi, kiểm tra kinh tế đề cập đến những yếu tố rộng lớn như biến động thị trường, lỗ hổng quản trị và khủng hoảng thanh khoản ảnh hưởng đến sự ổn định của giao thức.

Các lỗ hổng bảo mật trong các giao thức DeFi không chỉ xuất phát từ các lỗi mã hoặc tấn công mạng mà còn từ các yếu tố kinh tế bên ngoài như biến động thị trường, sự thao túng quản trị và khủng hoảng thanh khoản. Trong khi các cuộc kiểm tra kỹ thuật truyền thống tập trung vào đảm bảo mã hoạt động như dự định, thường bỏ qua sự ảnh hưởng của các điều kiện kinh tế bên ngoài như căng thẳng hoặc thao túng thị trường đến sự ổn định của một giao thức.

Kiểm toán kỹ thuật nhằm xác minh rằng mã nguồn chạy như dự kiến ​​và không chứa lỗi có thể tận dụng. Tuy nhiên, phạm vi của chúng thường chỉ giới hạn trong việc phân tích giao thức mà không xem xét môi trường kinh tế rộng hơn hoặc cách các giao thức phụ thuộc vào nhau có thể mang đến rủi ro bổ sung.

Kiểm toán kinh tế là gì?

Các kiểm toán kinh tế vượt xa phạm vi kỹ thuật của việc xác minh tính toàn vẹn của mã. Trong khi kiểm toán kỹ thuật tập trung vào phát hiện lỗi hoặc lỗ hổng trong mã, kiểm toán kinh tế mô phỏng điều kiện thị trường thực tế và tiến hành các bài kiểm tra căng thẳng để đánh giá tính chịu đựng của giao thức dưới các kịch bản kinh tế khác nhau.

Kiểm toán kinh tế nhấn mạnh việc hiểu động lực kinh tế nội bộ của các giao thức DeFi và cách các yếu tố bên ngoài — chẳng hạn như biến động thị trường, khủng hoảng thanh khoản và thao túng quản trị — có thể khai thác các lỗ hổng.

Các khía cạnh chính của kiểm toán kinh tế bao gồm mô phỏng các kịch bản như biến động giá cả cực đoan, sự chuyển động của thanh khoản và thay đổi trong hành vi người dùng. Họ cũng kiểm tra cấu trúc quản trị, vì các hệ thống thiết kế kém cỏi có thể cho phép các bên tấn công độc hại kiểm soát, như được chứng minh trong các sự cố như vụ hack Beanstalk.

Ngoài ra, kiểm toán kinh tế kiểm tra các cấu trúc khuyến khích để đảm bảo chúng thúc đẩy sự tham gia lành mạnh và ngăn chặn các hành động độc hại. Các ưu đãi được thiết kế kém có thể dẫn đến bóc lột hoặc mất ổn định. Kiểm toán kinh tế cũng xem xét các tác động gợn sóng của các cuộc tấn công vào các giao thức riêng lẻ trong hệ sinh thái DeFi được kết nối với nhau, nơi các lỗi có thể xếp tầng và gây ra sự gián đoạn trên diện rộng.

Các cuộc kiểm toán này đánh giá cách một cuộc tấn công duy nhất có thể kích hoạt phản ứng dây chuyền, tương tự như cách khủng hoảng tài chính lan rộng ở các thị trường truyền thống. Với bản chất kết nối với nhau của DeFi, những thất bại xếp tầng như vậy gây ra rủi ro đáng kể, với sự sụp đổ của một giao thức có khả năng ảnh hưởng đến tính thanh khoản, giá cả và quản trị trên các giao thức khác.

Cuối cùng, kiểm toán kinh tế đánh giá xem các tham số rủi ro của một giao thức có được điều chỉnh tốt để xử lý căng thẳng và gian lận hay không. Chúng cung cấp một khung bảo mật toàn diện, xác định các lỗ hổng mà chỉ kiểm toán kỹ thuật đơn thuần không thể phát hiện được, để bảo vệ hệ sinh thái DeFi tốt hơn.

Kiểm toán kỹ thuật so với kiểm toán kinh tế

Cả kiểm tra kỹ thuật và kinh tế đều cần thiết, nhưng chúng phục vụ mục đích riêng biệt và không thể thay thế lẫn nhau.

Các Hoạt Động Nguyên Tử so với Các Hoạt Động Phức Tạp, Phụ Thuộc Bên Ngoài

  • Kiểm toán kỹ thuật: Tập trung đảm bảo rằng mã nguồn thực hiện các hoạt động nguyên tử - nơi các nhiệm vụ hoàn toàn hoàn thành hoặc thất bại - giảm thiểu các rủi ro liên quan đến lỗi thực thi một phần. Những kiểm toán này đánh giá logic mã nguồn cụ thể để xác minh rằng nó hoạt động như dự định và không có lỗi hoặc lỗ hổng.
  • Kiểm toán kinh tế: Giải quyết các mối quan tâm rộng lớn hơn ngoài việc thực thi mã, tập trung vào các yếu tố kinh tế bên ngoài như thanh khoản, giá cả thị trường và các quyết định quản trị. Bằng cách mô phỏng các điều kiện này, kiểm toán kinh tế đánh giá cách các yếu tố này có thể khai thác lỗ hổng hoặc tạo ra rủi ro cho giao thức.

Lỗi cấp mã nguồn so với khả năng khai thác rộng hơn

  • Kiểm định Kỹ thuật: Chủ yếu nhận diện các lỗi cấp mã nguồn mà kẻ tấn công có thể tận dụng, chẳng hạn như các chức năng không được bảo mật có thể cho phép truy cập trái phép vào quỹ hoặc thao tác thay đổi các tham số chính.
  • Kiểm toán kinh tế: Xem xét cách điều kiện kinh tế như lỗ hổng quản trị hoặc thao tác thị trường có thể tiết lộ giao thức cho các cuộc tấn công. Hệ thống quản trị thiết kế kém có thể cho phép các vụ chiếm đóng thù địch hoặc thao tác giá, gây ra những đột biến nghiêm trọng.

Phạm vi Nội vs. Phạm vi Ngoại

  • Kiểm định Kỹ thuật: Giới hạn trong việc xem xét các hoạt động nội bộ và cơ sở mã nguồn của giao thức, tập trung vào việc sửa các lỗi kỹ thuật và đảm bảo tính hoạt động.
  • Kiểm toán Kinh tế: Bao gồm phạm vi rộng hơn, phân tích cách các giao thức tương tác với hệ sinh thái DeFi tổng thể, bao gồm thanh khoản, phụ thuộc vào token, cấu trúc quản trị và điều kiện thị trường. Tiếp cận rộng hơn này đảm bảo hiểu rõ hơn về những rủi ro trong các hệ sinh thái động và liên kết.

Các lỗ hổng thực tế so với bảo mật cấp mã nguồn

  • Kiểm định Kỹ thuật: Đảm bảo sự vắng mặt của các lỗi cụ thể, như vấn đề tái nhập hoặc lỗi toán học, giúp mã nguồn an toàn trong môi trường kiểm soát.
  • Kiểm toán kinh tế: Mô phỏng các kịch bản trong thế giới thực trong đó áp lực bên ngoài - chẳng hạn như thao túng giá hoặc tấn công quản trị - có thể phơi bày các lỗ hổng. Các thử nghiệm này đảm bảo giao thức vẫn mạnh mẽ ngay cả trong những thách thức như vậy.

Sự khác biệt về Phạm vi Kiểm toán

  • Kiểm tra kỹ thuật: Thông thường chỉ giới hạn trong hoạt động nội bộ và mã nguồn của giao thức. Các kiểm tra này tập trung vào xem xét hợp đồng thông minh để đảm bảo chúng hoạt động như dự định và không chứa lỗi hoặc sai sót logic.
  • Kiểm toán kinh tế: Bao gồm phạm vi rộng hơn, có tính đến các yếu tố bên ngoài như sự phụ thuộc vào thị trường, cấu trúc quản trị và căng thẳng thanh khoản. Kiểm toán kinh tế đánh giá cách giao thức tương tác với hệ sinh thái DeFi rộng lớn hơn và đánh giá khả năng phục hồi của nó trước áp lực kinh tế.

Kiểm toán kỹ thuật và kinh tế bổ sung cho nhau và không thể thiếu để xây dựng một hệ thống đảm bảo an ninh toàn diện.

Các lỗ hổng nghiêm trọng được phát hiện bởi kiểm toán kinh tế: Kiểm toán kỹ thuật không thể giải quyết các lỗ hổng gây ra bởi các yếu tố kinh tế bên ngoài, sự phụ thuộc và tương tác với các giao thức khác. Những vấn đề này đòi hỏi phải có kiểm toán kinh tế để xác định và giảm nhẹ.

Phụ thuộc Token và Hiệu ứng Lan truyền

Sự phụ thuộc Token đặt ra một rủi ro đáng kể trong DeFi, nơi các token từ các giao thức khác nhau thường phụ thuộc vào nhau. Một sự suy giảm đáng kể trong giá trị một token có thể kích hoạt một phản ứng chuỗi ảnh hưởng đến nhiều nền tảng.

  • Kiểm định Kỹ thuật: Thông thường không tính đến cách điều kiện kinh tế bên ngoài, chẳng hạn như các sự suy thoái trên thị trường hoặc các cuộc tấn công vào các giao thức liên quan, có thể gây ra sự hỏng hóc lan truyền liên quan đến token của một giao thức.
  • Kiểm toán kinh tế: Mô phỏng những tình huống như vậy để đánh giá sự kháng cự của giao thức. Ví dụ, trong thời kỳ sụp đổ của Terra Luna, việc mất khớp của đồng stablecoin của nó dẫn đến những rối loạn lan rộng trên hệ sinh thái DeFi.

Oracle Dependencies and Price Manipulation

Nhiều giao thức DeFi phụ thuộc vào các oracles để có được dữ liệu bên ngoài, như giá token hoặc lãi suất. Tuy nhiên, sự phụ thuộc này mang lại một điểm yếu chung: nếu một oracle bị tấn công, hoặc nếu dữ liệu mà nó cung cấp không chính xác hoặc bị thao túng, giao thức có thể đối mặt với những rủi ro đáng kể.

  • Tấn công Manipulation giá: Một hình thức tấn công kinh tế điển hình trong đó kẻ tấn công điều chỉnh giá token được báo cáo bởi các bộ phận trao đổi để thu lợi, ví dụ như thông qua các cơ hội cơ động hoặc thanh lý bắt buộc.
  • Kiểm định kỹ thuật: Thường tập trung vào đảm bảo mã tương tác đúng với bộ truy vấn nhưng không đánh giá rủi ro về manipulation giá cấp độ bộ truy vấn, điều này có thể gây tác động tàn phá vào giao thức.

Tấn công quản trị

Các lỗ hổng về quản trị là một rủi ro lớn khác trong các giao thức DeFi, đặc biệt là trong các hệ thống mà sức ảnh hưởng bỏ phiếu phụ thuộc vào việc nắm giữ token. Kẻ tấn công có thể lợi dụng cơ chế quản trị để chiếm đoạt một giao thức, đề xuất các hành động độc hại, hoặc lấy cắp tiền, như đã được thể hiện trong vụ tấn công Beanstalk. Trong sự cố này, kẻ tấn công tạm thời mượn một số lượng lớn token thông qua một khoản vay flash, kiểm soát 79% quyền biểu quyết, thông qua một đề xuất độc hại, và lấy cắp 181 triệu đô la.

  • Kiểm định Kỹ thuật: Thông thường bỏ qua cấu trúc quản trị và tập trung vào mã hợp đồng thông minh.
  • Kiểm toán kinh tế: Phân tích các lỗ hổng tiềm ẩn trong các hệ thống quản trị, đặc biệt là rủi ro xuất phát từ sự gia tăng tạm thời quyền biểu quyết thông qua các phương pháp như cho vay nhanh, thường không thể phát hiện được bằng kiểm toán kỹ thuật.

Khủng hoảng thanh khoản và sự kiên cường của giao thức

Khủng hoảng thanh khoản là một thách thức lớn đối với các giao thức DeFi. Thanh khoản giảm đột ngột có thể gây trượt giá, thanh lý bắt buộc hoặc thiếu tài sản thế chấp, có khả năng sụp đổ toàn hệ thống. Những cuộc khủng hoảng như vậy có thể là kết quả của sự suy thoái thị trường, biến động mã thông báo hoặc rút tiền quy mô lớn.

  • Kiểm định Kỹ thuật: Đảm bảo rằng hợp đồng hoạt động đúng trong điều kiện bình thường nhưng hiếm khi mô phỏng các kịch bản liên quan đến thiếu thanh khoản, nơi mà các điểm yếu có thể xuất hiện.
  • Kiểm toán kinh tế: Mô phỏng các điều kiện căng thẳng cao, chẳng hạn như khủng hoảng thanh khoản, để đánh giá khả năng của giao thức để chịu được các kịch bản như vậy và phục hồi hiệu quả.

Các trường hợp điển hình của các cuộc tấn công kinh tế

Những trường hợp này mô tả cách tấn công viên khai thác nhược điểm kinh tế trong thiết kế và cấu trúc của giao thức DeFi thay vì các lỗ hổng kỹ thuật.

Trường hợp 1: Tấn công thị trường Mango

Ngày: Tháng Mười 2022

Phương pháp tấn công: Điều chỉnh giá

Số tiền mất: $116 triệu

Trong cuộc tấn công này, kẻ tấn công đã thao túng giá của mã thông báo Mango ($MNGO), tạo ra sự khác biệt về giá trên nhiều sàn giao dịch, gây ra thanh lý lớn và cuối cùng làm cạn kiệt tiền của giao thức.

Quy trình tấn công:

* Thiết lập ban đầu: Kẻ tấn công đã sử dụng hai ví tiền, mỗi ví chứa 5 triệu đô la Mỹ, để khởi đầu cuộc tấn công. Ví 1 đặt một lệnh bán lớn trị giá 483 triệu đô la Mỹ cho các token MANGO với giá thấp là 0,0382 đô la Mỹ.* Gian lận giá: Ví 2 đã mua tất cả các token MANGO được bán bởi Ví 1 với giá thấp này. Sau đó, kẻ tấn công bắt đầu mua các token MANGO một cách quyết liệt trên một số nền tảng khác nhau, bao gồm Mango Markets, AscendEX và FTX, đẩy giá từ 0,0382 đô la Mỹ lên 0,91 đô la Mỹ trong thời gian ngắn.* Khai thác Đợt tăng giá: Đợt tăng giá đột ngột đã gây ra sự thanh lý hàng loạt các vị thế ngắn hạn khi giá token MANGO vượt quá giá trị tài sản đảm bảo của người bán ngắn. Kẻ tấn công đã kiếm lợi từ sự tăng giá, sau đó giá token MANGO giảm xuống còn 0,0259 đô la Mỹ.

Kết quả: Cuộc tấn công đã gây ra mất mát đáng kể về thanh khoản cho Mango Market, với hơn 4.000 vị trí ngắn hạn bị thanh lí, làm mất ổn định giao thức. Cuộc tấn công kinh tế này dựa trên việc thao túng giá chéo các nền tảng thay vì lợi dụng các lỗ hổng kỹ thuật, nhấn mạnh nhu cầu kiểm toán kinh tế để mô phỏng và giảm thiểu tác động của các kịch bản thao túng giá.

Trường hợp 2: Cuộc tấn công Beanstalk

Ngày: Tháng 4 năm 2022

Phương pháp tấn công: Thao túng quản trị

Số tiền mất: $181 triệu

Cuộc tấn công này liên quan đến kẻ tấn công khai thác các hệ thống quản trị để đẩy các đề xuất độc hại. Nó đã làm nổi bật rằng những lỗ hổng quản trị được quản lý kém có thể gây ra thiệt hại cũng nghiêm trọng như những lỗi kỹ thuật.

Quy trình tấn công:

  • Khai thác quyền quản trị: Kẻ tấn công đề xuất hai đề xuất chuyển token từ quỹ của Beanstalk vào ví của họ. Những đề xuất này được ngụy trang thành những thay đổi quản trị hợp pháp. Hệ thống quản trị của Beanstalk yêu cầu một cuộc bỏ phiếu khẩn cấp, trong đó các đề xuất cần có đa số hai phần ba để thông qua.
  • Cuộc tấn công Flash Loan: Kẻ tấn công đã sử dụng một khoản vay flash để tạm thời mượn một số lượng lớn token Beanstalk, chiếm quyền kiểm soát 79% quyền biểu quyết. Với đa số này, kẻ tấn công đã thành công trong việc thông qua các đề xuất, chuyển tiền từ nguồn kinh phí của Beanstalk vào ví của họ.

Kết quả: Cuộc tấn công quản trị thành công làm cho token BEAN mất giá trị cố định của nó, với giá giảm đi 75%, ảnh hưởng nghiêm trọng đến sự ổn định của giao thức. Tổng số tiền mất mát lên đến 181 triệu đô la. Nếu một cuộc kiểm toán kinh tế đã mô phỏng các rủi ro quản trị, đặc biệt là tiềm năng kiểm soát bỏ phiếu bằng vay flash, cuộc tấn công này có thể đã được giảm nhẹ. Cuộc kiểm toán kinh tế có thể xác định các rủi ro thao túng quản trị thường bị bỏ qua trong các cuộc kiểm toán kỹ thuật truyền thống.

Trường hợp 3: Terra Luna Stablecoin De-Pegging

Sự sụp đổ của hệ sinh thái Terra Luna là một trường hợp quan trọng của việc giao thức thất bại do quản lý kinh tế kém cỏi thay vì là lỗ hổng kỹ thuật. Sự cố này thường được coi là một câu chuyện cảnh báo về quản lý kinh tế kém cỏi, minh họa cho việc làm thế nào sự thất bại trong một lĩnh vực có thể kích hoạt sự sụp đổ lan truyền trên toàn hệ sinh thái DeFi.

Đồng tiền ổn định UST của Terra được gắn kết theo thuật toán với đô la Mỹ, phụ thuộc vào mối quan hệ với token Luna để duy trì ổn định giá. Hệ thống cho phép UST được trao đổi sang Luna theo tỷ lệ cố định để bảo toàn sự gắn kết của nó. Tuy nhiên, mô hình này phụ thuộc nặng vào niềm tin và tính thanh khoản của thị trường, cả hai đều sụp đổ dưới áp lực kinh tế bên ngoài.

Vào tháng 5 năm 2022, một sự kiện thị trường lớn đã khiến UST mất mục tiêu và giảm xuống dưới 1 đô la. Điều này đã kích hoạt hiệu ứng “quay vòng chết”, khi người giữ UST vội vàng đổi mã thông báo của họ thành Luna. Điều này đã làm giảm nguồn cung Luna nhanh chóng, gây sự sụp đổ giá của nó. Khi việc mất mục tiêu của UST trở nên nghiêm trọng hơn, một vòng lặp phản hồi được hình thành, gây ra sự sụp đổ của cả giá UST và Luna, làm cho giao thức không thể cứu được.

Tác động: Sự sụp đổ của Terra Luna đã ảnh hưởng rộng rãi đến hệ sinh thái DeFi. Nhiều giao thức liên kết với Terra thông qua các hồ bơi thanh khoản, các nền tảng cho vay và dịch vụ staking đối mặt với khủng hoảng thanh khoản, dẫn đến sự thanh lý và mất mát quỹ lan rộng do ti exposure của họ đến Terra.

Sự sụp đổ này không phải do các lỗ hổng mã cụ thể hoặc lỗi kỹ thuật mà do quản lý kinh tế yếu kém, chẳng hạn như dựa vào một stablecoin thuật toán mà không có đủ dự trữ hoặc biện pháp bảo vệ chống lại sự biến động của thị trường.

Kiến trúc lớp của giao thức DeFi

Các giao thức DeFi thường bao gồm nhiều lớp, mỗi lớp đóng một vai trò cụ thể trong chức năng tổng thể của giao thức. Các lớp này thường bao gồm:

  1. Lớp Giao Thức Cốt Lõi:

Đây là nền tảng của giao thức, bao gồm các hợp đồng thông minh xác định các hoạt động của giao thức, như cho vay, đặt cược, hoặc giao dịch. Các đợt kiểm tra kỹ thuật thường tập trung vào tầng này, đảm bảo rằng các hợp đồng thông minh thực thi theo ý định mà không có lỗ hổng hoặc lỗi lập trình.

  1. Layer Oracle:

Các giao thức DeFi thường phụ thuộc vào oracles để có được dữ liệu thời gian thực từ các nguồn bên ngoài (ví dụ: dữ liệu giá, lãi suất). Lớp này rất quan trọng đối với hoạt động bình thường của giao thức, vì dữ liệu không chính xác có thể dẫn đến lỗi định giá, thiếu tài sản thế chấp hoặc các rủi ro khác. Các kiểm toán kinh tế xem xét sự phụ thuộc của giao thức vào oracles và các rủi ro tiềm năng do thao túng oracles, mà các kiểm toán kỹ thuật thường không thể đầy đủ đề cập.

  1. Tầng Quản trị:

Nhiều giao thức DeFi sử dụng cấu trúc quản trị phi tập trung để đưa ra các quyết định quan trọng. Lớp này liên quan đến việc bỏ phiếu, ra quyết định dựa trên mã thông báo và thay đổi giao thức. Kiểm toán kinh tế phân tích các lỗ hổng trong cấu trúc quản trị, chẳng hạn như thao túng quyền biểu quyết hoặc tấn công cho vay nhanh, nơi những kẻ tấn công tạm thời có được quyền biểu quyết lớn để ảnh hưởng đến các quyết định giao thức.

  1. Lớp thanh khoản:

Lớp thanh khoản đảm bảo rằng giao thức có đủ thanh khoản để hoạt động đúng cách. Trong các giao thức cho vay hoặc giao dịch, lớp này xác định xem người dùng có thể truy cập các quỹ hay thực hiện giao dịch hay không. Các cuộc kiểm toán kinh tế mô phỏng các kịch bản căng thẳng về thanh khoản để kiểm tra hiệu suất của giao thức dưới điều kiện thanh khoản không đủ, chẳng hạn như rút tiền lớn hoặc sự sụt giảm đột ngột của thị trường.

Rủi ro kinh tế trong kiến trúc lớp

Các tương tác giữa các tầng trong kiến trúc lớp của giao thức DeFi có thể mang lại một số rủi ro kinh tế, thường không được bao gồm trong các kiểm tra kỹ thuật truyền thống.

  1. Tương tác giữa các giao thức:

Nhiều giao thức DeFi phụ thuộc vào nhau về thanh khoản, tài sản đảm bảo hoặc dữ liệu. Ví dụ, một giao thức cho vay có thể phụ thuộc vào stablecoin từ bên ngoài làm tài sản đảm bảo. Nếu stablecoin đó sụp đổ hoặc mất giá trị so với đồng tiền fiat, giao thức cho vay có thể đối mặt với tài sản đảm bảo không đủ, dẫn đến việc thanh lý hàng loạt.

  1. Tác động liên tiếp giữa các giao thức:

Kẻ tấn công có thể khai thác một lớp để ảnh hưởng đến các lớp khác, tận dụng các kết nối giữa các giao thức để gây ra thiệt hại rộng hơn. Ví dụ, kẻ tấn công có thể thao túng giá tài sản trong một giao thức (thông qua việc thao túng Oracle) để ảnh hưởng đến các hoạt động cho vay, giao dịch hoặc thế chấp trong các giao thức khác.

  1. Khủng hoảng thanh khoản:

Kiến trúc phân lớp cũng đưa ra rủi ro khủng hoảng thanh khoản, trong đó tính thanh khoản của lớp này phụ thuộc vào lớp khác. Việc rút thanh khoản đột ngột khỏi một nhóm có thể làm gián đoạn hoạt động của giao thức, dẫn đến các lỗi xếp tầng ảnh hưởng đến chức năng của các lớp khác.

Sự liên kết của các giao thức DeFi có nghĩa là rủi ro thường lan rộng qua nhiều tầng. Một lỗ hổng ở một tầng (ví dụ, tầng oracles hoặc tầng quản trị) có thể kích hoạt các phản ứng chuỗi, dẫn đến sự thất bại ở các tầng khác (ví dụ, tầng thanh khoản hoặc hoạt động cốt lõi). Các kiểm toán kỹ thuật tập trung chủ yếu vào giao thức cốt lõi, đảm bảo hợp đồng thông minh hoạt động như dự kiến, nhưng họ không thể mô phỏng các rủi ro hệ thống phát sinh từ sự tương tác giữa các tầng này.

Kết luận

Kiến trúc lớp của các giao thức DeFi giới thiệu những rủi ro kinh tế phức tạp mà không thể hoàn toàn nắm bắt được chỉ bằng kiểm tra kỹ thuật một mình. Kiểm tra kinh tế cung cấp đánh giá quan trọng về tương tác giữa các lớp khác nhau, phân tích cách chúng có thể bị khai thác hoặc căng thẳng dưới điều kiện thực tế để xác định điểm rủi ro tiềm năng.

Những điểm chính:

Dựa vào việc kiểm định kỹ thuật một cách đơn thuần là không đủ để bảo vệ giao thức DeFi khỏi những rủi ro kinh tế rộng lớn. Kiểm định kinh tế mô phỏng các điều kiện thị trường thực tế, tiến hành kiểm tra căng thẳng và đánh giá sức bền của giao thức đối với những rủi ro như thao túng giá, khủng hoảng thanh khoản và sự yếu đuối trong quản trị. Ngành công nghiệp DeFi phải ưu tiên quản lý rủi ro kinh tế để bảo vệ giao thức trước các mối đe dọa toàn diện.

Hiện nay, thị trường kiểm toán kinh tế vẫn còn phát triển hạn chế, tạo ra cơ hội đáng kể cho các công ty tập trung vào lĩnh vực này. Tương lai của an ninh DeFi sẽ đòi hỏi sự kết hợp giữa kiểm toán kỹ thuật và kinh tế để đảm bảo giao thức có thể chống đỡ một loạt các lỗ hổng rộng hơn.

Miễn trách nhiệm:

  1. Bài viết này đã được tái in từ [ Jinse Finance]. Bản quyền thuộc về tác giả gốc [TEDAO]. Để đối đáp với việc tái bản, vui lòng liên hệ Học cửa Gateđội ngũ, sẽ xử lý các yêu cầu một cách nhanh chóng theo các quy trình liên quan.
  2. Tuyên bố từ chối trách nhiệm: Các ý kiến thể hiện trong bài viết này thể hiện quan điểm cá nhân của tác giả và không cấu thành lời khuyên đầu tư.
  3. Các phiên bản ngôn ngữ khác của bài viết này đã được dịch bởi nhóm gate Learn. Trừ khi có quy định khác, việc sao chép, phân phối hoặc đạo văn các bài báo đã dịch đều bị cấm.
Empieza ahora
¡Regístrate y recibe un bono de
$100
!