Skip to content
AV
DeFi

Anthropic Mythos so với Bảo mật DeFi: Hệ thống Kiểm toán Đã Sụp Đổ

By Anurag Verma•April 27, 2026
Anthropic Mythos so với Bảo mật DeFi: Hệ thống Kiểm toán Đã Sụp Đổ

Anthropic Mythos vs Bảo Mật DeFi: Hệ Thống Kiểm Toán Đã Sụp Đổ

Tuần này, hệ sinh thái DeFi hứng chịu thêm hơn 750 triệu đô la thiệt hại từ một loạt vụ hack giao thức mà thoạt nhìn trông quen thuộc: kiểm soát truy cập cấu hình sai, lỗ hổng reentrancy, lỗi logic ở cầu nối. Nhưng các vector tấn công đang ngày càng sắc bén hơn, khoảng thời gian từ lúc phát hiện đến khi rút cạn tiền ngày càng rút ngắn, và công cụ phía kẻ tấn công sắp được nâng cấp đáng kể.

Mythos của Anthropic, hệ thống AI nội bộ được xây dựng cho mục đích nghiên cứu lỗ hổng tự động, không chỉ tìm lỗi nhanh hơn. Nó suy luận xuyên suốt toàn bộ codebase, kết nối các nguyên thủy khai thác lại với nhau, và hoạt động ở tốc độ mà các biện pháp phòng thủ hiện tại của DeFi không đơn giản là chậm chạp mà là không còn phù hợp về mặt cấu trúc. Đây không phải là một cải tiến nhỏ so với các công cụ tấn công hiện có. Đây là một sự thay đổi hoàn toàn về phạm trù.

Tuần mất 750 triệu đô la không phải là sự trùng hợp về thời điểm. Đó là bản xem trước cho thấy điều gì xảy ra khi sự bất cân xứng giữa tấn công và phòng thủ trong bảo mật DeFi ngày càng nới rộng thay vì thu hẹp lại.

Tại Sao "Chuỗi Ma Sát" Của DeFi Chưa Bao Giờ Là Bảo Mật Thực Sự

Mô hình bảo mật DeFi thống trị hiện nay chỉ là sân khấu ma sát. Nó hoạt động theo cách này: khiến các vụ khai thác đủ phiền hà để hầu hết kẻ tấn công không buồn thử, và đủ tốn kém để những kẻ cố tình thực hiện có thể bị phát hiện trước khi rút cạn mọi thứ.

Các cơ chế thực tế bao gồm:

  • Multisig: yêu cầu M trong N người giữ khóa ký tên, tạo thêm chi phí phối hợp
  • Timelocks: trì hoãn việc thực thi nâng cấp và chuyển tiền lớn từ 24 đến 72 giờ
  • Kiểm toán: đánh giá mã định kỳ bởi các công ty như Trail of Bits, Certik, OpenZeppelin

Cách này hiệu quả với những kẻ tấn công cơ hội có kỹ năng kỹ thuật trung bình. Nó không hiệu quả với một hệ thống AI có thể đọc codebase Solidity dài 50.000 dòng trong vài giây, xác định các tương tác trạng thái không rõ ràng giữa các hợp đồng, và tạo ra một chuỗi khai thác hoàn chỉnh trước khi bất kỳ chuyên gia phân tích nào hoàn thành lần đọc đầu tiên của mình.

Chuỗi ma sát được thiết kế dựa trên kinh tế học của kẻ tấn công là con người. Mythos thay đổi hoàn toàn hàm chi phí đó.

Mythos Thực Sự Tác Động Đến Bề Mặt Tấn Công Như Thế Nào

Như đã được trình bày chi tiết trong bản xem trước kỹ thuật Mythos của Anthropic, hệ thống này có khả năng phân tích các triển khai TLS, gắn cờ các mẫu tái sử dụng nonce AES-GCM, và truy vết chuỗi phụ thuộc xuyên suốt các tầng phần mềm phức tạp -- loại phân tích TLS và AES-GCM từng đòi hỏi một chuyên gia mật mã học cấp cao và vài tuần làm việc.

Với DeFi, điều này chuyển hóa thành một số vectơ mối đe dọa cụ thể:

  1. Chuỗi khai thác liên hợp đồng, Phần lớn các vụ tấn công lớn trong giai đoạn 2024-2025 đều khai thác sự tương tác giữa các hợp đồng, chứ không phải lỗi trong từng hợp đồng đơn lẻ. AI cấp độ Mythos có thể mô hình hóa những tương tác này một cách toàn diện. Sự cố Kelp DAO mà tôi đã đề cập trước đó, khi một cấu hình sai DVN của LayerZero gây thiệt hại 292 triệu USD, chính xác là kiểu tương tác đa hệ thống mà Mythos được xây dựng để phát hiện.

  2. Chuỗi lỗ hổng zero-day với tốc độ máy móc, Lỗ hổng zero-day do AI phát hiện trong lĩnh vực crypto không còn là lý thuyết. Mối lo ngại thực sự là một hệ thống AI xác định ba vấn đề có mức độ nghiêm trọng thấp riêng lẻ rồi kết hợp chúng thành một đường khai thác nghiêm trọng mà không một kiểm toán viên nào có thể liên kết lại được.

  3. Bề mặt tấn công oracle và bridge, Logic của bridge rất dày đặc, đặc tả kém, và tiếp xúc với nhiều hệ thống bên ngoài. Đây là nơi các kiểm toán viên con người liên tục bỏ sót. Đây cũng là nơi các hệ thống suy luận tự động có đòn bẩy lớn nhất.

Không điều nào trong số này đòi hỏi Mythos phải được triển khai với mục đích xấu. Những khả năng tương tự mà các nhà nghiên cứu của Anthropic đang sử dụng sẽ có mặt, dưới một hình thức nào đó, với tất cả mọi người trong vòng 18-24 tháng tới.

Kiểm Toán Hợp Đồng Thông Minh DeFi Đã Bắt Đầu Lỗi Thời

Ngành kiểm toán đang không theo kịp tốc độ phát triển. Một cuộc kiểm toán Tier-1 điển hình có chi phí từ 50.000 đến 300.000 USD, kéo dài 4-8 tuần, và chỉ bao gồm một ảnh chụp cố định của codebase tại thời điểm đó. Các giao thức liên tục cập nhật. Bản kiểm toán thường đã lỗi thời trước khi mực kịp khô.

Tệ hơn nữa, các cuộc kiểm toán tạo ra sự tự tin giả tạo. Như phân tích của Olympix về lý do tại sao các cuộc kiểm toán hợp đồng thông minh thất bại ghi lại, Euler Finance đã được kiểm toán. Ronin đã được kiểm toán. Nomad đã được kiểm toán. Vụ hack cầu Ronin trị giá 625 triệu USD vào năm 2022 xảy ra chính xác vì các kiểm toán viên xem xét hợp đồng một cách riêng lẻ, không xem xét quy trình quản lý khóa xác thực mà chúng phụ thuộc vào.

Nói "chúng tôi đã được kiểm toán" vào năm 2026 sẽ mang tín hiệu bảo mật tương đương với việc nói "chúng tôi sử dụng HTTPS" vào năm 2015. Đó là vệ sinh cơ bản, không phải một tư thế phòng thủ.

Sự lỗi thời của kiểm toán hợp đồng thông minh DeFi không phải là điều sắp đến mà đã ở đây rồi đối với các giao thức hoạt động ở quy mô lớn, một xu hướng được xác nhận bởi nghiên cứu về tình trạng bảo mật Web3 của Olympix cho thấy hầu hết các vụ khai thác đến từ các hợp đồng đã được kiểm toán. Câu hỏi đặt ra là liệu các nhóm có thích nghi hay chỉ tiếp tục mua cùng một loại bảo hiểm đắt tiền nhưng không đủ hiệu quả.

Project Glasswing và Các Khung Quản lý Rủi ro AI Đang Nổi lên để Đối Phó

Không phải tất cả mọi người đều thụ động. Project Glasswing, một sáng kiến nghiên cứu bảo mật AI gốc crypto, đang nghiên cứu các khung giám sát liên tục có hỗ trợ AI được thiết kế để hoạt động với tốc độ của các mối đe dọa do AI tạo ra. Nhận định cốt lõi là đúng: nếu AI có thể tìm ra khai thác trong thời gian thực, lớp phát hiện và phản ứng cũng phải hoạt động trong thời gian thực.

Điều này có nghĩa là chuyển dịch từ kiểm toán định kỳ sang:

  • Giám sát bất biến, các kiểm tra trên chuỗi phát hiện khi trạng thái hợp đồng vi phạm các điều kiện kỳ vọng
  • Xác minh hình thức, các chứng minh toán học về tính đúng đắn cho logic giao thức cốt lõi, không chỉ là xem xét không chính thức
  • Pipeline fuzzing liên tục, tạo kiểm thử tự động chạy với mỗi lần commit, không chỉ vào thời điểm kiểm toán

Một số giao thức đã làm được điều này. Kiến trúc hook của Uniswap v4 được thiết kế có tính đến xác minh hình thức. MakerDAO đã đầu tư mạnh vào mô hình hóa bảo mật kinh tế. Nhưng đây là những trường hợp ngoại lệ. Giao thức DeFi điển hình trong năm 2025 vẫn đang triển khai với một lần kiểm toán duy nhất và timelock 48 giờ, rồi coi như xong.

Bài Toán Timelock Không Còn Đúng Nữa

Đây là vấn đề cấu trúc cốt lõi của timelock: chúng giả định rằng một nhà phân tích con người có đủ thời gian để xem xét một giao dịch đang chờ xử lý, xác định nó là độc hại, và phối hợp phản ứng trước khi giao dịch thực thi.

Với 48-72 giờ, điều đó hoàn toàn khả thi. Một đội bảo mật có năng lực có thể huy động, đánh giá và phản ứng kịp thời.

Giờ hãy hình dung một kẻ tấn công sử dụng chuỗi khai thác AI trong DeFi để xác định lỗ hổng, chế tạo mã khai thác, chuẩn bị một đề xuất quản trị trông có vẻ hợp lệ, và chỉ để lộ payload độc hại thông qua một đường dẫn thực thi có điều kiện kích hoạt sau khi timelock kết thúc. Timelock không thất bại, mà chính giả định về tốc độ phân tích làm nền tảng cho nó mới thất bại.

Bề mặt tấn công quản trị là mặt trận lớn tiếp theo. Tôi dự đoán sẽ có ít nhất một vụ khai thác ở tầng quản trị đáng kể vào năm 2026, phơi bày đúng khoảng trống này.

Bộ Phòng Thủ Thực Sự Cần Trông Như Thế Nào

Bảo mật dựa trên ma sát phải nhường chỗ cho bảo mật dựa trên tính đúng đắn. Con đường thực tiễn hướng tới đây có ba tầng:

Tầng 1, Xác minh hình thức tại lõi giao thức. Không phải mọi thứ, mà là logic thanh toán, các bất biến kế toán, các mẫu kiểm soát truy cập. Certora và Halmos đã sẵn sàng cho môi trường sản xuất. Không có lý do gì để một giao thức có TVL 500 triệu đô la lại không sử dụng chúng.

Tầng 2, Giám sát liên tục có hỗ trợ AI. Các công cụ như Forta Network, Hexagate và Hypernative đang thực sự phát huy tác dụng ở đây. Chúng phát hiện hành vi bất thường trên chuỗi trước khi hoàn tất. Đây là tầng phát hiện cần mở rộng quy mô để theo kịp các mối đe dọa ở tốc độ AI.

Lớp 3, Phản ứng sự cố có thể hành động nhanh hơn một cuộc bỏ phiếu DAO. Cơ chế tạm dừng kích hoạt theo phát hiện tự động, không phải sau khi có đề xuất quản trị. Multisig khẩn cấp với các quy trình phản ứng được ủy quyền trước. Phản ứng nhanh của nhóm Euler năm 2023, thu hồi 197 triệu đô la thông qua đàm phán, một phần hoạt động được vì họ có một người chịu trách nhiệm rõ ràng và có thể hành động nhanh. Hầu hết các giao thức không có điều đó.

Cơ sở hạ tầng thanh toán cho AI agent mà tôi đã đề cập trong bài về x402 và các đường thanh toán tự chủ cũng liên quan ở đây, khi các AI agent giao dịch tự chủ trên chuỗi, bề mặt tấn công cho các khai thác được hỗ trợ bởi AI mở rộng theo khối lượng giao dịch, không chỉ theo số lượng giao thức.

Câu Hỏi Thực Sự Là Ai Thích Nghi Trước

Mythos của Anthropic đại diện cho sự thừa nhận công khai rằng các hệ thống AI hiện đang hoạt động ở tuyến đầu của nghiên cứu lỗ hổng bảo mật. Cùng khả năng phân tích đó sẽ lan rộng. Chúng luôn như vậy.

Các giao thức DeFi tồn tại được trong hai năm tới sẽ là những giao thức coi bảo mật là một vấn đề kỹ thuật liên tục, không phải một ô kiểm tra tuân thủ. Những giao thức không làm vậy sẽ trở thành các nghiên cứu điển hình.

Tuần 750 triệu đô la không phải là kịch bản tệ nhất. Đó là mức nền chúng ta đang chuẩn hóa xung quanh trước khi công cụ trở nên rẻ hơn và dễ tiếp cận hơn. Cửa sổ để xây dựng lại ngăn xếp phòng thủ đang mở, nhưng sẽ không mở mãi.

Nguồn