ZK kanıtları kriptoyu devrim niteliğinde değiştiriyor ve egoları şişiriyor. Herkes tek gerçek ispat sistemine sahip olduğunu iddia eder, ancak uygulamalar önemli parça, kanıtlar artık bir meta. Ayrıca: bir şirketin yeni zk kanıtı 'h' veya 'hyper' ile başlarsa, eski tanrılarını terk etmiş olur ve sum-check

Sum-check, ZK'nın o kadar eski bir yaklaşımı ki, Twitter'da kimse onun icat ettiğini iddia etmiyor. Justin Thaler, bunun aslında faydalı olduğunu belirterek adını duyurdu. Haklı olabilir ... ya da yeni bir tarikat kurmak. Ama projeler sum-check'e geçiyor, bazen eski icat ettikleri tanrı gibi davranıyorlar...

Tamam, yeterince alegori. SNARK'lar programları polinom olarak temsil eder. Toplam kontrol çok değişkenli polinomlar kullanır, örneğin, P(x,y) = x^2+2y. Daha da kafa karıştırıcı olan ise, "h" ve "hiper" adlandırma stili, bir Boolean hiperküpü oluşturan polinomlardan kaynaklanır. Her değişkenin 0 veya 1 olduğunu göstermek için gösterişli bir yol.

Bunu bilgisayarlar gibi düşünün: bilgisayarlar 10 tabanı yerine ikili sistemde çalışır çünkü bazı yaygın işlemler rakam-bit parçalandığında rakam-basamak yerine daha verimlidir. Sum-check, tatmin olduğunu kanıtladığı programlar için çok benzer bir şey yapıyor.

Bu yaklaşımın bir avantajı, sadece toplam kontrolüne özgü değil (örneğin, katlama şemalarına bakınız), akıştır. Birçok FFT ağırlıklı/hash tabanlı ispat sistemi için, kanıtladığınız tüm ifadeyi hafıza sığdırmanız gerekir. Küçük şeyler için gayet iyi çalışıyor ama maksimum hızlıca dizüstü bilgisayarı bitiriyor.

Bu kısıtlama, herkesin verilerini kanıtlamak için göndermek zorunda olduğu büyük sunucularla sınırlandırıyor. Onlardan pek Zk değil. Devasa bir çöp sıkıştırıcı (yani merkezi bir rollup) çalıştırmak için faydalı, ama müşteri tarafı gizliliği için başarısız oluyor, ki pazar şimdilik aradığı yer de bu

Dediğim gibi, sum-check tek yayın yöntemi değil. Katlama da var. Tüm bu zk şemalarını yapmak için harcanan sıkı çalışmalar onları bir meta haline getirdi. İhtiyacınız olanı seçin ve uygulamalara odaklanın. Bir kanıt sistemine ya da takıma tapmayın. İç dahile ise ekip bunu yapmıyor