1/ Chứng minh zk đầy đủ cho toàn bộ mô hình AI là rất mạnh mẽ… Nhưng trên thực tế: quá nặng, quá chậm, quá đắt. Đó là lý do tại sao chúng tôi xây dựng DSperse → xác minh dựa trên phân đoạn.