Yazar: Michael Blau, a16zcrypto yatırım ekibi ortağı; Çeviri: Golden Finance xiaozou
Yeterince gelişmiş herhangi bir teknoloji sihirden ayırt edilemez ve bilim kurguya benzeyen böyle bir alan, Web3 dünyasındaki iki temel sorunu çözen bir şifreleme aracı olan sıfır bilgi kanıtlarıdır (ZKP): ölçeklenebilirlik ve gizlilik. Özellikle ZKP, daha düşük işlem ücretlerinin kilidini açmanın ve gizliliği koruyan yeni uygulamalar tasarlamanın anahtarı olabilir.Sonuç olarak, bir sonraki milyar kripto kullanıcısını ağırlamamız bekleniyor. Kripto dünyasının dışında bile ZKP, bir gün hassas verilerin güvenli bir şekilde iletilmesine, yasa dışı finansla mücadeleye veya dezenformasyonla mücadeleye yardımcı olabilir.
Peki ZKP nedir? Mühendisler, araştırmacılar ve kripto topluluğu için pek çok iyi açıklama mevcut ancak kriptografi veya bilgisayar bilimi konusunda daha az deneyimi olan kitle için bunlar mantıklı değil. Waldo'dan Alibaba'nın Mağarası'na kadar çok sayıda metafor mevcut olsa bile ZKP'nin süper güçlerini tam olarak gösteren doğru ve anlaşılır bir açıklama bulmak kolay değil.
Dolayısıyla, bu makalede kripto ve sihir geçmişimi birleştirerek yeni bir metafor keşfedip yapmaya çalışacağım: ZKP'yi harika bir sihir numarası olarak düşünün.
**Ama önce şunu anlayalım: Sıfır bilgi kanıtı nedir? **
Bu özellikleri sihirli bir metaforla eşleştirmeden önce ilk olarak ZKP'nin (özellikle zk-SNARK'larla ilgili) üst düzey bir tanımını ve çeşitli özelliklerini paylaşmak istiyorum.
a16z kripto araştırma ortağı Justin Thaler'in SNARK tanımını genişletelim: "zk-SNARK, birinin (kanıtlayanın) güvenilmeyen bir tarafa (doğrulayıcıya) verinin kendisi hakkında herhangi bir bilgi açıklamadan bazı verileri bildiğini kanıtlamasına olanak tanır. . " Veya, MIT'nin AIP ZK kursunun ifade ettiği gibi, "Sıfır bilgi protokolleri, size bir şeyin ne olduğunu söylemeden, bildiğimi kanıtlamamı sağlıyor."
Bu, halka açık blok zincirler bağlamında heyecan verici çünkü ZKP, herkesin (şüphesiz) bilginin gerçekliğini doğrulamasına izin verirken özel bilgileri de koruyabilir. zk-SNARK ayrıca çok basit ve etkilidir: "basit", kanıtın boyutunun kanıtladığınız verilerden daha küçük olduğu anlamına gelir. "Verimli", doğrulayıcıların kanıtı ham verileri analiz etmekten daha hızlı doğruladığı anlamına gelir (Ethereum'da bu, akıllı sözleşme tarafından işlenen daha az veri ve kullanıcı için daha düşük gas maliyetleri anlamına gelir). L2 blockchain, merkezi olmayan uygulamaların daha düşük maliyetle daha fazla veri işlemesine olanak tanıyarak zk-SNARK'ın basitliğinden ve verimliliğinden yararlanabilir.
Özetle zk-SNARK'ın iki ana özelliği vardır:
· Gizlilik: Kanıtladığınız verilerle (veya gerçeklerle veya "bilgilerle") ilgili hiçbir bilgi doğrulayıcıya açıklanmaz.
· Basit ve etkili: Doğrulamanın, orijinal verileri doğrudan kontrol etmekten daha etkili olduğu kanıtlanmıştır.
Bu üst düzey açıklama bile kulağa biraz bilmece gibi geliyor: İnsan bir şeyi bildiğini bilgiyi paylaşmadan nasıl kanıtlayabilir?
Tanıma tekrar bakalım ama bu sefer bazı sihir numaralarından yararlanalım.
Sıfır Bilginin Kanıtı Büyüsü
Basitçe söylemek gerekirse, sihir sıfır bilginin kanıtıdır. Sihir konusunda bir sihirbaz, sihir numaraları yapmasını sağlayan bir sırrı bildiğini iddia eder. Ancak bu sırrı seyirciye açıklamak istemiyorlar; bu onların hilelerini mahveder.
Bunu ZKP'ye genişletecek olursak: Sihirbazları "kanıtlayıcılar" ve izleyicilerini de "doğrulayıcılar" olarak düşünün. Başarılı bir sihir gösterisi (umarım inanılmaz bir hayranlık ve coşkulu alkışlarla sonuçlanır) "geçerli" bir kanıta benzer: hile işe yaradı, bu nedenle sihirbaz sihir gösterisinin sırrını bilmelidir. Elbette, eğer illüzyon işe yaramazsa, "etkisiz" çıkarsa seyirci hayal kırıklığına uğrayacak ve sihirbaz aslında gizli yöntemi bilmeyebilir.
Magic, ZKP'nin özelliklerinden birini gösteriyor: gizlilik. Peki ya basitlik ve verimlilik? Gelelim bu benzetmeye…
İzleyiciler gösteriyi tamamen atlayabilir ve sihirbazdan sihrin ardındaki sırları paylaşmasını isteyebilir. Ancak büyünün sırları karmaşık ve incelikli olabilir. Bir sihir numarasının yöntemini tüm incelikleriyle ve nüanslarıyla açıklamak bile, bırakın gizemleri anlamayı, genel bir fikir edinmek için bile uzun zaman alır. Bazen, sırlarını açıklaması istendiğinde, bir sihirbaz kasıtlı olarak izleyiciye "yanlış" bir çözümü açıklayabilir ve böylece onları yanlış yola sürükleyebilir. İzleyiciler, gizli bir tekniğin gerçekten işe yaradığından, kendileri bu konuda ustalaşmadan emin olamazlar; bu, günler, aylar, hatta yıllar alabilir.
Bu nedenle, gizli bir tekniğin doğruluğunu doğrudan kontrol etmek aslında çok zaman alıcı ve enerji tüketen bir iş olduğu gibi - sihirbaz sırrı izleyiciye açıklamaya istekli olsa bile - aynı şey ZKP için de geçerlidir. Seyircinin sadece performansın tadını çıkararak gizemin geçerliliğini doğrulaması çok daha hızlıdır.
Devam Etme
Basit bir örnek vermek gerekirse: Karışık ve kapalı kart destesini anında tek taraflı kartlara dönüştürmeme olanak tanıyan gizli bir yöntem bildiğimi iddia ediyorum. Size bu yeteneğe sahip olduğumu kanıtlamak istiyorum ama nasıl olduğunu açıklamak istemiyorum. Büyünün sonunda herkese tek yüzlü bir kart destesi gösterme eylemi, kartları "geri yüklemenin" gizli yöntemini bilmem gerektiğinin geçerli bir kanıtıydı. Ve size tek yüzlü bir kart gösterdiğimde, bizzat sihir numaralarını öğrenmekten çok daha hızlı bir şekilde ifademi anında doğrulayabilirsiniz.
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Bir Sır Nasıl Kanıtlanır: Bir Sihirbazın Sıfır Bilgi Kanıtları Rehberi
Yazar: Michael Blau, a16zcrypto yatırım ekibi ortağı; Çeviri: Golden Finance xiaozou
Yeterince gelişmiş herhangi bir teknoloji sihirden ayırt edilemez ve bilim kurguya benzeyen böyle bir alan, Web3 dünyasındaki iki temel sorunu çözen bir şifreleme aracı olan sıfır bilgi kanıtlarıdır (ZKP): ölçeklenebilirlik ve gizlilik. Özellikle ZKP, daha düşük işlem ücretlerinin kilidini açmanın ve gizliliği koruyan yeni uygulamalar tasarlamanın anahtarı olabilir.Sonuç olarak, bir sonraki milyar kripto kullanıcısını ağırlamamız bekleniyor. Kripto dünyasının dışında bile ZKP, bir gün hassas verilerin güvenli bir şekilde iletilmesine, yasa dışı finansla mücadeleye veya dezenformasyonla mücadeleye yardımcı olabilir.
Peki ZKP nedir? Mühendisler, araştırmacılar ve kripto topluluğu için pek çok iyi açıklama mevcut ancak kriptografi veya bilgisayar bilimi konusunda daha az deneyimi olan kitle için bunlar mantıklı değil. Waldo'dan Alibaba'nın Mağarası'na kadar çok sayıda metafor mevcut olsa bile ZKP'nin süper güçlerini tam olarak gösteren doğru ve anlaşılır bir açıklama bulmak kolay değil.
Dolayısıyla, bu makalede kripto ve sihir geçmişimi birleştirerek yeni bir metafor keşfedip yapmaya çalışacağım: ZKP'yi harika bir sihir numarası olarak düşünün.
**Ama önce şunu anlayalım: Sıfır bilgi kanıtı nedir? **
Bu özellikleri sihirli bir metaforla eşleştirmeden önce ilk olarak ZKP'nin (özellikle zk-SNARK'larla ilgili) üst düzey bir tanımını ve çeşitli özelliklerini paylaşmak istiyorum.
a16z kripto araştırma ortağı Justin Thaler'in SNARK tanımını genişletelim: "zk-SNARK, birinin (kanıtlayanın) güvenilmeyen bir tarafa (doğrulayıcıya) verinin kendisi hakkında herhangi bir bilgi açıklamadan bazı verileri bildiğini kanıtlamasına olanak tanır. . " Veya, MIT'nin AIP ZK kursunun ifade ettiği gibi, "Sıfır bilgi protokolleri, size bir şeyin ne olduğunu söylemeden, bildiğimi kanıtlamamı sağlıyor."
Bu, halka açık blok zincirler bağlamında heyecan verici çünkü ZKP, herkesin (şüphesiz) bilginin gerçekliğini doğrulamasına izin verirken özel bilgileri de koruyabilir. zk-SNARK ayrıca çok basit ve etkilidir: "basit", kanıtın boyutunun kanıtladığınız verilerden daha küçük olduğu anlamına gelir. "Verimli", doğrulayıcıların kanıtı ham verileri analiz etmekten daha hızlı doğruladığı anlamına gelir (Ethereum'da bu, akıllı sözleşme tarafından işlenen daha az veri ve kullanıcı için daha düşük gas maliyetleri anlamına gelir). L2 blockchain, merkezi olmayan uygulamaların daha düşük maliyetle daha fazla veri işlemesine olanak tanıyarak zk-SNARK'ın basitliğinden ve verimliliğinden yararlanabilir.
Özetle zk-SNARK'ın iki ana özelliği vardır:
· Gizlilik: Kanıtladığınız verilerle (veya gerçeklerle veya "bilgilerle") ilgili hiçbir bilgi doğrulayıcıya açıklanmaz.
· Basit ve etkili: Doğrulamanın, orijinal verileri doğrudan kontrol etmekten daha etkili olduğu kanıtlanmıştır.
Bu üst düzey açıklama bile kulağa biraz bilmece gibi geliyor: İnsan bir şeyi bildiğini bilgiyi paylaşmadan nasıl kanıtlayabilir?
Tanıma tekrar bakalım ama bu sefer bazı sihir numaralarından yararlanalım.
Sıfır Bilginin Kanıtı Büyüsü
Basitçe söylemek gerekirse, sihir sıfır bilginin kanıtıdır. Sihir konusunda bir sihirbaz, sihir numaraları yapmasını sağlayan bir sırrı bildiğini iddia eder. Ancak bu sırrı seyirciye açıklamak istemiyorlar; bu onların hilelerini mahveder.
Bunu ZKP'ye genişletecek olursak: Sihirbazları "kanıtlayıcılar" ve izleyicilerini de "doğrulayıcılar" olarak düşünün. Başarılı bir sihir gösterisi (umarım inanılmaz bir hayranlık ve coşkulu alkışlarla sonuçlanır) "geçerli" bir kanıta benzer: hile işe yaradı, bu nedenle sihirbaz sihir gösterisinin sırrını bilmelidir. Elbette, eğer illüzyon işe yaramazsa, "etkisiz" çıkarsa seyirci hayal kırıklığına uğrayacak ve sihirbaz aslında gizli yöntemi bilmeyebilir.
Magic, ZKP'nin özelliklerinden birini gösteriyor: gizlilik. Peki ya basitlik ve verimlilik? Gelelim bu benzetmeye…
İzleyiciler gösteriyi tamamen atlayabilir ve sihirbazdan sihrin ardındaki sırları paylaşmasını isteyebilir. Ancak büyünün sırları karmaşık ve incelikli olabilir. Bir sihir numarasının yöntemini tüm incelikleriyle ve nüanslarıyla açıklamak bile, bırakın gizemleri anlamayı, genel bir fikir edinmek için bile uzun zaman alır. Bazen, sırlarını açıklaması istendiğinde, bir sihirbaz kasıtlı olarak izleyiciye "yanlış" bir çözümü açıklayabilir ve böylece onları yanlış yola sürükleyebilir. İzleyiciler, gizli bir tekniğin gerçekten işe yaradığından, kendileri bu konuda ustalaşmadan emin olamazlar; bu, günler, aylar, hatta yıllar alabilir.
Bu nedenle, gizli bir tekniğin doğruluğunu doğrudan kontrol etmek aslında çok zaman alıcı ve enerji tüketen bir iş olduğu gibi - sihirbaz sırrı izleyiciye açıklamaya istekli olsa bile - aynı şey ZKP için de geçerlidir. Seyircinin sadece performansın tadını çıkararak gizemin geçerliliğini doğrulaması çok daha hızlıdır.
Devam Etme
Basit bir örnek vermek gerekirse: Karışık ve kapalı kart destesini anında tek taraflı kartlara dönüştürmeme olanak tanıyan gizli bir yöntem bildiğimi iddia ediyorum. Size bu yeteneğe sahip olduğumu kanıtlamak istiyorum ama nasıl olduğunu açıklamak istemiyorum. Büyünün sonunda herkese tek yüzlü bir kart destesi gösterme eylemi, kartları "geri yüklemenin" gizli yöntemini bilmem gerektiğinin geçerli bir kanıtıydı. Ve size tek yüzlü bir kart gösterdiğimde, bizzat sihir numaralarını öğrenmekten çok daha hızlı bir şekilde ifademi anında doğrulayabilirsiniz.