ZK bu alanda herkes algoritma yeniliği ile yarışıyor, ama açıkçası, gerçekten zorlayıcı olan şey Bilgi İşlem Gücü yeterli mi değil mi. O matematik formülleri güzel görünüyor, ama gerçek oldukça sert - bir zk-SNARKs üretmek için harcanan hesaplama kaynakları, aslında kod seviyesinde küçük değişikliklerle çözülebilecek bir şey değil.

Bu son iki yılda şunu fark edeceksiniz ki, yazılım optimizasyonu ne kadar uğraşırsa uğraşsın, donanım engelini aşamaz. Kanıt üretiminin Bilgi İşlem Gücü ihtiyacı ortada, bu bir sert maliyet. ZK'nın gerçekten ölçeklenebilir hale gelmesini istiyorsanız? Sadece matematikçilerin güzel Algoritmalar yazması yeterli değil, yeterince fazla ve yeterince ucuz Bilgi İşlem Gücü kaynaklarının da buna ayak uydurması gerekiyor.