Modulus Labs đã công bố ra mắt chính thức phần mềm còn lại của máy học không kiến thức (ZKML). Bằng cách áp dụng bộ chứng minh GKR vào sản xuất lần đầu tiên, Remainder đã đạt được mức cải thiện hiệu suất gấp 180 lần so với lý luận AI truyền thống trong các điều kiện phần cứng tương đương. Công nghệ này không chỉ thể hiện tiềm năng to lớn trong việc bảo vệ quyền riêng tư và bảo mật dữ liệu mà còn đặt nền tảng cho ứng dụng thực tế của AI có thể kiểm chứng.
Sự phát triển của Remainder dựa trên những hiểu biết sâu sắc về khám phá hiệu suất của các bằng chứng không có kiến thức chuyên biệt (ZK) và cải thiện đáng kể hiệu quả xác minh của quy trình suy luận AI bằng cách tối ưu hóa ứng dụng giao thức GKR. Ngoài ra, Prover đã âm thầm hoàn thành hàng trăm nghìn bản ghi kết quả AI trên Ethereum, chứng minh tính ổn định và độ tin cậy của nó trong các ứng dụng thực tế.
Để đi sâu vào lý thuyết đằng sau Phần còn lại, Modulus Labs sẽ phát hành một loạt bài báo trong năm nay, với bài báo đầu tiên "Mở rộng thông minh: Lý do rừng quyết định có thể kiểm chứng bằng cách sử dụng Phần còn lại" trình bày chi tiết một loạt các biện pháp tối ưu hóa hỗ trợ Phần còn lại. Dự án MEAP dự kiến ra mắt vào quý 2 năm 2024, nhằm hướng dẫn người tham gia nắm vững GKR một cách toàn diện từ lý thuyết đến thực hành, đồng thời xây dựng và chứng minh các mạch trong Remainder.