zk-SNARKs ve zk-STARKs'in açılması

Anonimlik kripto para dünyasında harika. Büyük ölçüde. Fungibiliteye yardımcı olur—herhangi bir ciddi para birimi için olmazsa olmazdır. Çoğu insan kripto varlıklarını elinde bulundurduğunda, finansal işlerinin açıkta olmasından pek memnun değil. Blok zincirleri için gizlilik teknolojileri arasında, zk-SNARKs ve zk-STARKs oldukça özel görünüyor.

zk-SNARK, Bilgi Sahibi Olmanın Sıfır Bilgi Kısa Etkileşimsiz Argümanı anlamına gelir. Oldukça uzun bir ifade. zk-STARK? Bu da Sıfır Bilgi Ölçeklenebilir Şeffaf Argüman anlamına geliyor. Zcash, zk-SNARKs kullanıyor. JP Morgan Chase de bazı projelerde bunu kullanıyor. Artık her yerde varlar. zk-STARKs, eski protokoldeki sorunları düzeltmesi beklenen yeni oyuncular.

Mağara Hikayesi

1990'da, Jean-Jacques Quisquater adında bir kriptograf, sıfır bilgi kanıtlarını açıklamak için Alibaba'nın mağarasını anlatan bir hikaye anlattı. İnsanlar bu hikayeyi yeniden anlatmayı seviyor.

Dairesel bir mağara hayal edin. Bir girişi var. İçeride sihirli bir kapı. O kapı için bir şifreye ihtiyacınız var.

Alice, Bob'a bu şifreyi bildiğini kanıtlamak istiyor. Ama ona sadece söylemeyecek. Asla.

Bob dışarıda bekliyor. Alice içeri giriyor. Yol 1'i alıyor.

Daha sonra Bob gelir ve bağırır, "Çık dışarı yol 2!"

Eğer Alice gizli kelimeyi biliyorsa, sihirli kapıyı açar ve Bob'un istediği yere çıkar. Sihir.

Bunu birkaç kez yap. Sadece şans değil.

Bu küçük hikaye, sıfır bilgi kanıtlarının neyle ilgili olduğunu gösteriyor. Bir şeyi bildiğinizi kanıtlamak, ama onun aslında ne olduğunu ifşa etmeden.

zk-SNARK Yakından İnceleme

Zcash, ölçekli zk-SNARKs'ı öncülüğünü yaptı. Monero, gizliliği farklı bir şekilde gerçekleştiriyor—yüzeysel ve yanıltıcı halkalarla. Ama zk-SNARKs? Tamamen oyunun kurallarını değiştiriyor. Şifreli işlemler hala doğrulanabiliyor. Akıl almaz. Ağ doğrulayıcılarının tüm ayrıntılara ihtiyacı yok. Sadece kanıt. Ama garip bir şekilde, Zcash'in gizlilik özellikleri varsayılan olarak bile açık değil. O anahtarı kendin çevirmek zorundasın.

Sıfır bilgili kanıtlar, birinin ek bilgi ifşa etmeden bir şeyin doğru olduğunu kanıtlamasına olanak tanır. Bir kanıtlayıcı ve bir doğrulayıcı var. Bazı kanıtlar gizli tutuluyor. Tüm amacın ne? Daha az veri paylaşımı. Çok daha az.

"Kısa" kısmı, bu kanıtların hızlı bir şekilde kontrol edilebileceği anlamına gelir. "Etkileşimsiz" ise en az geri dönüş gerektirdiği anlamına gelir. Eski tarz sıfır bilgi konuları konuşma gerektiriyordu. Bunlar değil.

2025 yılına kadar ( görünüşe göre ), zk-SNARKs basit işlemler için müthiş bir başarı sağlıyor. Hızlı kanıtlama. Küçük kanıt boyutları. Tüm araçlar ve Ethereum desteği nedeniyle benimseme yarışını kazanıyorlar.

Ama bir tuhaflık var. Bu kanıtların bir "güvenilir kurulum" gerektirmesi gerekiyor - önceden belirlenen kamu parametreleri. Bu, oyun kurallarını belirlemek gibidir. Sorun? Bu parametreleri oluşturmak için çok fazla kişi yer almıyor. Merkezileşme riski. Vay.

Araştırmacılar bu güven sorununu çözmeye çalışıyorlar. Kurulum aşaması önemlidir çünkü kullanılan rastgele değerleri bilen herkes geçerli görünen kanıtları sahteleyebilir. Bu kötü.

"Argümanlar" kısmı hakkında—zk-SNARKs çoğunlukla güvenlidir, eğer büyük bir hesaplama gücünüz yoksa. Bu, bazı insanları kuantum bilgisayarlar konusunda endişelendiriyor. Gelecek orada belirsiz görünüyor.

"Bilgi" demek, kanıtlayan kişinin aslında kanıtladığı şeyi bilmesi gerektiği anlamına gelir. Sahtekarlığa izin yok.

Bu kanıtlar hızlı bir şekilde doğrulanır ve fazla veri alanı kaplamaz. Gizlilik ve ölçeklenme için iyi. Kötü değil.

zk-STARKs Hızlandırma Kursu

zk-STARKs, daha havalı ve hızlı bir alternatif olarak ortaya çıktı. Güvenilir bir kurulum gerekmiyor! İşte "T"nin şeffaflıkla ilgili olmasının sebebi.

Daha basit simetrik şifreleme kullanıyorlar, hash fonksiyonu çakışmaları aracılığıyla. Bu yaklaşım, zk-SNARKs'ın karmaşık matematik varsayımlarını bir kenara bırakıyor - ki bu varsayımlar her halükarda kuantum saldırılarına karşı savunmasız olabilir.

Büyük bir avantaj mı? Kanıtlayıcı ile doğrulayıcı arasındaki iletişim, hesaplamanın ne kadar karmaşık hale gelirse gelsin sabit kalır. zk-SNARKs ile daha fazla hesaplama, daha fazla mesajın gidip gelmesi anlamına gelir. Genel olarak daha fazla veri.

2025'teki araştırmalar, zk-STARK'ların daha büyük kanıt boyutlarına sahip olduğunu ancak daha büyük hesaplamaları daha iyi yönetebildiğini öne sürüyor. Bu teknoloji için geleceği temsil ediyor gibi görünüyorlar - ölçeklenebilir, şeffaf, kuantum direncine sahip. Yine de, established altyapıları nedeniyle bugün zk-SNARK'lar baskın durumda.

Her iki teknoloji de gizlilik dünyasında dikkat çekiyor. Kripto dünyasında, oyun değiştiriciler olabilirler. Devrim niteliğinde, hatta. Göreceğiz.