ZK Temelleri | 8. Bölüm: Neden ZK kanıtları bu kadar maliyetli? Bir kanıtı doğrulamak milisaniyeler sürer. Ancak bir tane oluşturmak maliyetlidir. İşte paranın gittiği yerler: 1. Hesaplama yeniden yazılır. Programınız, matematiksel olarak kanıtlanabilir bir forma — bir devreye — dönüştürülmelidir. Bu adımda hiçbir şey ücretsiz değildir. 2. Kanıt oluşturma ağır bir işlemdir. Bir kanıt oluşturmak, programı normalde çalıştırmaktan binlerce kat daha fazla hesaplama gücü gerektirir. 3. Özel donanım. Ciddi kanıt oluşturma işlemleri, GPU’lar ve özel çipler üzerinde çalışır; bu da kanıt oluşturma altyapısı etrafında tam bir endüstrinin oluşmasına neden olur. 4. Maliyetler hızla düşüyor. Maliyetler birkaç yıl içinde mertebelerce düştü; tam olarak bu nedenle ZK, kağıtlardan üretime geçti. Kompromis: Bir kez kanıtlamak için öde, herkes sonsuza dek ucuz bir şekilde doğrulayabilsin. Bunu kaydedin💜