ZK Donanım Hızlandırma: Cysic'in Nihai Hırsı

Son zamanlarda, ZK teknolojisi Web3 alanında büyük ilgi görüyor. Vitalik, Hong Kong Blok Zirvesi'nde ZK-SNARKs'ın Ethereum'un ölçeklenmesindeki önemini bir kez daha vurguladı ve ASIC çiplerinin ZK hızlandırmadaki potansiyeline olumlu bakıyor. Aslında, 2022'de önde gelen VC'ler ZK donanım hızlandırmasına olan dikkatlerini ifade etmişti; Paradigm, ZK madencilerinin gelirinin Bitcoin veya Ethereum madencileri ile karşılaştırılabileceğini bile öngörmüştü.

Scroll gibi ZK Rollup projelerinin popülaritesinin artmasıyla birlikte, donanım hızlandırma pazarın sıcak konularından biri haline geldi. Sektörde, ZK tabanlı büyük talep nedeniyle, ZK madencilik havuzları ve gerçek zamanlı ZKP üretim SaaS modeli yeni bir endüstri zinciri oluşturma potansiyeline sahip olduğu düşünülüyor; güçlü ZK donanım üreticilerinin bir sonraki Bitmain olma şansı bulunuyor.

Birçok ZK hızlandırma projesi arasında, Cysic dikkat çekiyor. Bu ekip, ZPrize gibi önemli ödüller kazandı ve Polychain gibi üst düzey VC'lerden yaklaşık 20 milyon dolar finansman aldı. Cysic test ağı yakında çevrimiçi olacağından, piyasa tartışmaları giderek artıyor. Bu yazıda, Cysic'in ürün prensipleri ve iş modeli kısaca tanıtılacak ve ZK donanım hızlandırması hakkında bilgi verilecektir.

ZK Kanıt Sistemi Çalışma Süreci

ZK kanıt sistemi karmaşık olsa da, işlev ve iş akışı açısından basit bir şekilde anlaşılabilir:

1. Ön uç aracılığıyla kanıtlanacak içeriği gönderin, sistem format dönüşümü yapar.
2. Belirli bir kanıtlama sistemi ( kullanarak Halo2, Plonk ) ZK Proof oluşturma.
3. Belirli adımlar, sorun tanımlama, aritmetikleştirme ve CSP, ZKP programına derleme gibi işlemleri içerir.

Dikkate değer olan, şu anda blockchain'in yaygın olarak kullanılan ana teknolojisinin zk-SNARK olduğu, ZK Rollup'ın ise daha çok basitliğini kullandığıdır, sıfır bilgi özelliğinden ziyade. SNARK'ın özelliği, Prover'ın kanıt oluşturma maliyetinin yüksek olması, ancak Verifier'ın doğrulama maliyetinin düşük olmasıdır; bu asimetrik yapı, merkeziyetsiz doğrulamayı desteklemektedir, Ethereum'un ikinci katmanı bu düşünceye dayanmaktadır.

Ancak, doğrulama maliyetlerini ZK üretim tarafına aktarmak mükemmel bir çözüm değildir. ZK Rollup projeleri için yüksek ZKP üretim maliyetleri nihayetinde kullanıcı deneyimini ve işlem ücretlerini etkileyebilir. Bu nedenle, ZKP üretim maliyetlerini düşürmek acil bir ihtiyaç haline gelmiştir ve bu da Cysic gibi ZK hızlandırma projelerinin girmesi gereken bir noktadır.

ZKP'nin Oluşturduğu Ana Maliyetler

ZKP oluşturma sürecinde, en fazla hesaplama kaynağını tüketen MSM( Multi-Scalar Çarpımı) ve NTT( Sayı Teorisi Dönüşümü)'dır. Bu iki görev, kanıt oluşturma süresinin %80-95'ini kapsamaktadır.

MSM esas olarak eliptik eğrilerde çoklu skalar çarpımı işler, NTT ise sonlu alanlar üzerindeki FFT'dir. Farklı şema kombinasyonları, farklı FFT/MSM yük oranları getirecektir. Örneğin, Stark, tamamen MSM hesaplaması olmadan hash tabanlı FRI taahhüdü kullanır.

MSM ve NTT verimliliğini optimize etmenin en basit yolu bu işlemleri tamamen ortadan kaldırmaktır. Hyperplonk gibi bazı yeni algoritmalar Plonk'u değiştirerek NTT işlemlerini ortadan kaldırmıştır. STARK algoritması MSM'ye ihtiyaç duymaz, ancak büyük miktarda hash hesaplaması getirir.

ZK Donanım Hızlandırma ve Cysic'in Gelişim Stratejisi

Yazılım ve algoritma optimizasyonu önemli olsa da, sınırlamaları vardır. ZKP üretim verimliliğini artırmak için donanım hızlandırması kullanmak şarttır. ZK hızlandırması için mevcut donanımlar arasında GPU, FPGA ve ASIC bulunmaktadır ve her birinin kendine has avantajları ve dezavantajları vardır.

Cysic, ZK donanım hızlandırmasının nihai çözümü olmayı taahhüt ediyor, adım adım stratejisi şudur:

1. GPU tabanlı SDK geliştirme, ZK uygulamalarına çözüm sağlama ve GPU kaynaklarını birleştirme.
2. FPGA kullanarak hızlı özel ZK donanım hızlandırması gerçekleştirmek
3. ASIC tabanlı ZK Depin donanımını kendi başına geliştirmek
4. Cysic Ağı kurarak, tüm hesaplama kaynaklarını entegre ederek ZK endüstrisine hesaplama ve doğrulama çözümleri sunmak.

Cysic Network: ZK Madencilik Havuzu ve SaaS Platformu

Cysic Network planı sadece kendi hesaplama gücünü entegre etmekle kalmayacak, aynı zamanda madencilik teşvikleriyle üçüncü taraf hesaplama kaynaklarını da çekecektir. İş akışı şunları içermektedir:

1. Proje tarafı, görevi Agent'a kanıtlamak için sunar.
2. Prover, görevi kabul eder ve ZK kanıtı oluşturur.
3. Validator komitesi, kanıtın geçerliliğini kontrol eder ve oylama yapar.

Cysic Network, özel bir kamu zinciri kurdu ve Proof of Compute (PoC) konsensüs algoritmasını benimsedi.

GPU, FPGA ve ASIC Çözümleri

GPU hızlandırma konusunda, Cysic kendi geliştirdiği CUDA SDK'sını çeşitli yeni ZK kanıt sistemlerine uyarlamaktadır, GPU hesaplama ağı yüz binlerce üst düzey ekran kartını bağlamıştır. Cysic CUDA SDK, en yeni açık kaynak çerçevelerine göre %50-80 daha hızlıdır.

FPGA alanında, Cysic dünyanın en hızlı MSM, NTT, Poseidon Merkle ağaçları gibi modüllerin gerçekleştirilmesini tamamladı. SolarMSM ve SolarNTT, 2^30 ölçeğinde hesaplamalarda sırasıyla 0.195 saniye ve 0.218 saniye ile en iyi performansı gösterdi.

ASIC alanında, Cysic iki ZK DePIN ürünü tanıttı: ZK Air ve ZK Pro. ZK Air, sıradan kullanıcılar için uygundur ve dizüstü bilgisayar gibi cihazlara bağlanarak hesaplama gücü desteği sağlar. ZK Pro, geleneksel madencilik makinelerine benzer ve hesaplama gücü birden fazla üst düzey GPU sunucusu ile karşılaştırılabilir, büyük ZK projeleri için uygundur.

Bu düzenlemeler aracılığıyla, Cysic, C son kullanıcılarına düşük giriş engeli ile katılım fırsatları sunarak, ZK-DePIN ağını istikrarlı ve güvenilir bir şekilde inşa etmeyi ve ZK hesaplama pazarının yeniden patlak vermesini sağlamayı hedeflemektedir.