Chứng minh zkML mô hình đầy đủ cung cấp các đảm bảo mạnh mẽ, nhưng chúng đi kèm với độ trễ và chi phí bộ nhớ cao. Trong nhiều trường hợp, chỉ một số lớp hoặc tính toán con cụ thể cần được xác minh — như chúng tôi đã phác thảo trong tài liệu trắng của mình. Đó là ý tưởng đằng sau DSperse, khung zkML dựa trên slice mã nguồn mở của chúng tôi. Thay vì biến toàn bộ mô hình thành mạch, DSperse cho phép bạn chứng minh các tính toán con có giá trị cao — cổng chính sách, bộ phát hiện bất thường, đầu độc quyền — trong khi phần còn lại chạy với tốc độ gốc. Trong các bài kiểm tra, việc cắt lát mang lại: • Tạo chứng cứ nhanh hơn 77% • Chứng minh nhanh hơn 66% • Sử dụng bộ nhớ ít hơn ~40% Hãy nghĩ đến một quy trình phát hiện gian lận: bạn không cần phải chứng minh toàn bộ mô hình chấm điểm mà được đào tạo lại mỗi tuần. Điều quan trọng là kiểm tra bất thường và logic quyết định. DSperse làm cho những lát đó có thể xác minh được, mà không phải gánh nặng chứng minh mọi thứ khác. Tài liệu trắng: Repo: Medium: