AI làm giảm chi phí tìm lỗ hổng, ngành công nghiệp tiền điện tử chia thành hai phái để ứng phó

Ngành công nghiệp tiền điện tử đang chia thành hai con đường an toàn: sửa lỗi nhanh chóng và bất biến tối giản.

Tác giả: @Bankless

Biên dịch: AididiaoJP, Foresight News

Khả năng tìm lỗ hổng của AI đã mạnh đến mức ngành công nghiệp tiền điện tử phải tổ chức lại chiến lược an ninh.

Trước tiên, hãy xem mạng Bitcoin. Vào ngày 22 tháng 10, Bitcoin Core đã hợp nhất một thay đổi chiến lược an ninh, nhắm đến lỗ hổng mà "chỉ cần một gợi ý đơn giản cho LLM (mô hình ngôn ngữ lớn) là có thể phát hiện". Trước đây, những vấn đề như vậy có thể bị giữ bí mật lâu nhất là một năm; bây giờ, việc sửa chữa và phát hành cần được thúc đẩy nhanh chóng. Tác giả của thay đổi, Antoine Poinsot, nói một cách thẳng thắn: LLM đang "giảm đáng kể ngưỡng để phát hiện một số loại vấn đề".

Đây không phải là trường hợp đơn lẻ. Hai lỗ hổng chính trong PHP được phát hiện nhờ mô hình AI đã khiến khoảng 1,3 triệu máy chủ bị lộ trên Internet gặp rủi ro. Initia đã tạm dừng toàn bộ mạng: kẻ tấn công đã lợi dụng "lỗi Ngày 0" mà đồng sáng lập Zon đề cập để đúc tiền và chuyển khoảng 2,7 triệu USD qua chuỗi. Hiện tại vẫn chưa thể xác nhận liệu cuộc tấn công này có sử dụng AI hay không, nhưng nói rằng nó đã tham gia ở một mức độ nào đó có lẽ không phải là điều quá táo bạo.

Dữ liệu cũng đang đi theo cùng một hướng. Cơ sở dữ liệu sự kiện hack của DefiLlama cho thấy, từ năm 2026 đến nay đã có 112 cuộc tấn công với số tiền vượt quá 1 triệu USD; trong khi cả năm 2025 chỉ có 70 cuộc. Nghiên cứu hợp đồng thông minh của Anthropic cho thấy, doanh thu từ việc khai thác lỗ hổng của các mô hình tiên tiến vào năm 2025 sẽ tăng gấp đôi khoảng mỗi 1,3 tháng.

Khi kẻ tấn công có trong tay những thợ săn lỗ hổng không biết mệt mỏi và đang không ngừng tiến hóa, ngành công nghiệp tiền điện tử sẽ làm gì? Ngành công nghiệp này đang rút ra hai câu trả lời rất khác nhau.

Phái linh hoạt: có thể thay đổi bất cứ lúc nào

Câu trả lời đầu tiên là duy trì sự linh hoạt: có thể nhanh chóng vá lỗi và cũng có thể nhanh chóng dừng lại.

Starknet là ví dụ rõ ràng nhất hiện nay. Vào thứ Năm, cộng đồng của nó đã bỏ phiếu quyết định nghiên cứu chuyển đổi thành L1 hậu lượng tử độc lập. Một trong những lý do là mong muốn nâng cấp mật mã theo nhịp độ của riêng mình. StarkWare cho biết: "Chúng tôi không thể phụ thuộc vào Ethereum chạy đủ nhanh để đảm bảo an toàn cho chúng tôi." CEO Eli Ben-Sasson hiện ước tính thời gian đến của máy tính lượng tử là "hai năm" và cho rằng AI đang tăng tốc thời gian này.

Các nhà nghiên cứu Ethereum cũng đang cảnh giác. Vào đầu tháng này, Justin Drake đã kêu gọi ngành công nghiệp chuẩn bị cho "chế độ boongke", tức là chuyển tiền đến địa chỉ mới và an toàn hơn. Bối cảnh là một loạt những đột phá toán học do AI thúc đẩy.

Nhưng sự linh hoạt có cái giá của nó. Mỗi khóa quản trị, mỗi con đường nâng cấp, vừa là bề mặt tấn công, vừa là điểm phụ thuộc. Việc thay đổi quy tắc có thể tạo ra lỗi mới. Vì vậy, Ethereum đã rút Glamsterdam khỏi mạng thử nghiệm Hoodi trong tuần này, vì nghiên cứu cho thấy sự thay đổi Gas của nó có thể thay đổi hành vi của các hợp đồng đã triển khai.

Phái tối giản: thu hẹp bề mặt tấn công đến mức tối thiểu

Câu trả lời thứ hai là thu hẹp mục tiêu.

Nhà phát triển Ethereum Ross (z0r0z) đã phát biểu rất thẳng thắn vào thứ Năm: di chuyển mã cơ sở hạ tầng số quan trọng lên chuỗi công khai, để mọi người có thể xác minh những gì đã xảy ra; sau đó tiến tới không máy chủ; thậm chí viết ứng dụng vào mã blockchain, để mỗi lần chạy đều giống nhau. Ý tưởng này bỗng nhiên không còn kỳ lạ.

Điều này chắc chắn có chút tham vọng. Nhưng về bản chất, đó chính là "thử nghiệm buông tay" của Ross: nếu người xây dựng biến mất vào ngày mai, hệ thống có thể vẫn hoạt động an toàn không? Mã càng nhỏ, càng chắc chắn, càng dễ xác minh, thì càng ít điểm có thể bị tấn công và càng ít đối tượng cần tin tưởng. Ross đã bổ sung trong phản hồi của mình: "Các nhà phát triển nên dành năng lượng cho mã đơn giản hơn."

Cảm giác tương tự cũng xuất hiện trong mật mã Ethereum. Vitalik cho biết, lộ trình của Ethereum đã chuyển sang "chỉ băm", một phần lý do là băm được thiết kế không có cấu trúc để AI tăng tốc khai thác toán học.

Mặt trái cũng rõ ràng. Mã công khai, không thể thay đổi, cũng có thể được kẻ tấn công AI đọc; một khi đã lên mạng, không thể vá lỗi. Vì vậy, chủ nghĩa tối giản tốt nhất nên được áp dụng khi mã nhỏ đến mức có thể kiểm tra toàn bộ.

Chứng minh AI, làm cho "không thể sửa chữa" không còn đáng sợ

Đến lượt xác minh hình thức. Xác minh hình thức là việc sử dụng toán học để chứng minh mã sẽ không vi phạm một số quy tắc nhất định.

Trong lịch sử, xác minh hình thức đã tốn kém đến mức đáng sợ. Việc xây dựng nhân hệ điều hành seL4 chỉ mất hai người năm, nhưng việc xác minh lại mất 20 người năm. Nhưng nghiên cứu mới được công bố vào thứ Năm bởi Anthropic và Theorem cho thấy, con đường này đang trở nên rẻ hơn: sử dụng Claude để xác minh 239 điểm truy cập trong 123 thư viện mã nguồn mở, trong các giả định cụ thể, bất kể đầu vào là gì, tối đa đến 64MB, những điểm truy cập này sẽ không bị sập. Toàn bộ quá trình chỉ mất vài tuần.

Tuy nhiên, cũng có chi phí. Quy mô chứng minh sẽ tăng lên khi mã phình to. Trong công việc trên, một chứng minh điển hình khoảng 600.000 dòng, tương ứng với khoảng 18.000 chỉ thị máy, có thể tiêu tốn hàng triệu token AI. Hơn nữa, chứng minh chỉ bao phủ các thuộc tính bạn chỉ định, không có nghĩa là loại trừ tất cả các lỗi.

Nhưng cần lưu ý, ai là người hưởng lợi nhiều nhất: mã nhỏ, một mục đích. Đây chính là loại mã mà phái tối giản muốn đưa lên chuỗi. Nếu AI tiếp tục giảm chi phí chứng minh, "không thể vá" sẽ không còn quan trọng, vì mã vốn dĩ ngày càng ít cần phải vá.

Tất nhiên, các hệ thống như L1 và rollup có quy mô lớn, vẫn đang trong quá trình tiến hóa, vẫn không thể thiếu sự linh hoạt. Chỉ là trong bối cảnh mới của AI, "thử nghiệm buông tay" ngày càng giống như thước đo cốt lõi của chiến lược an ninh, chứ không chỉ là lý tưởng phi tập trung. Những xu hướng này đáng được theo dõi liên tục.

Nội dung này chỉ được đưa ra nhằm mục đích cung cấp thông tin chung, không phải là lời khuyên về tài chính, đầu tư, pháp lý hoặc thuế. Mọi sự kiện, phần thưởng, ưu đãi trực tuyến hoặc thông tin liên quan được đề cập trong nội dung này không được xem là khuyến nghị, chào mời hoặc lời mời mua, bán, giao dịch hoặc thực hiện bất kỳ hoạt động nào khác liên quan đến tài sản crypto. Tài sản crypto có độ biến động cao và có thể dẫn đến thua lỗ.Tính khả dụng của các dịch vụ, sản phẩm và sự kiện liên quan của WEEX có thể khác nhau tùy theo khu vực. Bạn có trách nhiệm bảo đảm việc tham gia của mình tuân thủ các luật và quy định hiện hành tại địa phương.