Zk-SNARK
Zk-SNARK nedir?
Zk-SNARK, “Sıfır Bilgi Özlü Etkileşimli Olmayan Bilgi Argümanı” anlamına gelen bir kısaltmadır. Bir zk-SNARK, bir tarafın bu bilgileri ifşa etmeden belirli bilgilere sahip olduğunu kanıtlamasına izin veren kriptografik bir kanıttır. Bu kanıt, işlem gerçekleşmeden önce oluşturulan gizli bir anahtar kullanılarak mümkün olur. Kripto para birimi Zcash protokolünün bir parçası olarak kullanılır.
Temel Çıkarımlar
- Zk-SNARK, şifrelemede kullanılan sıfır bilgi kanıtı bir protokoldür ve “Sıfır Bilgi Özlü Etkileşimsiz Bilgi Argümanı” anlamına gelen bir kısaltmadır.
- Bu kanıt ilk olarak 1980’lerin sonunda geliştirildi ve tanıtıldı ve şimdi Bitcoin tipi blok zincirlerle algılanan bir anonimlik problemini çözmek için kripto para birimi Zcash tarafından kullanılıyor.
- Zk-SNARK provaları, doğal bir güvenlik açığı olarak eleştirilen ilk “güven sistemi” kurulumuna dayanır.
Zk-SNARK’ı anlamak
Kripto para birimi topluluğunun birçok orijinal üyesi için – öncelikle Bitcoin topluluğu – gizlilik, kripto para birimlerinin varsayılan bir amacı ve özelliğiydi. Bununla birlikte, kripto para biriminin elektronik para birimi ve dijital işlemlerin bütünlüğünü garanti altına alan “güvensiz” bir sistem yaratma ihtiyacı göz önüne alındığında, gizlilik her zaman ikinci dereceden bir sorundu.
2010’ların başlarında, kişileri yeniden tanımlamanın sadece mümkün değil, nispeten kolay olduğunu da kanıtladı.
Bitcoin gibi bazı orijinal kripto para birimlerinin gizlilik eksikliği nedeniyle, geliştiriciler gizlilik odaklı paralar üzerinde çalışmaya başladı. En önemli Bunlardan oldu Zcash zk-SNARKs olarak bilinen bir teknoloji ile desteklenen.
Sıfır Bilgi Kanıtı
Bir zk-SNARK (“sıfır bilgi özlü, etkileşimli olmayan bilginin argümanı”), “sıfır bilgi kanıtı” olarak bilinen bir kavramı kullanır. Bu kanıtların arkasındaki fikir ilk olarak 1980’lerde geliştirildi. Basitçe ifade etmek gerekirse, sıfır bilgi kanıtı, bir işlemdeki iki tarafın her birinin belirli bir bilgi kümesine sahip olduklarını birbirlerine doğrulayabildiği ve aynı zamanda bu bilginin ne olduğunu açıklamadığı bir durumdur.
Diğer kanıt türlerinin çoğu için, iki taraftan en az birinin tüm bilgilere erişimi olmalıdır. Geleneksel bir kanıt, bir çevrimiçi ağa erişmek için kullanılan bir şifreyle karşılaştırılabilir. Kullanıcı parolayı gönderir ve ağın kendisi, parolanın doğruluğunu onaylamak için parolanın içeriğini kontrol eder. Bunu yapmak için, ağın da parola içeriğine erişimi olmalıdır.
Bu durumun sıfır bilgi kanıtı bir versiyonu, kullanıcının, şifrenin kendisini ifşa etmeden doğru şifreye sahip olduğunu ağa (matematiksel kanıt yoluyla) göstermesini içerecektir. Bu durumda gizlilik ve güvenlik avantajları açıktır: Ağda doğrulama amacıyla bir yerde saklanan şifre yoksa, şifre çalınamaz.
Zk-SNARKS’ın matematiksel temeli karmaşıktır. Bununla birlikte, bu türden kanıtlar, bir tarafın yalnızca belirli bir bilgi parçasının var olduğunu değil, aynı zamanda söz konusu tarafın bu bilginin farkında olduğunu da göstermesine izin verir. Zcash durumunda, zk-SNARK’lar neredeyse anında doğrulanabilir ve protokol, kanıtlayıcı ile doğrulayıcı arasında herhangi bir etkileşim gerektirmez.
Zk-SNARK’ların eleştirisi
Elbette zk-SNARK’larla ilgili endişeler var. Örneğin, biri kanıt protokolünün parametrelerini oluşturmak için kullanılan özel anahtara erişebildiyse, yine de doğrulayıcılar için geçerli görünen yanlış kanıtlar oluşturabilirler. Bu, o kişinin bir sahtecilik süreci aracılığıyla yeni Zcash tokenleri oluşturmasına izin verir. Bunun olmasını önlemek için Zcash, kanıtlayıcı protokolleri ayrıntılı hale getirecek ve birden fazla tarafa yayılacak şekilde tasarlandı.
Zcash kanıtlama sürecinin inşası, sahte kanıtlarla token sahteciliği olasılığını en aza indirecek şekilde tamamlanırken, kripto para birimiyle ilgili de en az bir endişe daha var. Zcash, jetonun ilk birkaç yılında oluşturulan tüm bloklara uygulanan% 20 “vergi” ile oluşturuldu. Bu vergi “kurucu vergisi” olarak bilinir ve kripto para biriminin geliştiricilerini tazmin etmek için kullanılır.
Eleştirmenler, kurucuların potansiyel olarak sistemin bu yönünü kullanarak sonsuz sayıda Zcash tokenini başka hiç kimsenin bu tokenlerin varlığından haberdar olmadan kullanabileceğini öne sürdü. Bu nedenle, bu noktada var olan Zcash tokenlerinin tam sayısını bilmek tamamen mümkün değildir.
2019’dan beri bazı geliştiriciler, güvenilir kurulumu kaldırarak zk-SNARK’ları iyileştirmek için çalışıyorlar. Suterusu adlı bir ekip, güvenilir bir kurulum olmadan çalıştırılabileceğini iddia eden, Bitcoin gibi ana akım blok zincirleri için gizlilik koruması sağlayabilen ve mevcut herhangi bir kripto para birimi için en düşük enflasyona sahip olan zK-ConSNARK adlı bir sistem geliştirdi.