Tengah malam tadi pukul 2, membantu teman memeriksa bot kuantitatif yang mengamuk: jelas-jelas menjalankan strategi A, tapi log-nya seperti telah diganti orang menjadi B. Awalnya kita menyalahkan delay API, kemudian muncul pertanyaan “apakah modelnya diganti”. Pesan SMS dari bursa muncul satu per satu, kopi sudah dingin, dia bertanya “Bagaimana kamu membuktikan modelnya tidak dimodifikasi?” Saya langsung diam…
Inilah alasan saya akhir-akhir ini memperhatikan @inference_labs: mereka mengubah “kepercayaan” menjadi “kwitansi”. JSTprove baru saja diperbarui ke versi v1.4.0, ONNX+ cukup satu perintah untuk menghasilkan bukti zk inference, rantai bukti dapat diaudit. Lebih hebat lagi adalah DSperse: verifikasi potongan, hanya memberikan bukti untuk gerbang keamanan/deteksi anomali/ kepala privat, biaya dapat dikendalikan.
Engineer merasa: saat agen benar-benar mulai mengelola uang/mengelola izin, hal terpenting adalah menjelaskan “apa yang sebenarnya saya jalankan” terlebih dahulu, lebih penting dari apa pun.
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
Tengah malam tadi pukul 2, membantu teman memeriksa bot kuantitatif yang mengamuk: jelas-jelas menjalankan strategi A, tapi log-nya seperti telah diganti orang menjadi B. Awalnya kita menyalahkan delay API, kemudian muncul pertanyaan “apakah modelnya diganti”. Pesan SMS dari bursa muncul satu per satu, kopi sudah dingin, dia bertanya “Bagaimana kamu membuktikan modelnya tidak dimodifikasi?” Saya langsung diam…
Inilah alasan saya akhir-akhir ini memperhatikan @inference_labs: mereka mengubah “kepercayaan” menjadi “kwitansi”. JSTprove baru saja diperbarui ke versi v1.4.0, ONNX+ cukup satu perintah untuk menghasilkan bukti zk inference, rantai bukti dapat diaudit. Lebih hebat lagi adalah DSperse: verifikasi potongan, hanya memberikan bukti untuk gerbang keamanan/deteksi anomali/ kepala privat, biaya dapat dikendalikan.
Engineer merasa: saat agen benar-benar mulai mengelola uang/mengelola izin, hal terpenting adalah menjelaskan “apa yang sebenarnya saya jalankan” terlebih dahulu, lebih penting dari apa pun.