Masa depan AI dapat diverifikasi. Dan didukung oleh @cysic_xyz? TL; DR tentang Visi Cysic untuk Menskalakan Inferensi yang Diverifikasi ZK - Cysic mengatasi kemacetan komputasi utama AI yang Dapat Diverifikasi dengan memberikan inferensi real-time yang didukung ZK untuk jaringan saraf melalui platform yang sangat paralel dan dipercepat GPU. Ini melaporkan peningkatan kinerja ~10x lipat dari tolok ukur canggih pada model seperti CNN-4M. - Keunggulan teknis inti ada dua: protokol sumcheck paralel GPU yang menyemprotkan komputasi kriptografi di ribuan utas CUDA untuk menjenuhkan perangkat keras sepenuhnya, dan kernel CUDA khusus untuk aritmatika bidang utama yang memaksimalkan throughput ALU dengan memprioritaskan memori on-chip yang cepat (register, memori bersama) daripada memori global yang lambat. - Platform ini menghilangkan kompleksitas kriptografi melalui integrasi tanpa batas dengan kerangka kerja ML utama (misalnya PyTorch, TensorFlow). Pengembang dapat membungkus model yang ada dalam "VerifiableModule" untuk menghasilkan bukti di samping output model tanpa menulis ulang kode atau keahlian kripto yang mendalam. - Peta jalan langsung mencakup perluasan dukungan ke arsitektur yang lebih kompleks, termasuk LLM skala besar seperti Llama dan DeepSeek, meluncurkan demo aplikasi langsung, dan rilis sumber terbuka penuh untuk menumbuhkan ekosistem berbasis komunitas di sekitar teknologi. - Inisiatif ini berfungsi sebagai pilar inti dari visi "ComputeFi" Cysic yang lebih luas, yang bertujuan untuk menciptakan lapisan komputasi terdesentralisasi di mana AI beroperasi sebagai layanan yang dapat diverifikasi dan diminimalkan kepercayaan, memungkinkan kelas baru agen on-chain dan aplikasi AI yang aman. Merekomendasikan ke DYOR (dan yap) anons.