a16z: Sıfır bilgi kanıtlarını anlamak için sihir gösterisi nasıl kullanılır?

Bu makale | a16z'den alınmıştır

Orijinal yazar | Michael Blau

Derlendi | Odaily Planet Daily Azuma

*Editörün notu: Crypto'nun genişleme ve gizlilik gibi birçok yöndeki gelişime yönelik "gizli kitabı" olarak, sıfır bilgi kanıtlarının (ZKP'ler) sektörden yüksek beklentileri vardır. Bununla birlikte, bu kavramla ilgili açıklayıcı içeriğin çoğu, bilgisayar bilimi veya kriptografi konusunda belirli bir temele sahip kişilere yönelik olduğundan, sıradan kullanıcıların çoğunun kavramın kendisini tam olarak anlaması için hala bazı engeller bulunmaktadır. *

*8 Eylül'de a16z ortağı Michael Blau, sıfır bilgi kanıtları üzerine popüler bir bilim makalesi yayınladı. Makale, sıfır bilgi kanıtı kavramının soyut matematiksel spekülasyon kısmından zekice kaçınıyor, ancak ZKP'nin faydasını somut olarak göstermek için sihirli performansları kullanıyor. *

*Aşağıdaki Michael Blau'nun Odaily Planet Daily tarafından hazırlanan orijinal metninin (birinci şahıs sesi) bir derlemesidir. Okumanın akıcılığı adına bazı değişiklikler yapılmıştır. *

"2001: A Space Odyssey" kitabının yazarı Clark şunları söyledi: "Yeterince gelişmiş herhangi bir teknoloji, sihirden ayırt edilemez."

Sıfır bilgi kanıtı bu sihirli teknolojilerden biridir ve aslında Web3'ün ölçeklenebilirliği ve gizliliğindeki iki büyük sorunu çözmek için kullanılabilecek bir kriptografik kavramdır. **

Fayda perspektifinden bakıldığında, **'nin sıfır bilgi kanıtlarını kullanması, zincir üzerindeki işlem maliyetlerinin azaltılmasına ve gizliliği koruyan yeni uygulamaların tasarlanmasına yardımcı olabilir, böylece Crypto'nun bir milyar kullanıcıya yayılmasını teşvik edebilir. **Kripto dışında, ZKP ayrıca hassas verileri güvenli bir şekilde iletmek için kullanılma potansiyeline sahiptir, böylece yasa dışı finansal sistemlerle mücadeleye veya sahte bilgilerin yayılmasıyla mücadeleye yardımcı olur.

Peki sıfır bilgi kanıtları tam olarak nedir? Az sayıda araştırmacı ve geliştirici için internette birçok ayrıntılı açıklama bulunabilir, ancak bu içerikler bilgisayar bilimi veya okültizm konusunda daha az deneyimi olan sıradan kullanıcılara yönelik değildir. Her ne kadar bazı öncüler analojiye dayalı popüler bilim makaleleri de yazmış olsalar da, bugün itibarıyla sıradan insanların sıfır bilgi kanıtlarıyla ilgili, sıfır bilgi kanıtlarının büyüsünü doğru bir şekilde kavramalarına yardımcı olacak etkili ve popüler bir açıklama bulmak hâlâ kolay bir iş değil.

Dolayısıyla bir sonraki makalede, yeni bir benzetme keşfetmek için kripto ve sihir endüstrisindeki geçmişimi birleştireceğim - sıfır bilgi kanıtlarını harika bir sihir numarası olarak düşünün. **

Öncelikle bazı temel bilgilere ihtiyacımız var

Öncelikle sıfır bilgi kanıtının "üst düzey" tanımını (özellikle klasik algoritması zk-SNARK) ve temel özelliklerini paylaşacağım, ardından bu "bileşenleri" tek tek bir sihirle eşleştireceğim.

a16z'de araştırma ortağı olan Justin Thaler, zk-SNARK'ı şu şekilde tanımlıyor: "zk-SNARK, birinin (kanıtlayanın) başka bir kişiye (doğrulayıcıya) bazı verileri bilmeden bildiğine güvenmediğini kanıtlamasına olanak tanır. Verinin kendisiyle ilgili her türlü bilgiyi ortaya çıkarmak için.”

MIT kursu bunu şu şekilde tanımlıyor: "Sıfır bilgi protokolleri size gerçeği söylemeden bir gerçeği bildiğimi kanıtlamama olanak tanıyor."

Bunun blockchain bağlamında büyük bir uygulama değeri vardır çünkü:

• (gizliliğe karşılık gelir) **Sıfır bilgi kanıtı, başkalarının bilgilerin gerçekliğini doğrulamasına izin verirken özel bilgileri koruyabilir. **
• (Genişlemeye karşılık gelir) **Sıfır bilgi kanıtı iş yükünü "basitleştirebilir" ve "kaydetebilir". ** "Basitleştirme", "kanıt" boyutunun kanıtlanmış "veri"den daha küçük olduğu anlamına gelir; "kaydetme", doğrulayıcının "kanıtı" orijinal "veri"yi analiz etmekten daha verimli bir şekilde test edebileceği anlamına gelir. Ethereum'da bu, akıllı sözleşmelerin daha az veri işleyeceği ve dolayısıyla kullanıcıların gaz maliyetlerinin daha düşük olacağı anlamına gelir.Katman 2 de bu özelliklerden yararlanarak Dapps'in daha düşük maliyetle daha fazla veri işlemesine olanak tanır.

Özetle, sıfır bilgi kanıtlarının iki ana özelliği vardır:

• Bunlardan biri gizlilik: kanıtladığınız "veriler" (veya "gerçekler" veya "bilgi") doğrulayıcıya açıklanmayacaktır.
• İkincisi ölçeklenebilirlik: "kanıtları" test etmek, ham "verileri" doğrudan analiz etmekten daha etkilidir.

Bu, sıfır bilgi kanıtlarının klasik açıklamasıdır, ancak yine de kulağa bir bilmece gibi geliyor: Birisi bilgiyi paylaşmadan bir şeyi bildiğini nasıl kanıtlayabilir?

Tanıma tekrar bakalım ama bu sefer bir sihir numarası yapacağız.

Sihrin kendisi sıfır bilginin kanıtıdır

Basitçe söylemek gerekirse, bir sihir gösterisinde "sihir"in kendisi sıfır bilginin kanıtıdır. Bir sihir numarasını tamamlamak için "sihirbazın" arkasındaki "sırrı" bilmesi gerekir. Yalnızca bu sırrı bilerek performansı gerçekleştirebilirler, ancak kesinlikle bu sırrı "izleyiciye" açıklamak istemezler - bu açıkça büyünün etkisini yok edecektir.

• *Odaily Planet Daily Notu: Dört karakterin tırnak işaretleri içine alındığını unutmayın. *

"Gizli", orijinal "veri"ye karşılık gelir;

"Büyü", "kanıt" anlamına gelir;

"Büyücü", "Kanıtlayıcı"ya karşılık gelir;

*"Kitle", "Doğrulayıcı"ya karşılık gelir. *

Daha sonra, önceki paragrafta sıfır bilgi kanıtının "ileri" tanımını bu büyüye dahil edeceğiz, **sihirbazı "kanıtlayan" ve izleyiciyi "doğrulayıcı" olarak hayal edeceğiz. **

**Sihirbazlık gösterisi "kanıtlayıcı"nın "doğrulayıcı"ya kanıtlama sürecidir. **Eğer performans başarılıysa, bu onun etkili olduğunu kanıtlamakla eşdeğerdir ve izleyici de sihirbazın bunun arkasındaki sırrı anlaması gerektiğini doğrulayabilir; Eğer performans başarısız olursa, bunu kanıtlamakla eşdeğerdir geçersizdir ve seyirci hayal kırıklığına uğrayacaktır. Sihirbazın hileyi bilmeyebileceğini unutmayın.

Açıkçası, sihir, sıfır bilgi kanıtlarının mahremiyetini açıkça gösteriyor çünkü izleyiciye bunun arkasındaki sırrın ne olduğu asla söylenmiyor. Peki ya ölçeklenebilirlik? Bu metafora geri dönmeye devam edelim…

Seyirci sihirbazın sırra hakim olup olmadığını ("kanıtlayanın" orijinal "veriyi" bilip bilmediğini) bilmek isterse, normal performansı atlayabilir ve sihirbazdan bunun arkasındaki sırrı paylaşmasını isteyebilir. Ancak büyü teknikleri genel olarak oldukça karmaşık ve hantaldır.İzleyicinin bu tekniklerin tasarım mekanizmasını ve uygulama etkilerini kısa sürede anlaması bir yana tam anlamıyla ustalaşması bile zordur.Sihirbaz yanlış bir teknik bile sunabilir. izleyici hayal kırıklığına uğrayacaktır.Gerçek olup olmadığını söylemek de zordur. Bu nedenle, sırrın kendisini analiz ederek ispatı tamamlamak genellikle uzun zaman alır ve büyük bir iş yükü alır.

Orijinal "verilerin" doğrudan analiz edilmesinin daha fazla zaman alması ve emek yoğun olması gibi, "kanıt"ın test edilmesi de daha verimli olacaktır. Bunun arkasında sıfır bilgi kanıtlarının ölçeklenebilirliği yatmaktadır.

Örnek olarak oyun kartlarını kullanın

Basit bir örnek vermek gerekirse, "ters karıştırma" becerisine sahip olduğum ve kaotik bir iskambil destesini istenilen etkiyi verecek şekilde karıştırabildiğim için övündüğümü varsayalım. Peki bunu sana nasıl kanıtlayabilirim?

Benim için en verimli yol, sizin için belirli bir desene sahip bir kart destesini doğrudan karıştırmak. Bu kart destesini gördüğünüzde, bu beceriye sahip olduğumu doğrulayabilirsiniz. Bu, becerilerimi sizinle paylaşmamı gerektirmiyor. , ama aynı zamanda sizinkinden de daha iyidir. Kendi başınıza yavaş yavaş öğrenmek daha hızlı gelecektir.

Sonuç olarak, bu benzetmenin sıfır bilgi kanıtlarının gizemini çözmeye yardımcı olacağını umuyorum. "Sihir", "sır", "sihirbaz" ve "izleyici" hakkındaki bu açıklamalar dizisi, sıfır bilgi kanıtlarının temel özelliklerini anlamak için etkili bir model olarak kullanılabilir. sıfır bilgi kanıtları ve daha fazla yardım Birçok sıradan kullanıcı bu kavrama maruz kalmaktadır.

Tekrar ediyorum, sihir aslında sıfır bilgi kanıtıdır ve sıfır bilgi kanıtı da sihirle aynıdır. **