ZK sübutları GPU-lardan kənara çıxmalıdır, AI hesablama təchizatını sıxışdırır, Cysic CEO-su deyir

ZK sübutları trilyon dollarlıq AI məlumat mərkəzləri ilə eyni GPU-lar üçün rəqabət etməyə başlayıb, bu da sübut xərclərini artırır, Cysic isə avadanlıq istifadəsini artıraraq 9% performans artımı əldə etdiyini bildirir.

Xülasə

• Cysic, sübut xərclərinin artıq qeyri-effektiv GPU istifadəsindən qaynaqlandığını, xammal hesablama gücünün yetərsizliyindən deyil, bildirir.
• ZK iş yükü, fərqli riyazi əməliyyatlara əsaslansa da, Nvidia GPU-ları üçün AI ilə rəqabət edir.
• Real vaxtda Ethereum sübutları və ZK-rolluplar istehlakçı tətbiqləri ortaya çıxmadan əvvəl daha yüksək xərclərlə üzləşə bilər.
• Cysic, sıxışmanın FPGA-ların, ZK-ya xas ASIC-lərin və açıq sübut bazarlarının qəbulunu sürətləndirəcəyini gözləyir.

Cysic-in təsisçisi və CEO-su Leo Fan, crypto.news-a GPU istifadəsinin sıfır bilik sübutları üçün məhdudlaşdırıcı bir amil halına gəldiyini, çünki sübut sistemlərinin artıq güclü maliyyələşdirilmiş AI məlumat mərkəzləri ilə eyni silikonu əldə etmək üçün rəqabət etdiyini söylədi.

"AI modelləri birləşir. Hesablama isə birləşmir. Hər kəs sübut xərclərinin düşəcəyini düşünürdü, çünki çiplər ucuzlaşır. Bunun əvəzinə, biz eyni silikon üçün trilyon dollarlıq məlumat mərkəzi büdcələri ilə rəqabət edirik. Buna görə də avadanlıq təbəqəsi bir neçə mülkiyyətçi sübutçunun ixtiyarına buraxılmaq əvəzinə açılmalı idi."

Fan-a görə, təzyiq yalnız hesablama gücünün çatışmazlığından gəlmir. O, əsas problemin zkVM proqram təminatı ilə sübutları yaratmaq üçün istifadə olunan sürətləndiricilər arasında arxitektura uyğunsuzluğu olduğunu, bunun da mövcud GPU gücünün bir hissəsinin istifadə edilmədiyini və hər bir sübutun xərclərini artırdığını bildirdi.

Cysic-in Venus sübut mühərriki, CPU-lar və GPU-lar arasında iş koordinasiyasına sərf olunan vaxtı azaldaraq bu uyğunsuzluğu ortaya qoydu. Apreldə bildirilənə görə, şirkət, əsas avadanlığı dəyişdirmədən ZisK 0.16.1-ə qarşı 9%-dən çox end-to-end sübut vaxtı yaxşılaşması qeydə alıb.
Siz həmçinin bəyəndiyiniz: ZK sübutları tənzimləmə uyğun stabilcoin üçün əsas ola bilər: Araşdırma

ZK sübut xərcləri artıq xammal sürətindən daha vacibdir

Polygon Hermez-in ZisK zkVM-nin avadanlığa yönəlmiş genişləndirməsi olaraq yaradılan Venus, sübut istehsalını birləşdirilmiş hesablama qrafiki kimi təqdim edir. Cysic, dizaynın sistemin sübut prosesi boyunca iş cədvəlini tənzimləməyə imkan verdiyini, hər bir avadanlıq funksiyasını ayrı bir çağırış kimi idarə etmək əvəzinə, bütün sübut prosesi boyunca iş cədvəlini tənzimlədiyini bildirir.

CUDA Qrafik inteqrasiyası, kernel tənzimlənməsi və paylaşılmış yaddaş dəyişiklikləri vasitəsilə Venus, prosessor və GPU arasında təkrarlanan məlumat köçürmələrini və sinxronizasiyanı azaldır. Fan, nəticənin mövcud sürətləndiricilərin tam istifadə edilmədiyini göstərdiyini, bunun da sübut xərclərinin arxasında praktik boğulma olduğunu söylədi.

Xammal sübut sürəti sənaye üzrə sürətlə yaxşılaşmışdır. Cysic, ZisK-nın 24 GPU ilə 7.4 saniyədə Ethereum blok sübutu istehsal edə biləcəyini və bir RTX 4090 qurğusu vasitəsilə real vaxt sübutları təqdim edə biləcəyini bildirib. Bu iddialar şirkət tərəfindən irəli sürülüb və enerji istifadəsi, sübut ölçüsü, təhlükəsizlik səviyyəsi və ümumi avadanlıq xərclərini əhatə edən ümumi bir standart altında müstəqil olaraq sınaqdan keçirilməyib.

Digər inkişaf etdiricilər də Ethereum-un real vaxt həddini keçiblər. 2025-ci ilin noyabrında, Succinct, SP1 Hypercube-un 16 Nvidia RTX 5090 GPU istifadə edərək 954 bloklu Ethereum nümunəsinin 99.7%-ni 12 saniyədən az müddətdə sübut etdiyini bildirdi. Nümunənin təxminən 95.4%-i 10 saniyə ərzində sübut edilib.

Ethereum Fondu, real vaxt sübutunu, əsas şəbəkə bloklarının ən azı 99%-i üçün sübutların 10 saniyə ərzində tamamlanması kimi müəyyən edir. Onun çərçivəsi, həmçinin tam açıq mənbə kodu, 300 KiB-dən aşağı sübut ölçüləri, ən azı 128-bit təhlükəsizlik, avadanlığın 100,000 dollardan çox olmaması və enerji istifadəsinin 10 kilovata qədər məhdudlaşdırılmasını tələb edir.

Enerji istifadəsi, ev sübutçuları üçün avadanlıq xərclərindən daha ciddi bir məhdudiyyət ola bilər, Fond bildirib. Bir sübut Ethereum-un son tarixindən əvvəl gələ bilər, lakin hələ də müstəqil operator üçün çox enerji, soyutma və ya kapital tələb edə bilər.

AI tələbi eyni GPU-lara çıxışı sıxışdırır

AI və ZK sübutları GPU-ları fərqli şəkildə istifadə etsə də, hər iki iş yükü istehlakçı RTX kartlarından məlumat mərkəzi H100 sistemlərinə qədər Nvidia sürətləndiricilərinə bağlıdır.

AI təlimi və çıxışları əsasən matris hesablamalarından istifadə edir. ZK sübutlarının yaradılması çoxsaylı skalar çoxaltmalara və ədədi nəzəriyyə transformasiyalarına güclü şəkildə bağlıdır, bu əməliyyatları GPU-lar işlədə bilsə də, xüsusi olaraq bu işləri yerinə yetirmək üçün hazırlanmayıb.

Fan, bu uyğunsuzluğun ZK-ya xüsusi avadanlıq üçün tələbi dəstəklədiyini söylədi, çünki sübut sistemləri AI inkişaf etdiriciləri ilə eyni təchizat sırasına daxil olur, lakin çipləri eyni şəkildə istifadə etmir. GPU saatları sübut xərclərinin əhəmiyyətli hissəsini təşkil etdiyindən, daha yüksək avadanlıq və kirayə xərcləri hər bir sübutun qiymətinə daxil olur, o əlavə etdi.

Nvidia-nın maliyyə nəticələri AI infrastrukturundan gələn tələbin miqyasını göstərir. ABŞ-da qeydiyyatdan keçmiş çip istehsalçısı, 26 aprel tarixində başa çatan rüb üçün məlumat mərkəzi gəlirini 75.2 milyard dollar olaraq açıqlayıb, bu da bir il əvvəlki dövrdən 92% artım deməkdir. Məlumat mərkəzinin hesablama gəliri 60.4 milyard dollar olub, illik artım 77%-dir.

Amazon Web Services ayrıca bir milyon Nvidia GPU-sunu almaq üçün razılığa gəlib, çatdırılmaların 2027-ci ilə qədər davam edəcəyi bildirilir. Nvidia-nın CEO-su Jensen Huang, həmin il ərzində Blackwell və Rubin məhsul ailələri üçün 1 trilyon dollar satış imkanını qiymətləndirib.

İyun ayında, Nvidia-nın planlaşdırılan istiqraz satışı AI investisiyalarını maliyyələşdirmək və borcu yenidən maliyyələşdirmək üçün ən azı 20 milyard dollar toplamağı hədəfləyirdi. Bitcoin mədən şirkətləri o vaxtda AI və yüksək performanslı hesablama müqavilələri üzrə 70 milyard dollardan çox elan etmişdi, bu da kripto ilə bağlı infrastruktur sahiblərinin gücü və obyektləri AI iş yükünə yönəltdiyini göstərir.

May ayında yayımlanan Bernstein hesabatında elan edilmiş AI infrastruktur tərəfdaşlıqları 90 milyard dollara yaxın qiymətləndirilib. Analitiklər, Bitcoin mədənçilərinin planlaşdırılan enerji tutumunun 27 gigavattdan çoxunu idarə etdiyini, elan edilmiş AI müqavilələrinə bağlı olan enerji tutumunun isə təxminən 3.7 gigavatt olduğunu qiymətləndiriblər, bəzi ABŞ şəbəkə bağlantılarının 50 aya qədər çəkə biləcəyini bildiriblər.

ZK-rolluplar və real vaxt sübutları ilk olaraq təzyiqlə üzləşir

Fan, real vaxtda layer-1 sübutlarının xərclər sıxıntısının önündə olduğunu, çünki hər blok üçün yeni bir sübut istehsal etmək üçün GPU-lara ehtiyac olduğunu qeyd etdi. Hər hansı bir gecikmə, sübutçunun şəbəkənin vaxt limitini qaçırmasına səbəb ola bilər, buna görə də operatorların əlavə tutuma ehtiyacı var, eyni zamanda normal tələbat üçün kifayət qədər avadanlıq olmalıdır.

ZK-rolluplar və sübut bazarları, çünki GPU saatları birbaşa əməliyyat xərclərinə daxil olur və bəzi hallarda istifadəçi ödənişlərinə təsir edir. Daha əvvəlki bir sübut xərcləri analizi, sübut istehsalının ZK layer-2 şəbəkələrində ödənişlərin 60%-dən 70%-ə qədərini təşkil etdiyini, L2Beat məlumatlarına istinad edərək qeyd edib.

Eyni analizin məlumatlarına görə, 4,000 tranzaksiyadan ibarət bir partiya üçün sübut istehsal etmək Nvidia A100-də iki ilə beş dəqiqə çəkə bilər və bulud hesablama xərcləri arasında 0.04 dollar ilə 0.17 dollar arasında dəyişir. Bu rəqəmlər sübut sistemindən, tranzaksiya partiyasından, avadanlıq konfiqurasiyasından və bulud tarifindən asılıdır.

Fan, zkML-i ən çox təsirə məruz qalan tətbiqlərdən biri olaraq qiymətləndirdi, çünki bu, AI iş yükünü sübut etmə xərcləri ilə birləşdirir ki, modelin düzgün işlədiyini göstərir. Özəl ödənişlər, on-chain oyunlar və digər istehlakçı məhsulları üçün, o dedi ki, iqtisadiyyatlar tez-tez sübut xərclərinin qəpiklə ölçülməsini tələb edir.

"Xərclər qəbul etməyə mane ola bilərmi? Bəli, kənarda," Fan dedi, əlavə edərək ki, özəl ödənişlər və oyunlar, iqtisadiyyatları artıq işləmədikdə, ilk növbədə təxirə salınacaq.

Xərc təzyiqi, eyni zamanda neçə qurumun sübutçuları işlədə biləcəyini də təsir edə bilər. Fan, ZK layer-2 şəbəkələrinin 90%-dən çoxunun kiçik bir sübut xidmətləri qrupuna güvəndiyini söylədi, baxmayaraq ki, bu qiymətləndirmə adlandırılmış bir məlumat dəstini tələb edir və Cysic-in qiymətləndirməsi kimi qəbul edilməlidir.

FPGA-lar və ZK ASIC-lər alternativ avadanlıq yolu təqdim edir

Cysic, yalnız GPU-lara güvənmək əvəzinə bir neçə arxa plan inkişaf etdirərək cavab verib. İctimai Venus anbarı GPU optimizasiyalarını, tam FPGA sürətləndirmə arxa planını və erkən ASIC-yönümlü tətbiqi ehtiva edir.

FPGA arxa planı Goldilocks sahə aritmetikası, NTT-lər, Poseidon2, Merkle ağacları, FRI və ifadə qiymətləndirməsi üçün kerneləri ehtiva edir. Kod AMD UltraScale+ və Versal cihazlarına yüksək bant genişliyi yaddaşı ilə hədəflənir və Apache 2.0 və MIT lisenziyaları altında mövcuddur.

ASIC-dən fərqli olaraq, FPGA istehsaldan sonra proqramlaşdırıla bilər, bu da inkişaf etdiricilərə dövrələri yeniləməyə və yeni sübut sistemləri ilə eksperiment etməyə imkan tanıyır. Xüsusi ASIC-lər daha az çeviklik təqdim edir, lakin sabit ZK əməliyyatları üçün dizayn edildikdə daha yaxşı performans və enerji səmərəliliyi təqdim edə bilər.

Fan, FPGA-lara və ZK ASIC-lərə keçidin əsas AI hardware növbəsindən sübut operatorlarını çıxaracağını söylədi. Xüsusi cihazlar ZK iş yükünün ehtiyacı olmayan GPU funksiyaları üçün ödəniş etməməyə də imkan tanıyır, baxmayaraq ki, inkişaf xərcləri və məhdud istehsal həcmləri hələ də maneələrdir.

Proqram təminatını açmaq Cysic-in yanaşmasının bir hissəsidir. Şirkət, mobil hardware-dən peşəkar klasterlərə qədər olan cihazların iş qəbul edə biləcəyi qlobal sübut bazarını da təklif edir, GPU və FPGA arxa planları bir çip sinifinə asılılığı azaltmağa kömək edir.

Kriptoloji təsdiqi, bir təsdiqçinin hansı operator tərəfindən yaradılmasından asılı olmayaraq, etibarsız bir sübutu rədd etməsi deməkdir, Fan dedi. Buna görə də iştirakın açılması sübut sisteminin sağlamlığını dəyişdirmir, lakin audit edilməmiş və ya tamamlanmamış kodda tətbiq səhvlərinə məruz qalmağı artırır.

Cysic, Venus anbarında layihənin aktiv inkişafda qaldığını bildirir. Fan, tətbiq riskini məhdudlaşdırmaq üçün auditlərin və redundant çoxsaylı sübut konfiqurasiyalarının lazım olacağını söylədi.

Draft EIP-8025, Ethereum təsdiqçilərinə icra sübutları yaratmağa və ya təsdiq etməyə imkan verəcək, lakin ənənəvi blokun yenidən icrası yerində qalır. Təklif, sübut gossip kanalı və xarici sübut düyünləri təqdim edir, lakin cari versiyası sübutları yaradan və yayımlayan operatorlar üçün təşviq təqdim etmir.
Daha ətraflı: Solana Şirkəti SOL inflyasiyasını və ödəniş planlarını rədd edir.