Theo đồng sáng lập NEAR Protocol, Illia Polosukhin, trí tuệ nhân tạo đang tăng cường khả năng của hacker trong việc tìm kiếm các lỗ hổng phần mềm nhanh hơn khả năng vá lỗi của các biện pháp bảo mật truyền thống, người cho rằng các nhà phát triển nên chuyển sang sử dụng các bằng chứng toán học để bảo mật mã của họ.

"Tôi thực sự có thể nói rằng tháng 10 năm ngoái — tôi nghĩ Balancer là trường hợp đầu tiên — đó là lúc hoạt động tấn công được hỗ trợ bởi AI bắt đầu," Polosukhin cho biết hôm thứ Hai trong một cuộc phỏng vấn với Gareth Jenkinson trên podcast The Starting Block của The Block.

Polosukhin nói rằng an ninh mạng cho đến nay chủ yếu liên quan đến việc "những người thông minh" xem xét mã và hy vọng rằng không ai thông minh hơn tìm thấy điều gì họ đã bỏ sót. Ông nói rằng tư duy đó vốn đã không hoàn hảo trước sự trỗi dậy của AI, nhưng các mô hình mới hơn và có khả năng hơn đang khiến nó càng trở nên kém bền vững hơn.

"Chúng ta cần một cách suy nghĩ khác," Polosukhin nói. "Không phải kiểu, 'Ồ, chúng ta sẽ xem xét mọi thứ bằng một mô hình tốt hơn và hy vọng rằng mô hình tốt hơn tiếp theo sẽ không tìm thấy gì.'"

Giải pháp ông đề xuất là xác minh hình thức (formal verification) chứng minh một cách toán học rằng mã "thực hiện đúng những gì nó tuyên bố". Quá trình này từ trước đến nay rất tốn kém, chậm và cần nhiều lao động, nhưng Polosukhin cho biết AI giờ đây có thể giúp tạo ra phần lớn bằng chứng cần thiết, sau đó có thể được kiểm tra độc lập.

"Bạn không cần phải dựa vào AI vì AI chỉ tạo ra bằng chứng," ông nói. "Bạn chỉ cần xác minh rằng bằng chứng đó là chính xác."

Một sáng kiến gần đây của Zcash là một ví dụ về những gì Polosukhin đang mô tả. Dự án Tachyon đã sử dụng xác minh hỗ trợ AI để tạo ra một bằng chứng toán học rằng nhóm Ironwood được bảo vệ (shielded pool) của Zcash không thể chứa loại lỗi giả mạo không thể phát hiện tương tự như lỗi đã được tìm thấy trong nhóm Orchard của nó vào tháng trước.

Dự án Tachyon cho biết những tiến bộ trong việc tạo bằng chứng được hỗ trợ bởi AI đã rút ngắn công việc từng mất nhiều năm xuống chỉ còn vài tuần. 

Polosukhin cũng lập luận rằng cách tiếp cận này cuối cùng nên vượt ra ngoài các hợp đồng thông minh (smart contracts) để áp dụng cho phần mềm internet và mạng quan trọng.

"Chúng ta cần thay đổi cơ bản sang việc xây dựng mã blockchain — và thành thật mà nói, tất cả mã trên internet — để được xác minh hình thức," ông nói.

Trong một diễn biến khác vào thứ Hai, NEAR đã triển khai một bản nâng cấp nhằm chuẩn bị cho mạng lưới đối phó với các yêu cầu bảo mật và khả năng mở rộng mới nổi. Người dùng giờ đây có thể chuyển sang các khóa tài khoản kháng lượng tử (quantum-resistant account keys), trong khi mạng lưới có thể tự động mở rộng dung lượng khi hoạt động tăng lên.