Çoğu zkML her şeyi kanıtlamaya çalışıyor: çok yavaş, çok ağır.
DSperse'de yer alan yeni bir parça başka bir yolu gösteriyor: modeli dilimle, sadece önemli olanı kanıtla. ✔️ 77% daha hızlı tanık üretimi ✔️ %66 daha hızlı kanıt süresi ✔️ %45 daha az bellek
Gerçek dünya ML için pragmatik doğrulanabilirlik.
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Çoğu zkML her şeyi kanıtlamaya çalışıyor: çok yavaş, çok ağır.
DSperse'de yer alan yeni bir parça başka bir yolu gösteriyor: modeli dilimle, sadece önemli olanı kanıtla.
✔️ 77% daha hızlı tanık üretimi
✔️ %66 daha hızlı kanıt süresi
✔️ %45 daha az bellek
Gerçek dünya ML için pragmatik doğrulanabilirlik.