- Sıfır Bilgi Kanıtları, 1980'lerden bu yana kriptografide yaygın bir fikir olmuştur.
- Blockchain, ortaya çıkışından bu yana kriptografiye bağlı kalmıştır.
- Sıfır bilgi kanıtları, hem kanıtlayıcı hem de doğrulayıcı tarafından bilinen bazı değerlerin değişimi dışında, bir işlem sırasında hiçbir bilginin açığa çıkmadığı bir şifreleme tekniğini temsil eder.
Teknolojinin ilerlemesiyle birlikte dolandırıcılık faaliyetlerinin kapsamı da zamanla arttı. Sonuç olarak, güvenlik protokollerinin sürdürülmesi işlem sürecinin en kritik yönlerinden biri olmaya devam ediyor. Blockchain en umut verici yeniliklerden biri olarak ortaya çıkarken, işlem güvenliğini sürdürmek için ek güvenlik standartları hala gerekli.
Blockchain, ortaya çıkışından bu yana kriptografiye bağlı kalmıştır. Ancak Blockchain ve kriptografinin entegrasyonu son zamanlarda halkın dikkatini çekti. Blockchain sisteminde kriptografik teknikler işlemin korunmasına yardımcı olur. Başka bir deyişle, blockchain teknolojisi ile kriptografinin birleştirilmesi, güvenli bir finansal işlem yöntemiyle sonuçlandı.
Sıfır Bilgi Kanıtları, 1980'lerden bu yana kriptografide yaygın bir fikir olmuştur. Ancak kripto para birimlerindeki işlevleri son zamanlarda onları ilgi odağı haline getirdi. Küresel nüfus kendisini giderek birbirine bağlanan bir kripto ve fintech ekosisteminin ortasında buluyor. Sonuç olarak, kripto ideolojisinin kullanıcı gizliliği ve mahremiyet taahhüdünün sürdürülmesine ilişkin endişeler ortaya çıktı.
Son zamanlarda iddialı olan Worldcoin kripto projesi, kullanıcılar için küresel bir dijital kimlik sistemi oluşturmayı amaçlıyor. Yeni ve 'tartışmalı' kripto projesi, kullanıcıları, talepleri ve işlemleri doğrularken gizliliği korumak için sıfır bilgi kanıtları kullanıyor.
Sıfır Bilgi Kanıtı Nedir?
Sıfır bilgi kanıtları, sürecin iki ucu olan hem kanıtlayıcı hem de doğrulayıcı tarafından bilinen bazı değerlerin değişimi dışında, bir işlem sırasında hiçbir bilginin açığa çıkmadığı bir şifreleme tekniğini temsil eder.
Sıfır bilgi kanıtı, belirli bir ifadenin doğru olup olmadığını, onu açıklamadan kanıtlamanın bir yoludur. Burada 'kanıtlayıcı' bir iddia oluşturmaya çalışan taraftır, 'doğrulayıcı' ise iddiayı doğrulamaktan sorumludur.
Daha basit bir ifadeyle, sıfır bilgi kanıtları (ZKP), bir tarafın, bilgisini kanıtlamak için başka bir tarafla bilgiyi paylaşmadan, bir şeyi bildiğini diğer tarafa kanıtlamasına olanak tanır.
DAHA FAZLA BİLGİ AL: Merkezi olmayan vizyon: Ethereum Sıfır Bilgi teknolojisini savunuyor
Blockchain'de Sıfır Bilgi Kanıtının Tarihçesi
Sıfır Bilgi Kanıtı, MIT araştırmacılarının 1985'te yayınladığı Etkileşimli kanıt sistemlerinin bilgi karmaşıklığı. Makale, etkileşimli kanıt (IP) için bir hiyerarşi de dahil olmak üzere temel kavramları özetledi. Ek olarak makale, kanıtlayıcıdan doğrulayıcıya iletilen kanıtın miktarını ölçen bilgi karmaşıklığı fikrini ortaya koydu. Makale, herhangi bir taahhüt planına sahip herhangi bir NP seti için ZKP'lerin yapısını sunarak araştırmacıların bulgularının uygulanabilirliğini ortaya koydu.
1989'da tekrar güçlerini birleştiren Goldwasser, Micali ve Rackoff, İnteraktif Kanıt Sistemlerinin Bilgi Karmaşıklığını yayınladı. Bu makale, bir kanıtlayıcının bir ifadenin geçerliliği konusunda doğrulayıcıyı ikna etmek için sahip olması gereken bilgi miktarını değerlendiren bilgi karmaşıklığı kavramını geliştirdi. Yazarlar, sıfır bilgi kanıtlarının etkileşimli kanıt sistemlerinde bilgi karmaşıklığını azaltmaya yardımcı olabileceğini gösterdi.
1993 yılında Chicago ve Budapeşte Üniversitelerinden araştırmacılar Arthur-Merlin Games'i yayınladı: Rastgeleleştirilmiş Bir Kanıt Sistemi ve Karmaşıklık Sınıfı HiyerarşisiSıfır bilgi kanıt teorisini geleneksel kanıt teorisiyle birleştiren rastgele kanıt kavramını tanıttılar. Bir katılımcının (Arthur) keyfi hareketler yaptığı ve diğerinin (Merlin) optimal hamleler yaptığı kombinatoryal bir oyun kullandılar.
2013 yılında Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer ve Madars Virza, von Neumann Mimarisi için Kısa, Etkileşimli Olmayan Sıfır Bilgi'yi yazdı. Bu makale ZK-SNARKS'ı veya kısa, etkileşimli olmayan sıfır bilgi kanıtlarını tanıttı. Bunlar sınırlı hesaplama kaynaklarıyla doğrulanabilen bir tür sıfır bilgi kanıtlarıdır. Yazarlar, sistemlerinin hesaplamaların doğruluğunu gizli ve güvenli bir şekilde doğrulayabildiğini gösterdi.
ZK-SNARK'ın yazarları, 2018'de Ölçeklenebilir, şeffaf ve kuantum sonrası güvenli hesaplama bütünlüğünü piyasaya sürdü. ZK-STARK, yüksek düzeyde ölçeklenebilir ve şeffaf kalırken sağlam güvenlik güvenceleri sunan bir Sıfır Bilgiye dayanıklı sistemdir.
Mevcut Sıfır Bilgiye dayanıklı sistemler sıklıkla ölçeklenebilirlik sorunları yaşıyordu veya güvenilir bir yapılandırma gerektiriyordu, bu da onları saldırılara açık hale getiriyordu. Böylece polinom kısıtlama sistemi (PCS) olarak bilinen yeni bir matematiksel yapıya dayanan ZK-STARK'ı tanıttılar. Bir PCS, karmaşık hesaplama problemlerini ifade etmek için kullanılan bir polinom denklem yapısını temsil eder.
Sıfır Bilgi Kanıtı'nın tarihinde çok sayıda başka makalenin önemli olduğu kanıtlanmıştır, ancak yukarıda bahsedilenler kritik bir rol oynamıştır. Son nesil Layer-2 (L2'ler) ve ZK tabanlı elektronik oylama makineleri (EVM'ler), bu yeniliklerin blockchain çalışma zamanlarını ölçeklendirmeye uygulanması için boş bir tuval oluşturdu.
Sıfır Bilgi Kanıtı Türleri
Aşağıdaki gibi iki temel ZKP türü vardır:
- İnteraktif Sıfır Bilgi Kanıtları: Interactive ZKP'de doğrulayıcı, doğrulayıcı ikna olana kadar bu zorluklara yanıt veren kanıtlayıcıya meydan okur. Eş zamanlı olarak çevrimiçi olmaları ve kanıtlayıcının, doğrulayıcıyı belirli bir gerçek hakkında ikna etmek için bir dizi eylemi tamamlaması gerekir.
- Etkileşimli Olmayan Sıfır Bilgi Kanıtları (NIZKP): Etkileşimli olmayan Sıfır Bilgi Kanıtları, kanıtlayıcı ve doğrulayıcı arasında etkileşimli bir süreç gerektirmez. Kanıtlayıcı, kanıtı doğrulayıcıya iletir ve kanıt doğrulama herhangi bir zamanda yalnızca bir kez gerçekleşir. NIZKP, kanıtlayıcı ve doğrulayıcının çevrimiçi olmasına gerek olmadığı için IZKP'den daha verimli ve kullanışlı olabilir. Ancak Etkileşimli Sıfır Bilgi Kanıtı ile karşılaştırıldığında daha fazla hesaplama gücü gerektirir.
Verileri de koruyan etkili bir doğrulama sürecinin rolünü yerine getirmek için sıfır bilgi kanıtının şu özelliklere sahip olması gerekir:
- Tamamla: Doğrulayıcı, iddianın geçerli olması ve her iki tarafın da protokole uyması durumunda kanıtı kabul edecektir.
- Ses: İddia yanlışsa, doğrulayıcıyı bunun doğru olduğuna ikna etmek neredeyse imkansız olmalıdır.
- sıfır bilgi: Doğrulayıcı tarafından iddianın gerçeği dışında hiçbir bilgi bilinmemeli veya keşfedilmemelidir.
Sıfır Bilgi Kanıtlarının Unsurları
Temel haliyle, sıfır bilgi kanıtının üç unsuru vardır:
- Tanık: Sıfır bilgi kanıtıyla kanıtlayıcı bazı gizli bilgilerin bilgisini kanıtlamak ister. Gizli bilgi, ispatın “tanığıdır” ve kanıtlayıcının tanığın varsayılan bilgisi, yalnızca bu bilgiye sahip olan tarafça cevaplanabilecek bir dizi soru oluşturur. Böylece kanıtlayıcı rastgele bir soru seçip, cevabı hesaplayıp doğrulayıcıya göndererek ispat sürecini başlatır.
- Zorluklar: Doğrulayıcı, kümeden rastgele başka bir soru seçer ve kanıtlayıcıdan bu soruyu yanıtlamasını ister.
- yanıt: Kanıtlayıcı soruyu kabul eder, cevabı hesaplar ve doğrulayıcıya geri gönderir. Kanıtlayıcının yanıtı, doğrulayıcının, kanıtlayıcının tanığa erişip erişemediğini kontrol etmesine olanak tanır. Doğrulayıcı, kanıtlayıcının körü körüne tahminde bulunmadığından ve doğru yanıtları tesadüfen almadığından emin olmak için soracak daha fazla soru seçer. Bu etkileşimin birçok kez tekrarlanmasıyla, kanıtlayıcının tanığın bilgisini taklit etme olasılığı, doğrulayıcıyı tatmin etme noktasına kadar önemli ölçüde düşer.
Blockchain'de Sıfır Bilgi Kanıtlarının Uygulanması
Performansı optimize etme
Uygulama kodu, zincir dışında veya blockchain ağındaki tek bir düğüm tarafından yürütülür ve yalnızca doğru yürütüldüğünün kanıtı, diğer tarafların doğruluğunu doğrulaması için Blockchain'e gönderilir. Bunun bir örneği, işlemlerin zincir dışında yürütüldüğü ve tüm işlemlerin özetinin zincir üzerinde gönderildiği ZK Toplamalarıdır.
Blockchain'de özel işlemler
İşlem verileri şifrelenir ve bunların doğru şekilde hesaplandığını kanıtlayan kanıtlar gönderilir. ZKP'ler ayrıca parasal verileri ve alıcı ve gönderen bilgilerini açıklamayan özel işlemlerde de kullanılır. Bunun bir örneği, kullanıcıların Ethereum üzerinde özel işlemler yapmasına olanak tanıyan, merkezi olmayan, saklamayan bir hizmet olan Tornado Cash'tir.
Veri gizliliği ve güvenliği
Bankalar ve hastaneler gibi hassas verileri kontrol eden kuruluşlar, bunları üçüncü tarafların erişiminden uzak tutmalıdır. ZKP'ler ve Blockchain birlikte verilere erişimi imkansız hale getirebilir. ZKP'ler dosyalara ve oturum açma bilgilerine birden fazla güvenlik katmanı eklemeye yardımcı olabilir. Sonuç olarak ZKP'ler, bilgisayar korsanlarının veya manipülatörlerin verileri değiştirmesi ve alması için önemli engeller oluşturabilir.
Özel blockchain işlem transferleri:
Özel blockchain işlemlerinde en dikkate değer endişe, geleneksel prosedürlerde görülen çok sayıda boşluktur. ZKP'nin özel blockchain işlemleriyle verimli entegrasyonu, bilgisayar korsanlarına karşı dayanıklı bir süreç yaratabilir.
Blockchain'deki Haberciler
Her ne kadar günümüzde mesajlaşma programları şifreleme vaadinde bulunsa da, şifrelenmemiş Blockchain teknolojik dünyada bir sonraki büyük olay haline gelebilir. Şifrelenmemiş ancak sağlam bir çözüm garantisiyle ZKP'ler ve Blockchain, herkes için güvenli, katma değerli bir mesajlaşma platformu oluşturabilir.
Sıfır bilgi kanıtları, blockchain ve kripto dünyasında maliyetlerden tasarruf etme ve kullanıcıların gizliliğini koruma konusunda büyük bir potansiyele sahiptir. Üstelik bu konseptin kullanımı kolaydır ve ZKP'leri destekleyen teknolojiler de son derece verimlidir. Kullanıcılar, en yeni nesil ZKP'den yararlanarak çok fazla para harcamadan büyük fayda sağlayabilir.
DAHA FAZLA OKU: Blockchain dünyasında Konsensüs Mekanizmaları ve bunların ne kadar önemli olduğu
- SEO Destekli İçerik ve Halkla İlişkiler Dağıtımı. Bugün Gücünüzü Artırın.
- PlatoData.Network Dikey Üretken Yapay Zeka. Kendine güç ver. Buradan Erişin.
- PlatoAiStream. Web3 Zekası. Bilgi Genişletildi. Buradan Erişin.
- PlatoESG. Otomotiv / EV'ler, karbon, temiz teknoloji, Enerji, Çevre, Güneş, Atık Yönetimi. Buradan Erişin.
- PlatoSağlık. Biyoteknoloji ve Klinik Araştırmalar Zekası. Buradan Erişin.
- ChartPrime. Ticaret Oyununuzu ChartPrime ile yükseltin. Buradan Erişin.
- Blok Ofsetleri. Çevre Dengeleme Sahipliğini Modernleştirme. Buradan Erişin.
- Kaynak: https://web3africa.news/2023/08/14/industry-talk/zero-knowledge-proofs-in-blockchain/
- :vardır
- :dır-dir
- :olumsuzluk
- :Neresi
- 1985
- 2013
- 2018
- a
- Hakkımızda
- yukarıdaki
- Kabul et
- Kabul eder
- erişim
- erişme
- eylemler
- faaliyetler
- ekleme
- Ek
- Ayrıca
- gelişme
- savunucuları
- Bağlı
- Amaçları
- Türkiye
- Tüm İşlemler
- veriyor
- Ayrıca
- hırslı
- Ortasında
- miktar
- an
- ve
- anonimlik
- Başka
- cevap
- cevaplar
- herhangi
- Tamam
- Uygulanması
- mimari
- ARE
- Arthur
- AS
- yönleri
- varsayılır
- At
- saldırı
- Dikkat
- Yazarlar
- Bankalar
- merkezli
- temel
- BE
- müşterimiz
- olmuştur
- başladı
- yarar
- arasında
- Büyük
- körü körüne
- blockchain
- Blockchain ağı
- blockchain sistemi
- blockchain teknoloji
- blockchain işlemleri
- her ikisi de
- iki parti de
- getirdi
- Budapeşte
- fakat
- by
- hesaplar
- hesaplanması
- CAN
- Yakalanan
- Nakit
- zorluklar
- şans
- Kontrol
- Chicago
- seçme
- iddia
- iddia
- kod
- birleştirmek
- birleştirme
- taahhüt
- ortak
- karşılaştırıldığında
- tamamlamak
- karmaşık
- karmaşıklık
- hesaplama gücü
- hesaplamalar
- kavram
- gebe kalma
- kavramlar
- İlgilendirmek
- Endişeler
- Özlü
- Davranış
- yapılandırma
- sonuç olarak
- kas kütlesi inşasında ve
- kontrol
- Uygun
- geleneksel
- ikna etmek
- ikna
- doğru
- maliyetler
- olabilir
- yaratmak
- çevrimiçi kurslar düzenliyorlar.
- kritik
- kripto
- cryptocurrencies
- kriptografik
- kriptografi
- Daniel
- veri
- Merkezi olmayan
- sağlıyor
- gösterdi
- gelişmiş
- dijital
- do
- Damlalar
- sırasında
- kolay
- ekosistem
- Etkili
- verimli
- Elektronik
- elemanları
- Eli Ben Sasson
- ortaya
- istihdam
- istihdam
- etkinleştirmek
- şifreli
- şifreleme
- uçları
- sağlamak
- gerekli
- kurmak
- kurar
- kurulması
- Ethereum
- belirgin
- örnek
- Dışında
- infaz
- infaz
- gerçek
- yanlış
- dosyalar
- mali
- bulgular
- bulur
- fintech
- takip et
- şu
- İçin
- Güçler
- Airdrop Formu
- Eski
- sahte
- Ücretsiz
- sık sık
- itibaren
- yerine getirmek
- işlev
- temel
- oyun
- Games
- nesiller
- alma
- Küresel
- küresel dijital
- harika
- garanti
- hackerlar
- vardı
- olay
- Var
- yardım et
- okuyun
- Gizli
- hiyerarşi
- büyük ölçüde
- tarih
- ambar
- Hastanelerinden olan İstanbul Cerrahi Hastanesi'nde
- Ne kadar
- Ancak
- HTTPS
- büyük ölçüde
- Fikir
- Kimlik
- if
- önemli
- imkânsız
- in
- Diğer
- Dahil olmak üzere
- giderek
- bilgi
- yenilikler
- bütünleşme
- bütünlük
- etkileşim
- interaktif
- birbirine bağlı
- içine
- tanıttı
- IP
- sorunlar
- IT
- ONUN
- kendisi
- birleştirme
- tutmak
- Bilmek
- bilgi
- bilinen
- katmanları
- kaldıraç
- sahne ışığı
- Sınırlı
- boşluklar
- Makineler
- yapılmış
- korumak
- yapmak
- Yapımı
- çok
- matematiksel
- mekanizmaları
- adı geçen
- Messenger
- yöntem
- İLE
- parasal
- para
- Daha
- daha verimli
- Dahası
- çoğu
- hareketler
- hamle
- çok
- çoklu
- şart
- gerekli
- ağ
- yeni
- sonraki
- yok hayır
- düğüm
- hapis dışı
- dikkate değer
- sayısız
- engeller
- of
- Teklifler
- on
- Zincir Üzerinde
- bir Zamanlar
- ONE
- olanlar
- Online
- bir tek
- optimum
- or
- Diğer
- özetlenen
- kâğıt
- kâğıtlar
- belirli
- partiler
- Parti
- PC'ler
- Seçtikleri
- platform
- Platon
- Plato Veri Zekası
- PlatoVeri
- oynandı
- Rehin
- Nokta
- nüfus
- sahip olmak
- olasılık
- posted
- potansiyel
- güç kelimesini seçerim
- mevcut
- sundu
- korunması
- gizlilik
- özel
- sorunlar
- prosedürler
- süreç
- üretken
- proje
- söz
- umut verici
- kanıt
- ispatları
- protokol
- protokolleri
- Kanıtlamak
- kanıtlanmış
- yayınlanan
- nicelleştirir
- miktar
- soru
- Sorular
- Rastgele
- son
- geçenlerde
- azaltmak
- ilişkin
- serbest
- kalmak
- kalmıştır
- kalıntılar
- temsil etmek
- temsil
- gerektirir
- gereklidir
- gereklilik
- gerektirir
- Araştırmacılar
- Kaynaklar
- yanıt
- sorumlu
- sonuç
- İade
- açığa vurmak
- Açığa
- açıklayıcı
- Risen
- gürbüz
- Rol
- Toplamaları
- tasarruf
- ölçeklenebilirlik
- ölçeklenebilir
- ölçekleme
- plan
- kapsam
- Gizli
- güvenli
- Secured
- Güvenli
- güvenlik
- gönderici
- gönderme
- hassas
- Dizi
- hizmet
- set
- paylaşımı
- meli
- önemli
- önemli ölçüde
- basit
- aynı anda
- beri
- tek
- çözüm
- biraz
- bir şey
- özel
- Harcama
- standartlar
- başlar
- Açıklama
- yapı
- gönderilen
- böyle
- ÖZET
- destek
- eğilimli
- sistem
- Sistemler
- teknikleri
- teknolojik
- Teknolojileri
- Teknoloji
- şartlar
- göre
- o
- The
- Bilgi
- ve bazı Asya
- Onları
- teori
- Bunlar
- onlar
- şey
- üçüncü şahıslara ait
- Re-Tweet
- üç
- Böylece
- zaman
- zamanlar
- için
- birlikte
- kasırga
- Kasırga Nakit
- işlem
- işlemler
- transferler
- şeffaf
- gerçek
- Güvenilir
- Hakikat
- iki
- türleri
- Üniversiteler
- kadar
- kullanım
- Kullanılmış
- kullanıcı
- kullanıcılar
- DOĞRULA
- doğrulayarak
- değer
- doğrulanabilir
- Doğrulama
- doğrulamak
- doğrulama
- vizyonumuz
- arasında
- oylama
- istiyor
- oldu
- Yol..
- ne zaman
- olup olmadığını
- hangi
- süre
- DSÖ
- irade
- ile
- olmadan
- Tanık
- sözler
- Dünya
- yazdı
- henüz
- zefirnet
- sıfır
- sıfır bilgi
- sıfır bilgi kanıtı
- sıfır bilgi delilleri
- ZK
- ZK tabanlı
- zk-SNARKS