Berita besar: Penelitian inti Lagrange tentang zk-SNARK Dinamis (Weijie Wang, @chbpap, @s_shravan, @dipapadopo) akan dipresentasikan di Science of Blockchain Conference (SBC) 2025 pada 4 Agustus. Inilah mengapa hal ini penting—untuk AI, kripto, dan masa depan komputasi yang dapat diverifikasi: 🧵

2/ Keterbatasan utama zk-SNARK yang ada adalah statis. Jika data atau komputasi Anda berubah—bahkan sedikit—Anda harus meregenerasi seluruh bukti dari awal. Ini tidak efisien, mahal, dan tidak dapat diskalakan untuk sistem langsung.

3/ Zk-SNARK dinamis membuat bukti lebih efisien dari sebelumnya. Mereka memungkinkan Anda untuk memperbarui bukti secara bertahap saat data yang mendasarinya bergeser. AKA: Tidak perlu menghitung ulang semuanya dari awal.

4/ Mengapa ini penting? Karena komputasi yang dapat diverifikasi sekarang dapat diskalakan dengan: – Menyempurnakan model AI – Pemain yang bergerak dalam permainan langsung – Titik data baru mengenai oracle real-time Bukti yang berkembang dengan sistem yang mereka amankan.

5/ Selain itu, zk-SNARK Dinamis mempertahankan jaminan pengetahuan dan kesehatan nol yang sama seperti sistem tradisional. Mereka dibangun di atas asumsi standar seperti q-DLOG dan menggunakan komitmen kriptografi yang berskala. Dengan kata lain, mereka sama amannya dengan metode pembuktian tradisional (hanya lebih baik dalam membuktikan dirinya sendiri).

6/ Zk-SNARK dinamis membuka kelas baru kasus penggunaan dunia nyata: 🔹 Memverifikasi model AI yang disetel dengan baik tanpa membuktikan ulang dari awal 🔹 Mempertahankan oracle terkini di jaringan langsung 🔹 Mengaktifkan logika game dinamis dengan bukti on-chain 🔹 Mengaudit himpunan data yang berkembang untuk kepatuhan

8/ Bersama dengan DeepProve—sistem zkML Lagrange—zk-SNARK dinamis memungkinkan verifikasi real-time dari sistem AI yang berkembang. Dari akurasi hingga penyelarasan, kita sekarang dapat membuktikan sifat AI saat belajar.

10/ Tangkap kami di SBC 2025 pada 4 Agustus 2025 🔗 Tonton pembicaraannya langsung di sini: 🎓 Baca makalahnya: 🔬 Dibangun oleh tim peneliti Lagrange: Wang, Papamanthou, Srinivasan & Papadopoulos

11/ "Dynamic zk-SNARKs" adalah makalah kedua Lagrange (dalam tiga tahun) yang diterima di SBC 2025 Baca informasi lengkap tentang Dynamic zk-SNARKs—penelitian baru Lagrange untuk komputasi dan AI yang dapat diverifikasi—di bawah ini: 👇

7/ Bersama dengan DeepProve—sistem zkML Lagrange—zk-SNARK dinamis memungkinkan verifikasi real-time dari sistem AI yang berkembang. Dari akurasi hingga penyelarasan, kita sekarang dapat membuktikan sifat AI saat belajar.

8/ Ikuti kami di SBC 2025 pada 4 Agustus 2025 🔗 Tonton pembicaraannya langsung di sini: 🎓 Baca makalahnya: 🔬 Dibangun oleh tim peneliti Lagrange: Wang, Papamanthou, Srinivasan & Papadopoulos

9/ "Dynamic zk-SNARKs" adalah makalah kedua Lagrange (dalam tiga tahun) yang diterima di SBC 2025 Baca informasi lengkap tentang Dynamic zk-SNARKs—penelitian baru Lagrange untuk komputasi dan AI yang dapat diverifikasi—di bawah ini: 👇

9/ "Dynamic zk-SNARKs" adalah makalah kedua Lagrange (dalam tiga tahun) yang diterima di Konferensi Sains Blockchain (SBC) Baca informasi lengkap tentang Dynamic zk-SNARKs—penelitian baru Lagrange untuk komputasi dan AI yang dapat diverifikasi—di bawah ini: 👇