Hãy tưởng tượng hai giao dịch blockchain.
Cả hai đều được ký đúng cách. Cả hai đều tuân thủ mọi quy tắc đồng thuận. Cả hai thực thi đúng như những gì hợp đồng thông minh quy định. Theo góc nhìn của mạng lưới, chúng đều có giá trị tương đương.
Hãy tưởng tượng rằng một giao dịch được tạo ra từ một người cố ý phê duyệt giao dịch đó, trong khi giao dịch còn lại được tạo ra bởi một tác nhân AI tự chủ hoạt động thay cho người dùng. Đột nhiên, hai giao dịch đó không còn cảm thấy tương đương nữa. Blockchain không thể phân biệt giữa phán đoán cẩn thận của con người và suy luận tự động. Nó chỉ xác minh chữ ký và các chuyển trạng thái.
Quan sát đó chỉ ra một sự thay đổi kiến trúc sâu sắc đang diễn ra trong Web3. Khi các tác nhân AI có khả năng quản lý ví, giám sát thị trường và tương tác với các ứng dụng phi tập trung, thách thức bảo mật cốt lõi không còn là thực thi nữa. Mà là ủy quyền.
Điểm thú vị nhất của tự động hóa có thể xác minh không phải là khiến AI an toàn hơn. Mà là nó thay đổi nơi niềm tin tồn tại trong hệ thống. Thay vì tin vào trí tuệ của một tác nhân tự chủ, kiến trúc cố gắng tin vào bằng chứng rằng tác nhân đã hoạt động trong các ranh giới được xác định trước.
Điều này có thể trông như một sự khác biệt tinh tế, nhưng nó có ý nghĩa quan trọng đối với cách các hệ thống phi tập trung phát triển.
Mô hình niềm tin truyền thống đang tiến đến giới hạn
Trong phần lớn lịch sử của blockchain, quyền sở hữu và quyền lực gắn chặt với nhau. Sở hữu khóa riêng có nghĩa là sở hữu khả năng ủy quyền các giao dịch. Sau đó, các cơ chế đồng thuận xác minh rằng chữ ký là hợp lệ trước khi đưa giao dịch vào một khối.
Mô hình này hoạt động rất tốt vì con người vẫn là bên ra quyết định chính. Blockchain không cần hiểu lý do vì sao ai đó chuyển token hoặc tương tác với một giao thức. Ý định vẫn nằm ngoài hệ thống.
Tự động hóa AI thay đổi giả định này.
Một tác nhân tự chủ có thể theo dõi các vị thế cho vay 24/7, tái cân bằng thanh khoản trên nhiều chuỗi, hoặc thực thi các chiến lược giao dịch được định sẵn mà không cần giám sát liên tục của con người. Trong những tình huống đó, người dùng không còn ủy quyền cho các hành động riêng lẻ nữa. Thay vào đó, họ ủy quyền cho một khuôn khổ trong đó phần mềm được phép hành động.
Điều đó thay đổi ranh giới niềm tin.
Thay vì hỏi liệu một giao dịch đã được ký đúng hay không, câu hỏi thú vị hơn trở thành: liệu giao dịch có nằm trong chính sách mà người dùng dự định hay không.
Việc xác minh trở thành một triết lý thiết kế
Nhiều cuộc thảo luận về bảo mật AI tập trung vào việc làm cho mô hình chính xác hơn.
Chắc chắn có giá trị trong việc xây dựng các mô hình tốt hơn. Tuy nhiên, trí tuệ rất khó đo lường một cách nhất quán. Ngay cả các hệ thống có năng lực cao cũng có thể tạo ra kết quả bất ngờ vì chúng phản ứng với dữ liệu đầu vào thay đổi, điều kiện thị trường biến động hoặc các chỉ dẫn mơ hồ.
Tự động hóa có thể xác minh tiếp cận vấn đề theo cách khác.
Thay vì cho rằng AI lúc nào cũng đưa ra quyết định đúng, nó giả định rằng mọi quyết định đều phải được kiểm tra dựa trên các ràng buộc rõ ràng trước khi thực thi.
Đây là một triết lý kỹ thuật quan trọng.
Máy bay không được xem là an toàn vì phi công không bao giờ mắc lỗi. Chúng được xem là an toàn vì các hệ thống độc lập sẽ xác minh độ cao, tốc độ, điều hướng và các giới hạn vận hành trong suốt chuyến bay.
Tương tự, tự động hóa có thể xác minh tìm cách bao quanh phần mềm tự chủ bằng các rào chắn có thể đo lường, thay vì chỉ dựa hoàn toàn vào sự tin tưởng vào bản thân mô hình.
Theo nghĩa này, việc xác minh không phải thay thế trí tuệ. Nó là giới hạn các hậu quả của trí tuệ không hoàn hảo.
Chính sách trở thành giao diện thực sự
Một hệ quả của kiến trúc này là các chính sách của người dùng trở nên ngày càng quan trọng.
Thay vì tương tác trực tiếp với mọi giao dịch blockchain, người dùng xác định các điều kiện mô tả hành vi được chấp nhận.
Ví dụ có thể bao gồm giới hạn chi tiêu hằng ngày tối đa, các giao thức được phê duyệt, giới hạn phân bổ tài sản hoặc các ngưỡng tần suất giao dịch.
Lưu ý rằng các chính sách này mô tả mục tiêu thay vì các hành động riêng lẻ.
AI quyết định cách đạt được các mục tiêu đó, trong khi lớp xác minh xác định liệu mỗi hành động được đề xuất có thỏa mãn các ràng buộc đã thiết lập hay không.
Điều này thực chất tách việc tạo quyết định khỏi việc phê duyệt quyết định.
Sự tách biệt đó giống một mô hình quen thuộc trong kỹ thuật phần mềm. Hệ điều hành hiện đại cô lập các ứng dụng thông qua quyền hạn, sandbox và cơ chế kiểm soát truy cập. Các ứng dụng vẫn hữu ích vì chúng chỉ nhận các đặc quyền cần thiết để hoàn thành nhiệm vụ.
Tự động hóa có thể xác minh mang đến một khái niệm tương tự như hoạt động trên blockchain. Thay vì trao quyền lực không giới hạn, nó khuyến khích tự động hóa theo nguyên tắc đặc quyền tối thiểu.
Bằng chứng mật mã thay đổi trách nhiệm giải trình
Một khía cạnh xứng đáng được chú ý thêm là cách việc xác minh ảnh hưởng đến trách nhiệm giải trình.
Tự động hóa truyền thống thường dựa vào việc ghi log các sự kiện sau khi thực thi. Nếu có điều gì đó bất ngờ xảy ra, các kỹ sư sẽ dựng lại chuỗi quyết định dựa trên các hồ sơ lịch sử.
Xác minh mật mã đưa ra một mô hình khác.
Thay vì yêu cầu các nhà điều tra xác định liệu phần mềm có tuân thủ chính sách sau một sự kiện hay không, kiến trúc này cố gắng tạo ra bằng chứng rằng sự tuân thủ chính sách đã tồn tại trước khi thực thi.
Sự thay đổi có vẻ nhỏ nhặt này ảnh hưởng đến thiết kế hệ thống theo những cách có ý nghĩa.
Chính sách trở nên rõ ràng thay vì ngầm định. Các nhà phát triển phải diễn đạt các ràng buộc chính xác đến mức để việc xác minh tự động có thể thực hiện. Những kỳ vọng mơ hồ ngày càng khó được thực thi vì máy tính cần các quy tắc mang tính quyết định (deterministic).
Kết quả là kiến trúc phần mềm dần chuyển từ ý định có thể được con người diễn giải sang ý định có thể được máy xác minh.
Đánh đổi ẩn giấu: Độ chính xác so với tính linh hoạt
Mọi giải pháp kỹ thuật đều tạo ra những sự đánh đổi.
Tự động hóa có thể xác minh không phải là một ngoại lệ.
Chính sách càng chi tiết thì người dùng càng có nhiều niềm tin rằng quá trình tự động hóa vẫn nằm trong các giới hạn chấp nhận được. Tuy nhiên, các chính sách ngày càng siết chặt có thể làm giảm khả năng thích ứng.
Thị trường tài chính hiếm khi vận hành theo cách có thể dự đoán hoàn toàn.
Một AI phản hồi trước điều kiện thanh khoản thay đổi nhanh chóng có thể cần sự linh hoạt mà các chính sách xác minh cứng nhắc không dễ đáp ứng. Ngược lại, các quyền quá rộng có thể làm suy yếu chính mức bảo mật mà hệ thống hy vọng cung cấp.
Điều này tạo ra một bài toán tối ưu hóa thú vị.
Thay vì tối đa hóa riêng lẻ cho bảo mật hoặc hiệu quả, kiến trúc này cố gắng cân bằng cả hai đồng thời.
Nhiều khả năng các người dùng khác nhau sẽ chọn những vị trí khác nhau dọc theo phổ này.
Quản lý ngân khố (treasury) theo tổ chức có thể ưu tiên việc xác minh thận trọng với mức tự chủ hạn chế. Các nhà tham gia thị trường chủ động có thể chấp nhận quyền tự do vận hành rộng hơn để giảm độ trễ và cải thiện khả năng phản hồi.
Không lựa chọn nào là đúng tuyệt đối.
Thay vào đó, tự động hóa có thể xác minh chuyển niềm tin thành một tham số có thể cấu hình, thay vì là một thuộc tính dạng nhị phân.
Các chính sách hình thức không thể nắm bắt mọi quyết định của con người
Có lẽ giới hạn quan trọng nhất nằm hoàn toàn ngoài lĩnh vực mật mã.
Việc xác minh giả định rằng ý định của người dùng có thể được thể hiện bằng các quy tắc hình thức.
Đôi khi điều này khá đơn giản.
Giới hạn chi tiêu hằng ngày rất dễ xác định. Các giao thức được phê duyệt có thể được liệt kê rõ ràng. Ngưỡng mức độ phơi nhiễm tài sản có thể đo lường được.
Những quyết định khác còn phức tạp hơn đáng kể.
Liệu AI có nên thoát một vị thế khi tâm lý thị trường có vẻ không ổn định không?
Liệu nó có nên bỏ qua biến động tạm thời nếu điều kiện vĩ mô vẫn thuận lợi?
Liệu nó có nên phản ứng khác đi trong các giai đoạn phân mảnh thanh khoản cực đoan hay không?
Những câu hỏi này liên quan đến phán đoán hơn là các quy tắc mang tính quyết định.
Không có khung xác minh nào có thể loại bỏ mơ hồ nếu mục tiêu cốt lõi vẫn mơ hồ.
Nói cách khác, việc xác minh chứng minh sự tuân thủ với chính sách. Nó không đảm bảo bản thân chính sách phản ánh đúng ý định đang phát triển của người dùng.
Nhận ra sự khác biệt này giúp ngăn những kỳ vọng thiếu thực tế.
Một cách khác để đánh giá hạ tầng AI
Một bài học tôi rút ra khi nghiên cứu tự động hóa có thể xác minh là chúng ta có thể đang đánh giá hạ tầng AI bằng những tiêu chí chưa đúng.
Rất nhiều sự chú ý tập trung vào chất lượng mô hình, năng lực suy luận và tốc độ thực thi.
Những đặc điểm đó chắc chắn rất quan trọng.
Tuy nhiên, các hệ thống phi tập trung cuối cùng vẫn phụ thuộc vào sự phối hợp có thể dự đoán giữa các bên tham gia, những bên không hoàn toàn tin tưởng lẫn nhau.
Trong môi trường đó, hành vi có thể giải thích và có thể xác minh có thể trở nên có giá trị hơn chỉ dựa vào những năng lực ra quyết định ngày càng tinh vi.
Có lẽ lợi thế cạnh tranh dài hạn sẽ không thuộc về nền tảng xây dựng được tác nhân tự chủ thông minh nhất, mà thuộc về nền tảng tạo ra được bằng chứng mạnh mẽ nhất rằng hành vi tự chủ vẫn nằm trong các ranh giới đã thỏa thuận.
Điều đó sẽ đại diện cho một sự thay đổi đáng kể trong cách chúng ta nghĩ về AI trong Web3.
Thay vì thay thế niềm tin bằng trí tuệ, mục tiêu trở thành thay thế niềm tin mù quáng bằng các ràng buộc có thể xác minh.
Đây là một đổi mới thầm lặng hơn so với những gì nhiều tiêu đề gợi ý, nhưng có thể bền vững hơn, vì nó giải quyết kiến trúc của niềm tin chứ không phải năng lực của riêng một mô hình.
Khi các tác nhân tự chủ ngày càng phổ biến trong tài chính phi tập trung và các ứng dụng on-chain, có một câu hỏi đáng để tranh luận:
Tương lai của AI trong Web3 nên được đo bằng việc các tác nhân có thể hành động độc lập đến mức nào, hay bằng khả năng thuyết phục rằng mọi hành động đều tuân thủ các giới hạn mà ban đầu chúng ta dự định?
🗳 Khảo sát cộng đồng
Theo bạn, nguyên tắc nào sẽ quan trọng nhất đối với thế hệ tiếp theo của hạ tầng Web3 do AI hỗ trợ?
🔹 Nhiều tác nhân AI tự chủ hơn
🔹 Xác minh mật mã mạnh hơn trước khi thực thi
🔹 Các khuôn khổ chính sách do người dùng định nghĩa mang tính biểu đạt cao hơn
🔹 Cân bằng giữa tự chủ thông minh và các biện pháp kiểm soát có thể xác minh
