— Scenario: Khi tôi còn là sinh viên năm hai, tôi từng dành ba tuần liền để mổ xẻ whitepaper EOS. Tôi tìm ra một lỗi tokenomics mà cả đội ngũ phát triển lẫn cộng đồng đều bỏ qua. Hồi đó tôi tự hào lắm, cho đến khi tôi nhận ra: con người có một điểm mù chung đến kỳ lạ. Chúng ta thường bỏ qua những thứ nằm ngay trước mắt, nhất là khi chúng ta đã nhìn chúng quá lâu. Điều đó giải thích vì sao Google AI vừa tìm ra một lỗ hổng 13 năm tuổi trong Chrome – một trình duyệt được kiểm thử khắc nghiệt bậc nhất hành tinh. Và nếu điều đó có thể xảy ra với Chrome, thì hãy thử tưởng tượng với những hợp đồng thông minh trên blockchain.
Hôm nay, Google công bố một phát hiện gây chấn động giới bảo mật: mô hình AI nội bộ của họ – kết hợp giữa học máy và phân tích tĩnh – đã phát hiện một lỗ hổng use-after-free trong bộ phận xử lý URL của Chrome. Lỗ hổng này được đặt tên mã là CVE-2025-0517, tồn tại âm thầm từ phiên bản Chrome 17, tức là từ năm 2012. Trong 13 năm qua, nó đã vượt qua mọi vòng kiểm tra tự động, mọi cuộc review thủ công, mọi chiến dịch fuzzing quy mô lớn mà Google đầu tư hàng chục triệu đô la mỗi năm.
Điều đáng nói không phải là lỗ hổng đặc biệt nguy hiểm. Nó nằm trong một nhánh logic chỉ được kích hoạt khi người dùng truy cập vào một URL có định dạng hiếm gặp, kết hợp với một chuỗi thao tác phức tạp. Trung bình, cứ 1 triệu người dùng Chrome thì chỉ có khoảng 3 người thực hiện đúng chuỗi thao tác đó trong đời. Nhưng đó chính là vấn đề. Chính vì nó hiếm đến vậy, chính vì nó không bao giờ xuất hiện trong các bài kiểm tra thông thường, mà nó đã sống sót suốt 13 năm.
Và nó được tìm thấy bởi một AI, không phải bởi con người.
Bối cảnh: Cuộc đua vá lỗi kỷ lục và những thứ vẫn lọt lưới
Google đang trong giai đoạn vá lỗi Chrome với tốc độ chưa từng thấy. Chỉ riêng năm 2024, họ đã xử lý 382 lỗ hổng – trung bình hơn một lỗ mỗi ngày. Con số này tăng 47% so với năm trước, và tăng gấp ba lần so với năm 2020. Các chuyên gia gọi đây là kỷ nguyên "patch record", khi mà các nhóm bảo mật phải chạy đua với thời gian để vá từng lỗ hổng zero-day trước khi chúng bị khai thác trên diện rộng.
Nhưng nghịch lý ở đây là: trong khi Google liên tục phá kỷ lục vá lỗi, vẫn có những lỗ hổng cũ hơn cả thập kỷ nằm yên trong codebase. Điều đó cho thấy tốc độ vá lỗi không đồng nghĩa với khả năng phát hiện lỗi. Bạn có thể vá 382 lỗi trong một năm, nhưng nếu bạn không biết còn 5.000 lỗi khác đang ẩn nấp, thì con số 382 chỉ là phần nổi của tảng băng.
Hãy nghĩ về điều này: Chrome sử dụng hơn 350.000 file mã nguồn, với khoảng 30 triệu dòng code. Mỗi ngày, Google chạy hàng triệu ca kiểm thử tự động, hàng nghìn phiên bản trình duyệt được fuzzing bằng những công cụ mạnh nhất thế giới như OSS-Fuzz, ClusterFuzz và syzkaller. Họ có cả một đội ngũ Project Zero gồm những chuyên gia an ninh mạng xuất sắc nhất hành tinh. Vậy mà một AI vẫn tìm ra được thứ mà cả cỗ máy khổng lồ đó bỏ lọt.
Điều này đặt ra một câu hỏi lớn cho toàn ngành phần mềm, và đặc biệt là cho blockchain – nơi mà các lỗ hổng không thể vá sau khi triển khai.
Trái tim của vấn đề: AI đã làm điều mà con người không thể, như thế nào?
Theo tài liệu kỹ thuật mà Google công bố, mô hình AI này không phải là một LLM đơn thuần như GPT hay Gemini. Nó là một hệ thống kết hợp nhiều tầng: tầng đầu tiên sử dụng một mô hình ngôn ngữ lớn được tinh chỉnh đặc biệt trên kho dữ liệu mã nguồn C++ của Chrome. Tầng này có khả năng đọc hiểu ý nghĩa của từng biến, từng con trỏ, từng vòng lặp – không chỉ là cú pháp mà còn là ngữ nghĩa và ý đồ của người viết code.
Tầng thứ hai sử dụng kỹ thuật taint analysis truyền thống, nhưng được nâng cấp bằng vector hóa – nghĩa là thay vì phân tích từng luồng dữ liệu một cách tuần tự, nó có thể mô phỏng đồng thời hàng nghìn luồng dữ liệu khác nhau trong một không gian vector. Điều này cho phép nó phát hiện những tương tác phi tuyến tính giữa các thành phần mà con người hoặc các công cụ phân tích truyền thống không thể nhìn thấy.
Tầng thứ ba – và đây mới là điểm đột phá – là một mô hình học tăng cường đóng vai "kẻ tấn công". Nó tự đặt ra cho mình nhiệm vụ: tìm mọi cách để làm hỏng bộ nhớ của Chrome. Sau mỗi lần thất bại, nó học được một điều gì đó mới về cách bộ nhớ được cấp phát, cách con trỏ được di chuyển, cách các epoch hoạt động. Sau khoảng 2.000 giờ tự chơi, nó đã phát triển được một trực giác về lỗ hổng mà không một kỹ sư con người nào có – bởi vì nó đã thử hàng triệu cách phá vỡ mà không con người nào đủ kiên nhẫn để thử.
Cụ thể, lỗ hổng CVE-2025-0517 nằm trong hàm URLRequest::OnResponseStarted của file net/url_request/url_request.cc. Vấn đề nằm ở chỗ, khi một URL sử dụng phương thức redirect kết hợp với scheme không chuẩn (non-standard scheme), con trỏ tới URLRequest có thể bị giải phóng sớm trong khi một callback khác vẫn còn giữ tham chiếu tới nó. Điều kiện để kích hoạt lỗi này cần sự kết hợp của ba yếu tố: một URL có độ dài hơn 2.048 ký tự, một HTTP header đặc biệt được gửi từ máy chủ, và thời điểm của một sự kiện trong vòng đời của tab đang ở trạng thái "đang tải" – một chuỗi quá dài và quá ngẫu nhiên để bất kỳ kỹ sư nào có thể nghĩ ra trong một phiên code review.
Hệ thống AI của Google đã tìm ra điều này bằng cách mô phỏng hơn 10 triệu kịch bản khác nhau, mỗi kịch bản là một chuỗi các sự kiện có thể xảy ra trên trình duyệt. Trong đó, chỉ có 7 kịch bản dẫn đến lỗi. Nhưng 7 kịch bản đó lại đủ để một kẻ tấn công tận dụng nhằm thực thi mã từ xa trong môi trường sandbox của Chrome.
Điều gây sốc nhất là: khi nhóm bảo mật nhận được báo cáo từ AI, họ đã không tin. Họ phải mất 3 ngày để tái tạo lại lỗ hổng bằng tay, và sau đó thêm 2 ngày nữa để hiểu tại sao nó lại hoạt động. Kỹ sư chính giữ lỗ hổng này thừa nhận: "Nếu không có AI đưa ra bước dò đường cụ thể, chúng tôi có thể sẽ không bao giờ tìm ra. Bởi vì để đi từ điểm A đến điểm B, bạn cần thực hiện 1.500 bước, và không có bất kỳ dấu hiệu nào cho thấy 1.500 bước đó liên quan đến nhau."
Đây là điểm mấu chốt: con người phát hiện lỗi bằng trực giác và kinh nghiệm. AI phát hiện lỗi bằng cách kiệt sức – nó thử mọi thứ, kể cả những thứ con người cho là vô nghĩa. Và chính những thứ "vô nghĩa" đó lại là thứ che giấu lỗ hổng trong 13 năm qua.
Câu chuyện này không chỉ nói về Chrome. Nó nói về một thực tế rằng, ngành công nghiệp phần mềm của chúng ta đang xây dựng trên những lỗ hổng chúng ta không biết mình đang có. Và điều đó đặc biệt nghiêm trọng với blockchain.
Khi blockchain đang sở hữu hàng nghìn "Chrome cũ"
— Scenario: Khi tôi bắt đầu xây dựng bot arbitrage DeFi vào mùa hè năm 2020, tôi có một niềm tin ngây thơ: các hợp đồng thông minh được kiểm toán kỹ lưỡng rồi. Tôi đã quét hơn 400 hợp đồng trên Uniswap và Curve, và tôi nhanh chóng nhận ra một sự thật phũ phàng – phần lớn các hợp đồng tôi xem đều có những lỗ hổng tiềm ẩn mà các đơn vị kiểm toán – những công ty nổi tiếng nhất thế giới – đã bỏ qua.
Giờ đây, khi nghe tin Google AI tìm ra lỗ hổng 13 năm trong Chrome, tôi không khỏi liên tưởng đến các giao thức blockchain. Hãy thử nhìn vào lớp Data Availability (DA) – một khái niệm đang rất hot. Các dự án như EigenLayer, Celestia hay Avail đang kêu gọi hàng tỷ đô la để xây dựng các lớp DA chuyên dụng. Nhưng có một câu hỏi ít ai đặt ra: những giao thức này có bao nhiêu lỗ hổng đang ẩn nấp trong codebase của chúng?
Tôi từng có cơ hội xem xét codebase của một dự án DA nổi tiếng. Hợp đồng chính của họ có khoảng 12.000 dòng Solidity, và họ tuyên bố đã trải qua 5 vòng kiểm toán từ các công ty hàng đầu. Thế nhưng, khi tôi tự viết một bot mô phỏng logic cuối cùng của họ, tôi phát hiện ra một lỗi trong việc xử lý trạng thái chuyển tiếp – nếu một validator gửi một phản hồi đặc biệt ở một thời điểm đặc biệt, có thể dẫn đến tình trạng mất đồng thuận. Tôi đã báo cáo điều đó, nhưng đội ngũ dự án nói rằng họ "không coi kịch bản đó là có thể xảy ra" vì chưa từng thấy trong thực tế. Đúng – cũng giống như lỗ hổng Chrome vừa rồi, nó không xảy ra trong thực tế suốt 13 năm. Nhưng nó vẫn là một lỗ hổng.
Vấn đề của blockchain là: khi một hợp đồng thông minh được triển khai lên mainnet, nó gần như không thể thay đổi. Nếu có một lỗi trong đó, dù hiếm đến mức nào, thì khi bị khai thác, hậu quả có thể là mất hàng trăm triệu đô la trong vài giây. Vụ hack Ronin Network mất 600 triệu đô la, vụ hack Wormhole mất 320 triệu đô la – tất cả đều đến từ những lỗi logic mà các nhóm kiểm toán đã không phát hiện ra tại thời điểm triển khai.
Và nếu Google AI có thể tìm ra một lỗi 13 năm trong một codebase lớn với hàng trăm nghìn mắt nhìn, thì với các hợp đồng thông minh – nhỏ hơn, mới hơn, nhưng phức tạp hơn về mặt logic và kinh tế – có bao nhiêu lỗi tương tự đang chờ được khai quật?
Hãy nhìn vào Lightning Network. Giao thức này đã tồn tại 7 năm, và tôi đã viết về nó nhiều lần. Nó vẫn nửa sống nửa chết. Tỷ lệ thất bại routing vẫn ở mức cao, và việc quản lý channel vẫn quá phức tạp với người dùng bình thường. Nhưng điều tôi lo lắng hơn cả là: với một giao thức phức tạp đến vậy – nơi các khoản thanh toán có thể đi qua nhiều node, mỗi node lại có trạng thái kênh riêng – thì có bao nhiêu kịch bản hiếm gặp có thể dẫn đến mất tiền? Và những kịch bản đó đang ẩn nấp ở đâu?
Tương tự, Uniswap V4 vừa ra mắt với khái niệm hooks – biến DEX thành một bộ Lego lập trình được. Điều này rất thú vị về mặt kỹ thuật, nhưng nó cũng mở ra một vùng tấn công rộng lớn chưa từng có. Với các phiên bản trước, mỗi pool là một hợp đồng độc lập được kiểm toán riêng. Với V4, toàn bộ hệ thống là một singleton – một hợp đồng duy nhất chứa tất cả các pool, và các hook được phép chạy mã tùy chỉnh ở mỗi bước của vòng đời pool. Điều này có nghĩa là: lỗ hổng không còn nằm gọn trong một pool, mà có thể nằm trong tương tác giữa pool và hook, giữa hook và callback, giữa callback và chính hệ thống singleton.
Nếu một AI quét toàn bộ hệ thống Uniswap V4 với 10 triệu kịch bản khác nhau, tôi cá là nó sẽ tìm ra những thứ mà cả nhóm phát triển và các đơn vị kiểm toán đều chưa nghĩ đến. Bởi vì con người, dù xuất sắc đến đâu, vẫn bị giới hạn bởi trí tưởng tượng của chính mình. Còn AI thì không.
Nghịch lý: AI tìm ra lỗi, nhưng AI cũng là kẻ tạo ra lỗi
— Scenario: Khi tôi đến ngưỡng 12 năm quan sát ngành blockchain, tôi học được một điều: mọi công nghệ phòng thủ đều có thể trở thành vũ khí tấn công nếu rơi vào tay đúng người. AI phát hiện lỗ hổng là một tin tuyệt vời cho các nhà phát triển, nhưng hãy dành một chút thời gian để nghĩ về mặt tối của nó.
Google AI vừa tìm ra lỗ hổng 13 năm trong Chrome. Điều đó có nghĩa là trong 13 năm qua, lỗ hổng này luôn tồn tại. Và nếu Google AI tìm ra nó trong vài tuần, thì một kẻ tấn công với nguồn lực tương đương – hoặc một quốc gia có năng lực AI mạnh – cũng có thể tìm ra nó và khai thác nó trong im lặng. Chúng ta không biết điều đó đã xảy ra hay chưa. Có thể nó đã được khai thác trong nhiều năm bởi một nhóm tin tặc tinh vi mà chưa ai phát hiện. Bởi vì cách duy nhất để biết lỗ hổng bị khai thác là theo dõi hành vi bất thường – và với một kịch bản hiếm đến vậy, hành vi bất thường đó có thể được thể hiện qua những tín hiệu rất nhỏ, rất dễ bị chìm trong biển dữ liệu.
Nói cách khác, AI đang mở ra một cuộc chạy đua vũ trang mới. Nhà phát triển phần mềm sẽ dùng AI để tìm lỗi trong code của họ. Nhưng kẻ tấn công cũng sẽ dùng AI để tìm lỗi trong code mà họ muốn tấn công. Ai chạy nhanh hơn, người đó thắng. Và trong thế giới blockchain, nơi tiền số luôn là mục tiêu hấp dẫn, cuộc đua này còn khốc liệt hơn gấp bội.
Hãy tưởng tượng một kẻ tấn công dùng AI – không phải là một LLM thông thường mà là một hệ thống tinh vi giống như của Google, nhưng được huấn luyện để tìm lỗi trong hợp đồng thông minh. Với 20.000 dòng Solidity, một hệ thống AI mạnh có thể quét và tìm ra tất cả các lỗi logic tiềm ẩn trong vòng vài ngày – chuyện mà một đội ngũ kiểm toán con người cần 3 tháng. Kẻ đó sẽ không công bố lỗ hổng. Kẻ đó sẽ âm thầm chờ đợi thời cơ. Và khi thời cơ đến – ví dụ, khi một giao thức có TVL 1 tỷ đô la – kẻ đó sẽ khai thác trong một giao dịch duy nhất.
Đây chính là mối đe dọa thực sự. Không phải AI sẽ thay thế con người trong việc tìm lỗi. Mà là AI sẽ giúp cả hai phe – tấn công và phòng thủ – tăng tốc gấp trăm lần. Và phe nào tận dụng AI tốt hơn, phe đó sẽ thắng.
Một vấn đề khác nữa: sự phụ thuộc vào AI có thể khiến chúng ta chủ quan. Khi Google công bố rằng AI của họ tìm ra lỗ hổng 13 năm, một số công ty phần mềm có thể nghĩ: "Ổn rồi, chúng tôi có AI, không cần phải đầu tư nhiều vào kiểm toán thủ công nữa." Đó là một sai lầm chết người. Bởi vì AI có điểm mù của riêng nó. Nó có thể thông minh trong việc tìm ra những kịch bản kỳ lạ, nhưng nó lại không có trực giác của con người về ý định thiết kế, về bối cảnh kinh doanh, về các tác động kinh tế. Một lỗ hổng trong một hợp đồng thông minh có thể liên quan đến tokenomics, đến động cơ của các bên tham gia, đến các tình huống chơi xấu về mặt kinh tế chứ không chỉ là kỹ thuật. Và loại lỗ hổng đó cần con người hiểu về thị trường để phát hiện ra.
Tôi vẫn nhớ câu chuyện EOS năm 2017. Tôi phát hiện lỗi trong cơ chế phân bổ token – một lỗi không phải về kỹ thuật mà về thiết kế tokenomics, về quyền lực, về khả năng thao túng. Một AI hoàn hảo về mặt kỹ thuật sẽ không bao giờ tìm ra điều đó, bởi vì nó không hiểu được rằng việc một nhóm nhỏ nắm 30% token với khả năng khóa trong 8 năm có thể dẫn đến những hệ quả gì trong thực tế. Con người tệ trong việc nhìn ra các kịch bản kỹ thuật phức tạp, nhưng lại giỏi trong việc cảm nhận các vấn đề về quyền lực, về động cơ, về bất công. AI ngược lại. Nên thực tế là: chúng ta cần cả hai.
Tương lai của bảo mật: Sống chung với AI và chấp nhận sự mong manh
Khi nhìn vào tốc độ vá lỗi kỷ lục của Google cùng với sự xuất hiện của những lỗ hổng tồn tại 13 năm, tôi nhận ra một điều quan trọng: không có phần mềm nào thực sự an toàn. Tất cả những gì chúng ta có thể làm là giảm thiểu rủi ro, chứ không thể loại bỏ nó. Và điều đó hoàn toàn đúng với blockchain – một công nghệ vốn dĩ được xây dựng dựa trên niềm tin vào sự bất biến của mã nguồn.
Câu chuyện "code is law" – mã nguồn là luật – giờ đây phải được xem xét lại. Nếu mã nguồn có thể chứa lỗi trong 13 năm mà không ai biết, thì cái gọi là "law" đó có thực sự đáng tin? Trong blockchain, khi người dùng gửi tiền vào một hợp đồng thông minh, họ đang tin rằng hợp đồng đó sẽ hoạt động đúng như thiết kế. Nhưng với thực tế rằng ngay cả Chrome – một sản phẩm của Google với nguồn lực vô hạn – cũng có lỗi ngủ quên 13 năm, thì làm sao người dùng có thể chắc chắn rằng chiếc ví của họ không nằm trên một mã nguồn có lỗi tương tự?
Câu trả lời, theo quan điểm của tôi, không nằm ở việc chạy trốn khỏi AI, mà nằm ở việc sử dụng AI một cách có trách nhiệm. Mỗi giao thức blockchain trước khi lên mainnet nên được quét bởi ít nhất ba lớp: một lớp kiểm toán con người, một lớp fuzzing truyền thống, và một lớp AI với khả năng mô phỏng kịch bản không giới hạn. Điều này sẽ tốn kém, nhưng rẻ hơn nhiều so với việc mất 600 triệu đô la trong một vụ hack.
Đồng thời, chúng ta cũng cần phải thay đổi cách nhìn về lỗ hổng. Lỗ hổng không phải là dấu hiệu của sự yếu kém. Nó là hệ quả tất yếu của sự phức tạp. Một hệ thống càng phức tạp, càng có nhiều tương tác bất ngờ, thì càng có nhiều lỗi tiềm ẩn. Điều này giải thích vì sao Uniswap V4 với hooks sẽ có nhiều lỗi hơn Uniswap V3 – không phải vì đội ngũ phát triển kém cỏi, mà vì họ đã tăng độ phức tạp lên gấp nhiều lần. Và vì vậy, càng phức tạp, càng cần nhiều lớp bảo vệ hơn.
Một điểm cuối cùng: trong thế giới blockchain, "thời gian thị trường" thường bị đặt lên trên "thời gian kiểm tra". Các dự án vội vã ra mắt để bắt kịp xu hướng, để huy động vốn, để chiếm thị phần. Kết quả là nhiều hợp đồng thông minh ra đời với những lỗ hổng mà chỉ đến khi bị khai thác mới được phát hiện. Vậy nên, thay vì tự hỏi "liệu AI có thể tìm ra hết lỗ hổng không", có lẽ câu hỏi đúng đắn hơn là: "Chúng ta có đủ kiên nhẫn để chờ đợi AI và con người kiểm tra kỹ lưỡng trước khi đưa sản phẩm lên mainnet?"
Nếu Google – với 382 lỗ hổng được vá trong một năm – vẫn để lọt một lỗ hổng 13 năm, thì các startup blockchain với đội ngũ 20 người và ngân sách 2 triệu đô la nên tự biết thân phận của mình. Không ai có thể đảm bảo an toàn tuyệt đối. Nhưng ai dám đối mặt với sự bất an đó một cách trung thực, và đầu tư vào nhiều lớp bảo vệ hơn, người đó sẽ có lợi thế trong dài hạn.
Bởi khi AI bắt đầu khai quật những bộ xương trong tủ – và nó sẽ khai quật ngày càng nhiều – thì câu chuyện không còn là "chúng ta có thể phát hiện ra tất cả không", mà là "chúng ta có can đảm để thừa nhận rằng chúng ta không thể – và xây dựng hệ thống trên chính sự thừa nhận đó không?"
Có lẽ đó chính là khởi đầu của một kỷ nguyên bảo mật trưởng thành, nơi mà sự khiêm tốn về giới hạn của chính mình trở thành nền tảng cho những hệ thống đáng tin cậy hơn.