Neden ZK Son Oyun? Bunu @gevulot_network perspektifinden keşfedelim [ve evet, Gevulot Devnet artık canlı! ]

Teşekkürler: @teemupai @NorbertVadas @HeslinKim @niluokay @Henrixbor

Gevulot: Merkeziyetsiz ZK Kanıt Sistemleri için Bir Katman 1 Blockchain

Bu başlıkta, ZK kanıtlayıcıların genel bir görünümünü sunarak merkeziyetsiz ZK kanıtlayıcı çözümlerine ve Gevulot'a dalacağız. Başlık dört ana bölümden oluşmaktadır:

- ZK'ya Çok Kısa Bir Giriş
- Merkezi Kanıt Altyapısı
- Merkeziyetsiz Kanıt Altyapısı
- Gevulot

Öncelikle, merkezi kanıt altyapılarında karşılaşılan zorlukları açıklayarak, bunları merkeziyetsiz hale getirme çabalarına ulaşacağız. Son olarak, merkeziyetsiz ZK kanıt sistemleri için özel olarak tasarlanmış bir Katman 1 blockchain olan Gevulot’u tanıtacağız.

1/
ZK'ya Çok Kısa Bir Giriş

Sıfır bilgi kanıtları iki tarafı içerir: bir kanıtlayıcı ve bir doğrulayıcı. Kanıtlayıcının amacı, doğrulayıcıyı bir ifadenin doğruluğuna ikna etmek, ancak ifadenin kendisi hakkında herhangi bir bilgi ifşa etmeden bunu yapmaktır. Bir ifadenin doğruluğunu doğrulayan bir kanıt oluşturmak, önemli hesaplama kaynakları gerektirir. Ancak, ZKP'nin avantajı, kanıtların hem özlü hem de doğrulamanın verimli olmasıdır, bu da ifadenin kendisini doğrudan hesaplamaktan farklıdır.

2/
Sıfır bilgi, blok zincirlerinde özlülüğü, ölçeklenebilirliği, güveni minimize etme, bütünlüğü ve gizliliği sağlamak için kullanılır. Örneğin:
- Zk-rolluplar, bir kanıtı doğrulamanın tüm durum geçişlerini yeniden yürütmekten daha verimli olduğu için ölçeklenmek amacıyla sıfır bilgi kullanır.

- Mina Protokolü gibi geri döngüsel blok zincirleri, bütünlüğünü tehlikeye atmadan blok zincirinin durumunu geri döngüsel olarak sıkıştırarak özlülük için sıfır bilgi kanıtlarını kullanır.

- ZK köprüleri, ZK kanıtlarını kullanarak güvenin minimize edildiği bir şekilde zincirler arası etkileşimleri mümkün kılar.

- ZK kanıtları, Zcash, Aztec, Aleo, Ironfish gibi projelerde gizlilik için kullanılmaktadır.

3/
Merkezi Kanıt Altyapısı

ZK rolluplarına odaklanalım, sıfır bilgi kanıtlarını kullanan iyi bilinen çözümler. Genel olarak, çoğu ZK rollup, temel ZK kanıt altyapısını yönetmek için tek bir varlığa bağımlı olan merkezi bir kanıtlayıcıya dayanır. Bu merkezi yaklaşımın birkaç avantajı vardır:

- Altyapıyı tamamen kontrol edebilen bir proje için bakım daha kolaydır.
- Birden fazla kanıtlayıcı için bir sistem veya teşvik tasarlama gereğini ortadan kaldırarak daha düşük karmaşıklık.