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 epeyce geniştir. “zk-SNARK niye ve Nasıl Çalışır”a göre, bir doğrulayıcıyı birtakım sözlerin hakikat olduğuna ikna etmek isteyen bir kanıtlayıcı vardır ve ZKP protokolünün üç özelliği karşılaması gerekir:
Örneğin Alice, Bob’u Carol’ın telefon numarasını bildiğine ikna etmek istiyor. Carol’ı aradı. daha sonra Carol’ın telefonu çalar ve Alice’in aradığını gösterir. bu türlü Alice, numaranın ne olduğunu açıklamadan Bob’a telefon numarası hakkındaki bilgisini ispatlar. beraberinde bu bir ZKP protokolüdür. ZKP hakkında blockchain bağlamında konuştuğumuzda, ekseriyetle tarif ortasındaki muhakkak 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, sadece kanıtlayıcının doğrulayıcıya bir ispat göndermesine gereksinim duyar.
2: Kesin delil: Delil küçük bir boyuta sahiptir ve doğrulayıcılar bunu süratli bir biçimde doğrulayabilir.
3. Programlanabilir tabir: 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 biçimde 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.
Son vakit içinderda, ZKP, blok zinciri ölçeklenebilirliğinde kullanması niçiniyle insanların dikkatini bir daha kazandı. ZKP, büyük bir data kesiminin geçerliliğini kanıtlayarak blok zincirinin hesaplama ve depolama kapasitelerini ölçeklendirir. Birtakım kanıtlanmış datalar ve ilgili projeleri:
Madencilik
Bu yıl, Ethereum PoW’dan PoS’a geçecek, bu biçimdece blockchain madencilik pazarı kıymetli ölçüde küçülecek. Son senelerda Filecoin, Chia ve Arweave dahil olmak üzere depolama madenciliği ortaya çıkmasına karşın, Ethereum’un çıkışının niye 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 haricinde depolanan her bilgi bölümü için ZKP üretmesi ve bu biçimdece depolama gücü kazanması gerekir.
Mina ZKP pazar yeri
Klâsik karma madenciliğin, güç israfı, anlamsız hesaplama konusundaki tartışmalarla çevrili olduğunu nazaranbiliriz. Bu niçinle blockchain alanı manalı bir madencilik tekniği bulmaya çalışıyor. ZKP’nin özellikleri (keyfi ifadeyi kanıtlama, karmaşık kanıtlama lakin sıradan 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ışı dataları kanıtlamak için ZKP’den yararlanır. Filecoin madenciliğinin bu yıl üç niçinden dolayı tanınan olmaya devam edeceğini düşünüyoruz:
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 özetlemek gerekirse şöyle açıklanabilir:
pseudo_random(zk_prove(nonce)) < target_difficulty
zk_prove(), girdisi nonce olan “işlemlerini içeren mevcut bloğun” bir delilini oluşturmaktır. hedef_zorluk, tüm ağın bilgi süreç gücüne nazaran ayarlanır. PoSW ve PoW’nin sıklıkla tıpkı olduğunu bakılırsabilirsiniz, tek fark PoW’nin hash’leri, PoSW’nin ZKP’leri hesaplamasıdır.
Ayrıyeten 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ı mukaveleler bulunmasına karşın, bunların hiç biri kapalılığı desteklemez.
Merkeziyetsiz ZK-Rollup’ları
ZK-Rollup’ların mevcut dizaynları merkezileştirilmiştir: sırf belli 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 birebir vakitte 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 ispatları sunabilir ve bu biçimdece mükafatlar kazanabilir. Mina’daki ZKP pazarına benziyor. Fakat pazaryeri en güzel tahlil değildir, zira birtakım deliller hiç kimsenin satın almaması niçiniyle 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 yeterli olduğunu var iseyar, lakin birtakım farklı görüşlerimiz var. GPU’nun, aşağıdakilerden dolayı yakın gelecekte ZKP hesaplaması için ana donanım olmaya devam edeceğine inanıyoruz:
6block, blockchain alanındaki “Unicorn” projelerine odaklanarak yazılım, donanım, kaşifler ve cüzdanlar dahil olmak üzere madencilik tahlilleri sunar.
ZKP (Sıfır Bilgi İspatı)
ZKP’nin tarifi epeyce geniştir. “zk-SNARK niye ve Nasıl Çalışır”a göre, bir doğrulayıcıyı birtakım 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 söz doğruysa, bu biçimde 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 öbür bir şey olmadığını ortaya çıkarır
Örneğin Alice, Bob’u Carol’ın telefon numarasını bildiğine ikna etmek istiyor. Carol’ı aradı. daha sonra Carol’ın telefonu çalar ve Alice’in aradığını gösterir. bu türlü Alice, numaranın ne olduğunu açıklamadan Bob’a telefon numarası hakkındaki bilgisini ispatlar. beraberinde bu bir ZKP protokolüdür. ZKP hakkında blockchain bağlamında konuştuğumuzda, ekseriyetle tarif ortasındaki muhakkak 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, sadece kanıtlayıcının doğrulayıcıya bir ispat göndermesine gereksinim duyar.
2: Kesin delil: Delil küçük bir boyuta sahiptir ve doğrulayıcılar bunu süratli bir biçimde doğrulayabilir.
3. Programlanabilir tabir: 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 biçimde 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.
- ZK–STARK’s (StarkWare): emniyetli heyetim yok.
- PLONK (zkSync), Marlin (Aleo): kozmik sağlam heyetim
- Halo 2 (ZCash NU5 sürümü): emniyetli suram yok, özbir dahalemeli
Son vakit içinderda, ZKP, blok zinciri ölçeklenebilirliğinde kullanması niçiniyle insanların dikkatini bir daha kazandı. ZKP, büyük bir data kesiminin geçerliliğini kanıtlayarak blok zincirinin hesaplama ve depolama kapasitelerini ölçeklendirir. Birtakım kanıtlanmış datalar ve ilgili projeleri:
- L2 süreçleri: zkSync, StarkWare üzere zk-Rollup projeleri
- L1 süreçleri: Mina
- Off-chain datalar: Filecoin
Madencilik
Bu yıl, Ethereum PoW’dan PoS’a geçecek, bu biçimdece blockchain madencilik pazarı kıymetli ölçüde küçülecek. Son senelerda Filecoin, Chia ve Arweave dahil olmak üzere depolama madenciliği ortaya çıkmasına karşın, Ethereum’un çıkışının niye 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 haricinde depolanan her bilgi bölümü için ZKP üretmesi ve bu biçimdece depolama gücü kazanması gerekir.
Mina ZKP pazar yeri
Klâsik karma madenciliğin, güç israfı, anlamsız hesaplama konusundaki tartışmalarla çevrili olduğunu nazaranbiliriz. Bu niçinle blockchain alanı manalı bir madencilik tekniği bulmaya çalışıyor. ZKP’nin özellikleri (keyfi ifadeyi kanıtlama, karmaşık kanıtlama lakin sıradan 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ışı dataları kanıtlamak için ZKP’den yararlanır. Filecoin madenciliğinin bu yıl üç niçinden dolayı tanınan olmaya devam edeceğini düşünüyoruz:
- Ekonomik modeli niçiniyle, bölüm rehni geçen yıl 0,25’ten 0,16 FIL’e düşmüştür.
- FIL’in fiyatı kıymetli ölçüde düştü ve madencilik maliyetini daha da düşürdü.
- FVM akıllı mukavelelerinin yol haritası, projeye olumlu bir sinyal getiriyor.
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 özetlemek gerekirse şöyle açıklanabilir:
pseudo_random(zk_prove(nonce)) < target_difficulty
zk_prove(), girdisi nonce olan “işlemlerini içeren mevcut bloğun” bir delilini oluşturmaktır. hedef_zorluk, tüm ağın bilgi süreç gücüne nazaran ayarlanır. PoSW ve PoW’nin sıklıkla tıpkı olduğunu bakılırsabilirsiniz, tek fark PoW’nin hash’leri, PoSW’nin ZKP’leri hesaplamasıdır.
Ayrıyeten 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ı mukaveleler bulunmasına karşın, bunların hiç biri kapalılığı desteklemez.
Merkeziyetsiz ZK-Rollup’ları
ZK-Rollup’ların mevcut dizaynları merkezileştirilmiştir: sırf belli 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 birebir vakitte 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 ispatları sunabilir ve bu biçimdece mükafatlar kazanabilir. Mina’daki ZKP pazarına benziyor. Fakat pazaryeri en güzel tahlil değildir, zira birtakım deliller hiç kimsenin satın almaması niçiniyle 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 yeterli olduğunu var iseyar, lakin birtakım farklı görüşlerimiz var. GPU’nun, aşağıdakilerden dolayı 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 hayli sayıda GPU’ya sahiptir. Ethereum nihayet PoS’a geçtiğinde, bu GPU’lar ZKP madenciliği için mevcut olacak.
- Her ispat, Aleo üzere sırf biraz hesaplama gerektiriyorsa, klâsik madencilik havuzu, bilgi süreç nazaranvlerini dağıtılmış donanıma atamak için uygundur.
- kimi vakit tek bir ispatı zkSync ve Filecoin üzere birden çok ispata ayırabiliriz. Bu durumda, ayrılan kanıtlar paralel olarak hesaplanabilir ve çabucak sonrasında tek bir kanıtta toplanabilir.
- DIZK, tek bir ispatı dağıtık olarak hesaplayabilen bir mimaridir.
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 uygun 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.