DeepSeek giảm chi phí kiểm toán bảo mật xuống còn 1/100–1/200 trong một trường hợp

Đồng sáng lập NEAR Protocol cho biết chi phí của một công việc sử dụng DeepSeek thấp hơn 100–200 lần so với khi dùng các mô hình AI đóng. Tuy nhiên, đây là trường hợp do nhóm giới thiệu, không có nghĩa chi phí kiểm toán bảo mật hợp đồng thông minh nói chung cũng giảm theo cùng tỷ lệ.

Trong podcast The Rollup được công bố ngày 24, Illia Polosukhin, đồng sáng lập NEAR Protocol, trình bày quy trình xác minh kết hợp DeepSeek với các công cụ tùy chỉnh. Alex Shevchenko, nhà sáng lập kiêm CEO của Aurora Labs và Diffuse Labs, cùng Anton Astafiev, CTO của NEAR One, cũng tham gia thảo luận về tính bảo mật của suy luận AI, chữ ký tài khoản blockchain và các tác nhân AI tự hành.

Xác minh hình thức là quá trình dùng máy móc để kiểm tra xem mã hoặc một mệnh đề toán học có đáp ứng các quy tắc đã định hay không. Polosukhin cho biết DeepSeek và các công cụ tùy chỉnh đã giúp giảm chi phí công việc vốn được thực hiện bằng Claude và ChatGPT từ hàng chục nghìn USD xuống còn vài trăm USD. Tài liệu gốc gọi đây là chi phí kiểm toán bảo mật, nhưng không công bố phạm vi công việc cụ thể hay cách tính chi phí.

Vì vậy, con số giảm còn 1/100–1/200 chỉ nên được hiểu trong phạm vi trường hợp này. So sánh chi phí xác minh hình thức không đủ để kết luận chi phí kiểm toán bảo mật nói chung hoặc khả năng phát hiện lỗi cũng thay đổi ở mức tương tự.

Kho lưu trữ công cụ xác minh do NEAR AI công bố có quy trình và mã để kiểm tra bằng chứng phần cứng của môi trường chạy mô hình DeepSeek. Xác nhận môi trường mà mô hình được chạy và chứng minh mã đáp ứng các quy tắc yêu cầu là hai công việc khác nhau. Nội dung kho lưu trữ không chứng minh cho so sánh chi phí được nêu trong podcast.

Cuộc thảo luận cũng đề cập đến tính bảo mật dữ liệu. Shevchenko nêu khó khăn khi ghi trực tiếp thông tin lương hoặc giao dịch chuỗi cung ứng lên sổ cái công khai. Những người tham gia bàn về việc sử dụng môi trường thực thi tin cậy (TEE) và bằng chứng mật mã khi AI xử lý thông tin nhạy cảm.

NEAR AI cho biết hệ thống có thể chạy suy luận AI trong môi trường phần cứng biệt lập và xác minh trạng thái thực thi. Đây là mô tả về cấu trúc dịch vụ, không phải dữ liệu thể hiện kết quả bảo mật trong từng môi trường sử dụng.

Bảo mật kháng lượng tử cũng cần được xem xét theo phạm vi áp dụng. Trong lộ trình kháng lượng tử công bố hồi tháng 8, NEAR cho biết sẽ hỗ trợ ML-DSA cho chữ ký tài khoản. Khả năng dùng phương thức chữ ký mới cho tài khoản không đồng nghĩa toàn bộ giao thức đã hoàn tất quá trình chuyển đổi.

Lộ trình nêu việc chuyển đổi hệ thống đồng thuận dùng để tạo khối và hạ tầng xuyên chuỗi là các công việc tiếp theo. Trường hợp chi phí được trình bày trong cuộc thảo luận và định hướng công nghệ AI, blockchain của NEAR đều được giới thiệu trong phạm vi công việc và mô tả dịch vụ tương ứng.