Zero-Knowledge Succinct Non-Interactive Argument of Knowledge’ın kısaltması olan ZK-SNARK, belirli bir bilgiye sahip olunduğunu bu bilginin kendisini ifşa etmeden kanıtlamak için kullanılan bir kriptografik tekniğidir. Ethereum gibi kripto para birimleri bağlamında, ZK-SNARK’lar gizlilik ve ölçeklenebilirlik amaçları için kullanılır.
Aşağıda, terimin her bir bölümünün ne anlama geldiğinin bir dökümü bulunuyor:
Sıfır Bilgi: Bu, bir tarafın (kanıtlayıcı) başka bir tarafa (doğrulayıcı) gerçek bilginin kendisini açıklamadan belirli bir bilgi parçasını bildiğini kanıtlayabileceği anlamına gelir. Başka bir deyişle, doğrulayıcı, ifadenin doğru olduğu gerçeğinin ötesinde herhangi bir ek bilgi açıklamadan doğrulayıcıyı bir ifadenin doğru olduğuna ikna edebilir.
Özlü: Bu, kanıtının kısa ve doğrulanması kolay olması anlamına gelir. İspat karmaşık hesaplamalar içerse de, bu hesaplamaları yeniden yapmaya gerek kalmadan hızlı bir şekilde doğrulanabilir.
Etkileşimsiz: Etkileşimli olmayan bir kanıtta, kanıtlayıcı kanıtı bir kez üretir ve doğrulayıcı, kanıtlayıcı ile daha fazla etkileşime girmeye gerek kalmadan bunu kontrol edebilir. Bu, blokzinciri sistemlerinde verimlilik ve ölçeklenebilirlik için önemlidir.
Bilgi Argümanı: Bu, kanıtın sadece bir ifadenin doğru olduğunu değil, aynı zamanda kanıtlayanın bunun neden doğru olduğunu bildiğini (yani, gerekli bilgiye veya sırra sahip olduğunu) gösterdiğini belirtir.
ZK-SNARK’lar blokzinciri teknolojisinde özellikle değerlidir, çünkü işlemlerin veya akıllı sözleşmelerin altta yatan ayrıntıları ortaya çıkarmadan doğrulanmasına izin verirler. Küçük kanıt boyutları ve sabit zamanlı doğrulamaları, kanıtlanan ifadenin karmaşıklığına bakılmaksızın tutarlı bir doğrulama hızı sağlar. ZK-SNARK’lar blokzincirinde gizliliği artırırken bütünlüğü ve güvenliği korumaya devam eder.