Một điều gì đó về kiến trúc xác minh của OpenGradient mà đến khi tôi ngồi xuống tìm hiểu kỹ thì mới thật sự “lọt vào tai”: $OPG #OPG @OpenGradient định vị nó xoay quanh suy luận AI có thể được xác minh — ý tưởng rằng bạn có thể chứng minh một mô hình đã chạy đúng mà không cần tin vào người vận hành. Cách đặt vấn đề này dựa trên ZKML, cái đó là có thật, nhưng đồng thời cũng quá tốn kém về tính toán đối với gần như mọi mô hình đang chạy ở quy mô thực tế hiện nay. Thứ mà giao thức thực sự mặc định sử dụng là chứng thực TEE — môi trường thực thi tin cậy được hậu thuẫn bởi phần cứng của Intel và AMD. Hai thứ đó không phải là một. ZKML cho bạn một bằng chứng toán học; TEE cung cấp cho bạn một chứng thực từ nhà sản xuất phần cứng rằng môi trường thực thi không bị can thiệp. Một cái không cần giả định tin cậy nào ngoài toán học; cái còn lại âm thầm chuyển sự tin cậy từ người vận hành sang chuỗi cung ứng silicon. Tôi không nghĩ điều này làm vô hiệu dự án — TEE là một cải tiến đáng kể so với suy luận không được kiểm soát — nhưng có một khoảng cách giữa “AI đã được xác minh bằng mật mã” và “thực thi được chứng thực trên phần cứng tin cậy” mà câu chuyện thường có xu hướng nén lại. Câu hỏi thú vị là liệu ZKML có bao giờ trở nên khả thi về mặt tính toán ở quy mô lớn, hay liệu TEE chỉ lặng lẽ trở thành mặc định vĩnh viễn.