Blok Zinciri'nin GPU'su: ZK Yardımcı İşlemcilerin Kapsamlı Analizi

İleri SeviyeJul 24, 2024
ZK eş işlemcisi, modüler kavramdan türetilen bir dış zincir hesaplama eklentisi olarak değerlendirilebilir. Görevi, geleneksel bilgisayarlarımızdaki GPU'ya benzer şekilde CPU için grafik hesaplama görevlerini paylaşmaktır, yani belirli senaryolarda hesaplama görevlerini paylaşan bir işlemcidir. Bu tasarım mimarisi altında, genel zincirlerin iyi olmadığı ağır veri ve karmaşık hesaplama mantığı görevleri, ZK eş işlemcisi aracılığıyla hesaplanabilir. Zincir sadece döndürülen hesaplama sonuçlarını alması gerekmekte ve doğruluğu ZK kanıt garantileri tarafından belirlenmekte ve sonunda güvenilir dış zincir hesaplamalarını sağlamaktadır.
Blok Zinciri'nin GPU'su: ZK Yardımcı İşlemcilerin Kapsamlı Analizi

Özetle

  • zk işlemcileri, modüler kavramdan türetilmiş off-chain hesaplama eklentileri olarak görülebilir, geleneksel bilgisayarlardaki gpu'lar gibi, cpu'dan grafik hesaplama görevlerini dışa aktarıp belirli hesaplama görevlerini yönetir.
  • Karmaşık hesaplamaları ve ağır verileri işlemek için kullanılabilirler, gaz ücretlerini azaltır ve akıllı kontrat işlevselliğini genişletirler.
  • Rolluplara zıt olarak, zk işlemciler durumsuzdur, zincirler arasında kullanılabilir ve karmaşık hesaplama senaryoları için uygundur.
  • Zk yardımcı işlemcilerin geliştirilmesi zorlu bir süreçtir, yüksek performans maliyetleri ve standartlaştırma eksikliği vardır. Donanım maliyetleri de önemlidir. Bir yıl öncesine göre alan önemli ölçüde olgunlaştı ancak hala erken aşamalardadır.
  • Modüler çağ fraktal ölçeklemeye ilerledikçe, blok zinciri likidite kıtlığı, dağınık kullanıcılar, yenilik eksikliği ve zincirler arası etkileşim sorunları gibi sorunlarla karşı karşıya kalıyor, bu da dikey olarak ölçeklenmiş l1 zincirleriyle paradokslar yaratıyor. zk işlemcileri, mevcut ve ortaya çıkan uygulamalara destek sağlayarak bu zorlukların üstesinden gelmenin bir yolunu sunabilir ve blok zinciri alanına yeni anlatılar getirebilir.

i. modüler altyapının başka bir dalı: zk yardımcı işlemcileri

1.1 zk işlemcilerin genel bakışı

zk işlemci yardımcıları, modüler kavramdan türetilen ve geleneksel bilgisayarlarda gpu'ların cpu'ların grafiksel hesaplama görevlerini dışa aktarması gibi, belirli hesaplama görevlerini işleyen, zincirlerin ustalaşamadığı 'ağır veri' ve 'karmaşık hesaplama mantığı' gibi görevleri hesaplayabilen ve zincir sadece geri dönen hesaplama sonuçlarını alan güvenilir dış zincir hesaplama sonucuna ulaşarak, zk kanıtlarıyla doğruluğunu garanti eder.

Şu anda AI, SocialFi, DEX ve GameFi gibi popüler uygulamaların yüksek performans ve maliyet kontrolü için acil bir ihtiyacı var. Geleneksel çözümlerde, yüksek performans gerektiren bu "ağır uygulamalar" genellikle varlık zincir içi + zincir dışı uygulama modellerini tercih eder veya ayrı bir uygulama zinciri tasarlar. Bununla birlikte, her iki yaklaşımın da kendine özgü sorunları vardır: birincisinin bir "kara kutusu" vardır ve ikincisi yüksek geliştirme maliyetleri, orijinal zincir ekosisteminden kopma ve parçalanmış likidite ile karşı karşıyadır. Ek olarak, ana zincir sanal makinesi, bu tür uygulamaların geliştirilmesi ve çalıştırılması konusunda önemli sınırlamalar getirir (örneğin, uygulama katmanı standartlarının eksikliği, karmaşık geliştirme dilleri).

zk yardımcı işlemcileri bu sorunları çözmeyi amaçlar. Daha detaylı bir örnek vermek gerekirse, blok zincirini bir internete bağlanamayan bir terminal (örneğin bir telefon veya bilgisayar) olarak düşünebiliriz. Bu senaryoda, uniswap gibi nispeten basit uygulamaları tamamen blok zincirinde çalıştırabiliriz. Ancak chatgpt gibi daha karmaşık uygulamalar ortaya çıktığında, genel blok zincirinin performansı ve depolaması tamamen yetersiz kalacak ve gaz patlamalarına yol açacaktır. Web2 senaryosunda, chatgpt'yi çalıştırdığımızda, normal terminalimiz gpt-4o büyük dil modelini işleyemez; soruyu iletmek için openai'nin sunucularına bağlanmamız ve sunucunun sonucu hesaplaması ve çıkarsaması ardından cevabı doğrudan alabilmemiz gerekir. zk yardımcı işlemcileri, blok zincirinin uzak sunucuları gibidir. Farklı işlemci projeleri, projenin türüne bağlı olarak hafif tasarım farklılıklarına sahip olabilir, ancak temel mantık genel olarak benzer kalır — off-chain hesaplama + zk kanıtları veya doğrulama için depolama kanıtları.

Zero'nun bonsai dağıtımını örnek alarak, bu mimari çok açıktır. Proje, sıfırın kendi zkvm'sine sorunsuz entegre olur ve geliştiricilerin bonsai'yi bir eş işlemci olarak kullanmak için sadece iki basit adıma ihtiyacı vardır:

  • Uygulama mantığını ele almak için bir zkvm uygulaması yazın.
  • zkvm uygulamanızı çalıştırmak ve sonuçları işlemek için bonsai gerektiren bir solidity sözleşmesi yazın.

1.2 rollups farkları

yukarıdaki tanımlardan, rollup'ların ve zk eş işlemcilerinin çok fazla örtüşen uygulama mantığı ve hedeflere sahip olabileceği görünebilir. Bununla birlikte, rollup'lar, ana zincirin çok çekirdekli genişlemeleri gibi daha çoktur, ikisi arasındaki belirli farklar şunlardır:

1. ana amaç:

  • rollups: blok zinciri işlem verimliliğini artırır ve işlem ücretlerini azaltır.
  • zk yardımcı işlemciler: daha karmaşık mantık ve daha büyük veri hacimlerini işlemek için akıllı sözleşme hesaplama yeteneklerini genişletin.

2. işletme prensibi:

  • rollups: Blok Zinciri üzerindeki işlemleri toplar ve bunları ana zincire sahtecilik kanıtları veya zk kanıtları ile sunar.
  • zk işlemcileri: zk rollup'larına benzer, ancak farklı uygulama senaryoları için tasarlanmıştır. Zk rollup'ları, zincir özgü kısıtlamalar ve kurallar nedeniyle işlemci görevleri için uygun değildir.

3. durum yönetimi:

  • Rollup'lar: durumlarını korurlar ve periyodik olarak ana zincirle senkronize olurlar.
  • zk yardımcı işlemciler: durumsuz, her hesaplama durumsuzdur.

4. uygulama senaryosu:

  • Rollup'lar: öncelikle son kullanıcılar için hizmet verir, yüksek frekanslı işlemler için uygundur.
  • zk işlemci birimleri: başlıca işletmelere hizmet verir, gelişmiş finansal modeller ve büyük veri analizi gibi karmaşık hesaplamalar gerektiren senaryolar için uygundur.

5. ana zincirle ilişkisi:

  • Rollup'lar: genellikle belirli blok zinciri ağlarına odaklanan ana zincirin uzantıları olarak görülür.
  • zk yardımcı işlemciler: belirli ana zincirlere sınırlı olmayan, birden fazla blok zincirine hizmet edebilir ve aynı zamanda rollups'lara da hizmet edebilir.

Bu nedenle, ikisi birbirini dışlamaz, tamamlayıcıdır. Bir uygulama zinciri olarak bir rollup olsa bile, zk yardımcı işlemciler hizmet sağlayabilir.

1.3 kullanım durumları

teorik olarak, zk yardımcı işlemcilerinin uygulama kapsamı geniştir, çeşitli blok zinciri sektörlerindeki projeleri kapsar. zk yardımcı işlemcileri, dapp'lerin merkezi web2 uygulamalarına daha yakın işlevselliklere sahip olmalarını sağlar. İşte çevrimiçi kaynaklardan toplanmış bazı örnek kullanım durumları:

veri odaklı dapp geliştirme:

zk yardımcı işlemciler, ek güven varsayımları olmadan karmaşık hesaplamalar için tam blok zinciri geçmiş verilerini kullanan veriye dayalı dapp'ler oluşturmak için geliştiricilere imkan tanır. bu, dapp geliştirme için eşi benzeri görülmemiş olanaklar sunar; örneğin:

  • gelişmiş veri analizi: dune analytics'ye benzer şekilde zincir üzerinde veri analizi işlevleri.
  • karmaşık iş mantığı: geleneksel merkezi uygulamalarda bulunan karmaşık algoritmalar ve iş mantığının uygulanması.
  • çapraz zincir uygulamaları: çoklu zincir verilerine dayalı çapraz zincir dapps inşa etmek.

dexler için vip trader programı:

Tipik bir uygulama senaryosu, borsalardaki işlem hacmine dayalı bir ücret indirim programının uygulanmasıdır, bu da "vip tüccar sadakat programı" olarak bilinir. Bu tür programlar merkezi borsalarda yaygın olsa da merkezi olmayan borsalarda nadirdir.

zk yardımcı işlemcileri ile, dex'ler şunları yapabilir:

  • Kullanıcıların geçmiş işlem hacimlerini takip etmek.
  • kullanıcıların vip seviyelerini hesapla.
  • İşlem ücretlerini VIP seviyelerine göre dinamik olarak ayarlayın. Bu işlevsellik, DEX'lerin kullanıcıyı elde tutmayı iyileştirmesine, likiditeyi artırmasına ve nihayetinde geliri artırmasına yardımcı olabilir.

Akıllı sözleşmeler için veri artırma:

zk işlemcileri güçlü bir ara yazılım gibi hareket edebilir, akıllı sözleşmeler için veri yakalama, hesaplama ve doğrulama hizmetleri sağlayarak maliyetleri azaltır ve verimliliği artırır. bu, akıllı sözleşmelerin şunları yapmasını sağlar:

  • büyük miktarda tarihsel veriye erişmek ve işlemek.
  • karmaşık off-chain hesaplamaları gerçekleştirin.
  • daha gelişmiş iş mantığını uygulayın.

çapraz zincir köprü teknolojisi:

Herodotus ve Lagrange gibi bazı zk tabanlı çapraz zincir köprü teknolojileri, zk işlemcilerinin uygulamaları olarak da düşünülebilir. Bu teknolojiler öncelikle veri çıkarma ve doğrulama üzerine odaklanmaktadır ve çapraz zincir iletişimi için güvenilir bir veri temeli sağlamaktadır.

1.4 zk yardımcı işlemciler mükemmel değil

çok sayıda avantaja rağmen, mevcut aşamada zk eş işlemciler mükemmel olmaktan uzaktır ve çeşitli sorunlarla karşılaşır. Aşağıdaki noktaları özetledim:

  1. geliştirme: zk kavramı, birçok geliştirici için anlamak zor olabilir. Geliştirme, ilgili kriptografik bilgi ve belirli geliştirme dilleri ve araçlar konusunda uzmanlık gerektirir.
  2. Yüksek donanım maliyetleri: zincir dışı hesaplamalar için kullanılan zk donanımı projenin tamamen üstlenmesi gerekiyor. zk donanımı pahalı ve hızla gelişiyor, bu da herhangi bir zamanda eskimiş hale gelme olasılığına sahip. Bu, kapalı bir ticari döngü oluşturup oluşturamayacağı bir düşünceye değer bir sorudur.
  3. Kalabalık bir alan: teknik olarak, uygulamada çok fazla fark olmayacak ve sonuç, birkaç önde gelen projenin öne çıktığı ve diğerlerinin büyük ölçüde göz ardı edildiği mevcut katman2 manzarasına benzer olabilir.
  4. zk devreleri: zk yardımcı işlemcilerde off-chain hesaplamaları yürütmek geleneksel bilgisayar programlarını zk devrelerine dönüştürmeyi gerektirir. Her uygulama için özel devreler yazmak zahmetli olup, devreleri yazmak için sanal makinelerde zkvms kullanmak, farklı hesaplama modellerinden kaynaklanan önemli hesaplama üstünlüğü oluşturur.

ii. kitle benimseme için kritik bir parça

(bu bölüm oldukça subjektiftir ve sadece yazarın kişisel görüşlerini temsil eder.)

bu döngü öncelikle modüler altyapı tarafından yönlendirilmektedir. eğer modülerleştirme doğru bir yol ise, bu döngü kitle benimsemesine doğru atılmış son adım olabilir. Ancak, mevcut aşamada hepimiz ortak bir duygu paylaşıyoruz: neden sadece bazı eski uygulamalar yeniden paketlenmiş olarak görüyoruz, neden uygulamalardan daha fazla zincir var ve neden bir yeni jeton standardı olan yazıtlar bu döngünün en büyük yeniliği olarak övülüyor?

Yeni anlatıların olmamasının temel nedeni, mevcut modüler altyapının süper uygulamaları desteklemek için yetersiz olması, özellikle bazı ön koşullardan (zincirler arası birlikte çalışabilirlik, kullanıcı engelleri vb.) yoksun olması ve blok zinciri tarihindeki en önemli parçalanmaya yol açmasıdır. Modüler çağın çekirdeği olan rollup'lar gerçekten de işleri hızlandırdı, ancak aynı zamanda likidite parçalanması, kullanıcı dağılımı ve zincirin veya sanal makinenin kendisinin uygulama inovasyonuna getirdiği sınırlamalar gibi çok sayıda sorunu da beraberinde getirdi. Ek olarak, modülerleştirmede bir başka "kilit oyuncu" olan Celestia, DA'nın Ethereum'da olması gerekmemesine öncülük ederek parçalanmayı daha da şiddetlendirdi. İster ideolojiden ister DA maliyetlerinden kaynaklansın, sonuç olarak BTC DA olmaya zorlanıyor ve diğer halka açık zincirler daha uygun maliyetli DA çözümleri sunmayı hedefliyor. Mevcut durum, her halka açık zincirin düzinelerce olmasa da en az bir Layer2 projesine sahip olmasıdır. Buna ek olarak, tüm altyapı ve ekosistem projeleri, Blur'un öncülük ettiği token stake etme stratejisini derinlemesine öğrendi ve kullanıcılardan proje içinde token stake etmelerini talep etti. Balinalara üç şekilde (faiz, ETH veya BTC takdiri ve ücretsiz tokenler) fayda sağlayan bu mod, zincir üstü likiditeyi daha da sıkıştırır.

Geçmişteki boğa piyasalarında, fonlar yalnızca birkaç ila bir düzine halka açık zincir içinde akıyordu, hatta esas olarak Ethereum'a odaklanıyordu. Şimdi, fonlar yüzlerce halka açık zincire dağılmış durumda ve binlerce benzer projede stake ediliyor, bu da zincir içi faaliyetlerde düşüşe yol açıyor. Ethereum bile zincir üstü aktiviteden yoksundur. Sonuç olarak, Doğulu oyuncular BTC ekosisteminde PvP'ye katılırken, Batılı oyuncular bunu zorunluluktan Solana'da yapıyor.

Bu nedenle, şu anki odak noktam tüm zincirlerde toplu likiditeyi nasıl teşvik edeceğim ve yeni oyun tarzlarının ve süper uygulamaların ortaya çıkmasını nasıl destekleyeceğimdir. Çapraz zincir uyumluluk sektöründe, geleneksel önde gelen projeler sürekli olarak düşük performans göstermiştir ve hala geleneksel çapraz zincir köprülerini hatırlatmaktadır. Daha önceki raporlarda tartıştığımız yeni uyumluluk çözümleri öncelikle birden fazla zinciri tek bir zincire toplamayı amaçlamaktadır. Örnekler arasında agglayer, superchain, elastik zincir, jam vb. bulunmaktadır, ancak burada detaylandırılmayacaktır. Özetle, çapraz zincir toplama modüler altyapıda zorunlu bir engeldir, ancak aşılması uzun zaman alacaktır.

ZK yardımcı işlemcileri, mevcut aşamada kritik bir parçadır. Layer2'yi güçlendirebilir ve layer1'i tamamlayabilirler. Zincirler arası ve çıkmaz sorunlarının geçici olarak üstesinden gelmenin, belirli katman1'lerde veya katman2'lerde kapsamlı likiditeye sahip bazı güncel dönem uygulamalarını gerçekleştirmemize izin vermenin bir yolu var mı? Sonuçta, blok zinciri uygulamaları yeni anlatılardan yoksundur. Ayrıca, çeşitli oyun tarzları, gaz kontrolü, büyük ölçekli uygulamalar, zincirler arası yetenekler sağlamak ve entegre yardımcı işlemci çözümleri aracılığıyla kullanıcı engellerini azaltmak, merkezileştirmeye güvenmekten daha ideal olabilir.

iii. proje genel bakışı

zk işlemci alanı 2023 civarında ortaya çıktı ve bu aşamada oldukça olgun hale geldi. Messari'nin sınıflandırmasına göre, bu alan şu anda 18 projeyle üç ana dikey alanı (genel hesaplama, etkileşimlilik ve cross-chain, ai ve makine eğitimi) kapsıyor. Bu projelerin çoğu önde gelen vcs tarafından desteklenmektedir. Aşağıda, farklı dikey alanlardan birkaç proje tanımlıyoruz.

3.1 giza

Giza, Starknet üzerinde dağıtılan ve resmi olarak Starkware tarafından desteklenen bir ZKML (sıfır bilgi makine öğrenimi) protokolüdür. Yapay zeka modellerinin blok zinciri akıllı sözleşmelerinde doğrulanabilir şekilde kullanılmasını sağlamaya odaklanır. Geliştiriciler, yapay zeka modellerini Giza ağında dağıtabilir, bu da daha sonra sıfır bilgi kanıtları aracılığıyla model çıkarımının doğruluğunu doğrular ve sonuçları akıllı sözleşmelere güvenilmez bir şekilde sağlar. Bu, geliştiricilerin blok zincirinin ademi merkeziyetçiliğini ve doğrulanabilirliğini korurken yapay zeka yeteneklerini birleştiren zincir üstü uygulamalar oluşturmasına olanak tanır.

giza iş akışını aşağıdaki üç adımda tamamlar:

  • model dönüşümü: giza, sıkça kullanılan onnx formatındaki yapay zeka modellerini sıfır bilgi kanıtı sisteminde çalıştırılabilen bir formata dönüştürür. Bu, geliştiricilere alışık oldukları araçları kullanarak modelleri eğitmelerine ve ardından bunları giza ağına dağıtmalarına olanak tanır.
  • off-chain çıkarım: bir akıllı sözleşme yapay zeka modeli çıkarımı istediğinde, giza gerçek hesaplamayı blok zinciri üzerinde doğrudan çalıştırmanın yüksek maliyetlerinden kaçınmak için zincir dışında gerçekleştirir.
  • zero-bilgi doğrulama: giza, her model çıkarımı için zk kanıtları oluşturur ve hesaplamanın doğru bir şekilde gerçekleştirildiğini kanıtlar. Bu kanıtlar zincir üzerinde doğrulanır, böylelikle zincir üzerinde tüm hesaplama sürecini tekrarlamadan çıkarım sonuçlarının doğruluğunu sağlar.

Giza yaklaşımı, merkezi olmayan oracle'lar veya güvenilir yürütme ortamlarına güvenmeksizin AI modellerinin akıllı sözleşmeler için güvenilir girdi kaynakları olarak hizmet vermesini sağlar. Bu, AI tabanlı varlık yönetimi, dolandırıcılık tespiti ve dinamik fiyatlandırma gibi blok zinciri uygulamaları için yeni olanaklar açar. Bu, mevcut web3 x AI alanındaki az sayıdaki projelerden biridir ve AI alanındaki işlemci yardımcılarına akıllıca bir kullanımı ve mantıksal bir kapalı döngüsü vardır.

3.2 risk sıfır

risc zero, çoklu üst vcs tarafından desteklenen önde gelen bir yardımcı işlemci projesidir. Herhangi bir hesaplamanın blok zinciri akıllı sözleşmelerinde doğrulanabilir bir şekilde yürütülmesine odaklanır. Geliştiriciler, programları rust dilinde yazabilir ve bunları risc zero ağına dağıtabilir. Risc zero daha sonra programın yürütülmesinin doğruluğunu sıfır bilgi kanıtları aracılığıyla doğrular ve sonuçları blok zinciri akıllı sözleşmelerine güvensiz bir şekilde sağlar. Bu, geliştiricilerin blok zincirinin merkezsizliğini ve doğrulanabilirliğini korurken karmaşık on-zincir uygulamalar inşa etmelerine olanak tanır.

daha önce dağıtım ve iş akışı hakkında kısaca bahsettik. burada iki temel bileşeni detaylandırıyoruz:

  • Bonsai: Bonsai, RISC Zero içindeki yardımcı işlemci bileşenidir ve RISC-V komut seti mimarisinin zKVM'sine sorunsuz bir şekilde entegre edilmiştir. Geliştiricilerin yüksek performanslı sıfır bilgi kanıtlarını saniyeler içinde Ethereum, L1 blok zincirleri, Cosmos uygulama zincirleri, L2 toplamaları ve DApp'lere hızlı bir şekilde entegre etmelerine olanak tanır. Doğrudan akıllı sözleşme çağrıları, doğrulanabilir zincir dışı hesaplama, zincirler arası birlikte çalışabilirlik ve genel toplama işlevselliği sunarken, tümü merkezi olmayan öncelikli dağıtılmış bir mimariyi benimser. Özyinelemeli ispatları, özel devre derleyicilerini, durum devamlılığını ve sürekli gelişen ispat algoritmalarını birleştirerek, herkesin çeşitli uygulamalar için yüksek performanslı sıfır bilgi ispatları oluşturmasını sağlar.
  • zkvm: zkvm, gerçek bir gömülü risc-v mikro işlemciyle benzer şekilde çalışan doğrulanabilir bir bilgisayardır. Risc-v komut kümesi mimarisine dayanarak, geliştiricilere rust, c++, solidity, go vb. gibi yüksek seviyeli programlama dillerinde program yazmalarını sağlar ve sıfır bilgi kanıtları oluşturabilme yeteneğine sahiptir. Popüler rust kütüphanelerinin %70'ten fazlasını destekleyerek, genel hesaplama ve sıfır bilgi kanıtlarını sorunsuz bir şekilde birleştirir; böylece, hesaplama sürecinin gizliliğini ve sonuçların doğrulanabilirliğini korurken, herhangi bir karmaşıklıktaki hesaplamalar için verimli sıfır bilgi kanıtları oluşturabilir. zkvm, stark ve snark gibi zk teknolojilerini kullanır ve rekürsif kanıtlayıcı ve stark-to-snark kanıtlayıcı gibi bileşenler aracılığıyla verimli kanıt oluşturma ve doğrulama sağlar, böylece off-chain yürütme ve on-chain doğrulama destekler.

risc zero, birden fazla eth katman2 çözümü ile entegre olmuş ve bonsai için çeşitli kullanım örnekleri sergilemiştir. İlginç bir örnek bonsai pay'dir. Bu gösterimde risc zero'nun zkvm'si ve bonsai proof servisi kullanılarak, kullanıcıların google hesaplarını kullanarak ethereum'da eth ve token göndermesine veya çekmesine izin verilir. Bu, risc zero'nun on-chain uygulamaları oauth2.0 (Google gibi büyük kimlik sağlayıcıların kullandığı standart) ile sorunsuz bir şekilde entegre edebildiğini gösterir ve geleneksel web2 uygulamaları aracılığıyla web3 kullanıcı engelini azaltan bir kullanım örneği sunar. Diğer örnekler dao'ya dayanan uygulamaları içerir.

3.3 =nil;

=nil; mina, polychain, starkware ve blockchain capital gibi ünlü kuruluşlar tarafından desteklenen bir yatırım projesidir. Özellikle mina ve starkware gibi zk teknolojisi öncülerinin destekçiler arasında olması, projeye yüksek teknik tanınma olduğunu göstermektedir. =nil;, ayrıca “Bilgi İşlem Gücü Piyasası” başlıklı raporumuzda da bahsedildi ve bu rapor öncelikle bir merkezi olmayan ispat üretim piyasasına odaklanmaktadır. Ayrıca, =nil; adında başka bir alt ürünü daha vardır, bu da zkllvm olarak adlandırılır.

zkllvm, =nil tarafından geliştirilen bir devre derleyicisidir; vakfı, c++ ve pas gibi yaygın programlama dillerinde yazılan uygulama kodunu, özel bir sıfır bilgi alanı özel dilleri (dsl) gerektirmeden etkili, ispatlanabilir devrelere ethereum için otomatik olarak dönüştürür. bu, geliştirme sürecini önemli ölçüde basitleştirir, giriş engelini düşürür ve zkvm'den kaçınarak performansı artırır. Kanıt oluşturmayı hızlandırmak için donanım hızlandırmasını destekler, bu da rollup'lar, zincirler arası köprüler, oraklar, makine öğrenimi ve oyun gibi çeşitli zk uygulama senaryoları için uygundur. =nil; vakfının kanıt pazarıyla sıkı bir şekilde entegre edilmiştir ve devre oluşturmadan kanıt oluşturmaya kadar geliştiricilere uçtan uca destek sağlar.

3.4 brevis

brevis, celer ağı'nın bir alt projesidir ve blockchain için akıllı sıfır bilgi (zk) yardımcı işlemcisi olarak çalışır, dapps'lerin tamamen güvensiz bir şekilde birden fazla blok zinciri üzerinde her türlü veriye erişmesini, hesaplama yapmasını ve kullanmasını sağlar. Diğer yardımcı işlemciler gibi, brevis'in veri odaklı defi, zkbridges, zincir üzerinde kullanıcı edinimi, zkdid ve sosyal hesap soyutlama gibi geniş bir kullanım alanı vardır.

brevis mimarisi üç ana bileşenden oluşur:

  • zkfabric: zkfabric, brevis mimarisinin röle bileşenidir. Ana görevi, tüm bağlı blok zincirlerinden blok başlık bilgilerini toplamak ve eşitlemek, ardından her toplanan blok başlığı için zk hafif istemci devresi aracılığıyla uzlaşma kanıtları oluşturmaktır.
  • zkquerynet: zkquerynet, blok zincirindeki akıllı sözleşmelerden veri sorgularını doğrudan kabul edebilen ve zk sorgu motoru devresi aracılığıyla sorgu sonuçlarını ve ilgili zk sorgu kanıtlarını üretebilen açık bir zk sorgu motoru pazarıdır. Bu motorlar, çok özel (örneğin, belirli bir süre içinde bir dex'in ticaret hacmini hesaplama) ile çok genel veri dizinleme soyutlamaları ve çeşitli uygulama ihtiyaçlarını karşılamak için gelişmiş sorgu dillerine kadar uzanır.
  • zkaggregatorrollup: zkfabric ve zkquerynet için birleştirme ve depolama katmanı olarak hizmet verir. Bu iki bileşenin kanıtlarını doğrular, kanıtlanmış verileri depolar ve zk kanıtlarının durum köklerini bağlı tüm blok zincirlerine gönderir, böylece dapp'lerin zincir üzerindeki akıllı sözleşme iş mantığında kanıtlanmış sorgu sonuçlarına doğrudan erişim sağlamasına olanak tanır.

Bu modüler mimari ile, brevis tüm desteklenen genel blok zinciri akıllı sözleşmelerine güvenilir, verimli ve esnek bir erişim yöntemi sağlayabilir. Uni'nin v4 sürümü de bu projeyi benimsemekte ve kancalarla (çeşitli kullanıcı özel mantığını entegre etmek için bir sistem) entegre ederek, tarihsel blok zinciri verilerini okumayı kolaylaştırır, gaz ücretlerini azaltır ve decentralizasyonu sağlar. Bu, bir zk işlemcisinin bir dex'i desteklemesi için bir örnektir.

3.5 lagrange

Lagrange, 1kx ve Founders Fund tarafından yönetilen bir etkileşimli zk yardımcı işlem protokolüdür, esas olarak güvenilmez çapraz zincir etkileşimini sağlamayı ve büyük ölçekli veri karmaşık hesaplama gerektiren uygulamaları desteklemeyi hedeflemektedir. Geleneksel düğüm köprülerinin aksine, Lagrange'ın çapraz zincir etkileşimi, yenilikçi zk büyük veri ve durum komitesi mekanizmaları aracılığıyla başarıyla gerçekleştirilir.

  • ZK Büyük Veri: Bu, zincirler arası verilerin işlenmesinden ve doğrulanmasından ve ilgili ZK kanıtlarının oluşturulmasından sorumlu olan LAGRANGE'ın temel ürünüdür. Bu bileşen, karmaşık zincir dışı hesaplamaları yürütmek ve sıfır bilgi kanıtları oluşturmak için son derece paralel bir ZK yardımcı işlemcisi, sınırsız depolama yuvasını ve akıllı sözleşmelerden doğrudan SQL sorgularını destekleyen özel olarak tasarlanmış doğrulanabilir bir veritabanı, kanıt süresini azaltmak için yalnızca değiştirilen veri noktalarını güncelleyen dinamik bir güncelleme mekanizması ve geliştiricilerin karmaşık yazmadan geçmiş verilere erişmek için doğrudan akıllı sözleşmelerden SQL sorgularını kullanmalarına olanak tanıyan entegre bir işlev içerir Devre. Birlikte, büyük ölçekli bir blok zinciri veri işleme ve doğrulama sistemi oluştururlar.
  • Devlet Komitesi: Bu bileşen, her biri teminat olarak ETH stake eden birden fazla bağımsız düğümden oluşan merkezi olmayan bir doğrulama ağıdır. Bu düğümler, belirli optimize edilmiş toplamaların durumunu özel olarak doğrulayan ZK Light istemcileri olarak hareket eder. Devlet Komitesi, EigenLayer'ın AV'leri ile entegre olarak, güvenliği artırmak için yeniden stake etme mekanizmasından yararlanır ve süper doğrusal güvenlik büyümesi elde etmek için sınırsız sayıda katılımcı düğümü destekler. Ayrıca, kullanıcıların meydan okuma penceresini beklemeden zincirler arası işlemler gerçekleştirmesine olanak tanıyan ve kullanıcı deneyimini büyük ölçüde iyileştiren bir "hızlı mod" sağlar. Bu iki teknolojinin birleşimi, Lagrange'ın büyük ölçekli verileri verimli bir şekilde işlemesine, karmaşık hesaplamalar gerçekleştirmesine ve sonuçları farklı blok zincirleri arasında güvenli bir şekilde iletmesine ve doğrulamasına olanak tanıyarak karmaşık zincirler arası uygulamaların geliştirilmesini destekler.

Lagrange, Eigenlayer, Mantle, Base, Frax, Polymer, Layerzero, Omni, Altlayer gibi birçok platformla entegre oldu ve Ethereum ekosistemi içindeki ilk zk AVS olacak.

ybb hakkında

ybb, tüm internet kullanıcıları için daha iyi bir çevrimiçi habitat yaratma vizyonuna sahip web3 tanımlayan projeleri belirlemeye adanmış bir web3 fonudur. 2013 yılından beri bu sektörde aktif olarak yer alan bir grup blok zinciri inananı tarafından kurulan ybb, her zaman erken aşama projelere 0'dan 1'e gelişmelerinde yardımcı olmaktan mutluluk duyar. İnovasyonu, özgüveni yüksek tutkuyu ve kullanıcı odaklı ürünleri değerlendirirken, kriptoların ve blok zinciri uygulamalarının potansiyelini de kabul ediyor.

Web sitesi | Twi: @ybbcapital

referanslar:

1.abcde: zk işlemcisi ve geleceğine derinlemesine bir dalışhttps://medium.com/ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946

2.“zk” sizin ihtiyacınız olan her şeydir:https://medium.com/gate_ventures/zk-is-all-you-need-238886062c52

3.risc sıfır:https://www.risczero.com/bonsai

4. Lagrange:https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis

5.axiomblog:https://blog.axiom.xyz/

6. Azot hızlandırması! ZK işlemcisi akıllı sözleşme veri engellerini nasıl kırar:https://foresightnews.pro/makale-detay/48239

dikkat:

  1. bu makale [den alıntılanmıştırorta], orijinal başlığı 'blok zinciri gpu'su: zk yardımcı işlemcilerin kapsamlı analizi' olan bu makale, tüm telif hakları orijinal yazarı [ybb capital araştırmacısı zeke]'ye aittir. Bu yeniden basım konusunda itirazınız varsa lütfen iletişime geçin Gate öğrenekip, ve bunu hızlı bir şekilde ele alacaklar.

  2. sorumluluk reddi: bu makalede ifade edilen görüşler yalnızca yazarın görüşleridir ve herhangi bir yatırım tavsiyesi teşkil etmez.

  3. Makalenin çevirileri diğer dillerde Gate öğrenme ekibi tarafından yapılmaktadır. Belirtilmedikçe, çevrilen makalelerin kopyalanması, dağıtılması veya çalınması yasaktır.

Blok Zinciri'nin GPU'su: ZK Yardımcı İşlemcilerin Kapsamlı Analizi

İleri SeviyeJul 24, 2024
ZK eş işlemcisi, modüler kavramdan türetilen bir dış zincir hesaplama eklentisi olarak değerlendirilebilir. Görevi, geleneksel bilgisayarlarımızdaki GPU'ya benzer şekilde CPU için grafik hesaplama görevlerini paylaşmaktır, yani belirli senaryolarda hesaplama görevlerini paylaşan bir işlemcidir. Bu tasarım mimarisi altında, genel zincirlerin iyi olmadığı ağır veri ve karmaşık hesaplama mantığı görevleri, ZK eş işlemcisi aracılığıyla hesaplanabilir. Zincir sadece döndürülen hesaplama sonuçlarını alması gerekmekte ve doğruluğu ZK kanıt garantileri tarafından belirlenmekte ve sonunda güvenilir dış zincir hesaplamalarını sağlamaktadır.
Blok Zinciri'nin GPU'su: ZK Yardımcı İşlemcilerin Kapsamlı Analizi

Özetle

  • zk işlemcileri, modüler kavramdan türetilmiş off-chain hesaplama eklentileri olarak görülebilir, geleneksel bilgisayarlardaki gpu'lar gibi, cpu'dan grafik hesaplama görevlerini dışa aktarıp belirli hesaplama görevlerini yönetir.
  • Karmaşık hesaplamaları ve ağır verileri işlemek için kullanılabilirler, gaz ücretlerini azaltır ve akıllı kontrat işlevselliğini genişletirler.
  • Rolluplara zıt olarak, zk işlemciler durumsuzdur, zincirler arasında kullanılabilir ve karmaşık hesaplama senaryoları için uygundur.
  • Zk yardımcı işlemcilerin geliştirilmesi zorlu bir süreçtir, yüksek performans maliyetleri ve standartlaştırma eksikliği vardır. Donanım maliyetleri de önemlidir. Bir yıl öncesine göre alan önemli ölçüde olgunlaştı ancak hala erken aşamalardadır.
  • Modüler çağ fraktal ölçeklemeye ilerledikçe, blok zinciri likidite kıtlığı, dağınık kullanıcılar, yenilik eksikliği ve zincirler arası etkileşim sorunları gibi sorunlarla karşı karşıya kalıyor, bu da dikey olarak ölçeklenmiş l1 zincirleriyle paradokslar yaratıyor. zk işlemcileri, mevcut ve ortaya çıkan uygulamalara destek sağlayarak bu zorlukların üstesinden gelmenin bir yolunu sunabilir ve blok zinciri alanına yeni anlatılar getirebilir.

i. modüler altyapının başka bir dalı: zk yardımcı işlemcileri

1.1 zk işlemcilerin genel bakışı

zk işlemci yardımcıları, modüler kavramdan türetilen ve geleneksel bilgisayarlarda gpu'ların cpu'ların grafiksel hesaplama görevlerini dışa aktarması gibi, belirli hesaplama görevlerini işleyen, zincirlerin ustalaşamadığı 'ağır veri' ve 'karmaşık hesaplama mantığı' gibi görevleri hesaplayabilen ve zincir sadece geri dönen hesaplama sonuçlarını alan güvenilir dış zincir hesaplama sonucuna ulaşarak, zk kanıtlarıyla doğruluğunu garanti eder.

Şu anda AI, SocialFi, DEX ve GameFi gibi popüler uygulamaların yüksek performans ve maliyet kontrolü için acil bir ihtiyacı var. Geleneksel çözümlerde, yüksek performans gerektiren bu "ağır uygulamalar" genellikle varlık zincir içi + zincir dışı uygulama modellerini tercih eder veya ayrı bir uygulama zinciri tasarlar. Bununla birlikte, her iki yaklaşımın da kendine özgü sorunları vardır: birincisinin bir "kara kutusu" vardır ve ikincisi yüksek geliştirme maliyetleri, orijinal zincir ekosisteminden kopma ve parçalanmış likidite ile karşı karşıyadır. Ek olarak, ana zincir sanal makinesi, bu tür uygulamaların geliştirilmesi ve çalıştırılması konusunda önemli sınırlamalar getirir (örneğin, uygulama katmanı standartlarının eksikliği, karmaşık geliştirme dilleri).

zk yardımcı işlemcileri bu sorunları çözmeyi amaçlar. Daha detaylı bir örnek vermek gerekirse, blok zincirini bir internete bağlanamayan bir terminal (örneğin bir telefon veya bilgisayar) olarak düşünebiliriz. Bu senaryoda, uniswap gibi nispeten basit uygulamaları tamamen blok zincirinde çalıştırabiliriz. Ancak chatgpt gibi daha karmaşık uygulamalar ortaya çıktığında, genel blok zincirinin performansı ve depolaması tamamen yetersiz kalacak ve gaz patlamalarına yol açacaktır. Web2 senaryosunda, chatgpt'yi çalıştırdığımızda, normal terminalimiz gpt-4o büyük dil modelini işleyemez; soruyu iletmek için openai'nin sunucularına bağlanmamız ve sunucunun sonucu hesaplaması ve çıkarsaması ardından cevabı doğrudan alabilmemiz gerekir. zk yardımcı işlemcileri, blok zincirinin uzak sunucuları gibidir. Farklı işlemci projeleri, projenin türüne bağlı olarak hafif tasarım farklılıklarına sahip olabilir, ancak temel mantık genel olarak benzer kalır — off-chain hesaplama + zk kanıtları veya doğrulama için depolama kanıtları.

Zero'nun bonsai dağıtımını örnek alarak, bu mimari çok açıktır. Proje, sıfırın kendi zkvm'sine sorunsuz entegre olur ve geliştiricilerin bonsai'yi bir eş işlemci olarak kullanmak için sadece iki basit adıma ihtiyacı vardır:

  • Uygulama mantığını ele almak için bir zkvm uygulaması yazın.
  • zkvm uygulamanızı çalıştırmak ve sonuçları işlemek için bonsai gerektiren bir solidity sözleşmesi yazın.

1.2 rollups farkları

yukarıdaki tanımlardan, rollup'ların ve zk eş işlemcilerinin çok fazla örtüşen uygulama mantığı ve hedeflere sahip olabileceği görünebilir. Bununla birlikte, rollup'lar, ana zincirin çok çekirdekli genişlemeleri gibi daha çoktur, ikisi arasındaki belirli farklar şunlardır:

1. ana amaç:

  • rollups: blok zinciri işlem verimliliğini artırır ve işlem ücretlerini azaltır.
  • zk yardımcı işlemciler: daha karmaşık mantık ve daha büyük veri hacimlerini işlemek için akıllı sözleşme hesaplama yeteneklerini genişletin.

2. işletme prensibi:

  • rollups: Blok Zinciri üzerindeki işlemleri toplar ve bunları ana zincire sahtecilik kanıtları veya zk kanıtları ile sunar.
  • zk işlemcileri: zk rollup'larına benzer, ancak farklı uygulama senaryoları için tasarlanmıştır. Zk rollup'ları, zincir özgü kısıtlamalar ve kurallar nedeniyle işlemci görevleri için uygun değildir.

3. durum yönetimi:

  • Rollup'lar: durumlarını korurlar ve periyodik olarak ana zincirle senkronize olurlar.
  • zk yardımcı işlemciler: durumsuz, her hesaplama durumsuzdur.

4. uygulama senaryosu:

  • Rollup'lar: öncelikle son kullanıcılar için hizmet verir, yüksek frekanslı işlemler için uygundur.
  • zk işlemci birimleri: başlıca işletmelere hizmet verir, gelişmiş finansal modeller ve büyük veri analizi gibi karmaşık hesaplamalar gerektiren senaryolar için uygundur.

5. ana zincirle ilişkisi:

  • Rollup'lar: genellikle belirli blok zinciri ağlarına odaklanan ana zincirin uzantıları olarak görülür.
  • zk yardımcı işlemciler: belirli ana zincirlere sınırlı olmayan, birden fazla blok zincirine hizmet edebilir ve aynı zamanda rollups'lara da hizmet edebilir.

Bu nedenle, ikisi birbirini dışlamaz, tamamlayıcıdır. Bir uygulama zinciri olarak bir rollup olsa bile, zk yardımcı işlemciler hizmet sağlayabilir.

1.3 kullanım durumları

teorik olarak, zk yardımcı işlemcilerinin uygulama kapsamı geniştir, çeşitli blok zinciri sektörlerindeki projeleri kapsar. zk yardımcı işlemcileri, dapp'lerin merkezi web2 uygulamalarına daha yakın işlevselliklere sahip olmalarını sağlar. İşte çevrimiçi kaynaklardan toplanmış bazı örnek kullanım durumları:

veri odaklı dapp geliştirme:

zk yardımcı işlemciler, ek güven varsayımları olmadan karmaşık hesaplamalar için tam blok zinciri geçmiş verilerini kullanan veriye dayalı dapp'ler oluşturmak için geliştiricilere imkan tanır. bu, dapp geliştirme için eşi benzeri görülmemiş olanaklar sunar; örneğin:

  • gelişmiş veri analizi: dune analytics'ye benzer şekilde zincir üzerinde veri analizi işlevleri.
  • karmaşık iş mantığı: geleneksel merkezi uygulamalarda bulunan karmaşık algoritmalar ve iş mantığının uygulanması.
  • çapraz zincir uygulamaları: çoklu zincir verilerine dayalı çapraz zincir dapps inşa etmek.

dexler için vip trader programı:

Tipik bir uygulama senaryosu, borsalardaki işlem hacmine dayalı bir ücret indirim programının uygulanmasıdır, bu da "vip tüccar sadakat programı" olarak bilinir. Bu tür programlar merkezi borsalarda yaygın olsa da merkezi olmayan borsalarda nadirdir.

zk yardımcı işlemcileri ile, dex'ler şunları yapabilir:

  • Kullanıcıların geçmiş işlem hacimlerini takip etmek.
  • kullanıcıların vip seviyelerini hesapla.
  • İşlem ücretlerini VIP seviyelerine göre dinamik olarak ayarlayın. Bu işlevsellik, DEX'lerin kullanıcıyı elde tutmayı iyileştirmesine, likiditeyi artırmasına ve nihayetinde geliri artırmasına yardımcı olabilir.

Akıllı sözleşmeler için veri artırma:

zk işlemcileri güçlü bir ara yazılım gibi hareket edebilir, akıllı sözleşmeler için veri yakalama, hesaplama ve doğrulama hizmetleri sağlayarak maliyetleri azaltır ve verimliliği artırır. bu, akıllı sözleşmelerin şunları yapmasını sağlar:

  • büyük miktarda tarihsel veriye erişmek ve işlemek.
  • karmaşık off-chain hesaplamaları gerçekleştirin.
  • daha gelişmiş iş mantığını uygulayın.

çapraz zincir köprü teknolojisi:

Herodotus ve Lagrange gibi bazı zk tabanlı çapraz zincir köprü teknolojileri, zk işlemcilerinin uygulamaları olarak da düşünülebilir. Bu teknolojiler öncelikle veri çıkarma ve doğrulama üzerine odaklanmaktadır ve çapraz zincir iletişimi için güvenilir bir veri temeli sağlamaktadır.

1.4 zk yardımcı işlemciler mükemmel değil

çok sayıda avantaja rağmen, mevcut aşamada zk eş işlemciler mükemmel olmaktan uzaktır ve çeşitli sorunlarla karşılaşır. Aşağıdaki noktaları özetledim:

  1. geliştirme: zk kavramı, birçok geliştirici için anlamak zor olabilir. Geliştirme, ilgili kriptografik bilgi ve belirli geliştirme dilleri ve araçlar konusunda uzmanlık gerektirir.
  2. Yüksek donanım maliyetleri: zincir dışı hesaplamalar için kullanılan zk donanımı projenin tamamen üstlenmesi gerekiyor. zk donanımı pahalı ve hızla gelişiyor, bu da herhangi bir zamanda eskimiş hale gelme olasılığına sahip. Bu, kapalı bir ticari döngü oluşturup oluşturamayacağı bir düşünceye değer bir sorudur.
  3. Kalabalık bir alan: teknik olarak, uygulamada çok fazla fark olmayacak ve sonuç, birkaç önde gelen projenin öne çıktığı ve diğerlerinin büyük ölçüde göz ardı edildiği mevcut katman2 manzarasına benzer olabilir.
  4. zk devreleri: zk yardımcı işlemcilerde off-chain hesaplamaları yürütmek geleneksel bilgisayar programlarını zk devrelerine dönüştürmeyi gerektirir. Her uygulama için özel devreler yazmak zahmetli olup, devreleri yazmak için sanal makinelerde zkvms kullanmak, farklı hesaplama modellerinden kaynaklanan önemli hesaplama üstünlüğü oluşturur.

ii. kitle benimseme için kritik bir parça

(bu bölüm oldukça subjektiftir ve sadece yazarın kişisel görüşlerini temsil eder.)

bu döngü öncelikle modüler altyapı tarafından yönlendirilmektedir. eğer modülerleştirme doğru bir yol ise, bu döngü kitle benimsemesine doğru atılmış son adım olabilir. Ancak, mevcut aşamada hepimiz ortak bir duygu paylaşıyoruz: neden sadece bazı eski uygulamalar yeniden paketlenmiş olarak görüyoruz, neden uygulamalardan daha fazla zincir var ve neden bir yeni jeton standardı olan yazıtlar bu döngünün en büyük yeniliği olarak övülüyor?

Yeni anlatıların olmamasının temel nedeni, mevcut modüler altyapının süper uygulamaları desteklemek için yetersiz olması, özellikle bazı ön koşullardan (zincirler arası birlikte çalışabilirlik, kullanıcı engelleri vb.) yoksun olması ve blok zinciri tarihindeki en önemli parçalanmaya yol açmasıdır. Modüler çağın çekirdeği olan rollup'lar gerçekten de işleri hızlandırdı, ancak aynı zamanda likidite parçalanması, kullanıcı dağılımı ve zincirin veya sanal makinenin kendisinin uygulama inovasyonuna getirdiği sınırlamalar gibi çok sayıda sorunu da beraberinde getirdi. Ek olarak, modülerleştirmede bir başka "kilit oyuncu" olan Celestia, DA'nın Ethereum'da olması gerekmemesine öncülük ederek parçalanmayı daha da şiddetlendirdi. İster ideolojiden ister DA maliyetlerinden kaynaklansın, sonuç olarak BTC DA olmaya zorlanıyor ve diğer halka açık zincirler daha uygun maliyetli DA çözümleri sunmayı hedefliyor. Mevcut durum, her halka açık zincirin düzinelerce olmasa da en az bir Layer2 projesine sahip olmasıdır. Buna ek olarak, tüm altyapı ve ekosistem projeleri, Blur'un öncülük ettiği token stake etme stratejisini derinlemesine öğrendi ve kullanıcılardan proje içinde token stake etmelerini talep etti. Balinalara üç şekilde (faiz, ETH veya BTC takdiri ve ücretsiz tokenler) fayda sağlayan bu mod, zincir üstü likiditeyi daha da sıkıştırır.

Geçmişteki boğa piyasalarında, fonlar yalnızca birkaç ila bir düzine halka açık zincir içinde akıyordu, hatta esas olarak Ethereum'a odaklanıyordu. Şimdi, fonlar yüzlerce halka açık zincire dağılmış durumda ve binlerce benzer projede stake ediliyor, bu da zincir içi faaliyetlerde düşüşe yol açıyor. Ethereum bile zincir üstü aktiviteden yoksundur. Sonuç olarak, Doğulu oyuncular BTC ekosisteminde PvP'ye katılırken, Batılı oyuncular bunu zorunluluktan Solana'da yapıyor.

Bu nedenle, şu anki odak noktam tüm zincirlerde toplu likiditeyi nasıl teşvik edeceğim ve yeni oyun tarzlarının ve süper uygulamaların ortaya çıkmasını nasıl destekleyeceğimdir. Çapraz zincir uyumluluk sektöründe, geleneksel önde gelen projeler sürekli olarak düşük performans göstermiştir ve hala geleneksel çapraz zincir köprülerini hatırlatmaktadır. Daha önceki raporlarda tartıştığımız yeni uyumluluk çözümleri öncelikle birden fazla zinciri tek bir zincire toplamayı amaçlamaktadır. Örnekler arasında agglayer, superchain, elastik zincir, jam vb. bulunmaktadır, ancak burada detaylandırılmayacaktır. Özetle, çapraz zincir toplama modüler altyapıda zorunlu bir engeldir, ancak aşılması uzun zaman alacaktır.

ZK yardımcı işlemcileri, mevcut aşamada kritik bir parçadır. Layer2'yi güçlendirebilir ve layer1'i tamamlayabilirler. Zincirler arası ve çıkmaz sorunlarının geçici olarak üstesinden gelmenin, belirli katman1'lerde veya katman2'lerde kapsamlı likiditeye sahip bazı güncel dönem uygulamalarını gerçekleştirmemize izin vermenin bir yolu var mı? Sonuçta, blok zinciri uygulamaları yeni anlatılardan yoksundur. Ayrıca, çeşitli oyun tarzları, gaz kontrolü, büyük ölçekli uygulamalar, zincirler arası yetenekler sağlamak ve entegre yardımcı işlemci çözümleri aracılığıyla kullanıcı engellerini azaltmak, merkezileştirmeye güvenmekten daha ideal olabilir.

iii. proje genel bakışı

zk işlemci alanı 2023 civarında ortaya çıktı ve bu aşamada oldukça olgun hale geldi. Messari'nin sınıflandırmasına göre, bu alan şu anda 18 projeyle üç ana dikey alanı (genel hesaplama, etkileşimlilik ve cross-chain, ai ve makine eğitimi) kapsıyor. Bu projelerin çoğu önde gelen vcs tarafından desteklenmektedir. Aşağıda, farklı dikey alanlardan birkaç proje tanımlıyoruz.

3.1 giza

Giza, Starknet üzerinde dağıtılan ve resmi olarak Starkware tarafından desteklenen bir ZKML (sıfır bilgi makine öğrenimi) protokolüdür. Yapay zeka modellerinin blok zinciri akıllı sözleşmelerinde doğrulanabilir şekilde kullanılmasını sağlamaya odaklanır. Geliştiriciler, yapay zeka modellerini Giza ağında dağıtabilir, bu da daha sonra sıfır bilgi kanıtları aracılığıyla model çıkarımının doğruluğunu doğrular ve sonuçları akıllı sözleşmelere güvenilmez bir şekilde sağlar. Bu, geliştiricilerin blok zincirinin ademi merkeziyetçiliğini ve doğrulanabilirliğini korurken yapay zeka yeteneklerini birleştiren zincir üstü uygulamalar oluşturmasına olanak tanır.

giza iş akışını aşağıdaki üç adımda tamamlar:

  • model dönüşümü: giza, sıkça kullanılan onnx formatındaki yapay zeka modellerini sıfır bilgi kanıtı sisteminde çalıştırılabilen bir formata dönüştürür. Bu, geliştiricilere alışık oldukları araçları kullanarak modelleri eğitmelerine ve ardından bunları giza ağına dağıtmalarına olanak tanır.
  • off-chain çıkarım: bir akıllı sözleşme yapay zeka modeli çıkarımı istediğinde, giza gerçek hesaplamayı blok zinciri üzerinde doğrudan çalıştırmanın yüksek maliyetlerinden kaçınmak için zincir dışında gerçekleştirir.
  • zero-bilgi doğrulama: giza, her model çıkarımı için zk kanıtları oluşturur ve hesaplamanın doğru bir şekilde gerçekleştirildiğini kanıtlar. Bu kanıtlar zincir üzerinde doğrulanır, böylelikle zincir üzerinde tüm hesaplama sürecini tekrarlamadan çıkarım sonuçlarının doğruluğunu sağlar.

Giza yaklaşımı, merkezi olmayan oracle'lar veya güvenilir yürütme ortamlarına güvenmeksizin AI modellerinin akıllı sözleşmeler için güvenilir girdi kaynakları olarak hizmet vermesini sağlar. Bu, AI tabanlı varlık yönetimi, dolandırıcılık tespiti ve dinamik fiyatlandırma gibi blok zinciri uygulamaları için yeni olanaklar açar. Bu, mevcut web3 x AI alanındaki az sayıdaki projelerden biridir ve AI alanındaki işlemci yardımcılarına akıllıca bir kullanımı ve mantıksal bir kapalı döngüsü vardır.

3.2 risk sıfır

risc zero, çoklu üst vcs tarafından desteklenen önde gelen bir yardımcı işlemci projesidir. Herhangi bir hesaplamanın blok zinciri akıllı sözleşmelerinde doğrulanabilir bir şekilde yürütülmesine odaklanır. Geliştiriciler, programları rust dilinde yazabilir ve bunları risc zero ağına dağıtabilir. Risc zero daha sonra programın yürütülmesinin doğruluğunu sıfır bilgi kanıtları aracılığıyla doğrular ve sonuçları blok zinciri akıllı sözleşmelerine güvensiz bir şekilde sağlar. Bu, geliştiricilerin blok zincirinin merkezsizliğini ve doğrulanabilirliğini korurken karmaşık on-zincir uygulamalar inşa etmelerine olanak tanır.

daha önce dağıtım ve iş akışı hakkında kısaca bahsettik. burada iki temel bileşeni detaylandırıyoruz:

  • Bonsai: Bonsai, RISC Zero içindeki yardımcı işlemci bileşenidir ve RISC-V komut seti mimarisinin zKVM'sine sorunsuz bir şekilde entegre edilmiştir. Geliştiricilerin yüksek performanslı sıfır bilgi kanıtlarını saniyeler içinde Ethereum, L1 blok zincirleri, Cosmos uygulama zincirleri, L2 toplamaları ve DApp'lere hızlı bir şekilde entegre etmelerine olanak tanır. Doğrudan akıllı sözleşme çağrıları, doğrulanabilir zincir dışı hesaplama, zincirler arası birlikte çalışabilirlik ve genel toplama işlevselliği sunarken, tümü merkezi olmayan öncelikli dağıtılmış bir mimariyi benimser. Özyinelemeli ispatları, özel devre derleyicilerini, durum devamlılığını ve sürekli gelişen ispat algoritmalarını birleştirerek, herkesin çeşitli uygulamalar için yüksek performanslı sıfır bilgi ispatları oluşturmasını sağlar.
  • zkvm: zkvm, gerçek bir gömülü risc-v mikro işlemciyle benzer şekilde çalışan doğrulanabilir bir bilgisayardır. Risc-v komut kümesi mimarisine dayanarak, geliştiricilere rust, c++, solidity, go vb. gibi yüksek seviyeli programlama dillerinde program yazmalarını sağlar ve sıfır bilgi kanıtları oluşturabilme yeteneğine sahiptir. Popüler rust kütüphanelerinin %70'ten fazlasını destekleyerek, genel hesaplama ve sıfır bilgi kanıtlarını sorunsuz bir şekilde birleştirir; böylece, hesaplama sürecinin gizliliğini ve sonuçların doğrulanabilirliğini korurken, herhangi bir karmaşıklıktaki hesaplamalar için verimli sıfır bilgi kanıtları oluşturabilir. zkvm, stark ve snark gibi zk teknolojilerini kullanır ve rekürsif kanıtlayıcı ve stark-to-snark kanıtlayıcı gibi bileşenler aracılığıyla verimli kanıt oluşturma ve doğrulama sağlar, böylece off-chain yürütme ve on-chain doğrulama destekler.

risc zero, birden fazla eth katman2 çözümü ile entegre olmuş ve bonsai için çeşitli kullanım örnekleri sergilemiştir. İlginç bir örnek bonsai pay'dir. Bu gösterimde risc zero'nun zkvm'si ve bonsai proof servisi kullanılarak, kullanıcıların google hesaplarını kullanarak ethereum'da eth ve token göndermesine veya çekmesine izin verilir. Bu, risc zero'nun on-chain uygulamaları oauth2.0 (Google gibi büyük kimlik sağlayıcıların kullandığı standart) ile sorunsuz bir şekilde entegre edebildiğini gösterir ve geleneksel web2 uygulamaları aracılığıyla web3 kullanıcı engelini azaltan bir kullanım örneği sunar. Diğer örnekler dao'ya dayanan uygulamaları içerir.

3.3 =nil;

=nil; mina, polychain, starkware ve blockchain capital gibi ünlü kuruluşlar tarafından desteklenen bir yatırım projesidir. Özellikle mina ve starkware gibi zk teknolojisi öncülerinin destekçiler arasında olması, projeye yüksek teknik tanınma olduğunu göstermektedir. =nil;, ayrıca “Bilgi İşlem Gücü Piyasası” başlıklı raporumuzda da bahsedildi ve bu rapor öncelikle bir merkezi olmayan ispat üretim piyasasına odaklanmaktadır. Ayrıca, =nil; adında başka bir alt ürünü daha vardır, bu da zkllvm olarak adlandırılır.

zkllvm, =nil tarafından geliştirilen bir devre derleyicisidir; vakfı, c++ ve pas gibi yaygın programlama dillerinde yazılan uygulama kodunu, özel bir sıfır bilgi alanı özel dilleri (dsl) gerektirmeden etkili, ispatlanabilir devrelere ethereum için otomatik olarak dönüştürür. bu, geliştirme sürecini önemli ölçüde basitleştirir, giriş engelini düşürür ve zkvm'den kaçınarak performansı artırır. Kanıt oluşturmayı hızlandırmak için donanım hızlandırmasını destekler, bu da rollup'lar, zincirler arası köprüler, oraklar, makine öğrenimi ve oyun gibi çeşitli zk uygulama senaryoları için uygundur. =nil; vakfının kanıt pazarıyla sıkı bir şekilde entegre edilmiştir ve devre oluşturmadan kanıt oluşturmaya kadar geliştiricilere uçtan uca destek sağlar.

3.4 brevis

brevis, celer ağı'nın bir alt projesidir ve blockchain için akıllı sıfır bilgi (zk) yardımcı işlemcisi olarak çalışır, dapps'lerin tamamen güvensiz bir şekilde birden fazla blok zinciri üzerinde her türlü veriye erişmesini, hesaplama yapmasını ve kullanmasını sağlar. Diğer yardımcı işlemciler gibi, brevis'in veri odaklı defi, zkbridges, zincir üzerinde kullanıcı edinimi, zkdid ve sosyal hesap soyutlama gibi geniş bir kullanım alanı vardır.

brevis mimarisi üç ana bileşenden oluşur:

  • zkfabric: zkfabric, brevis mimarisinin röle bileşenidir. Ana görevi, tüm bağlı blok zincirlerinden blok başlık bilgilerini toplamak ve eşitlemek, ardından her toplanan blok başlığı için zk hafif istemci devresi aracılığıyla uzlaşma kanıtları oluşturmaktır.
  • zkquerynet: zkquerynet, blok zincirindeki akıllı sözleşmelerden veri sorgularını doğrudan kabul edebilen ve zk sorgu motoru devresi aracılığıyla sorgu sonuçlarını ve ilgili zk sorgu kanıtlarını üretebilen açık bir zk sorgu motoru pazarıdır. Bu motorlar, çok özel (örneğin, belirli bir süre içinde bir dex'in ticaret hacmini hesaplama) ile çok genel veri dizinleme soyutlamaları ve çeşitli uygulama ihtiyaçlarını karşılamak için gelişmiş sorgu dillerine kadar uzanır.
  • zkaggregatorrollup: zkfabric ve zkquerynet için birleştirme ve depolama katmanı olarak hizmet verir. Bu iki bileşenin kanıtlarını doğrular, kanıtlanmış verileri depolar ve zk kanıtlarının durum köklerini bağlı tüm blok zincirlerine gönderir, böylece dapp'lerin zincir üzerindeki akıllı sözleşme iş mantığında kanıtlanmış sorgu sonuçlarına doğrudan erişim sağlamasına olanak tanır.

Bu modüler mimari ile, brevis tüm desteklenen genel blok zinciri akıllı sözleşmelerine güvenilir, verimli ve esnek bir erişim yöntemi sağlayabilir. Uni'nin v4 sürümü de bu projeyi benimsemekte ve kancalarla (çeşitli kullanıcı özel mantığını entegre etmek için bir sistem) entegre ederek, tarihsel blok zinciri verilerini okumayı kolaylaştırır, gaz ücretlerini azaltır ve decentralizasyonu sağlar. Bu, bir zk işlemcisinin bir dex'i desteklemesi için bir örnektir.

3.5 lagrange

Lagrange, 1kx ve Founders Fund tarafından yönetilen bir etkileşimli zk yardımcı işlem protokolüdür, esas olarak güvenilmez çapraz zincir etkileşimini sağlamayı ve büyük ölçekli veri karmaşık hesaplama gerektiren uygulamaları desteklemeyi hedeflemektedir. Geleneksel düğüm köprülerinin aksine, Lagrange'ın çapraz zincir etkileşimi, yenilikçi zk büyük veri ve durum komitesi mekanizmaları aracılığıyla başarıyla gerçekleştirilir.

  • ZK Büyük Veri: Bu, zincirler arası verilerin işlenmesinden ve doğrulanmasından ve ilgili ZK kanıtlarının oluşturulmasından sorumlu olan LAGRANGE'ın temel ürünüdür. Bu bileşen, karmaşık zincir dışı hesaplamaları yürütmek ve sıfır bilgi kanıtları oluşturmak için son derece paralel bir ZK yardımcı işlemcisi, sınırsız depolama yuvasını ve akıllı sözleşmelerden doğrudan SQL sorgularını destekleyen özel olarak tasarlanmış doğrulanabilir bir veritabanı, kanıt süresini azaltmak için yalnızca değiştirilen veri noktalarını güncelleyen dinamik bir güncelleme mekanizması ve geliştiricilerin karmaşık yazmadan geçmiş verilere erişmek için doğrudan akıllı sözleşmelerden SQL sorgularını kullanmalarına olanak tanıyan entegre bir işlev içerir Devre. Birlikte, büyük ölçekli bir blok zinciri veri işleme ve doğrulama sistemi oluştururlar.
  • Devlet Komitesi: Bu bileşen, her biri teminat olarak ETH stake eden birden fazla bağımsız düğümden oluşan merkezi olmayan bir doğrulama ağıdır. Bu düğümler, belirli optimize edilmiş toplamaların durumunu özel olarak doğrulayan ZK Light istemcileri olarak hareket eder. Devlet Komitesi, EigenLayer'ın AV'leri ile entegre olarak, güvenliği artırmak için yeniden stake etme mekanizmasından yararlanır ve süper doğrusal güvenlik büyümesi elde etmek için sınırsız sayıda katılımcı düğümü destekler. Ayrıca, kullanıcıların meydan okuma penceresini beklemeden zincirler arası işlemler gerçekleştirmesine olanak tanıyan ve kullanıcı deneyimini büyük ölçüde iyileştiren bir "hızlı mod" sağlar. Bu iki teknolojinin birleşimi, Lagrange'ın büyük ölçekli verileri verimli bir şekilde işlemesine, karmaşık hesaplamalar gerçekleştirmesine ve sonuçları farklı blok zincirleri arasında güvenli bir şekilde iletmesine ve doğrulamasına olanak tanıyarak karmaşık zincirler arası uygulamaların geliştirilmesini destekler.

Lagrange, Eigenlayer, Mantle, Base, Frax, Polymer, Layerzero, Omni, Altlayer gibi birçok platformla entegre oldu ve Ethereum ekosistemi içindeki ilk zk AVS olacak.

ybb hakkında

ybb, tüm internet kullanıcıları için daha iyi bir çevrimiçi habitat yaratma vizyonuna sahip web3 tanımlayan projeleri belirlemeye adanmış bir web3 fonudur. 2013 yılından beri bu sektörde aktif olarak yer alan bir grup blok zinciri inananı tarafından kurulan ybb, her zaman erken aşama projelere 0'dan 1'e gelişmelerinde yardımcı olmaktan mutluluk duyar. İnovasyonu, özgüveni yüksek tutkuyu ve kullanıcı odaklı ürünleri değerlendirirken, kriptoların ve blok zinciri uygulamalarının potansiyelini de kabul ediyor.

Web sitesi | Twi: @ybbcapital

referanslar:

1.abcde: zk işlemcisi ve geleceğine derinlemesine bir dalışhttps://medium.com/ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946

2.“zk” sizin ihtiyacınız olan her şeydir:https://medium.com/gate_ventures/zk-is-all-you-need-238886062c52

3.risc sıfır:https://www.risczero.com/bonsai

4. Lagrange:https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis

5.axiomblog:https://blog.axiom.xyz/

6. Azot hızlandırması! ZK işlemcisi akıllı sözleşme veri engellerini nasıl kırar:https://foresightnews.pro/makale-detay/48239

dikkat:

  1. bu makale [den alıntılanmıştırorta], orijinal başlığı 'blok zinciri gpu'su: zk yardımcı işlemcilerin kapsamlı analizi' olan bu makale, tüm telif hakları orijinal yazarı [ybb capital araştırmacısı zeke]'ye aittir. Bu yeniden basım konusunda itirazınız varsa lütfen iletişime geçin Gate öğrenekip, ve bunu hızlı bir şekilde ele alacaklar.

  2. sorumluluk reddi: bu makalede ifade edilen görüşler yalnızca yazarın görüşleridir ve herhangi bir yatırım tavsiyesi teşkil etmez.

  3. Makalenin çevirileri diğer dillerde Gate öğrenme ekibi tarafından yapılmaktadır. Belirtilmedikçe, çevrilen makalelerin kopyalanması, dağıtılması veya çalınması yasaktır.

Mulai Sekarang
Daftar dan dapatkan Voucher
$100
!