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.
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
Lỗi cấp mã nguồn so với khả năng khai thác rộng hơn
Phạm vi Nội vs. Phạm vi Ngoại
Các lỗ hổng thực tế so với bảo mật cấp mã nguồn
Sự khác biệt về Phạm vi Kiểm toán
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ẹ.
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.
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ể.
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.
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.
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:
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.
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:
Đâ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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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
Lỗi cấp mã nguồn so với khả năng khai thác rộng hơn
Phạm vi Nội vs. Phạm vi Ngoại
Các lỗ hổng thực tế so với bảo mật cấp mã nguồn
Sự khác biệt về Phạm vi Kiểm toán
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ẹ.
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.
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ể.
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.
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.
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:
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.
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:
Đâ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.
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.
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.
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.
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.
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.
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.
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.
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.