Một ứng dụng AI tuyệt vời chỉ mạnh mẽ như những suy diễn và đầu ra đã được chứng minh của nó. Vậy, bạn có thể đang tự hỏi: làm thế nào để tôi xác minh mô hình AI của mình với DeepProve? Dưới đây là cách nó hoạt động. 🧵

2/ DeepProve bắt đầu xác minh một mô hình AI (từ một tệp ONYX) với việc lượng tử hóa. Trong quá trình tiền xử lý này, là một thiết lập một lần, nó chuyển đổi các điểm số thực của mô hình của bạn thành số nguyên. Nó cũng tạo ra các khóa prover/verifier.

3/ DeepProve sau đó chạy hai quy trình song song: 1. Suy diễn mô hình AI nhưng với các số nguyên cho mỗi nút của mạng nơ-ron ("dấu vết thực thi") 2. Đối với mỗi nút, nó chứng minh rằng phép toán đã được thực hiện đúng, sau đó chuyển đổi nó thành một chứng minh ZK ngắn gọn.

4/ Tiếp theo, việc xác minh được hoàn thành bằng: → Đầu vào & đầu ra của mô hình → Cam kết của mô hình (đại diện duy nhất cho mô hình mà không tiết lộ dữ liệu cơ sở) → Khóa xác minh

5/ Nói một cách đơn giản, DeepProve hoạt động như sau: 1. Hoàn thành thiết lập một lần 2. Tạo ra các chứng minh 3. Xác minh các suy diễn của AI ở bất kỳ đâu