• YARIM ALTIN
    3.308,00
    % 0,18
  • AMERIKAN DOLARI
    18,5659
    % 0,03
  • € EURO
    18,3502
    % 0,59
  • £ POUND
    21,1491
    % 0,39
  • ¥ YUAN
    2,6084
    % 0,02
  • РУБ RUBLE
    0,3148
    % -0,11
  • BITCOIN/TL
    363497,276
    % 2,40
  • BIST 100
    3.392,13
    % 6,67

6Block Sıfır Bilgi İspatı Madenciliği Nedir? (Sponsorlu)

6Block Sıfır Bilgi İspatı Madenciliği Nedir? (Sponsorlu)

Sıfır Bilgi İspatı Madenciliği

ZKP (Sıfır Bilgi İspatı)

ZKP’nin tarifi çok geniştir. “zk-SNARK Neden ve Nasıl Çalışır”a nazaran, bir doğrulayıcıyı kimi sözlerin hakikat olduğuna ikna etmek isteyen bir kanıtlayıcı vardır ve ZKP protokolünün üç özelliği karşılaması gerekir:

  • Tamlık – şayet tabir doğruysa, o vakit bir kanıtlayıcı bir doğrulayıcıyı ikna edebilir
  • Sağlamlık – hile yapan bir kanıtlayıcı, doğrulayıcıyı yanlış bir tabire ikna edemez
  • Sıfır bilgi – etkileşim sırf bir sözün yanlışsız olup olmadığını ve diğer bir şey olmadığını ortaya çıkarır

Bir ZKP protokolü

Örneğin Alice, Bob’u Carol’ın telefon numarasını bildiğine ikna etmek istiyor. Carol’ı aradı. Sonra Carol’ın telefonu çalar ve Alice’in aradığını gösterir. Bu biçimde Alice, numaranın ne olduğunu açıklamadan Bob’a telefon numarası hakkındaki bilgisini deliller. Birebir vakitte bu bir ZKP protokolüdür. ZKP hakkında blockchain bağlamında konuştuğumuzda, ekseriyetle tarif içindeki makul bir algoritma kısmına atıfta bulunur. Bu algoritmalara birden fazla durumda zkSNARK’lar (Sıfır-Bilgi Özlü Etkileşimli Olmayan Bilgi Argümanı) denir ve aşağıdaki özelliklere sahiptir.
1. Etkileşimsiz kanıtlama süreci: Kanıtlama süreci, sırf kanıtlayıcının doğrulayıcıya bir ispat göndermesine gereksinim duyar.
2: Kesin ispat: İspat küçük bir boyuta sahiptir ve doğrulayıcılar bunu süratli bir halde doğrulayabilir.
3. Programlanabilir söz: Algoritma, ispat için rastgele bir ifadeyi bir QAP’ye (Kuadratik Aritmetik Program) dönüştürebilir.

Blok zincirlerde kullanılan ayrıntılı ZKP algoritmaları için “müthiş sıfır bilgi ispatlarına” başvurabilirsiniz. Gelişimleri bu türlü bir eğilimi takip ediyor: hesaplama suratı artıyor, “güvenilir kuruluma” olan itimat azalıyor ve ispat boyutu küçülüyor. Birtakım algoritmalar ve ilgili projeleri aşağıda listelenmiştir.

  • Pinocchio (ZCash Sprout versiyonu): ZKP’nin blok zincirine en erken girişi.
  • Groth16 (ZCash Sapling versiyonu, Filecoin): Pinokyo’dan daha süratli.
  • ZKSTARK’s (StarkWare): emniyetli heyetim yok.
  • PLONK (zkSync), Marlin (Aleo): üniversal muteber kurulum
  • Halo 2 (ZCash NU5 sürümü): emniyetli suram yok, özyinelemeli

ZKP, blok zincirine uygun özelliklere sahiptir. Birinci olarak, Merkle delili ve imzalar üzere başka kanıtlama sistemleriyle karşılaştırıldığında, ZKP zincir üstü mantığa çeşitlilik getirerek rastgele bir ifadeyi kanıtlayabilir. İkincisi, ispatı özlüdür ve zincir üzerinde doğrulandığında daha az gaza mal olur. ZKP’nin en eski kullanımı, sıfır bilgi özelliğini vurgular, örneğin ZCash üzere rastgele bir süreç bilgisini açıklamadan süreç geçerliliğini ispatlar. Daha sonra ZKP bir darboğaz periyodu yaşadı. Beşerler, blok zinciri saklılığına şiddetle gereksinim duyulmadığını ve ZKP’nin hesaplanması uzun vakit aldığı için kullanıcı dostu olmadığını düşünüyor.

Son vakitlerde, ZKP, blok zinciri ölçeklenebilirliğinde kullanımı nedeniyle insanların dikkatini yine kazandı. ZKP, büyük bir data modülünün geçerliliğini kanıtlayarak blok zincirinin hesaplama ve depolama kapasitelerini ölçeklendirir. Kimi kanıtlanmış bilgiler ve ilgili projeleri:

  • L2 süreçleri: zkSync, StarkWare üzere zk-Rollup projeleri
  • L1 süreçleri: Mina
  • Off-chain datalar: Filecoin

ZKP ile ilgili tartışmalar bugünlerde çok hareketli. Paradigma, ZKP’nin donanım hızlandırmasını tahlil eder ve FPGA’nın GPU ve ASIC’den daha yeterli olduğunu düşünür. a16z, ZKP’ye genel bir bakışı özetler. “Zero Knowledge Summit Amsterdam”daki sunumlar, ZKP hakkında birçok fikir ve yeni fikir sağlıyor.

Madencilik

Bu yıl, Ethereum PoW’dan PoS’a geçecek, böylelikle blockchain madencilik pazarı kıymetli ölçüde küçülecek. Son yıllarda Filecoin, Chia ve Arweave dahil olmak üzere depolama madenciliği ortaya çıkmasına karşın, Ethereum’un çıkışının neden olduğu piyasa boşluğunu hala karşılayamıyor.
Öte yandan, ZKP’nin blok zinciri madenciliğinde kimi erken uygulamaları vardır. Mina’da ZKP çalışanlarının token kazanmak için ürettikleri delilleri sunabilecekleri bir pazar yeri var. Filecoin’de madencilerin zincir dışında depolanan her data bölümü için ZKP üretmesi ve böylelikle depolama gücü kazanması gerekir.

Mina ZKP pazar yeri

Geleneksel karma madenciliğin, güç israfı, anlamsız hesaplama konusundaki tartışmalarla çevrili olduğunu görebiliriz. Bu nedenle blockchain alanı manalı bir madencilik metodu bulmaya çalışıyor. ZKP’nin özellikleri (keyfi ifadeyi kanıtlama, karmaşık kanıtlama fakat kolay doğrulama), blok zinciri madencilik pazarına daha fazla imkan sağlar.

Fırsatlar

Bu yıl kimi ZKP madencilik projelerine odaklanıyoruz.

Filecoin

Filecoin, Proof of Replication ve Proof of Spacetime isimli algoritmalar aracılığıyla zincir dışı bilgileri kanıtlamak için ZKP’den yararlanır. Filecoin madenciliğinin bu yıl üç nedenden ötürü tanınan olmaya devam edeceğini düşünüyoruz:

  • Ekonomik modeli nedeniyle, bölüm rehni geçen yıl 0,25’ten 0,16 FIL’e düşmüştür.
  • FIL’in fiyatı değerli ölçüde düştü ve madencilik maliyetini daha da düşürdü.
  • FVM akıllı kontratlarının yol haritası, projeye olumlu bir sinyal getiriyor.
Sektör Birinci Rehin Varyasyonları (FIL/32GiB)

Aleo

Aleo, madencinin hesaplama gücünün, ünite vakit başına kaç delil hesaplayabileceğine nazaran belirlendiği birinci “ZKP Kanıtı” madencilik modunu başlatır. Madencilik algoritması PoSW (Proof of Succinct Work) olarak isimlendirilir ve kısaca şu formda açıklanabilir:

pseudo_random(zk_prove(nonce)) < target_difficulty

zk_prove(), girdisi nonce olan “işlemlerini içeren mevcut bloğun” bir ispatını oluşturmaktır. hedef_zorluk, tüm ağın bilgi süreç gücüne nazaran ayarlanır. PoSW ve PoW’nin çoğunlukla birebir olduğunu görebilirsiniz, tek fark PoW’nin hash’leri, PoSW’nin ZKP’leri hesaplamasıdır.
Ayrıca Aleo, birinci “özel akıllı sözleşmeler” Leo’yu geliştirdi. zkSync’in zkEVM’si, StarkWare’in Kahire’si ve Mina’nın zkApps’i üzere diğer ZKP tabanlı akıllı kontratlar olmasına karşın, bunların hiçbiri kapalılığı desteklemez.

Merkeziyetsiz ZK-Rollup’ları

ZK-Rollup’ların mevcut dizaynları merkezileştirilmiştir: sadece muhakkak operatörler süreç kümelerini ve geçerlilik ispatlarını L1’e gönderebilir. Vitalik, sıralayıcı müzayedesi, PoS setinden rastgele seçim ve DPoS oylaması üzere operatörü merkezi olmayan hale getirmek için çeşitli teklifler sunar. Hem zkSync hem de StarkNet, merkezi olmayan ZK-Toplamaları için net yol haritalarına sahiptir. Polygon Hermes, StarkNet, PoVP ve taikocha.in üzere kimi son teknoloji araştırmalar da var.

Merkezi olmayan ZK-Rollup’ları yeni bir madencilik modu getiriyor: madenciler oluşturulan delilleri sunabilir ve böylelikle mükafatlar kazanabilir. Mina’daki ZKP pazarına benziyor. Lakin pazaryeri en yeterli tahlil değildir, zira kimi ispatlar hiç kimsenin satın almaması nedeniyle boşa gidecektir. ZKP’nin tüm madencilerden güç toplaması için paralel bir hesaplama mimarisine muhtaçlığımız var.

Zorluklar

ZKP madenciliğinin birinci zorluğu, Paradigm’in makalesinde detaylı olarak açıklanan hızlanmadır. Paradigma, donanım hızlandırma için FPGA’nın GPU ve ASIC’den daha âlâ olduğunu varsayar, lakin birtakım farklı görüşlerimiz var. GPU’nun, aşağıdakilerden ötürü yakın gelecekte ZKP hesaplaması için ana donanım olmaya devam edeceğine inanıyoruz:

  • ZKP algoritmaları gelecekte sık sık değişecektir ve GPU en programcı dostu donanımdır.
  • Madenciler, bilhassa Ethereum madenciliği için çok sayıda GPU’ya sahiptir. Ethereum nihayet PoS’a geçtiğinde, bu GPU’lar ZKP madenciliği için mevcut olacak.

İkinci zorluk, dağıtılmış donanım üzerinde ZKP’nin paralel hesaplanmasıdır. Şu anda, üç cins tahlil vardır:

  • Her delil, Aleo üzere sırf biraz hesaplama gerektiriyorsa, klasik madencilik havuzu, bilgi süreç vazifelerini dağıtılmış donanıma atamak için uygundur.
  • Bazen tek bir ispatı zkSync ve Filecoin üzere birden fazla ispata ayırabiliriz. Bu durumda, ayrılan kanıtlar paralel olarak hesaplanabilir ve daha sonra tek bir kanıtta toplanabilir.
  • DIZK, tek bir ispatı dağıtık olarak hesaplayabilen bir mimaridir.

Hakkımızda

6block, blockchain alanındaki “Unicorn” projelerine odaklanarak yazılım, donanım, kaşifler ve cüzdanlar dahil olmak üzere madencilik tahlilleri sunar.

  • Filecoin: Filecoin’deki en güzel madencilerden biriyiz. Büyük yatırımcılara madencilik hizmetleri ve halka FilFox ve FoxWallet üzere araçlar sunuyoruz.
  • Aleo: Teşvik Edilmiş Testnet 2’de 2. olduk. Madencilik havuzu zk.work ve explorer aleo.info’yu halka sunuyoruz.
  • Merkeziyetsiz ZK-Rollups: Ethereum topluluğuna bir tahlil PoVP öneriyoruz ve FoxWallet’te zkSync ve StarkNet’i desteklemeyi planlıyoruz.
YORUMLAR YAZ