Modulus Labs mengumumkan peluncuran resmi pembuktian pembelajaran mesin tanpa pengetahuan (ZKML) Remainder. Dengan menerapkan pembuktian GKR pada produksi untuk pertama kalinya, Remainder mencapai peningkatan efisiensi 180 kali lipat dibandingkan dengan penalaran AI tradisional dalam kondisi perangkat keras yang sama. Teknologi ini tidak hanya menunjukkan potensi yang sangat besar dalam menjaga privasi dan keamanan data, tetapi juga meletakkan dasar bagi penerapan praktis AI yang dapat diverifikasi.
Pengembangan Remainder didasarkan pada wawasan mendalam tentang eksplorasi kinerja zero-knowledge proofs (ZK) yang terspesialisasi, dan secara signifikan meningkatkan efisiensi verifikasi proses penalaran AI dengan mengoptimalkan penerapan protokol GKR. Selain itu, pembuktian tersebut telah menyelesaikan ratusan ribu rekaman hasil AI di Ethereum secara diam-diam, membuktikan stabilitas dan keandalannya dalam aplikasi praktis.
Untuk mendalami teori di balik Remainder, Modulus Labs akan merilis serangkaian makalah tahun ini, dengan makalah pertama "Intelligent Extension: Verifiable Decision Forest Reasoning using Remainder" yang merinci serangkaian langkah pengoptimalan yang mendukung Remainder. Proyek MEAP diharapkan akan diluncurkan pada kuartal kedua tahun 2024, yang bertujuan untuk mengarahkan peserta menguasai GKR secara komprehensif dari teori hingga praktik, dan membangun serta membuktikan rangkaian dalam Remainder.