Frontier AI korkutucu çünkü çoğu hala üzerinde güzel bir logo olan siyah bir kutu gibi çalışıyor. @inference_labs DSperse + JSTprove ile yaptığı şey temelde şöyle diyor: "tamam, kanıtla." DSperse makalesine geri döndüm; orada bunu tam model SNARK cosplay yerine yüksek değerli alt hesaplamaların stratejik kriptografik doğrulaması olarak tanımlıyorlar. Modelin dilimleri bağımsız olarak kanıtlanabilir birimler haline gelir, böylece güvenlik kapılarını, anormallik dedektörlerini veya özel kafaları kilitleyebilirsin, tüm ağı ZK cehennemine sürüklemeden. Öte yandan, JSTprove ve GitHub organizasyonlarındaki açık kaynak deposu Polyhedra'nın Expander arka uçunda uçtan uca bir iş hattı sunuyor: bir ONNX modeli besliyor, CLI kanıtlar ve denetlenebilir artefaktlar veriyor, derin kripto geçmişi gerekmiyor. ❯ DSperse neyin kanıtlanmaya değer olduğuna karar verir ❯ JSTprove nasıl kanıtlandığını ve ortaya çıkarıldığını ele alıyor Çoğu "sınır yapay zekası" yığını hâlâ davranışa değil, kıyaslamalara güvenmenizi ister. Bu kombinasyon durumu tersine çeviriyor: kumar oynamayı reddettiğiniz başarısızlık modlarını seçiyorsunuz ve tam orada kanıtlar kuruyorsunuz. Eğer robotik, finans veya ajan dünyasında ciddi sistemler inşa ediyorsanız, bir sonraki dürüst adım basittir: tehdit modelinizi haritalayın, sonra hangi parçaları DSperse + JSTprove üzerinden yönlendireceğinizi sorun. Cevap "hiçbiri" ise, henüz gerçekten güven peşinde koşmuyorsun #zkML