Kurşun Geçirmez Nedir? Gizli Kripto Para İşlemleri Rehberi

İşlemlerin gizliliği kripto para birimlerinin ayrılmaz bir bileşenidir ve birçok kullanıcı için en önemlilerinden biridir. Bitcoin, ana akım medya kuruluşları tarafından genellikle anonim bir değer aktarım aracı olarak nitelendirilse de gerçek şu ki, Bitcoin yalnızca sözde anonimdir.

Bitcoin defteri tamamen şeffaf Kullanıcı kimlikleri alfasayısal adreslerin arkasında gizlenmiş olsa da, adresler ve kimlikler arasında izleme ve korelasyon kurmanın yolları vardır. Kimliklerin gizlenmesi kullanıcılar için bir dereceye kadar anonimlik sağlar, ancak her işlemde aktarılan tutarlar görünür olduğundan belirli bir gizlilik derecesi eksik kalır.

Bu soruna çözüm olarak gizlilik odaklı bazı kripto para birimleri, Gizli İşlemler (CT'ler), kullanarak işlemlerde aktarılan tutarı gizleyen taahhütler (Özellikle Pedersen Taahhütleri) miktarına kadar.

CT'ler uygulandığında aktarılan değerlerin kamuya açık şeffaflığı olmadan, işlemlerin geçerli olduğunun doğrulanması, menzil kanıtları işlem girdilerinin toplamının işlem çıktılarının toplamından büyük olmasını ve tüm işlem değerlerinin pozitif olmasını sağlamak.

Bu aralık kanıtları her işleme eklenir ve çok daha büyük işlem boyutlarına neden olur; bu da birden çok çıktı içeren, birden çok aralık kanıtı gerektiren işlemlere, işlem boyutunun daha da artmasına ve doğrulama ve depolama verimliliğinin düşmesine neden olabilir. Girmek kurşun geçirmez.

Kurşun geçirmez arka plan

Kurşun geçirmezler, Aralık 2017'de Stanford Uygulamalı Şifreleme Grubu (ACG) tarafından önerildi. akademik kağıt University College of London ve Blockstream'in katkılarıyla.

Kurşun geçirmezler "Gizli bir taahhüt edilen değerin belirli bir aralıkta bulunduğunu kanıtlamak için bilgi sisteminin yeni bir sıfır bilgi argümanı." Kurşun geçirmez isim, onları şu şekilde tanımladığı için Shashank Agrawal'a atfedilir: "Kurşun gibi kısa, kurşun geçirmez güvenlik varsayımlarıyla.başlıklı bir kılavuz yayınladı

CT'lerin taahhütlerini doğrulamada etkili ve kullanışlı bir ilerleme olarak övülen kurşun geçirmezler, güvenilir bir kurulum gerektirmeyen, kısa, etkileşimli olmayan sıfır bilgi kanıtlarıdır. Bunlar, zk-SNARKS ve STARK'larda görüldüğü gibi sıfır bilgi kanıtlama yöntemlerini kullanan, ancak gerektiği gibi güvenilir kurulum gerektirmeyen çok daha etkili ve güvenli bir aralık kanıtlama biçimidir. zk-SNARKS ve STARK'lar kadar büyük değiller. Bunların uygulanması çeşitli farklı sistem ve durumlarda yararlı olabilir; bunların çoğu doğrudan akademik makalede özetlenmiştir.

Kurşun geçirmezler, özellikle blok zincirlerin dağıtılmış ve güvenilmez doğası için uygundur ve mevcut aralık kanıtlama uygulamalarına göre önemli ölçüde uzun vadeli maliyet tasarrufu, muazzam alan tasarrufu, daha düşük ücretler ve daha hızlı doğrulama süreleri yaratabilir. Kurşun geçirmezliğin nasıl çalıştığına dalmadan önce iki terimi anlamak önemlidir: menzil kanıtları ve sıfır bilgi kanıtları.

Menzil Kanıtları

Temel olarak aralık kanıtları, herkesin bir taahhüdün belirli bir aralıktaki bir tutarı temsil ettiğini, değeri hakkında başka hiçbir şeyi açıklamadan (gizli değer olarak bilinir) doğrulamasını sağlayan bir taahhüt doğrulama biçimidir.

Örneğin, bir kişinin yaşının 28 ile 52 arasında olduğunu doğrulamak için basit bir aralık kanıtı, aslında kişinin tam yaşını açıklamadan kullanılabilir.

Bunun gizli işlemlerin doğrulanması açısından önemli sonuçları vardır. Monero gibi anonimlik odaklı bir kripto para biriminde, işlemde aktarılan tutarı gerçekte açıklamadan, bir ödeme tutarının pozitif olduğunu doğrulamak için kullanılır.

Daha spesifik olarak, işlem çıktısına dayalı bir sistemde, taahhüt edilen girdilerin taahhüt edilen çıktıların toplamından daha büyük olduğunu, gerçekte ne taahhüt edilen girdileri ne de çıktıları açığa çıkarmadan kanıtlar.

O zamanın Stanford gazetesine göre, “Gizli işlemlerin mevcut tüm uygulamaları, taahhüt edilen değerler üzerinde aralık kanıtları kullanır; burada kanıt boyutu n cinsinden doğrusaldır.başlıklı bir kılavuz yayınladı

Kurşun geçirmezlik konusunda anahtar kısım “doğrusaldır”. N", bu, aralık provalarının boyutunun, prova aralığındaki çıktı ve bit sayısına göre doğrusal olarak ölçeklendiği anlamına gelir.

Sonuç olarak CT'lerde aralık kanıtları bir işlemin boyutunun çoğunluğunu kaplıyor. Kurşun geçirmezliklerden önce bu büyük bir endişe kaynağıydı çünkü Monero gibi CT'ler kullanan anonimlik odaklı bir kripto para biriminin blok zincirinin boyutu, CT kullanmayan tipik bir kripto para biriminden çok daha hızlı büyüyordu.

Sonuçta, CT'leri kullanan bir blok zincirinin boyutu, tüm blok zincirini indirmek için gerekli disk alanına sahip olmayan birçok kullanıcı için çok kullanışsız hale gelecek ve dolaylı olarak tam düğümlerin merkezileşmesini etkileyecektir.

Sıfır Bilgi Kanıtı

Eğer bunu okuyorsanız, muhtemelen daha önce kripto para birimi dünyasında sıfır bilgi kanıtlarını duymuşsunuzdur çünkü bunlar, korkutucu bir matematiğe dayanan çok ilginç bir kavramı temsil etmektedir. Konsepti kavramak zor, ancak bunların uygulanması, akademik kurumların kripto para birimlerine uygulandığında konsepti daha da ilerlettiği gerçeğiyle birleştiğinde, sektör için çok cesaret verici bir işaret.

Temel olarak sıfır bilgi kanıtı, kriptografide bir tarafın diğer tarafa bir değişkenin değerini bildiğini kanıtlayabildiği bir yöntemdir. y kıymetini bildikleri dışında başka bir bilgi aktarmadan y.

Geleneksel olarak bu, doğrulayıcı ve kanıtlayıcının aralarında bir tür etkileşime sahip olduğu anlamına gelir. Ancak kurşun geçirmezler etkileşimli olmayan sıfır bilgi bilgi argümanları, Bunlar, kanıtlayıcı ve doğrulayıcı arasında herhangi bir etkileşimin gerekli olmadığı sıfır bilgi kanıtlarının belirli bir çeşididir.

Bu, ayrık logaritma varsayımına dayanarak ve Fiat-Shamir buluşsal yöntemi onları etkileşimsiz hale getirmek için.

Peki Kurşun Geçirmezlik Nedir?

Kurşun geçirmezlere geri dönelim. Az önce de belirtildiği gibi, kurşun geçirmezler güvenlik için ayrık logaritma varsayımına dayanır ve etkileşimsiz hale gelmek için Fiat-Shamir buluşsal yöntemini kullanır.

Bu, kurşun geçirmezliklerin boyutunun yalnızca çıkış sayısı ve aralığın kanıt boyutuyla logaritmik olarak artmasına yol açar. Sonuç, CT'leri uygulayan işlemlerin boyutunun önemli ölçüde azaltılabilmesidir.

Monero, işlem boyutunda %80 azalmaya ulaştıklarını belirtiyor Kurşun geçirmezlerin kullanılması, ücretlerde de %80'lik bir azalmaya yol açar.

Kurşun geçirmezler yalnızca CT'leri kullanan işlemlerin boyutunu azaltmaya yardımcı olmakla kalmaz, aynı zamanda kanıtlayıcının birden fazla çıktıya sahip işlemler için birden fazla aralık kanıtını tek, kısa bir kanıtta toplamasına da olanak tanır.

Her bir çıktı için aralık kanıtı gerektiren birden fazla çıktıya sahip işlemler yerine, bunların tümü tek bir çıktıda toplanabilir. Ayrıca kurşun geçirmezliklerin doğrulanması yalnızca boyut açısından değil aynı zamanda zaman açısından da daha verimlidir.

Dışında zk-SNARKSKurşun geçirmezlerden daha hızlı doğrulama sağlayan kurşun geçirmezliği doğrulama süresi, mevcut aralık kanıtlarından daha düşüktür ve bu da daha hızlı blockchain doğrulamasına yol açar.

Daha da önemlisi, kurşun geçirmez ürünler güvenilir bir kurulum gerektirmez. Güvenilir kurulum, sıfır bilgi kanıtı zk-SNARKS kullanılırken gerekli olan, tartışmalı tek seferlik bir kurulumdur.

Buradaki sorun, bu tek seferlik kurulumun, kullanıcıların tek seferlik kurulum için anahtarları oluşturan kişiye, anahtarları tamamladıktan sonra yok etmesi için dolaylı olarak güvenmeleri gerekmesini gerektirmesidir, aksi takdirde anahtarlar kullanılabilir. Bir oluşturmak için sınırsız yerel tokenın miktarı, tespit edilmemiş.  Açıkçası, güvenilir bir kurulumla ilgili ciddi endişeler var.

Kurşun geçirmezlik kanıtları diğer menzil kanıtlarına göre çok daha kısadır ve “Girdilerin Pedersen'in tanığın unsurlarına yönelik taahhütleri olmasına izin verin.başlıklı bir kılavuz yayınladı

Bunların kısa, etkileşimli olmayan sıfır bilgi kanıtları olmasının ortaya çıkardığı sonuçlar, kurşun geçirmezliklerin optimize edilmesini ve verimli Çok Taraflı hesaplama (MPC) protokollerinin desteklenmesinin yanı sıra karmaşık, gizliliği koruyan akıllı sözleşmelerin uygulanması gibi çeşitli durumlara uygulanmasını sağlar.

Kurşun Geçirmezlik Uygulamaları

Kurşun geçirmez ürünler basit bir MPC protokolünü etkili bir şekilde destekler:Gizli taahhüt değerlerine sahip birden fazla tarafın, gizli değerlerini birbirlerine açıklamadan, tüm değerleri için tek bir küçük aralıklı kanıtı ortaklaşa oluşturmasına olanak tanır.başlıklı bir kılavuz yayınladı

Esasen, birden fazla tarafın girdilerini içeren karmaşık bir gizli işlemde, önerilen MPC protokolü, gerekli tüm kanıtları, işlemin tamamı için tek, kısa bir kanıtta toplayabilecektir.

Bunun sağladığı verimlilik ve tasarruflar hafife alınamaz.

Provisions protokolü, Bitcoin borsalarının başka herhangi bir bilgiyi açıklamadan çözücü olduklarını kanıtlamalarına olanak tanıyan bir yeniliktir.

Bu, aksi takdirde güvenilmez ve iflas etmiş sayılan borsaların borç ödeme gücünün, borsaların defterlerini gerçekten halka açmak zorunda kalmadan doğrulanması açısından önemli bir adımdır.

Protokol aralık kanıtlarına dayanıyor "Bir borsanın negatif bakiyeli sahte hesaplar eklemesini önlemek için.” Bu prova boyutları çok büyük ve müşteri sayısına göre doğrusaldır.

Kurşun geçirmezler, Provisions protokolünde kullanılan etkileşimli olmayan sıfır bilgi kanıtlarının doğal bir alternatifini temsil eder ve değişim için genel kanıt boyutunun boyutunu yaklaşık 300 kata kadar azaltabilir.

Ethereum'daki son derece anlamlı akıllı sözleşmeler halka açıktır ve sözleşmelerin parametrelerine bir derece gizlilik sağlamaz.

Etkileşimli olmayan sıfır bilgi kanıtları, sözleşmelerde gizlilik için bir mekanizma olarak önerilmiştir, ancak bir sözleşmenin hesaplanması, blockchain ağı genelinde sınırlı ve pahalıdır. SNARK'lar başka bir potansiyel çözümdür ancak sorunlu bir şekilde güvenilir bir kurulum gerektirir. Bunun nereye gittiğini görebilirsiniz.

Güvenilir bir kurulum gerektirmeyen kısa kanıt olan kurşun geçirmezler, anlamlı akıllı sözleşmeler kapsamında gizliliğin korunması rolüne çok uygundur.

Her ne kadar doğrudan bir giriş olarak kurşun geçirmez ürünler bu açıdan ucuz olmasa da, teşvik delegasyonu modeliyle birlikte, bir taraf doğrulamaya itiraz etmediği sürece bir kanıtın geçerliliğinin gerçekleştirilmesine gerek yoktur.

Hatalı sınama sunan taraflar cezalandırılacak ve ayrıca bu tasarım verimli çok taraflı hesaplamayla desteklenebilir.

Sonuç

Kurşun geçirmezler, sıfır bilgi kanıtları ve işlem tutarlarını güvence altına almak ve gizlemek için kullanılan diğer protokollere ilişkin önemli bir araştırma alanında önemli ve yaygın olarak uygulanabilir bir yeniliktir.

Gizli işlemlerin doğasında olan ödünleşim, onların daha büyük boyutları olmuştur. Kurşun geçirmez ürünler sayesinde gizliliği ve güvenliği korurken bu ödünleşimi önemli ölçüde azaltma fırsatı ileriye doğru atılmış büyük bir adımdır.

İşlemleri güvence altına almak ve anonimlik sağlamak için kullanılan temel protokollere daha fazla vurgu yapıldıkça, akademi dünyasının nasıl tepki verdiğini ve halihazırda inovasyonda ön sıralarda yer alan bir alanın en ileri teknolojilerini geliştirmeye nasıl devam ettiğini izlemek büyüleyici olacak.