Perdeyi Ortaya Çıkarmak: Blockchain'in Şeffaflığı Gizlilikle Nasıl Bir Arada Var Olabilir?

Apr 28 2023

Blockchain'de Sıfır Bilgi Kanıtları ve Gizliliğin Gücü Blockchain, ağda şimdiye kadar gerçekleşmiş tüm işlemlerin bir kaydını depolayan dağıtılmış bir veritabanı olan defteri aracılığıyla şeffaflık sağlar. Bu defter, veritabanına yeni işlemleri doğrulayan ve ekleyen bir düğüm ağı tarafından tutulur.

Blockchain'de Sıfır Bilgi Kanıtları ve Gizliliğin Gücü

Blockchain, ağda şimdiye kadar gerçekleşmiş tüm işlemlerin bir kaydını saklayan dağıtılmış bir veritabanı olan defteri aracılığıyla şeffaflık sağlar. Bu defter, veritabanına yeni işlemleri doğrulayan ve ekleyen bir düğüm ağı tarafından tutulur. Defter herkese açık olduğundan, ağda gerçekleşen işlemleri herkes görebilir. Bu, kullanıcıların işlemlerin gerçekliğini ve geçerliliğini doğrulamasına izin verdiğinden ve tek bir tarafın kaydı manipüle edememesini veya değiştirememesini sağladığı için yüksek derecede şeffaflık sağlar. Bununla birlikte, mahremiyet ve mahremiyetin çok önemli olduğu finans veya sağlık gibi sektörlerde, blockchain tarafından sağlanan şeffaflık istenmeyebilir. Bu durumlarda şirketlerin Sıfır Bilgi Kanıtları (ZKP'ler) gibi ek önlemler alması gerekebilir.veya Hyperledger Fabric'te Özel Veri Toplama , hassas verilerin korunmasını ve yalnızca yetkili taraflarca erişilebilir olmasını sağlamak için.

Zcash

Sıfır bilgi kanıtının geçmişi 1985'e [1] dayanmaktadır ve blok zincirinde oldukça popüler hale gelmiştir. Zcash, blok zincirinde özel işlemleri (Korumalı) etkinleştirmek için sıfır bilgi kanıtlarını (ZKP'ler) kullanan ilk kripto para birimiydi. Zcash, ana ağını 28 Ekim 2016'da başlattı ve bu, ZKP'lerin bir üretim blok zinciri sisteminde ilk kez kullanıldığı zamandı. Lütfen Şekil 1 ve 2'de Zcash blok gezgininden "Korumalı" işleme bir göz atın.

Şekil 1. Zcash Block Explorer'da “Korumalı” işlem

Şekil 2. Zcash Block Explorer Üzerindeki Korumalı Bir İşlemin Detayları

Zcash, zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Argüment of Knowledge) adı verilen belirli bir sıfır bilgi kanıtı türü kullanır. O halde önce ZKP ile başlayalım.

Sıfır Bilgi İspatları (ZKP'ler)

Sıfır Bilgi Kanıtları (ZKP'ler), 'A' Kanıtlayıcısının 'B' Doğrulayıcısına 'B' doğrulayıcısına 'sırrı' ifşa etmeden 'A'nın 'sırrı' bildiğini kanıtlamasına izin veren bir tür kriptografik protokoldür. Başka bir deyişle, bir ZKP, bir iddianın geçerliliğinin ötesinde başka herhangi bir bilgi ifşa etmeden bir iddianın doğrulanmasına izin verir. Bir doğrulayıcının aynı ispatı bir başkası ile kullanması mümkün değildir. İki tür ZKP vardır: Etkileşimli ve Etkileşimsiz. Etkileşimli sıfır bilgi kanıtları, kanıtlayıcı ile doğrulayıcı arasında etkileşim gerektirir; burada doğrulayıcı, kanıtlayıcının önceki yanıtına dayalı olarak kanıtlayıcıya bir meydan okuma gönderir. Kanıtlayıcı daha sonra, meydan okumaya dayalı olarak yeni bir yanıt üretir ve etkileşim, doğrulayıcı, kanıtlayıcının iddiasını kanıtladığından emin olana kadar devam eder. Etkileşimsiz sıfır bilgi kanıtları ise kanıtlayıcı ve doğrulayıcı arasında etkileşim gerektirmez. Bunun yerine kanıtlayıcı, başka bir etkileşim olmaksızın herkes tarafından doğrulanabilecek tek bir kanıt üretir.

zk-SNARK'lar

Zero-Knowledge Succinct Non-Interactive Argument of Knowledge anlamına gelen zk-SNARKs, tarafların herhangi bir ek bilgi ifşa etmeden bir sırrın bilgisini kanıtlamalarını sağlayan etkileşimli olmayan bir sıfır bilgi kanıtlama sistemi türüdür.

zk-SNARK'lar ile kanıtlayıcı, herhangi başka bir etkileşim olmaksızın herkes tarafından doğrulanabilecek bir kanıt oluşturur. Kanıt, ispatlayanın iddiasını kanıtlayan ve temeldeki verileri gizli tutan bir dizi matematiksel denklemden oluşur. Doğrulayıcı, kanıtlanan sır hakkında hiçbir şey öğrenmeden iddiayı doğrulamak için kanıtı kontrol edebilir.

zk-SNARK'ların en önemli avantajlarından biri kısa ve öz olmalarıdır; bu, kanıt boyutunun kanıtlanan orijinal verilerden çok daha küçük olduğu anlamına gelir. Bu, zk-SNARK'ları özellikle depolama ve bant genişliğinin sınırlı olduğu blok zinciri uygulamalarında kullanışlı hale getirir. zk-SNARK'lar ayrıca, tarafların herhangi bir ek bilgi ifşa etmeden bir sır hakkındaki bilgilerini kanıtlamalarını sağladığı için yüksek derecede gizlilik ve güvenlik sunar.

Bir sonraki yazıda Zcash'te “ Taahhütler” ve “Nullifiers ”ın nasıl kullanıldığını tartışacağız .

Zcash hakkında daha fazla bilgi edinmek isteyenlerin “Kalkan Kaldırma” [2] kavramını keşfetmek isteyebileceklerini belirtmekte fayda var. Bu terim, korunan bir işlemi tekrar şeffaf bir işleme dönüştürme sürecini ifade eder ve bu, gizliliğin yerine şeffaflığın tercih edildiği belirli durumlarda yararlı olabilir.