ZK'yı anlamak mümin olmaktır

Blockchain teknolojisinin sürekli değişen ortamına dikkat ediyorsanız, son zamanlarda yeni bir moda kelimenin ortalıkta dolaştığını fark etmiş olabilirsiniz: "Sıfır Bilgi" veya "ZK".

Blockchain teknolojisinin sürekli değişen ortamına dikkat ediyorsanız, son zamanlarda yeni bir moda kelimenin ortalıkta dolaştığını fark etmiş olabilirsiniz: "Sıfır Bilgi" veya "ZK". Son 30 yıldır kriptografiye önem veriyorsanız, bu konseptin nihayet ilk kez ana akım ilgiye yakın bir şey bulması inanılmaz derecede heyecan verici. ZK ile ilişkilendirilen bir tür tarikat var çünkü onun ne olduğunu ve neler yapabileceğini anladığınızda, dünyayı (daha iyiye doğru) değiştirebilecek görünüşte sihirli tüm yolları zihninize bulaştırmanın bir yolu var. Alanı gerçekten ilerletmek için gereken teknik becerilere sahip ZK tarikatının üyelerinin YALNIZCA ZK üzerinde çalışma eğilimi vardır ve bu neredeyse kesin olarak ZK dışında herhangi bir şey hakkında DÜŞÜNMEYİ zor bulmalarından kaynaklanmaktadır. Bunun nedeni, verdiği sözdür.

ZK nedir?

Mümkün olan en basit anlamda ZK, verileri gerçekten açıklamaya gerek kalmadan, bazı verilerle ilgili bir ifadenin doğru olduğuna dair kriptografik bir kanıt oluşturmakla ilgilidir. Kanunen bunun için seçilen örnek klasiktir:

“Bu çözülmemiş sudoku bulmacasının geçerli bir çözümünü biliyorum”

Kanıtlayıcı Peter, ZK'yi kullanarak belirli bir sudoku bulmacasına ilişkin bu ifadenin Sıfır Bilgi Kanıtını (ZKP) ancak ve ancak gerçekten geçerli bir çözüm biliyorsa oluşturabilir ve doğrulayıcı Viviane, ifadeye gerek kalmadan kesinlikle ikna olabilir. aslında alıkonulan çözümlerden herhangi birini görün. Bu işi gerçekten yapan matematik hakkında biraz daha fazla bilgi edinmek istiyorsanız bkz. bu açıklayıcı video. 

Sudoku bulmacalarının ötesinde bu ilkel ile ne gibi faydalı şeyler yapılabilir? Blok zincirleri için iki harika uygulama vardır:

1. Gizlilik Gizli bilgilere ilişkin kanıtların korunması
2. Keyfi olarak uzun hesaplamanın kısa ve öz doğrulanması 

Her ikisi de heyecan verici; ikincisi daha fazla verimliliğe yol açarken, birincisi kitlesel dijital gözetleme ve veri toplamanın sona ermesine olanak tanıyor. 

ZK Gücü #1: Gizlilik

Hepimiz iyi arama motorlarına sahip olmayı severiz. Hepimiz müzik, videolar, haberler ve hatta potansiyel romantik partnerler için iyi kişiselleştirilmiş öneri motorlarına sahip olmaktan hoşlanıyoruz. Bir kişinin gerçekten satın almak isteyebileceği bir şey olma olasılığı daha yüksek olan reklamlara sahip olmak, olmamasından daha iyidir. Hepimiz ayrıcalık kazanmak için kendimiz hakkında bir şeyler kanıtlayabilmeyi severiz. Bunların hepsi modern internet için çok önemlidir ve bunları kullanan kişiye göre bir miktar kişiselleştirilmiş "ayar" yapılmadan kesinlikle imkansızdır. Ne yazık ki bunun anlamı, büyük şirketlerin, bu kişiselleştirilmiş motorları kolaylaştırmak için dijital hayatımızın uyanık olduğumuz her anını süpürüp sonsuza kadar saklamasıdır. ZK bunların hepsini değiştiriyor. 

ZK ile öneri motorlarının, kişinin ne istediğini bilmek için tüm geçmişini incelemesine gerek yoktur. Çalışmaları gereken tek bilgi, ilgi alanlarıyla ilgili minimum ayrıntıyı belirten basit ZKP'lerdir. Reklam sunan şirketin, bir kişinin araba satın almakla ilgilendiğini bilmesi için onun tüm arama geçmişini bilmesine gerek yoktur. İhtiyaç duydukları tek şey, o kişinin arama geçmişinde, bir araba satın almakla ilgilenebileceğini ve reklamına tıkladığını gösteren bir ZKP'dir. Hazır bu arada, reklamveren, tıklayan kişinin yalnızca bir bot değil, gerçek bir kişi olduğu ZKP'yi de beğenebilir. Blockchain söz konusu olduğunda bu tür bir gizlilik de çok önemli olacak. Hiç kimse, ne siz, ne bankalar, ne Wall Street, ne de hükümetler dünyanın finansal sisteminin herkesin görebileceği açık bir defterde tamamen halka açık olmasını istemiyor. Hiç kimse banka adresinizi bilmenin size banka bakiyenizi ve tüm işlem geçmişinizi gösterdiği bir sistemi istemez. Blockchain'in teknik olarak bunların hiçbirini bilmesine de gerek yok, yalnızca akıllı sözleşmelerin doğru bir şekilde yürütüldüğünü bilmesi gerekiyor, diğer her şeyin gizli tutulması çok daha keyifli, bu da bizi şu noktaya getiriyor:

ZK Gücü #2: Ölçeklenebilirlik

Otostopçunun Galaksi Rehberi'nde, Derin Düşünce süper bilgisayarının 42 milyon yıllık bir hesaplamanın ardından Hayat, Evren ve Her Şey sorusunun cevabını hayal kırıklığı yaratarak "7.5" olarak duyurduğu kısmı hatırlıyor musunuz? Gerçekçi olmak gerekirse, yöneticilerin ilk düşüncesi bilgisayarın bir noktada hata yaptığı olacaktır. Peki hesaplamanın doğru yürütüldüğünü nasıl doğrulayacaklar? Safça tüm hesaplamayı yeniden çalıştırıp orijinal hesaplamayla aynı sonuca varıp varmadığını görebildiler. Birkaç saniye süren hesaplamalar için bu sorun değil, 7.5 milyon yıl süren hesaplamalar için pek de iyi değil. ZK'nın ikinci süper gücü, boyutu çok küçük (mesela 1kb) bazı hesaplamaların kanıtlarının oluşturulmasına izin vermesi, doğrulaması milisaniyeler süren ve HERHANGİ bir uzunluktaki (hatta 7.5 milyon yıl) bir hesaplamanın doğru çalıştığına kontrol eden kişiyi ikna edebilmesidir. Ancak bu sihrin bir bedeli var çünkü tahmin edilebileceği gibi bu kanıtı oluşturmak, programı kanıt olmadan çalıştırmaktan çok daha hesaplama açısından daha pahalı. Bu nedenle ZK, doğrulanabilir hesaplama için mutlaka her şeyi kapsayan bir seçenek değildir; yalnızca doğrulayıcının tüm programı kendisinin hesaplaması mümkün değilse veya aynı programın sırayla yeterli sayıda doğrulanması bekleniyorsa, gerçekten ödün vermeye değerdir. kanıt süresindeki artışın kümülatif doğrulama süresindeki azalmadan daha az olmasını sağlamak. Bu kategorilerin her ikisine de giren oldukça açık bir kullanım durumu var: blockchain.

Ah doğru, bu Aleo'yla ilgili

Muazzam bir hesaplamayı yalnızca kaba kuvvetle kendiniz çalıştırarak doğrulama fikrinin ne kadar çılgınca geldiğini hatırlıyor musunuz? Bugün neredeyse tüm akıllı sözleşme blok zincirleri tam olarak bu şekilde çalışıyor! Tam bir düğümü çalıştırmak ve işleri kendiniz doğrulamak için, başlangıçtan şimdiki zamana kadar her bir akıllı sözleşme uygulamasını yürütmeniz gerekir; bu elbette deliliktir ve bu tür blok zincirlerinde kimsenin tam düğümleri çalıştırmamasının ve bunların neden böyle olduğunun nedeni de budur. sonuç olarak korkunç derecede merkezileşmiştir. 

Aleo istisnadır. Aslında akıllı sözleşmeler zincir üzerinde bile yürütülmüyor. Aleo'da akıllı sözleşmenin çalışma şekli, kendi fonlarıyla bir şeyler yapmak için akıllı sözleşmeye yetki vermek isteyen kişinin, bu akıllı sözleşmenin hesaplamasını zincirden yürütmesi, bu hesaplamanın bir kanıtını oluşturması ve ardından JUST THE PROOF'u yayınlamasıdır. blok zinciri. Bu küçük kanıt, doğrulayıcıları ve tam düğüm doğrulayıcılarını akıllı sözleşmenin doğru şekilde yürütüldüğüne ikna etmek için gereken tek şeydir ve kanıtın oluşturulması 7.5 milyon yıl sürse bile doğrulama yalnızca milisaniyeler alır. Bu, blok zincirler için akıllı mantığın doğrulanmasını yapmanın çok daha mantıklı bir yoludur ve aslında yalnızca doğrulayıcılara bağlı kalmak yerine kullanıcılar tarafından merkezi olmayan doğrulamaya izin verecektir. 

Protokol düzeyinde yalnızca bu asgari düzeydeki kanıtları önemseyen akıllı bir sözleşme zincirine sahip olmak, Aleo'nun gizliliği korumasını da sağlar. Temelde tüm bu kanıtların söylediği, "Akıllı Sözleşme X bir şeyi doğru yaptı", gönderenin, alıcının ve söz konusu para birimi miktarlarının tamamen gizli ve dolayısıyla özel olduğu. Aslında Aleo, işlemlerin alıcıya şifrelendiği TEK blok zincirlerden biridir. Şu anda ZK'yi yalnızca Ölçeklenebilirlik için kullanan (bu harika) ancak Gizlilik için kullanmayan (ki bu harika) çok sayıda heyecan verici blockchain projesi var. Öte yandan ZK'yi gizlilik için kullanacağını iddia eden ancak sonuçta kullanmadığını iddia eden birçok proje de vardı. Bunun nedeni basit: mahremiyeti koruyan akıllı sözleşmeler oluşturmak gerçekten zordur ve esasen tüm mimarinin aşağıdan yukarıya yeniden tasarlanmasını gerektirir; Aleo'nun yaptığı da tam olarak budur. 

Zincir dışı yürütme aynı zamanda Aleo'da GAZA İHTİYAÇ OLMAMASI gibi ilginç bir etkiye de sahiptir. Blok alanı için ödeme yapmak üzere yine işlem ücretlerine ihtiyacınız olacaktır, ancak akıllı sözleşmelerin yürütülmesi için protokol düzeyinde işlem başına ücretler yoktur; bu, Aleo'daki uygulamaların teorik olarak sınırsız çalışma süresine sahip olduğu anlamına gelir. Tek sınır, kanıtı ne için oluşturabileceğiniz veya bir başkasının sizin için kanıtı oluşturması için ne kadar ödemeye hazır olacağınızdır. 

Hesaplamanın ZK kanıtı oluşturması, bu hesaplamayı çalıştırmaktan çok daha pahalı olduğundan, normalde evde dizüstü bilgisayarınızda kanıt oluşturamayacağınız veya oluşturmak istemeyeceğiniz birçok uygulama olacaktır; bu da çok zaman alacaktır. uzun. Özellikle bu ihtiyacı karşılamak için çok verimli sunucu çiftlikleri işleten Provers'a devredilen kanıt oluşturma için bir pazar olacak. Tamamen Aleo'ya özgü temel tasarım kararlarından biri, kanıt yapımını GİZLİLİĞİNİ KORUYAN BİR ŞEKİLDE harici Provacılara devretme yeteneğidir. Sağlıklı bir Kanıtlayıcılar pazarının, ZK içinde mümkün olduğunca fazla internet elde etmek için kritik öneme sahip olmasını bekliyoruz; bu, yüksek kullanıcı talebi ortaya çıkmadan önce piyasayı başlatmak için akıllı bir önyükleme teknisyeninin motivasyonuydu: madeni para tabanı bulmacası. 

Coinbase bulmacası, Aleo blok zincirinin, başka hiç kimse olmasa bile kanıtlayıcılardan kanıt satın almak için yeni tokenler basmasına olanak tanıyor. Bir Prover, kendisini belirli bir süre boyunca bir kullanıcı için ücretli prova işi üzerinde aktif olarak çalışmaz halde bulursa, makinelerini coinbase bulmacasına geçirebilir ve burada çok miktarda "hiç kimse için kanıt" üretip daha sonra gönderebilirler. doğrulayıcılara. Doğrulayıcı, Prover'ın oluşturduğu tüm kanıtları bir araya getirir ve ardından bir madencilik havuzunun işleyişine benzer şekilde, bir Prover'ın belirli bir zaman diliminde yaptığı kanıtların sayısı, o belirli zaman dilimi için kazandıkları coinbase bulmaca ödülünün oranını belirler. Bunun, büyük bir Kanıtlayıcılar pazarını desteklemeye yardımcı olacak ve hatta Aleo'ya ve genel olarak ZK'ye erişimi en üst düzeye çıkarmak için özel "ZK ASIC'lerin" geliştirilmesini teşvik edecek bir oyun değiştirici olmasını bekliyoruz. 

Tüm bu ZK büyüsüne hizmet etmek amacıyla Aleo, bilgisayar kodunu ZK matematiğine derlemek için AVM adında düşük seviyeli bir VM ve AVM'de derlenen Leo adında yüksek seviyeli bir dil yarattı. Aleo ayrıca, erişilebilirlik için akıllı sözleşme kodunun (isteğe bağlı olarak) doğrudan zincir üzerinde barındırılmasına olanak tanıyan ve kullanıcıları hileli sürümlerde oturum açmaya kandıran ortadaki adam saldırıları riskini en aza indiren bir zincir üstü program kaydına da sahip olacak. akıllı sözleşmeler. Bu konuyu daha derinlemesine incelemek ve kendi Özel Uygulamalarınızı yazmak istiyorsanız bkz.

Özetle Aleo, gizliliği ve merkezi olmayan yönetimi en üst düzeye çıkarmak istiyorsanız akıllı sözleşme blok zincirinin nasıl çalışması gerektiğine dair tamamen yeniden tasarlanmış bir tasarımdır. Aleo'nun bu hedefi gerçekleştirmesini sağlamak için şaşırtıcı miktarda tamamen yeni ve çığır açıcı araştırma ve çalışma yapıldı. Halihazırda Aleo'nun montajı için harcanan çalışma ve araştırmalardan toptan ödünç alan önemli sayıda proje mevcut olsa da, bu düzeylerde gerçek anlamda rekabet edebilmek için onların tek seçeneği esas olarak tüm mimarilerini yıkmak ve kendilerini Aleo'nun imajına göre yeniden inşa etmek olacaktır. Aleo. 

Aleo hakkında daha fazla bilgi edinmek ve Testnet finaline katılmak istiyorsanız şu adresi ziyaret edin: Aleo.org.