Cysic, ZK oyunsonunun gelişini hızlandıracak. Yazan: Peng SUN, Foresight News PoW'un Ethereum'a geri döneceğini hiç düşündünüz mü? Cysic sayesinde olasılıkları gördüm. Geçtiğimiz yılın mayıs ayında Vitalik, Karadağ'da "önümüzdeki 10 yıl içinde ZK'nin temel teknolojisi olduğu zk-SNARK'ların blockchain kadar önemli olacağını" söyleyerek Ethereum'un ZK seçimini işaret etmişti. Bir yıl sonra Vitalik, Hong Kong'a indi ve bir kez daha ZK'nin Ethereum'un geleceği olduğunu belirterek, zk-SNARK'ların darboğazını aşmanın yolunun donanım hızlandırma olduğuna dikkat çekti. ZKP hızlandırılmasına ilişkin tartışmalar uzun zamandır ortalıkta dolaşıyor ve akademi ve endüstri, ZK algoritmasının hızlandırma için nasıl optimize edileceği üzerinde çalışıyor. Ancak diğer bir çözüm olarak donanım hızlandırma ancak 2022 yılında ilgi odağı olacak. Bu yıl , ZKP donanım hızlandırmasının ilk yılı olabilir, Aleo liderliğindeki sıfır bilgi kriptografisi alanındaki en yüksek kalitede ve en gelişmiş donanım hızlandırma ZKP teknoloji yarışma platformu, Paradigm'in " ZKP Donanım Hızlandırması " resmi olarak başlatıldı. IOSG'nin " Sıfır bilgi kanıtlı donanım hızlandırma konusunda neden iyimseriz " raporu birbiri ardına yayınlandı. Yazar, bazı kişilerin "algoritmalar yeterli değil, donanım bunu telafi edecek" dediğini fark etti. Sözleri donanım hızlandırmayı küçümsemeyi ortaya koyuyordu ancak ZPrize'ın dediği gibi: Her ne kadar yazılım ve algoritmalar açısından sıfır bilgi kriptografisi harikalar yarattı. Son birkaç yılda ilerleme kaydedildi, ancak donanım hızlandırma her zaman yalnızca birkaç kişinin keşfettiği bir yön olmuştur. Birçok kişi, modern kriptografi teknolojisinin ancak CPU'da yerel olarak uygulandığında pratik hale geldiğini unutuyor. Donanım hızlandırma mutlaka ASIC'ler anlamına gelmez; aynı zamanda sıfır bilgi kanıtlarını daha hızlı oluşturmak için GPU'ları, CPU'ları, FPGA'leri ve mobil cihazları (tek başına veya kombinasyon halinde) optimize etmenin yeni yolları anlamına da gelir. Çoğu kişi, ZKP donanım hızlandırmanın, MSM ve NTT hesaplamaları için ekonomik teşvikler sunan Aleo'nun 2023 PoSW'sinden ayrılamaz olduğu gerçeğiyle yüzleşmeye başladı. Bugünkü hikayenin kahramanı Aleo değil, GPU, FPGA ve ASIC için eksiksiz bir çözüm seti sunan gerçek zamanlı ZK kanıtı oluşturma katmanı Cysic'tir. ZK Air ve ZK Pro adlı iki ZK DePIN cihazını piyasaya sürecekler ve yakın gelecekte madencilik makinelerinin ön satışına başlayacaklar. Cysic'in sadece B tarafı servis sağlayıcısı olmadığı aynı zamanda tüm ZK bilişim senaryolarının bilgi işlem gücü ihtiyacını da üstlendiği söylenebilir. Farklı ZK algoritmalarına uyarlanması, bir DePIN ağı oluşturmasına ve B-tarafı hizmetlerini çeşitli bilgi işlem gücüne sahip C-tarafı kullanıcılarına açmasına olanak tanır. Başka bir deyişle, Cysic ağına herkes girebilir. Kullanıcıların katılımı arttıkça bilgi işlem gücü de artar ve ZK kanıtı da o kadar hızlı olur. Sonunda ZK her yerde bulunur hale geldi ve günlük hayata entegre oldu. Bu anlatı çok etkileyici. Yazar, erişilemez ZKP donanım hızlandırmasının gerçekten sıradan insanlara bu kadar yakın olabileceğini hiç düşünmemişti! Bugün Foresight News, Cysic'in tam olarak ne yapmak istediğini ve pazar potansiyelinin ne olduğunu görmek için ZKP donanım hızlandırmayı, Cysic özelliklerini ve donanım ürünlerini ve DePIN ağ altyapısını inceleyecek.

Cysic, Ağustos 2022'de kurulan gerçek zamanlı bir ZK kanıtı oluşturma ve doğrulama katmanıdır. Kendi geliştirdiği ASIC, FPGA ve GPU çiplerini temel alan ZK Hesaplama Hizmetini (ZK-CaaS) sağlar. Şubat 2023'te Cysic, HashKey, SNZ Holding, ABCDE, A&T Capital ve Web3.com Vakfı'nın katılımıyla Polychain Capital liderliğindeki 6 milyon ABD Doları tutarındaki başlangıç ​​finansman turunu tamamladı. Aynı yılın Ekim ayında Cysic, FPGA'sı için ZPrize "En İyiyi Yen (FPGA/GPU)" birincilik ödülünü kazandı. Cysic'in kurucu ekibi olağanüstü bir geçmişe ve güçlü bir güce sahiptir. Lianchuang Leo Fan, Cysic sistem mimarisi ve kriptografi araştırmalarından sorumludur. Çin Bilimler Akademisi'nden bilgisayar bilimleri alanında yüksek lisans derecesi aldıktan sonra bilgisayar bilimleri alanında doktora yapmak üzere Cornell Üniversitesi'ne gitti. Okul yıllarında IC3, Yahoo, Bell Labs ve IBM'de araştırmacı olarak görev yaptı. Mezun olduktan sonra Leo, Algorand'a katıldı ve kriptografi araştırmalarından sorumluydu. Halen Rutgers Üniversitesi Bilgisayar Bilimleri Bölümü'nde yardımcı doçent olarak görev yapmaktadır. Lianchuang Bowen Huang, Yale Üniversitesi'ndeki doktorasını bıraktıktan sonra yüksek lisans derecesini Yale Üniversitesi'nden aldı. Şu anda Cysic'te esas olarak çip ve tedarik zinciri yönetiminden sorumludur. Daha önce Çin Bilimler Akademisi Bilgisayar Teknolojisi Enstitüsü'nde araştırma mühendisi olarak çalıştı. Kriptografi ve donanım hızlandırma konusundaki keskinliklerine dayanarak, 2022'den önce ZK'nin tüm blockchain endüstrisi için nihai genişleme çözümü olduğunu ve donanım hızlandırmanın bu nihai çözüme ulaşmak için kaçınılmaz teknik yol olduğunu fark ettiler. Şu anda ZK alanına esas olarak iki kanıt sistemi hakimdir: zk-SNARK'lar ve zk-STARK'lar. Bunlar arasında Zcash, Scroll, Taiko, Mina, Aztec, Manta, Anoma vb.'nin tümü zk-SNARK'ları kullanırken Starknet, StarkEx, zkSync (Boojum'a geçiş yaptı) vb. zk-STARK'ları kullanıyor. Ayrıca Ethereum tarihsel veri protokolü Axiom ve ZK teknoloji geliştiricisi Nil Foundation gibi ZK projeleri de mevcut. Cysic tahminlerine göre şu anda piyasada toplam piyasa değeri 100 milyarın üzerinde olan 50'den fazla önde gelen ZK projesi bulunuyor ve ZKP başvuru yolunun toplam değerlemesi 15 milyar ABD dolarını aştı. Geçtiğimiz iki yılda ZK pisti uzun üretim süresi ve yüksek kaynak talebi nedeniyle eleştirildi. Scroll'u örnek alırsak, en az 1 saat ve 280 GB'tan fazla RAM gerektiren ZK kanıtları oluşturmak için GPU'yu kullanır. Bu ikisi sadece ZKP'nin geniş çapta benimsenmesini engellemekle kalmıyor, aynı zamanda Ethereum'un ticarileşme sürecini de geciktiriyor. STARK, SNARK'tan daha hızlı bir kanıt oluşturma süresine sahip olmasına rağmen, her ikisi de kanıt hızını saatlerden saniyelere çıkarmak için donanım hızlandırmasının kullanılmasını gerektirir. ZKP'nin vizyonu Ethereum ile aynı anda blok üretmek. Eğer darboğaz kırılamazsa Vitalik'in beklediği "gerçek zamanlı kanıt" gerçekleşemeyecek. Öte yandan Ethereum Vakfı, ZK'yi genişlemenin geleceği olarak görse de ZK Rollup'ın Ethereum L2 alanındaki pazar payı ikna edici değil. Şu anda, TVL'deki ilk beş L2'nin tümü Optimism Rollup'ı kullanıyor ve ZK Rollup'ın pazar payı yalnızca %8,5'i oluşturuyor. Piyasa değeri 1 milyar ABD dolarının üzerinde olan tek ZK Rollup projesi Starknet'tir ve bu büyük ölçüde şunlardan kaynaklanmaktadır: vakfın ekolojik teşvikleri ve airdropları bekleniyor. ZK pistinin değeri çok yüksek olduğundan donanım hızlandırma mevcut zorlukların çoğunu çözebilirse pazar potansiyeli belirgin olacaktır.

Cysic'in büyük hedefleri var. Nihai hedefleri, ZK Rollup, zkML ve ZK Bridge gibi tüm ZK bilgi işlem senaryolarının bilgi işlem gücü ihtiyaçlarını hedef alan eksiksiz bir GPU + ASIC donanım hızlandırma çözümleri seti sağlamaktır. Geçiş olarak Cysic, geçtiğimiz yıl Halo2, RapidSnark ve Plonky2x gibi birden fazla kanıt sistemini kapsayabilen kendi geliştirdiği FPGA hızlandırma donanımına sahip oldu. Çok yönlülüğü ve esnekliği emsalsizdir ve iş piyasası bir yıldızlar denizidir. .

Cysic ve ZKP donanım hızlandırmanın pazar potansiyelini tanıttıktan sonra geriye dönüp ZKP donanımının tam olarak neyi hızlandırmak istediğine bir göz atalım. Temel olarak donanımın hızlandırmak istediği şey ZK kanıtı hesaplamasıdır. Hesaplama söz konusu olduğunda bu, bilgi işlem gücü için bir rekabettir. Bu yüzden ZKP'nin PoW'u Ethereum'a geri getirdiğini düşünüyorum. Ancak daha mikro bir perspektiften bakıldığında ZKP donanımı hesaplamaların hangi yönlerini hızlandırmak istiyor? Burada yazar, "aritmetikleştirme"den kanıt oluşturma ve doğrulamaya kadar olan süreci açıklamak için zk-SNARKs kanıt sistemini örnek olarak alacaktır. Her şeyden önce, kullanıcıların zincirdeki herhangi bir işlem davranışı, zincirin toplanmasına paketlenecek, böylece işlem davranışı ve işlem hacmi, devrenin karmaşıklığını ve ZK kanıtını belirleyecektir. İkinci olarak, işlem verileri gönderildiğinde "aritmetik" sürece girecektir. "Aritmetikleştirme" adı verilen işlem, bu verileri bir ZK devresinde oluşturmak ve polinom formunda matematiksel bir formüle dönüştürmektir. Normal program geliştirmeye benzer şekilde ZK kanıt sistemi de "ön uç" ve "arka uç" olarak ikiye ayrılır. "Ön uç", çeşitli işlem verilerinin R1CS ve PLONK gibi kısıtlama dilleri aracılığıyla vektörler, matrisler ve diğer devreler halinde oluşturulması ve çoklu polinomlara dönüştürülmesi gerektiği anlamına gelir. Popüler anlayış, devre şemasının matematiksel formüllere dönüştürülmesidir. ifade etmek ve matematiksel formüller aracılığıyla işlenebilmektedir. Devre rehberlik sağlamaktadır ve bu süreç "aritmetikleştirme" işlemidir. İşlem daha karmaşıksa ve işlem hacmi daha yüksekse devrenin boyutu daha büyük olacak ve polinomun derecesi daha yüksek olacaktır. Aritmetiğe dayanarak, ZK kanıt sisteminin "arka ucunu" oluşturmak ve bunları sıfır bilgi kanıtları oluşturmak için kullanmak gerekir. Aşağıdaki şekil, PIOP ve PSC dahil olmak üzere zk-SNARKs kanıt sisteminin bileşimini göstermektedir (Justin Thaler, zk-STARK'ın Fri Tabanlı bir zk-SNARK olduğuna inanmaktadır). Popüler PIOP'lar PLONK ve GKR'yi içerir ve popüler PSC (polinom taahhüt planları) FRI ve KZG'yi içerir. Genel olarak PLONK + IPA, Halo2 kanıt sisteminin Zcash sürümünü oluşturabilir, PLONK + KZG Halo2'nin PSE/Scroll sürümünü oluşturabilir ve PLONK + FRI Plonky2'yi oluşturabilir. Mevcut ZK geçirmez sistem esas olarak KZG'ye dayalı Halo2, Groth 16 ve benzerlerini içerir.

Groth16'yı örnek alarak hesaplama sürecini düzleştirip R1CS kısıtlama formu aracılığıyla bir C-SAT (devre tatmini) problemine ifade edebiliriz ve ardından C-SAT problemini bir QAP tatmin edilebilirliği problemine indirgeyebiliriz. Bir dizi genel polinom Ui(x), Vi(x), Wi(x), T(x) ve a vektörü, burada a vektörü genel girdileri (Genel Girdiler) ve sırrı (tanık) içerir, tatmin eder aşağıdaki gereksinimler: gösterilen ilişki. QAP karşılanabilir problem için, verilen QAP'yi doğrulamak çok basittir, ancak a'yı genel polinomlar aracılığıyla tersten çözmek çok zor olacaktır. Daha sonra, Prover'ın a('ya sahip olduğunu kanıtlamak için hesaplama sürecinin gerçekliğini ve tamlığını kanıtlayacağız. i) Bu soru geliyor, bu adım özellikle ZKP arka ucunun inşası için önemlidir. ZKP'nin arka ucuna gelince, üç aşamaya ayrılabilir: Kurulum, Doğrulayıcı ve Doğrulayıcı, her aşamada bazı parametreler kullanılır. Aritmetik polinomu ve bir kerelik gizli rastgele sayı R'yi ("güvenilir ayar" kavramının kaynağı) Kurulum'a aynı anda girmemiz gerekir. Ayarlamadan sonra, Kanıtlayıcı ve Doğrulayıcının kanıtı oluşturmasına ve doğrulamasına izin verilir. sırasıyla Sp ve Sv parametreleri aracılığıyla. Bu süre zarfında Prover, hesaplamaları gerçekleştirmek ve kanıt oluşturmak için kamuya açık giriş ve sırlara ihtiyaç duyar; Doğrulayıcı, kanıtlar ve kamuya açık girişler aracılığıyla doğrulanabilir. Bu süreçte Verifier sırrın ne olduğunu bilemeyecektir.

Prover'ın kanıt oluşturma sürecinde büyük miktarda hesaplama yapılması gerekir. Peki kanıt oluşturma hesaplamalarını nasıl daha hızlı yapabilirsiniz? Donanımın devreye girdiği yer burasıdır. Mevcut koşullar altında tek çözüm, bilgi işlem gücünü artırmak için donanım kullanmaktır. Bilgi işlem gücü ne kadar yüksek olursa, süre de o kadar kısa olur. Farklı ispat sistemleri, büyük miktarda hesaplama gerektiren farklı kriptografik temellere sahiptir. PLONK + KZG'ye dayalı ispat sistemleri arasında en çok zaman harcayan iki hesaplama türü MSM (Çoklu Skaler Çarpma) ve NTT'dir (Sayı Teorik Dönüşümü). zk-STARK'ta ana bilgi işlem darboğazları NTT ve Merkle Hash'tir. MSM esas olarak eliptik eğrilerle ilgili hesaplamaları gerçekleştirir. NTT, sonlu bir alan üzerinde etkili olan bir FFT'dir (Hızlı Fourier Dönüşümü), FTT'nin bir çeşidi ve optimizasyonu olarak anlaşılabilir ve polinomlarla ilgili hesaplamaları işlemek için kullanılır. Şu anda neredeyse tüm ana ZK protokolleri bu iki hesaplamayı kapsamlı bir şekilde kullanıyor ve birlikte kanıt oluşturma süresinin %80-95'ini oluşturuyorlar. Genel olarak konuşursak, MSM bilgi işlem görevleri tüm bilgi işlem görevlerinin %60-70'ini, NTT ise %25'ini oluşturacaktır. Elbette farklı uygulamalarda ikisinin oranı farklılık gösterecektir. MSM veya NTT, bilgi işlem görevlerinin oranına bağlı olarak ayrı ayrı hızlandırılabilir veya her ikisi de aynı anda hızlandırılabilir.

Diyalektik açıdan konuşursak, bilgi işlem görevlerinin ağır iş yükü, aynı zamanda, bilgi işlem gücü yeterince güçlü olduğu sürece, bunların nispeten basit ardışık düzen operasyonları olduğu anlamına da gelir. ZK kanıt hesaplamasının algoritması deterministik olduğundan ve kanıt sonucunu oluşturmak için yalnızca tekrar tekrar hesaplanması gerektiğinden, belirli işlemler için özel donanım mimarisi uygulamasının, yazılım uygulamasına göre daha fazla avantajı vardır. Paralel hesaplama gerçekleştirilebilirse hesaplama zorluğu büyük ölçüde azalacaktır. Tesadüfen, hem MSM hem de NTT, yüksek performanslı donanımlarla hızlandırılabilir ve paralel hesaplamayı destekleyebilir.

Yukarıda bahsedildiği gibi Cysic'in nihai hedefi, ZK ASIC'i hızlandırmak ve MSM ve NTT bilgi işlem de dahil olmak üzere eksiksiz bir ASIC donanım hızlandırma çözümleri seti sağlamaktır. Ancak Leo Fan'ın dediği gibi, "Bir ASIC yapmadan önce FPGA üzerinde birçok test ve prototip yapmanız gerekir." Geçtiğimiz yıl Cysic, POC tasarım çalışmasının ilk aşamasını tamamladı ve MSM, NTT ve Poseidon Merkle Tree gibi FPGA tabanlı bilgi işlem hızlandırıcıların yanı sıra tüm iş akışını kapsayan uçtan uca bir ZK donanım hızlandırma çözümü geliştirdi. .

Cysic FPGA prototipi (derleme aşamasındaki durum) En son yayınlanan verilere göre Cysic'in SolarMSM'si, 2³⁰ ölçekli MSM hesaplamalarını 0,195 saniyede tamamlayabilir; bu, şu anda halka açık tüm FPGA-MSM donanım hızlandırma sonuçları arasında en yüksek performanslı çözümdür. SolarNTT, 2³⁰ ölçekli NTT hesaplamasını 0,218 saniyede tamamlayabilmektedir. Aynı zamanda Cysic'in mevcut FPGA hızlandırma çözümü Scroll'un ZK hesaplamalarına da uygulanmıştır. 2²² ölçekli MSM ve NTT hesaplamaları için her ikisi de yaklaşık 1 milisaniyede (0,001 saniye) tamamlanabilmektedir.

Neden nihai hedefin ve ikinci aşamanın ASIC geliştirmek olduğuna gelince, incelemek için hızlandırma donanımı karşılaştırmasına dönmemiz gerekiyor. Donanım hızlandırmanın avantajları arasında güç tüketiminin azalması, gecikme süresinin azalması, paralelliğin artması, verimin artması ve entegre devre üzerindeki alan ve işlevsel bileşenlerin daha iyi kullanılabilmesi sayılabilir. Genel olarak konuşursak, CPU'lar, uzun hesaplama süreleri ve yüksek enerji tüketimleri nedeniyle temel olarak benimseme kapsamına dahil değildir. Piyasada üç ana hızlandırma donanımı türü vardır: GPU, FPGA ve ASIC; bunların her biri kendi çok yönlülüğüne ve verimliliğine odaklanır. Şu anda neredeyse tüm ZK projeleri donanım hızlandırma için GPU'ları kullanıyor çünkü GPU'lar, özel donanım üretilmeden önce tek donanım hızlandırma taşıyıcısı olacak kadar popüler hale geldi. ZK donanım hızlandırma üreticileri için GPU şu anda en ekonomik ve yapılandırılabilir donanım seçeneğidir. CUDA SDK gibi yazılım düzeyindeki destekler sayesinde GPU'nun çok çekirdekli yapısı, MSM gibi hesaplamaların paralelleştirilmesine de uygundur. Ancak GPU'ların bazı sınırlamaları vardır. Örneğin, 3080, 3090 ve 4090 gibi grafik kartlarını kullanmak, anakart bant genişliği gibi donanım platformuyla kolayca sınırlanır. GPU'lar gibi FPGA'ler de programlanabilir, çalışma zamanında yeniden yapılandırılabilir ve sistem özelliklerine ve belirli uygulamalara dayalı olarak farklı algoritmalar için yeniden kullanılabilir; bu da onları daha çok yönlü ve esnek hale getirir. FPGA aynı zamanda FFT ve NTT hesaplama türlerine de daha uygundur. Sonuçta FPGA donanımı geliştirildikten sonra aynı zamanda bir yazılım oyunu haline geldi. Ayrıca tek bir FPGA bir GPU'yu yenemese de, birçok FPGA birbirine bağlandığında performans GPU'nun performansından kat kat daha yüksektir. Aynı zamanda üst düzey FPGA'nın donanım maliyeti üst düzey GPU'ya göre 3 kat daha ucuzdur. Enerji tüketim oranı açısından, GPU'nun ana cihaza bağlanması gerektiğinden ve ana cihaz çok fazla güç tükettiğinden FPGA'nın enerji verimliliği 10 kat daha yüksektir. Ancak GPU'larla karşılaştırıldığında FPGA yongalarının satın alma maliyeti ve tedarik zincirini destekleyen gereksinimler nispeten yüksektir. ASIC, belirli belirli ihtiyaçları karşılamak üzere özelleştirilmiş özel bir çiptir. Yüksek performansı ve güçlü bilgi işlem gücü, Cysic dahil ZK donanım hızlandırma üreticileri tarafından nihai çözüm olarak kabul edilmektedir. Ancak ASIC'in iş mantığı "bir kez yazma"dır ve programlanamaz. Yalnızca belirli bir görevi hedefleyebilir ve birden fazla ZK algoritmasını paralel olarak işleyemez. ASIC, performans ve enerji tüketimi açısından GPU ve FPGA'den üstündür ancak daha uzun bir üretim döngüsü gerektirir. Ek olarak, sermaye yoğun bir oyun olduğundan ASIC'lerin üretimi daha pahalıdır.

Kaynak: Amber Group Kapsamlı bir karşılaştırmanın ardından Cysic'in neden ilk önce kendi FPGA hızlandırma donanımını geliştirmeyi seçtiğini anlayabiliriz. ASIC'in henüz çok yönlü olmaması, maliyetin çok yüksek olması ve pazara sunma süresinin uzun olması nedeniyle FPGA, geçiş döneminde pazarı ele geçirmek için en iyi çözümdür. Spesifik olarak, Cysic'in FPGA donanımı Halo2, RapidSnark ve Plonky2x gibi çeşitli ZK kanıt sistemlerine uyum sağlayabilir ve mevcut tüm ana akım ZK algoritmalarını yürütebilir (ZK kanıt oluşturmadaki hesaplama işlemlerine atıfta bulunarak). Başka bir deyişle FPGA, ZK Rollup, ZKML, ZK Bridge vb. dahil olmak üzere ZK hesaplama senaryolarındaki tüm bilgi işlem gücü gereksinimlerine uyum sağlayabilir. Aynı zamanda, ZK kanıt üretimi yalnızca hesaplama açısından zorlu değil aynı zamanda bellek açısından da zorludur. Bugün, Scroll zkEVM devresinin kanıt üretimi en az 280 GB RAM gerektirir. Bu taleple karşı karşıya kalan FPGA, belleği biriktirmeye ve genişletmeye devam edebilir. Kendi geliştirdiği FPGA, Cysic'in GPU ve ASIC'den vazgeçtiği anlamına gelmiyor. Cysic aynı zamanda GPU tabanlı donanım hızlandırma çözümleri de geliştirerek daha esnek ZK ve AI bilgi işlem hızlandırma hizmetleri sunmaya çalışıyor. Şu anda Cysic GPU bilgi işlem güç ağı, yüzbinlerce üst düzey 3090/4090 bilgi işlem gücü grafik kartını birbirine bağlamıştır.

Cysic Grafik Kartı ve Bilgisayar Laboratuvarı'nın dahili verileri, Cysic CUDA SDK'nın en son açık kaynak çerçevesinden %50-%80 daha hızlı olduğunu ve GPU SDK'nın birden fazla üst düzey ZK projesi için kanıt oluşturma hizmetleri sağlamak üzere kullanıldığını gösterdi. Aynı zamanda Cysic'in ASIC tasarımı ve bantlama çalışmaları da devam ediyor.

Eğer sadece ZKP hızlandırma donanımı ise Cysic'in çok fazla süslemeye ihtiyacı yok gibi görünüyor. Ancak Helium Mobile'ın önde olduğu ve io.net'in patlama yaşadığı 2024'te DePIN'in ortaya çıkışı Cysic'e hayal gücü için daha fazla alan sağlıyor. Cysic'in gerçekten yapmak istediği şey, ZKP donanım hızlandırmasını temel alan bir Prover Ağıdır. Yalnızca FPGA, GPU ve ASIC gibi kendi geliştirdikleri donanımları Prover Ağına bağlamakla kalmayacak, aynı zamanda topluluk kullanıcılarının çeşitli bilgi işlem gücü türleri sağlamasına ve merkezi olmayan bir ağ oluşturarak ZK kanıtı oluşturma hesaplamaları için ekonomik teşvikleri ve yönetişimi artırmasına da olanak tanıyacak. bilgi işlem güç ağı.

Cysic'in Prover Network aracılığıyla C tarafı kullanıcılarına tamamen B tarafı hızlandırma hizmetini açarak ZK proje tarafları, bilgi işlem gücü sağlayıcıları ve topluluk doğrulayıcıları arasında mevcut ZKP donanım hızlandırma pazarında benzersiz bir köprü haline geldiği söylenebilir. . Bundan önce, sıradan kullanıcıların ZKP'yi anlaması sadece zor değildi, aynı zamanda ZKP'yi hızlandırmak için özel donanım satın almak da zordu. Ancak Cysic ağı artık kullanıcıların mesleki bilgiye sahip olmasını gerektirmiyor. Çok yönlülüğü nedeniyle kullanıcıların ZKP bilgi işlem ağına girmek için yalnızca bilgi işlem gücü sağlamaları gerekiyor. Tüm ağda ne kadar çok kullanıcı ve bilgi işlem gücü varsa, ZK kanıtının o kadar hızlı olacağını ve ikinci düzey "gerçek zamanlı kanıtın" çok yakında olacağını hayal edin. Aslında The Merge'de Ethereum'un birleşmesinden sonra orijinal PoW madencileri çok sayıda boşta GPU bıraktı. Bu borsa Prover Network için çok değerli. Ancak çoğu kişi DePIN ağına katılmak için gerekli donanıma sahip olmayabilir. ne yapalım? Daha fazla topluluk kullanıcısını nasıl tanıtabiliriz ve artan pazarı nasıl genişletebiliriz? Cysic mantıklı bir şey yaptı. Yakın zamanda 2025'te piyasaya sürülmesi beklenen ZK Air ve ZK Pro adında iki ZK DePIN çipi/cihazı tasarladılar.

Yukarıdaki resimde gösterildiği gibi ZK Air'in boyutu, bir güç bankası/dizüstü bilgisayar güç kaynağının boyutuna yakındır. Bu hafif ve taşınabilir bir ZK DePIN cihazıdır. Bilgi işlem gücü, üst düzey tüketici sınıfı grafik kartlarından daha fazladır. Kullanıcılar bunu Type-C aracılığıyla dizüstü bilgisayarlara, iPad'lere ve hatta cep telefonlarına bağlayabilir ve küçük ölçekli için hızlandırma hizmetleri sağlayabilir. Prover Ağı aracılığıyla ZKP'ye bağlanın ve ağ ödülleri kazanın. Aynı zamanda ZK Air, yerel olarak zamanında ZK sertifikaları oluşturmak için doğrudan bir bilgisayara da bağlanabilir. ZK Pro, çoğunlukla özel şirketlere hizmet veren geleneksel bir madencilik makinesine benzer ve zkRollup ve zkML gibi büyük ölçekli ZK projeleri için uygundur. Çoğu kullanıcı için ZK Air sabırsızlıkla beklemeye değer bir ürün olabilir. ZKP donanım hızlandırma doğal olarak DePIN ile uyumludur. AI ve ML'ye yönelik olan io.net merkezi olmayan GPU ağının aksine Cysic, farklı ZK algoritmalarına uyum sağlayan kendi geliştirdiği donanımıyla ZK'nin blockchain endüstrisinin geleceği olduğuna inanıyor. Herhangi bir ZK bilgi işlem senaryosu. ZK pazarının değeri 15 milyar doların üzerinde olduğundan, gelecekte büyük bir büyüme potansiyeli vardır. Xiao Feng bir keresinde şöyle demişti: "Blockchain doğası gereği DePIN üzerine kuruludur ve Bitcoin donanım madenciliği DePIN'in küçük bir versiyonudur." ZKP donanım hızlandırma bana Bitcoin PoW mekanizmasını hatırlatıyor ancak Cysic, Prover Network ile gerçek anlamda ZKP'ye ait bir bilgi işlem güç ağı kurdu. PoW'un izinsiz olması gibi, DePIN ilkel yapısı altındaki ZKP madenciliği de gerçekten izinsiz hale gelecektir. Ancak ZKP madenciliği yine de PoW madenciliğinden farklıdır. Geleneksel PoW mekanizmasında, daha yüksek ve daha hızlı hesaplama gücüne sahip madenciler blok ödülleri alabilirken, diğer kişilerin çalışma kanıtları geçersiz olacaktır. Cysic'in Prover Ağında geçersiz iş yükü diye bir şey yoktur ve kullanıcılar, bilgi işlem gücü katkılarına göre her zaman teşvikler alabilirler. Şu anda kullanıcılar, Cysic'in Galxe'deki etkinliklerine katılabilir ve erken rozetler alabilir, NFT basımına ve bu yıl Mayıs'tan Haziran'a kadar başlatılacak test ağına katılabilir. Cysic'e göre bazı erken katılımcılar NFT teşvikleri alabiliyor. Ayrıca Cysic, TGE'yi bu yılın üçüncü ve dördüncü çeyreğinde de yürütmeyi planlıyor. Referanslar: Georgios Konstantopoulos, Sıfır Bilgi Kanıtları için Donanım Hızlandırması , Paradigma, 13 Nisan 2022.Elena Burger, Merkezi Olmayan Hız: Sıfır Bilgi Kanıtlarındaki Gelişmeler , a16z kripto, 15 Nisan 2022.Amber Grubu, Hız İhtiyacı: Sıfır Bilgi , Eylül 5, 2022.IOSG: " Sıfır bilgi korumalı donanım hızlandırma konusunda neden iyimseriz ", Kasım 2022.ABCDE: Neden Cysic'e yatırım yapmalıyız , 18 Şubat 2023.msfew, ZK'ye ilişkin Eleştiri , 20 Nisan 2023.Trace , Hızlandırılmış Sıfır Bilgi Kanıtları , Figment Capital, 25 Nisan 2023. Luke Pearson ve Cysic ekibi, ZK Donanım Hızlandırması: Geçmiş, Bugün ve Gelecek , 27 Nisan 2023. ZPrize, ZPRIZE II SPOTLIGHT: MİMARLARIN TANITIMI: LEO FAN, CYSIC , 10 Ekim 2023. Loopy Lu: " Vitalik neden ZK donanım hızlandırması konusunda iyimser?" ", BeWater, 12 Nisan 2024. Cysic, ZK-ASIC'leri Tasarlamada Yeni Paradigma, zkVM yolu , 9 Nisan 2024. Cysic: "Ethereum'un doğrulanabilir bir geleceğine doğru: Cysic, güvenilir bir ZK bilgi işlem ağı oluşturmaya yardımcı olur", 2024. * Bu makale ZK araştırmacısı Miles ve ZK geliştiricisi Paul'dan yardım ve rehberlik almıştır. Çok teşekkür ederim!