Frontier AI hanya terasa menakutkan karena sebagian besar masih berjalan seperti kotak hitam dengan logo yang bagus di atasnya. Apa yang @inference_labs lakukan dengan DSperse + JSTprove pada dasarnya mengatakan: "oke, buktikan." Saya kembali ke makalah DSperse di mana mereka menggambarkannya sebagai verifikasi kriptografi strategis dari subkomputasi bernilai tinggi alih-alih cosplay SNARK model penuh. Irisan model menjadi unit yang dapat dibuktikan secara independen, sehingga Anda dapat mengunci gerbang pengaman, detektor anomali, atau kepala pribadi tanpa menyeret seluruh jaringan ke neraka ZK. Di sisi lain, JSTprove ditambah repositori sumber terbuka di organisasi GitHub mereka memberi Anda alur end-to-end di backend Expander Polyhedra: masukkan model ONNX, CLI memuntahkan bukti dan artefak yang dapat diaudit, tidak diperlukan latar belakang kripto yang dalam. ❯ DSperse memutuskan apa yang layak dibuktikan ❯ JSTprove menangani bagaimana itu dibuktikan dan diekspos Sebagian besar tumpukan "AI perbatasan" masih meminta Anda untuk mempercayai tolok ukur, bukan perilaku. Kombo ini membaliknya: Anda memilih mode kegagalan yang Anda tolak untuk bertaruh, dan Anda memasang bukti tepat di sana. Jika Anda membangun sistem serius di robotika, keuangan, atau tanah agen, langkah jujur berikutnya sederhana: petakan model ancaman Anda, lalu tanyakan bagian mana yang sebenarnya akan Anda rutekan melalui DSperse + JSTprove. Jika jawabannya adalah "tidak ada", Anda belum benar-benar mengejar kepercayaan #zkML