Sıfır Bilgi İspatı: zk-SNARK Nedir?

Nedir 21/11/2022 22:41 Mete Balcı Mete Balcı  Twitter
Sıfır Bilgi İspatı: zk-SNARK Nedir?

Bu yazımızda hep birlikte, zk-proof (sıfır bilgi ispatı) teknolojileri arasında en çok kullanılan zk-SNARK’ları inceleyeceğiz.

“Zk-STARK Nedir” yazımızda; zero knowledge proof (sıfır bilgi ispatı) teknolojilerinin, bilgiye sahip olup olmadığı bilinmeyen bir grubun bilgiye sahip olan başka bir gruba bilginin tamamı yerine küçük bir kısmını ileterek bilgiye sahip olduklarını kanıtlama imkanı verdiğini söylemiştik.

Snark’lar da Stark’lara benzer şekilde; sıfır bilgi ispatı çözümüne farklı matematiksel formüllerle yaklaşan ve Stark’larla benzerlikleri olduğu gibi birçok farklılıkları da olan, sıfır bilgi ispatı teknolojisidir.

zk-STARK da zk-SNARK da, aslında bu teknolojilerin işlevlerinden oluşan kısaltmalardan ibarettir. Yazının devamında anlatılanların daha iyi anlaşılabilmesi için, bu açılımlarda geçen ortak işlevleri anlattığımız zk-STARK yazımızı da okumanızı tavsiye ederiz.

İlginizi çekebilir: Sıfır Bilgi İspatı: zk-STARK Nedir?

irS9pztjv5nnc1OSexEY3xvU27aTkFaNMIjXZh9F5L9Blc7WG9vpyZRqrI3iSy9E7s xSBZFOQ35UDtkPS7ctLFr7YlrpiiqrIZ6Y4tyE2 dC3j6svaqnmWfVDOQ1djyRLIFZ8bRxI3VMGC2SFEFz6xy5xjJoVUkJre2vqwPZ8UUtyvEPQYPBHXfskH5Ag - Sıfır Bilgi İspatı: zk-SNARK Nedir?

Nedir Bu Snark?

S: Succinct

N: Non interactive 

AR: ARgument

K: of Knowledge

Argument ve Knowledge kısımları Stark’lar ile ortaktır. Diğer kavramlar ise iki teknolojinin çözüm yolu olarak birbirinden ayrıldığı kısımlardır.

Succinct: “Kısa ve öz” anlamına gelmektedir. Yani verinin tamamı yerine bir kesitinden bunun bilinip bilinmediğini ispatlamayı temsil etmektedir. zk-STARK yazısındaki örüntü örneğinde koca bir örüntünün yazılması yerine örüntüden 3 tane dize yazılması buna örnektir.

Non-interactive: Sıfır bilgi ispatı kanıtlarının doğruluğunu kontrol edenlerin sürekli soru sormasına gerek olmadığını temsil etmektedir yani etkileşimsizdir (non-interactive). Örnekle açıklamak gerekirse örüntüde prover (ispatlayan), 3 kutucuğa istenilen dizeleri yazdığı andan itibaren verifier (doğrulayan) daha fazla soru sorma ihtiyacı duymadan prover’ın bilgiye sahip olduğunu kabul eder ve aralarında bir etkileşim olmaz.

İlk Ne Zaman Snarklar’dan Bahsedildi?

Kaliforniya Berkeley Üniversitesi’nde profesör olan Alessandro Chiesa, geliştirdikleri zkp (sıfır bilgi kanıtları) için ilk kez zk-SNARK teriminin kullanıldığı bir makalenin ortak yazarıdır.

Snark’ların, güvenlikleri eliptik eğriler tabanlıdır. Kriptografide kullanılan eliptik eğriler, genellikle rastgele alınan noktaya göre bir eliptik eğri elemanının, ayrık logaritmasını bulmanın olanaksız olduğu temel varsayımı altında çalışırlar. Bu varsayım Snark’ların temelini oluşturmaktadır.

Snark Kullanan Projeler

zCash, Aleo, Mina, Aztec gibi önemli blok zincirlerinde zk-SNARK kullanılır. Her zincirde zk-SNARK teknolojisi farklı şekilde uygulanır. Bir örnekle açıklamak gerekirse:

Bir marangoz elindeki aletlerle birden çok şey yapabilir ve hangi amaç doğrultusunda bir şey imal etmeye başlarsa ürün de o amaca hizmet eder.

Marangozları blok zincirlerindeki developer’lar, marangozun testeresini de teknolojinin kendisi olarak düşünebiliriz. Yani bu blok zincirleri zk-SNARK kullansa da bu teknoloji ile sergiledikleri hünerler farklıdır.

İlginizi çekebilir: Rollup Nedir? Optimistic ve ZK Rollup’lar Nasıl Çalışıyor?

zk-SNARK vs zk-STARK

Her ikisinin de, iki tarafın bilgilerini kanıtlama yönteminin kısaltmalarından oluştuğunu söylemiştik. Özetle zk-STARK, ölçeklenebilir şeffaf bilgi argümanı anlamına, zk-SNARK ise etkileşimsiz bilgi argümanı anlamına gelmektedir. Aslında bu sıfır bilgi teknolojilerinin her ikisi de yapısı gereği etkileşimsizdir yani özerk olarak hareket edebilmektedirler.

Aşağıdaki tabloda iki teknoloji arasındaki matematiksel farkları görebiliriz.

y6MgMIb3U9HvRaYtXcd95q1zvxUDeucpjOUDz8lu058pZ39hNiPjqt3uLbaBLQqE8M6 tkYO y6ED8qlF7LKzErCeteB9o2tAIvE0PH4N ItFqjMuM3ri5 u5IXvzQk NRFlZXuebZ4YrWkpNGKCVNqb2o2TL ZDYbEGqz50bXP DKQJN4KuCTpb7YTJ - Sıfır Bilgi İspatı: zk-SNARK Nedir?

Stark’lar hash fonksiyonları kullandığı ve trustless bir model tercih ettiği için kanıtları Snark’lara göre geç doğrular fakat prover (kanıtlayan) zamanı Snark’lara göre daha düşüktür.

AXadV 5IJ7ZsJMAzMAwKkGwBDVoIEAxrTNyxCeSp8vQNxT6iOxkMrobalZhJNtpWWpR82pLuAclAWDOgwmd6BSZo4nROSMFTLn0Q42yWESHL17yKWuQ1yislmupvFPxfz4FOa8CjAYPqEpITfEXtM6DaR8r7W1wn9QcOl6Vtw4OxCmXSHW4jIiuNN9yc - Sıfır Bilgi İspatı: zk-SNARK Nedir?

Tabloda görmüş olduğunuz Bulletproofs kanıtlar da kriptografik bir varsayımı ifade etmektedir. Çoğumuzun bildiği HALO projesinde kullanılan kanıt çeşididir. Bu 3 varsayım içinde kanıt boyutu en düşük olan Snark’lardır fakat Stark’lar diğerlerine göre daha hızlı kanıt oluşturur. En hızlı doğrulamayı Snark’lar yapsa da Stark’lar ile arasında çok büyük bir fark yoktur. Öte yandan Bulletproofs 1100 ms ile oldukça geç doğrulama süresine sahiptir.

Peki tüm bu farklar nasıl oluşuyor? Kullanılan teknoloji ve izlenilen yol sebebiyle olduğunu söylemiştik. Fazla derine inmeden nasıl yollar izlediklerine, kanıtları oluştururken ve doğrularken hangi yaklaşımları kullandıklarına bir göz atalım.

5q 485jLm1yGCWVo8EqmhIaR6sxfCNmf3SBUkXsryWgIqLg6aI2NC62Cjiu FXX8riFwK3x1QP0mtNBElHk8RootWPMyVZOBDpB4HUcyQwmIvUAdBWG4cJIrKYn2UqaNPDW3CnDjPkX8 HvGA6zVUfY7gOyDXZPGi2RYjWZZgAnfYlAP6xXZVtU55SLx - Sıfır Bilgi İspatı: zk-SNARK Nedir?

ZKP kanıtları içindeki ögeler aslında soyut matematiğin (polinomlar, vektörler, kısıtlama sistemi matrisleri vb.) alanına girmektedir ve altyapısı olmayan bir insan için oldukça karışıktır. Yapılan işlemler buradaki kontrol denklemlerinden ibarettir. Bu soyut matematiği kısa ve öz temsil etmemizi sağlayan üç büyük kriptografik teknoloji vardır:

  • FRI tabanlı kriptografi Merkle Tree’lerden,
  • Inner Product Argument(IPA): (İç Çarpım Kanıtları) Regular Elliptic Curves (Düzenli Eliptik Eğriler)’den,
  • KZG Commitments tabanlı kriptografi ise Trusted Setup ile hesaplanan eşleştirmeli eliptik eğrilerden yararlanır.

Bu teknolojiler, üç çeşit kanıta yol açmaktadır: 

  • FRI, Stark’lara,
  • KZG Commitments Snark’lara,
  • IPA tabanlı şemalar ise Bulletproof dediğimiz kanıtlara yol açar.

Yani, bu kanıtları oluşturma sürecindeki bütün değişkenler aslında bu saydığımız kriptografik yaklaşımlardan kaynaklanmaktadır.

Son Olarak

zk-SNARK ve zk-STARK avantaj ve dezavantajlarını tabloda gördüğümüz, elde edilen verilerden yola çıkarak konuşabiliyoruz. Oldukça derin iki kavram olan zk teknolojilerinin birçok insan tarafından, ekosisteme çok büyük katkılar sunduğu ve sunacağı düşünülüyor. Daha fazlasını öğrenmek ve işin soyut matematik kısmına dalış yapmanız, meraklıları için keyifli ve heyecan verici olacaktır.

Twitter’dan anlık ve hızlı haber akışı için: https://twitter.com/Muhabbitcom

Daha fazla Nedir haberi için: Nedir Haberleri

Daha fazla Blockchain haberi için: Blockchain Haberleri

Gelişmelerden ve son dakikalardan haberdar olmak, kripto para dünyasında aktif bir yer edinmek istiyorsanız Telegram kanalımıza bekliyoruz.

Son Haberler
Tümünü Gör Tümünü Gör
DeepSeek’in yükselişi Bitcoin için fırsat mı?
Son raporlara göre, yapay zeka (AI) teknolojisi sektöründeki gerileme ve Çin merkezli DeepSeek’in yükselişi hem BlackRock’ın IBIT fonuna hem de Donald Trump’ın Bitcoin stratejisine destek sağlayabilir. Çin’in açık kaynaklı AI araştırma laboratuvarı DeepSeek, düşük maliyetli etkinliğiyle dikkat çekti. DeepSeek’in yükselişi küresel finansal piyasalarda büyük çaplı satış dalgalarına neden oldu ve ABD’nin teknoloji sektöründeki liderliğini sorgulatmaya […]
1 saat önce Bitcoin
Bitpanda, Almanya’da MiCA Lisansı Aldı
Avusturyalı kripto şirketi Bitpanda, Avrupa Birliği’nin Kripto Varlıklar için Pazarlar Yönetmeliği (MiCA) kapsamında lisans aldı. Yani artık Almanya’nın BaFin kurumundan aldıkları bu lisans sayesinde, tüm Avrupa’da tek bir düzenleme ile faaliyet gösterebilecekler. Bu Bitpanda için büyük bir adım çünkü MiCA lisansı, şirketin 27 AB ülkesinde de yasal olarak işlem yapmasına olanak tanıyor. Bitpanda, Almanya’dan MiCA […]
9 saat önce Blockchain
Çin, PlusToken operasyonundan ele geçirilen 194 bin Bitcoin’i sattı
Blockchain analiz platformu CryptoQuant’ın CEO’su Ki Young Ju’ya göre Çin hükümeti, PlusToken Ponzi dolandırıcılığından ele geçirilen yaklaşık 20 milyar dolarlık Bitcoin’i sattı. Bu satış Bitcoin üzerinde önemli bir satış baskısı oluşturmuş olabilir. Bitcoin’ler Borsalara Aktarıldı 2019 yılında PlusToken operasyonunda ele geçirilen Bitcoin’ler CryptoQuant CEO’suna göre Huobi gibi kripto para borsalarına aktarılmış olabilir. Ju, yaptığı açıklamada […]
4 gün önce Bitcoin
SEC’nin Kripto Dünyasındaki Yeni Rolü!
Teknoloji ve inovasyona odaklanan bir girişim sermayesi şirketi olan Andreessen Horowitz (a16z) bugün ″A new (digital) age at the SEC″ başlıklı makalesinde yeni SEC yönetiminin kripto para düzenlemelerinde köklü değişiklikler yapabileceğini belirtti. Özellikle airdrop’lar, kitle fonlama/ICO ve broker-dealer düzenlemeleri gibi konular sektördeki sorunların çözümü için kritik önem taşıyor. Airdroplar ve Teşvik Dağıtımları Airdrop’lar, blockchain projelerinin […]
5 gün önce Blockchain
Goldman Sachs CEO’su: Bitcoin, ABD Doları İçin Bir Tehdit Değil
Goldman Sachs CEO’su David Solomon, Bitcoin’in ABD doları üzerindeki etkisine dair önemli açıklamalar yaptı. Dünya Ekonomik Forumu’nda konuşan Solomon, Bitcoin’i spekülatif bir varlık olarak değerlendirirken ABD dolarının küresel gücünü vurguladı. Solomon, “Bitcoin ilginç bir yatırım aracı, ancak doların yerini alacak bir tehdit değil” dedi. Goldman Sachs’ın Kripto Stratejisi Goldman Sachs, düzenleyici kısıtlamalar nedeniyle Bitcoin’e doğrudan […]
5 gün önce Bitcoin
Justin Sun: “Ethereum benim yönetimimde olsaydı 10 bin dolar olurdu!”
Tron kurucusu Justin Sun X platformu üzerinde iddialı bir açıklamada bulundu. Sun yaptığı açıklamada Ethereum Foundation ve Ethereum’un kendi liderliğinde olması durumunda Ethereum’un 10.000 dolara ulaşabileceğini söyledi. Sun Yol Haritasını da Açıkladı! Sun açıklamasında gelecek planlamasını da paylaştı. Sun ilk olarak ETH satışlarını durduracağını bunun da ETH arzının bozulmadan kalmasını ve piyasa güvenini güçlendirmesini sağlayacağını […]
5 gün önce Blockchain