Trí tuệ nhân tạo Frontier chỉ cảm thấy đáng sợ vì hầu hết nó vẫn hoạt động như một hộp đen với một logo đẹp ở trên. Những gì @inference_labs đang làm với DSperse + JSTprove cơ bản là nói: "được rồi, hãy chứng minh điều đó." Tôi đã quay lại bài báo DSperse nơi họ mô tả nó như là xác minh mật mã chiến lược của các tính toán con có giá trị cao thay vì cosplay SNARK toàn bộ mô hình. Các phần của mô hình trở thành các đơn vị có thể chứng minh độc lập, vì vậy bạn có thể khóa các cổng an toàn, phát hiện bất thường, hoặc các đầu riêng tư mà không kéo toàn bộ mạng vào địa ngục ZK. Ở phía bên kia, JSTprove cộng với kho mã nguồn mở trong tổ chức GitHub của họ cung cấp cho bạn một quy trình đầu-cuối trên backend Expander của Polyhedra: đưa một mô hình ONNX vào, CLI sẽ xuất ra các chứng minh và các tài liệu có thể kiểm toán, không cần nền tảng mật mã sâu. ❯ DSperse quyết định điều gì đáng để chứng minh ❯ JSTprove xử lý cách thức chứng minh và công khai Hầu hết các stack "trí tuệ nhân tạo frontier" vẫn yêu cầu bạn tin tưởng vào các chỉ số, không phải hành vi. Sự kết hợp này đảo ngược điều đó: bạn chọn các chế độ thất bại mà bạn từ chối đánh cược, và bạn kết nối các chứng minh chính xác ở đó. Nếu bạn đang xây dựng các hệ thống nghiêm túc trong lĩnh vực robot, tài chính, hoặc đất của các tác nhân, bước chân thành tiếp theo rất đơn giản: lập bản đồ mô hình mối đe dọa của bạn, sau đó hỏi những phần nào bạn thực sự sẽ định tuyến qua DSperse + JSTprove. Nếu câu trả lời là "không có", bạn thực sự chưa theo đuổi niềm tin.