zk-SNARKs teknolojisi Derinlik araştırma raporu
zk-SNARKs ( ZKP ), bir tarafın ( kanıtlayıcı ), diğer tarafın ( doğrulayıcı ), bir ifadenin doğru olduğunu kanıtlamasına izin veren, o ifadenin doğru olup olmadığı dışında hiçbir ek bilgi vermeden yapılan bir kriptografik tekniktir. Bu teknoloji, blok zinciri alanında geniş bir uygulama potansiyeline sahiptir.
ZKP'nin temel prensibi
ZKP sistemi üç ana rolden oluşur: kanıtlayıcı, doğrulayıcı ve kamu parametreleri. Kanıtlayıcı, kanıt üretir, doğrulayıcı ise kanıtın geçerliliğini doğrular, kamu parametreleri ise tarafların paylaştığı bilgilerdir.
ZKP'nin üç temel özelliği vardır:
1. Bütünlük: Eğer beyan doğruysa, dürüst bir kanıtlayıcı her zaman dürüst bir doğrulayıcıyı ikna edebilir.
2. Güvenilirlik: Eğer ifade yanlışsa, herhangi bir dürüst olmayan kanıtlayıcı, dürüst doğrulayıcıyı ('den ikna edemez, aksi takdirde bu yalnızca çok küçük bir olasılıkla ) mümkündür.
3. Sıfır Bilgi: Eğer ifade doğruysa, doğrulayıcı başka bir şey elde etmeyecek.