Orijinal başlık: "Is zkSNARK: Acemi Dostu Açıklayıcı"
Yazan: Katkıda bulunan
Derleme: ateş ateşi
Uzun bir süre boyunca, blok zincirinin imkansız üçgeni (yani ölçeklenebilirlik, ademi merkeziyetçilik ve güvenlik) yalnızca üçün ikincisi olabilir, bu nedenle Ethereum daha yüksek bir güvenlik ve mahremiyet seviyesine ulaştıktan sonra, genişleme en önemli öncelik haline gelir.
Bu nedenle Layer 2 ortaya çıktı.Şu anda Layer 2 genişleme planında ZK teknolojisi, Ethereum'un kurucu ortağı Vitalik Buterin (V God) tarafından genişleme sorununa nihai çözüm olarak görülüyor.
21 Mayıs'ta Karadağ'da düzenlenen kar amacı gütmeyen yıllık küresel Ethereum konferansı EDCON 2023'te V God, önümüzdeki 10 yıl içinde temel teknoloji olarak ZK ile zk-SNARK'ın blok zinciri kadar önemli olacağını söyledi.
Peki son zamanlarda V God tarafından tanıtılan zk-SNARK'lar neler? Hangi blockchain sorunları çözülebilir? Bugünün tanıtımına bir göz atalım.
Metin aşağıdadır:
##01 zk-SNARK'lar nedir?
**1. zk-SNARK'ları kim yarattı? **
"zk-SNARK'lar" terimi, başta zk-SNARK'ların gerekçesini bir makalede yayınlayan Nir Bitansky, Alessandro Chiesa ve Eran Tromer'in de aralarında bulunduğu bir grup kriptograf tarafından icat edildi. Sonuç olarak, zk-SNARK'lar birçok farklı proje ve ekip tarafından kademeli olarak geliştirildi ve iyileştirildi.
**2. zk-SNARK'ın açılımı nedir? **
ZK: sıfır bilgi sıfır bilgi
Sıfır bilgi, iddiayı doğrulayan kişinin doğrulama sürecinden herhangi bir yeni bilgi elde edemeyeceği anlamına gelir. **Başka bir deyişle, sıfır bilgi kanıtlama sürecinde, doğrulayıcı yalnızca ifadenin doğru mu yanlış mı olduğunu bilir, başka bir şey bilmez. **
S: Sadelik Özlü
Özlü zk-SNARKs ispatları, en kısa ve kolayca doğrulanabilir ispatlardır. **Bu, çok uzun ve karmaşık olabilen normal sıfır bilgi ispatlarının aksinedir. Tipik olarak, zk-SNARK ispatları milisaniyeler içinde doğrulanabilir.
N: etkileşimli değil etkileşimli değil
Etkileşimli olmayan zk-SNARKs ispatları, kanıtlayıcı ile doğrulayıcı arasında herhangi bir etkileşim gerektirmez. ** Bu, kanıtlayıcıdan doğrulayıcıya yalnızca bir sonuç mesajının gönderildiği anlamına gelir. **Bu, kanıtlayıcının ve doğrulayıcının kanıtı tamamlamak için birbirleriyle ileri geri etkileşime girmesi gereken etkileşimli kanıtların tersidir.
**AR: bağımsız değişken **
Argüman, bir bakış açısını destekleyen bir neden veya nedenler dizisidir. zk-SNARK'lar bağlamında bir argüman, bir ifadenin doğru olduğunu kanıtlamak için kullanılan bir dizi matematiksel işlemdir.
K: bilgi bilgi
Bilgi, kanıtlayıcının kanıtı tamamlamak için gereken belirli bilgileri bildiği fikrini ifade eder. Örneğin bu, hesabın özel anahtarı olabilir.
**Özetlemek gerekirse, zk-SNARKs, bir kullanıcının ("kanıtlayan") başka bir tarafa ("doğrulayıcı") kimlikleri, fonların mülkiyeti gibi şeyleri kanıtlamasına izin veren bir ZK sistemidir (Sıfır Bilgi Kanıtlama Sistemi). , vb., bu varlıklar hakkında herhangi bir bilgi vermeden. **Örneğin:
Bir kullanıcı, sahip olduğu tutarı tam olarak paylaşmadan, hesabında bir ürün veya hizmet satın almak için yeterli bakiye olduğunu kanıtlayabilmelidir;
Kullanıcı, kişisel verilerini paylaşmak zorunda kalmadan, uygulamaya erişmeden önce kimliğini doğrulayabilmelidir.
"5 yaşındaki bir çocuğa zk-SNARK'ların nasıl anlatılacağını" örnek alarak, işte zk-SNARK'ların ne olduğunu açıklayan bir oyun:
Üç arkadaşınızla "Dil Öğretmeni Nerede?" oyununu oynadığınızı ve ödülün, kazananlar arasında eşit olarak paylaştırılacak 1.000$'lık bir bahis olduğunu hayal edin. Siz ve arkadaşlarınız bir masanın etrafında oturuyorsunuz ve herkes Çinli bir öğretmenin resmini çekiyor.
Resimdeki Çinli öğretmeni bulmalısınız, Çinli öğretmeni bulduğunuzda onu bulduğunuzu kanıtlamanız gerekiyor ama onun yerini veya başka herhangi bir bilgiyi açıklayamazsınız. Başka bir deyişle, iddialarınızın geçerliliğinin ötesinde hiçbir şey açıklamadan gerçeklerin bilgisini göstermek istiyorsunuz.
zkSNARK'ı kullanarak, aynı boyutta bir kağıt alabilir ve resimdeki Çinli öğretmenin konumunu işaretleyebilirsiniz. Kağıt daha sonra bir kutuya gizlenebilir ve arkadaşlarınız bulmacayı çözdükten sonra, işaretlediğiniz Çinli öğretmenin nerede olduğunu kendileri görebilirler.
Başka bir deyişle, zk-SNARK'lar, doğrulamanız gereken bilgileri, o bilgilerin tam değerini açıklamadan kanıtlamanıza olanak tanır. **Mevcut zincirler arası ekosistemde, zk-SNARKs teknolojisinin kullanımı, platformunda oluşturulan blok zincirlerinin ve DApp'lerin gizliliğini koruyabilir. **
Buradaki ana fikir, doğrulayıcının kanıt hakkında herhangi bir bilgi elde etmesinin imkansız olmasıdır (dolayısıyla "sıfır bilgi" kanıtı adı).
02zk-SNARKs çalışma prensibi
zk-SNARK'lar, birçok blok zinciri doğası gereği halka açık olduğu için gizliliğin daha da önemli hale geldiği kripto alanında özellikle önemlidir.
En ünlü örnek, gizlilik kriptografik bir varlık olan Zcash'tir. Zcash, Bitcoin ve Ethereum gibi halka açık zincirlerde işlem gördüğünde, doğrulama için gönderici ve alıcı adresleri ve girdi ve çıktı değerleri (yani ne kadar harcanıp harcanmadığı) gibi ayrıntılar kullanılır.
Ancak zk-SNARK'lar aracılığıyla Zcash, adres ve değer gibi bilgileri ifşa etmeden işlemin geçerli olduğunu kanıtlayabilir.
Zcash, kripto kullanıcıları için bir gizlilik katmanı sağlamak için zkSNARKS'ı nasıl kullanır
Kaynak: Blockchainhub.net
zk-SNARK'lar nasıl çalışır? Dijital imzalar**, zk-SNARK'ların çalışma şeklini oluşturur**. Dijital imzalar, hassas bilgileri başka bir taraftan korumak için kriptografik algoritmalar kullanır ve o tarafa talep edilen gerekli kanıtları sağlar.
** Peki tam olarak nasıl yapılır? Aşağıdaki gibi ilerleyin:**
Kanıtlayıcı önce bir çift anahtar, bir genel anahtar ve bir özel anahtar üretir. Özel anahtarıyla işlemleri imzalar.
Kanıtlayıcı daha sonra bu işlemi, işlemin geçerli olduğunun matematiksel kanıtları olan zk-SNARK'lara kodlar.
Kanıt, ortak anahtarla birlikte doğrulayıcıya gönderilir. Doğrulayıcı daha sonra, işlem hakkında başka hiçbir şey bilmeden formülün doğru olduğunu kontrol etmek için ortak anahtarı kullanır. Yalnızca küçük bir bilgi miktarı doğrulandığından, işlemin geçerli olduğunu doğrulamak için bu kontrol çok hızlı bir şekilde yapılabilir.
03 zk-SNARK'ların özel kullanım durumları
**1. Hangi Jetonlar zk-SNARK'ları kullanır? **
SNARK şifreli Token, gizliliği iyileştirmek için zk-SNARK'ları kullanan şifreli bir varlıktır ve aynı zamanda gizlilik Token'ı olarak da bilinir. Bu tür gizlilik belirteçlerine örnekler:
*Zcash (ZEC)
Sınırlar (XVG)
Monero (XMR)
Çizgi (DASH)
Kiriş (KİRİŞ)
Ufuk (ZEN)
Bytecoin (BCN)
zk-SNARK'ların ana zorluğu, özel anahtarın tehlikeye atılması durumunda sahte kanıtların oluşturulabilmesidir. Bu, sahte kanıt yaratıcılarının örneğin sahte mahremiyet paraları oluşturma ve kullanma gibi dolandırıcılık yapmalarına izin verebilir.
2. zk-SNARKS'ın diğer uygulamaları
Filecoin, merkezi olmayan bir depolama sağlayıcısıdır ve işleyişi birçok yönü içerir.
İlk olarak, Filecoin ağındaki depolama sağlayıcıları (blok ödülleri karşılığında depolama alanı sağlar) ve "sertifikacılar", verileri zincir üzerinde doğru bir şekilde depoladıklarını kanıtlamalıdır.
Öte yandan, depolama sağlayıcılarının verileri uygun şekilde depoladığını ve güvenliğini sağladığını doğrulaması gereken "doğrulayıcılarımız", yani düğümlerimiz var. Bu doğrulayıcılar, depolama sağlayıcısı tarafından verilen onaylardan memnun olmalıdır.
**Bu, veri el değiştirirken depolama sağlayıcılarının ve düğümlerin iletişim kurmasını gerektirir. Tahmin edebileceğiniz gibi, bu süreç kaynak yoğun olacak. **
Resmi Filecoin blog yazısı şöyle açıklıyor: "Bugün tek bir depolama sağlayıcısının, depolamalarını doğrulamak için kanıtlaması gereken veri miktarı çok büyük ve yalnızca zamanla büyüyecek. Filecoin ağının blok süresi 30 saniyedir. Zaman değişmezliği ve ölçeklenebilir bir yaklaşım sağlamak için, Filecoin'in hızlı, verimli ve sağlam doğrulamaya izin veren bir çözüme ihtiyacı var."
Filecoin ağı, zk-SNARK'lar ile tarafların depolamayı doğrulaması için gereken süreyi azaltarak ölçeklenebilirliğini ve verimliliğini artırabilir.
Depolama sağlayıcıları için zk-SNARK'lar, depolamalarını kanıtlamak için aktarmaları gereken veri miktarını azaltarak operasyonel maliyetleri düşürür.
3. zk-SNARK'lar başka şeyler için de kullanılabilir
Örneğin:
**Kimlik Doğrulama: **Kullanıcı kimlik bilgilerini parola olmadan doğrulayın, doğum yeri ve tarihi gibi hassas bilgileri korumak için artık pasaport, doğum belgesi gibi belgelere gerek yok.
**Oylama Sistemi: ** Seçmenlerin kimlikleri kimlik tespiti yapılmadan doğrulanabilir, oy pusulaları sızdırılsa bile seçmenlerin kimlikleri tespit edilemez, böylece seçmenlerin mahremiyeti korunur.
Veri Sıkıştırma: Bu, zk-SNARKS'ın ilginç bir kullanımıdır ve kendi bölümünü hak etmektedir.
##04 Özet
Genel olarak, zk-SNARKS'ın üç temel çıkarımı vardır:
zkSNARKS, bir tarafın diğer tarafa x hakkında başka herhangi bir bilgi iletmeden bir x değerini bildiğini kanıtlamasına izin veren sıfır bilgi kanıtlama sistemidir.
Ana fikir, bir doğrulayıcının, yalnızca kanıtlayıcının x'i bildiğini kanıtlayabildiği gerçeğinden x hakkında herhangi bir bilgi çıkarsamasının imkansız olmasıdır. Bu, kanıtlayıcının veri gizliliğini korur.
Sıfır bilgi kanıtı sistemleri, güvenli iletişim, kriptografi ve gizliliği koruyan veri analizi dahil olmak üzere çeşitli uygulamalarda kullanılır.
Sıfır bilgi kanıtlama sistemleri nispeten yeni bir araştırma alanı olmasına rağmen, uygulanabilirlikleri ve pratiklikleri hakkında hala birçok açık soru var. Ancak, bazı etkileyici ürünler yaratmak için kullanılmışlardır.
View Original
The content is for reference only, not a solicitation or offer. No investment, tax, or legal advice provided. See Disclaimer for more risks disclosure.
Bu makale, Vitalik'in önümüzdeki on yıl içinde blockchain kadar önemli olacağına inandığı zk-SNARK'ları açıklamaktadır.
Orijinal başlık: "Is zkSNARK: Acemi Dostu Açıklayıcı"
Yazan: Katkıda bulunan
Derleme: ateş ateşi
Uzun bir süre boyunca, blok zincirinin imkansız üçgeni (yani ölçeklenebilirlik, ademi merkeziyetçilik ve güvenlik) yalnızca üçün ikincisi olabilir, bu nedenle Ethereum daha yüksek bir güvenlik ve mahremiyet seviyesine ulaştıktan sonra, genişleme en önemli öncelik haline gelir.
Bu nedenle Layer 2 ortaya çıktı.Şu anda Layer 2 genişleme planında ZK teknolojisi, Ethereum'un kurucu ortağı Vitalik Buterin (V God) tarafından genişleme sorununa nihai çözüm olarak görülüyor.
21 Mayıs'ta Karadağ'da düzenlenen kar amacı gütmeyen yıllık küresel Ethereum konferansı EDCON 2023'te V God, önümüzdeki 10 yıl içinde temel teknoloji olarak ZK ile zk-SNARK'ın blok zinciri kadar önemli olacağını söyledi.
Peki son zamanlarda V God tarafından tanıtılan zk-SNARK'lar neler? Hangi blockchain sorunları çözülebilir? Bugünün tanıtımına bir göz atalım.
Metin aşağıdadır:
##01 zk-SNARK'lar nedir?
**1. zk-SNARK'ları kim yarattı? **
"zk-SNARK'lar" terimi, başta zk-SNARK'ların gerekçesini bir makalede yayınlayan Nir Bitansky, Alessandro Chiesa ve Eran Tromer'in de aralarında bulunduğu bir grup kriptograf tarafından icat edildi. Sonuç olarak, zk-SNARK'lar birçok farklı proje ve ekip tarafından kademeli olarak geliştirildi ve iyileştirildi.
**2. zk-SNARK'ın açılımı nedir? **
ZK: sıfır bilgi sıfır bilgi
Sıfır bilgi, iddiayı doğrulayan kişinin doğrulama sürecinden herhangi bir yeni bilgi elde edemeyeceği anlamına gelir. **Başka bir deyişle, sıfır bilgi kanıtlama sürecinde, doğrulayıcı yalnızca ifadenin doğru mu yanlış mı olduğunu bilir, başka bir şey bilmez. **
S: Sadelik Özlü
Özlü zk-SNARKs ispatları, en kısa ve kolayca doğrulanabilir ispatlardır. **Bu, çok uzun ve karmaşık olabilen normal sıfır bilgi ispatlarının aksinedir. Tipik olarak, zk-SNARK ispatları milisaniyeler içinde doğrulanabilir.
N: etkileşimli değil etkileşimli değil
Etkileşimli olmayan zk-SNARKs ispatları, kanıtlayıcı ile doğrulayıcı arasında herhangi bir etkileşim gerektirmez. ** Bu, kanıtlayıcıdan doğrulayıcıya yalnızca bir sonuç mesajının gönderildiği anlamına gelir. **Bu, kanıtlayıcının ve doğrulayıcının kanıtı tamamlamak için birbirleriyle ileri geri etkileşime girmesi gereken etkileşimli kanıtların tersidir.
**AR: bağımsız değişken **
Argüman, bir bakış açısını destekleyen bir neden veya nedenler dizisidir. zk-SNARK'lar bağlamında bir argüman, bir ifadenin doğru olduğunu kanıtlamak için kullanılan bir dizi matematiksel işlemdir.
K: bilgi bilgi
Bilgi, kanıtlayıcının kanıtı tamamlamak için gereken belirli bilgileri bildiği fikrini ifade eder. Örneğin bu, hesabın özel anahtarı olabilir.
**Özetlemek gerekirse, zk-SNARKs, bir kullanıcının ("kanıtlayan") başka bir tarafa ("doğrulayıcı") kimlikleri, fonların mülkiyeti gibi şeyleri kanıtlamasına izin veren bir ZK sistemidir (Sıfır Bilgi Kanıtlama Sistemi). , vb., bu varlıklar hakkında herhangi bir bilgi vermeden. **Örneğin:
"5 yaşındaki bir çocuğa zk-SNARK'ların nasıl anlatılacağını" örnek alarak, işte zk-SNARK'ların ne olduğunu açıklayan bir oyun:
Başka bir deyişle, zk-SNARK'lar, doğrulamanız gereken bilgileri, o bilgilerin tam değerini açıklamadan kanıtlamanıza olanak tanır. **Mevcut zincirler arası ekosistemde, zk-SNARKs teknolojisinin kullanımı, platformunda oluşturulan blok zincirlerinin ve DApp'lerin gizliliğini koruyabilir. **
Buradaki ana fikir, doğrulayıcının kanıt hakkında herhangi bir bilgi elde etmesinin imkansız olmasıdır (dolayısıyla "sıfır bilgi" kanıtı adı).
02zk-SNARKs çalışma prensibi
zk-SNARK'lar, birçok blok zinciri doğası gereği halka açık olduğu için gizliliğin daha da önemli hale geldiği kripto alanında özellikle önemlidir.
En ünlü örnek, gizlilik kriptografik bir varlık olan Zcash'tir. Zcash, Bitcoin ve Ethereum gibi halka açık zincirlerde işlem gördüğünde, doğrulama için gönderici ve alıcı adresleri ve girdi ve çıktı değerleri (yani ne kadar harcanıp harcanmadığı) gibi ayrıntılar kullanılır.
Ancak zk-SNARK'lar aracılığıyla Zcash, adres ve değer gibi bilgileri ifşa etmeden işlemin geçerli olduğunu kanıtlayabilir.
Zcash, kripto kullanıcıları için bir gizlilik katmanı sağlamak için zkSNARKS'ı nasıl kullanır
Kaynak: Blockchainhub.net
zk-SNARK'lar nasıl çalışır? Dijital imzalar**, zk-SNARK'ların çalışma şeklini oluşturur**. Dijital imzalar, hassas bilgileri başka bir taraftan korumak için kriptografik algoritmalar kullanır ve o tarafa talep edilen gerekli kanıtları sağlar.
** Peki tam olarak nasıl yapılır? Aşağıdaki gibi ilerleyin:**
03 zk-SNARK'ların özel kullanım durumları
**1. Hangi Jetonlar zk-SNARK'ları kullanır? **
SNARK şifreli Token, gizliliği iyileştirmek için zk-SNARK'ları kullanan şifreli bir varlıktır ve aynı zamanda gizlilik Token'ı olarak da bilinir. Bu tür gizlilik belirteçlerine örnekler:
*Zcash (ZEC)
zk-SNARK'ların ana zorluğu, özel anahtarın tehlikeye atılması durumunda sahte kanıtların oluşturulabilmesidir. Bu, sahte kanıt yaratıcılarının örneğin sahte mahremiyet paraları oluşturma ve kullanma gibi dolandırıcılık yapmalarına izin verebilir.
2. zk-SNARKS'ın diğer uygulamaları
Filecoin, merkezi olmayan bir depolama sağlayıcısıdır ve işleyişi birçok yönü içerir.
İlk olarak, Filecoin ağındaki depolama sağlayıcıları (blok ödülleri karşılığında depolama alanı sağlar) ve "sertifikacılar", verileri zincir üzerinde doğru bir şekilde depoladıklarını kanıtlamalıdır.
Öte yandan, depolama sağlayıcılarının verileri uygun şekilde depoladığını ve güvenliğini sağladığını doğrulaması gereken "doğrulayıcılarımız", yani düğümlerimiz var. Bu doğrulayıcılar, depolama sağlayıcısı tarafından verilen onaylardan memnun olmalıdır.
**Bu, veri el değiştirirken depolama sağlayıcılarının ve düğümlerin iletişim kurmasını gerektirir. Tahmin edebileceğiniz gibi, bu süreç kaynak yoğun olacak. **
Resmi Filecoin blog yazısı şöyle açıklıyor: "Bugün tek bir depolama sağlayıcısının, depolamalarını doğrulamak için kanıtlaması gereken veri miktarı çok büyük ve yalnızca zamanla büyüyecek. Filecoin ağının blok süresi 30 saniyedir. Zaman değişmezliği ve ölçeklenebilir bir yaklaşım sağlamak için, Filecoin'in hızlı, verimli ve sağlam doğrulamaya izin veren bir çözüme ihtiyacı var."
Filecoin ağı, zk-SNARK'lar ile tarafların depolamayı doğrulaması için gereken süreyi azaltarak ölçeklenebilirliğini ve verimliliğini artırabilir.
Depolama sağlayıcıları için zk-SNARK'lar, depolamalarını kanıtlamak için aktarmaları gereken veri miktarını azaltarak operasyonel maliyetleri düşürür.
3. zk-SNARK'lar başka şeyler için de kullanılabilir
Örneğin:
##04 Özet
Genel olarak, zk-SNARKS'ın üç temel çıkarımı vardır:
Sıfır bilgi kanıtlama sistemleri nispeten yeni bir araştırma alanı olmasına rağmen, uygulanabilirlikleri ve pratiklikleri hakkında hala birçok açık soru var. Ancak, bazı etkileyici ürünler yaratmak için kullanılmışlardır.