Ne sıklıkla Ethereum'da işlem yapmak için değerli dakikalarınızı harcadınız ya da çok fazla trafik olduğunda çok fazla gas ($) harcadınız? Ama korkmayın. Yavaş işlemlere ve yüksek gas maliyetine sıfır bilgi kanıtlarını (ZKP) getirerek bir çözüm var.

Tarih

ZKP kavramı, bir tarafın diğer tarafa bir beyanın doğruluğunu, beyanın geçerliliğinin ötesinde herhangi bir ek bilgi açıklamadan kanıtlamasına olanak tanıyan büyüleyici bir kriptografi uygulamasıdır.

ZKP kavramını tanıtan ilk makale 1985 yılında Massachusetts Teknoloji Enstitüsü'nden (MIT) Shafi Goldwasser ve Silvio Micali tarafından yayımlandı. "Olasılıksal Şifreleme" makaleleri, bir sayının belirli özelliklerini, sayının kendisini veya onunla ilgili herhangi bir ek bilgiyi açıklamadan kanıtlamanın mümkün olduğunu gösterdi. Bu çığır açıcı bulgu, modern kriptografide kritik bir araç olarak ZKP'lerin geliştirilmesinin yolunu açtı.

Nasıl çalışır (ELI5)

Konsept: kanıtlayıcılar ve doğrulayıcılar

Sıfır bilgi kanıtlarında temel roller kanıtlayıcılar ve doğrulayıcılardır. Kanıtlayıcılar, doğrulayıcıları, sırrın kendisini açığa vurmadan, belirli bir sır hakkında bilgi sahibi olduklarına ikna etmeyi amaçlar. Doğrulayıcılar ise sırrı öğrenmeden kanıtlayıcıların iddialarını doğrulamaya çalışırlar. Bu, kanıtlayıcılardan yalnızca sırra sahip olmaları durumunda tamamlanabilecek görevleri yerine getirmelerini isteyerek yapılır. Bir şeyi başkalarına vermeden bildiğinizi kanıtlamanın en basit yolu, sıklıkla kullanılan "Waldo Nerede?" sorusuyla gösterilebilir. örnek.

Sen ve bir arkadaşınız Waldo'yu bulmak istiyorsunuz. Resimde Waldo'nun nerede olduğunu biliyorsunuz ama arkadaşınız size inanmıyor. Arkadaşınıza Waldo'nun yerini vermeden nerede olduğunu bildiğinizi nasıl kanıtlarsınız?

Resmin tamamını kapatmak için büyük bir kağıt parçası alıyorsunuz ve arkadaşınıza Waldo'nun resmini kesikli olarak gösteriyorsunuz. Waldo'nun yerini bildiğinizi kanıtlayabilirsiniz, ancak Waldo'nun görüntüye göre tam koordinatları kendisi tarafından hala bilinmediği için arkadaşınız Waldo'nun nerede olduğuna dair bilgi sahibi olamayacaktır.

Bu ZKP'nin basit bir benzetmesidir. Waldo'yu delikten gören herkes, Waldo'nun var olduğuna ve kanıtlayıcının başka hiçbir bilgi vermeden onun nerede olduğunu bildiğine dair kanıta sahip olur.

Blockchain'deki ZKP'ler

Blockchain bize şeffaflık, değişmezlik ve merkeziyetsizlik gibi büyük avantajlar sağlasa da mevcut halka açık blockchainler, zaman zaman "sahip olunması güzel" olabilecek herhangi bir gizlilikten tamamen yoksundur. Ancak ZKP'leri blockchain teknolojisiyle birleştirerek projeler artık daha fazla işlemi hızlı bir şekilde gerçekleştirebilir ve aynı zamanda kullanıcı verilerini güvende ve emniyette tutabilir. Ayrıca karmaşık hesaplamaların hiçbir hassas veriyi açığa çıkarmadan gerçekleştirilmesine de olanak tanır. ZKP'ler, bilgileri üzerinde kontrol ve özgürlük isteyen kullanıcılara esneklik ve seçenek sunar. Bu nedenle blockchain ve ZKP'lerin birleştirildiğinde birden fazla kullanıma sahip olması mantıklıdır.

ZKP'lerin kullanım durumları şunlardır:

  • ZKP, kişisel bilgilerin halka açık blok zincirlerde ifşa edilmesini önleyerek kullanıcıların gizliliğini artırır.

  • ZKP, etkisiz kimlik doğrulama yöntemlerini değiştirerek bilgi güvenliğini güçlendirir. ZKP, kullanıcıların hassas bilgileri açıklamadan verilere sahip olduklarını kanıtlamalarına veya verilere erişmelerine olanak tanıyarak birçok zayıf noktayı ortadan kaldırır.

  • ZKP, blockchain verimini ve ölçeklenebilirliğini artırır. ZKP, daha hızlı ve daha güvenli işlemlere izin vererek blockchain teknolojisiyle ilişkili bazı ölçeklenebilirlik zorluklarını ele alıyor.

Öncü ZK Tabanlı Blockchain Projelerine Örnekler

ZK teknolojisini kullanan en popüler blockchain protokollerinden bazıları şunlardır:

zk-SNARK kullanarak merkezi olmayan depolama

  • Filecoin: Filecoin bugüne kadar konuşlandırılmış en büyük zk-SNARK ağıdır. Filecoin, ağın bağlı olduğu temel şifreleme protokolleri olan Çoğaltma Kanıtı (PoRep) ve Uzay-Zaman Kanıtı (PoSt) için SNARK'ları kullanır. Filecoin, 7 turda toplam 258,2 milyon ABD doları tutarında fon topladı. En son finansmanları 205,8 milyon dolarlık İlk Para Teklifiydi. Filecoin'in token'ı FIL şu anda 7 dolardan işlem görüyor ve 2,7 milyar dolarlık piyasa değeri var. Filecoin'in depolama alanı aktiftir ve Geliştiriciler, depolama yardımcılarına veri göndermek için API'leri veya kitaplıkları kullanır. Perde arkasında, depolama yardımcıları verileri alır ve verileri güvenilir ve merkezi olmayan bir şekilde depolamak için temel süreçleri yönetir.

Gizlilik Projeleri

  • Aztek Ağı: Aztek Ağı, Ethereum ağındaki ilk özel ZK toplamasıdır. DApp'lerin gizliliğe ve ölçeklenebilirliğe erişim sağlamak için kullandığı bir gizlilik motorudur. Aztec, 4 turda 119,1 milyon dolar fon topladı. En son finansmanları, A16z liderliğindeki B Serisi turundan 100 milyon dolardı. Kullanıcıların Ethereum DeFi Dapps ile etkileşime geçmesine olanak tanıyan Aztec Connect, Ethereum ana ağında yayında. Aztek için token yok ancak airdrop mümkün.

Zk-toplamaları

Ethereum'un karşılaştığı en büyük zorluk ölçeklenebilirliktir. Bu, ağı kullanabilecek kişi sayısını sınırladığı ve aynı zamanda zincir içi depolama ve hesaplama kaynaklarına olan yüksek talep nedeniyle işlemleri daha pahalı hale getirdiği için kritik bir konudur.

Rollup teknolojisi hızla ilgi görüyor. Toplamalar, Ethereum'un bir işlem bloğunu doğrulamak için bilgi işlem ve depolama gereksinimlerini azaltan akıllı sözleşmelerdir. Toplamalar bunu bir grup işlemi tek bir işlemde toplayarak yapar; Bunları parçalara ayırmak ve Ethereum'a yeni bir blok olarak gönderilmeden önce tek bir işlemde tutulan tüm transferleri doğrulamak, toplu akıllı sözleşmenin görevidir. L2 özetlerinin iki ana kategorisi vardır: İyimser Toplamalar (OP Toplamaları) ve Sıfır Bilgi Toplamaları (ZK Toplamaları).

  • İyimser - İşlemlerin varsayılan olarak geçerli olduğunu varsayar, ancak birisinin bir işlemin geçerli olmadığını kanıtlaması durumunda 7 gün öncesine kadar olan işlemleri geri alması gerekir.

  • ZK - hesaplamayı zincir dışında çalıştırır ve zincire bir geçerlilik kanıtı gönderir. Dolandırıcılık olmadığını kanıtlamak için gelişmiş şifreleme kullanır.

Toplamaların iki çeşidi arasında karmaşık ödünleşimler vardır.

ZK toplamaları, güvenliği ve merkezi olmayan yönetimi korurken Ethereum'un işlem hacmini büyük ölçüde artırabilir. İşlem gruplarını işlemek ve sıfır bilgi kanıtlarını doğrulamak için ana ve doğrulayıcı sözleşmeler olmak üzere iki sözleşme ve zincir dışı bir sanal makine kullanıyorlar.

Zk-rollup'lardaki geçerlilik kanıtlarının doğruluğu, işlemin kesinleşmesinde herhangi bir gecikme olmaksızın matematiksel kanıtla garanti edilebilir. Bu nedenle ZK toplamaları birçok kişi tarafından Ethereum ölçeklendirmesine yönelik potansiyel bir nihai çözüm olarak görülüyor.

  • zkSync: zkSync, ZK Roll-up'a dayalı Ethereum için güvenilir bir ölçeklendirme ve gizlilik çözümüdür; fonları temeldeki L1 hesaplarındaki kadar güvenli tutarken Ethereum'a saniyede binlerce işlemlik VISA ölçeğinde bir verim sağlamak üzere tasarlanmıştır. sansüre karşı yüksek derecede direnç. Matter Labs, zkSync'in arkasındaki şirkettir. Matter Labs toplamda 458 milyon dolar topladı. En son finansmanları, Blockchain Capital liderliğindeki 200 Milyon Dolarlık C Serisi turdu. zkSync genel test ağı şu anda yayında. ZkSync belirteci yok, ancak bir airdrop'un geleceğine dair çok sayıda söylenti var.

  • Polygon, en dikkate değer blockchain ölçeklendirme çözümlerinden biri olarak ortaya çıktı. İlk olarak Ethereum Sidechain olarak bilinen Polygon, ev tipi ölçeklendirme Çözümüne dönüştü. Polygon, 8 turda 451,5 milyon dolar fon topladı. Son turları, Sequoia Capital liderliğindeki 450 milyon dolarlık D Serisi turuydu. Polygon'un tokeni Matic'in piyasa değeri 11 milyar dolar ve şu anda 1,22 dolardan işlem görüyor. Polygon, Ethereum'un ölçeklenebilirlik sorunlarını çözmek için bir İsviçre Çakısı haline geldi. Polygon'un zkEVM'si, kriptografik sıfır bilgi kanıtlarını kullanan, merkezi olmayan bir Ethereum Katman 2 ölçeklenebilirlik çözümüdür. Bu Mart ayının sonunda piyasaya sürülmesi planlanıyor ve Ethereum uyumlu akıllı sözleşmelerin daha yüksek hızda ve daha düşük maliyetle yürütülmesini sunmayı vaat ediyor. Bizi izlemeye devam edin