Orijinal yazar: YBB Capital Araştırmacısı Zeke
TLDR
ZK Yardımcı İşlemcisi (ZK Yardımcı İşlemcisi), modüler konseptten türetilmiş zincir dışı bir bilgi işlem eklentisi olarak kabul edilebilir. İşlevi, CPU için grafik hesaplama görevlerini paylaşan, yani bilgi işlemi paylaşmak için geleneksel bilgisayarlarımızdaki GPU'ya benzer. belirli senaryolarda görev işlemcisi;
Karmaşık hesaplamaları ve ağır verileri işlemek, gaz ücretlerini azaltmak ve akıllı sözleşme işlevlerini genişletmek için kullanılabilir;
Rollup'tan farkı: ZK yardımcı işlemcisinin durum bilgisi yoktur, zincirler arasında kullanılabilir ve karmaşık bilgi işlem senaryoları için uygundur;
ZK yardımcı işlemcisinin geliştirilmesi zordur, yüksek performans yüküne sahiptir ve standardizasyondan yoksundur. Donanım çok fazla maliyet gerektiriyor. Her ne kadar pist bir yıl öncesine göre çok daha olgunlaşmış olsa da henüz başlangıç aşamasında;
Altyapının fraktal genişlemenin modüler çağına girmesinden sonra blockchain, likidite eksikliği, dağınık kullanıcılar, yenilik eksikliği ve zincirler arası birlikte çalışabilirlik gibi çeşitli sorunlara düşmüş ve L1 dikey genişleme ile bir paradoks oluşturmuştur. ZK yardımcı işlemcisi gelecekte ikiliye iyi bir takviye sağlayarak beladan kurtulmalarını sağlayabilir, eski uygulamalar ile yeni ve önemli uygulamalar için performans desteği sağlayabilir ve daha taze anlatılar getirebilir.
1. Modüler altyapının bir diğer kolu olan ZK yardımcı işlemcisi
1.1 ZK yardımcı işlemcisine genel bakış
ZK Yardımcı İşlemcisi (ZK Yardımcı İşlemcisi), modüler konseptten türetilen zincir dışı bir bilgi işlem eklentisi olarak kabul edilebilir. İşlevi, CPU için grafik hesaplama görevlerini paylaşan, yani bilgi işlemi paylaşan geleneksel bilgisayarlarımızdaki GPU'ya benzer. belirli senaryolarda görevin işlemcisi. Bu tasarım çerçevesinde halka açık zincirlerin iyi olmadığı "ağır veri" ve "karmaşık hesaplama mantığı" görevleri ZK yardımcı işlemcisi aracılığıyla hesaplanabilmektedir ve zincirin yalnızca döndürülen hesaplama sonuçlarını alması yeterli olup, doğruluğu ZK kanıtı ile garanti edilmektedir. , karmaşık görevler için güvenilir zincir dışı hesaplamalar nihayet gerçekleştirildi.
Şu anda AI, SocialFi, DEX ve GameFi gibi popüler uygulamaların yüksek performans ve maliyet kontrolüne acil ihtiyaçları var. Geleneksel çözümlerde, yüksek performans gerektiren bu "ağır uygulamalar" genellikle zincir içi + zincir dışı varlık biçimini seçiyor. uygulamalar veya Uygulama için ayrı bir uygulama zinciri tasarlayın. Ancak her ikisinin de özünde bazı sorunlar var. Örneğin birincisinin kara kutusu varken, ikincisinin yüksek geliştirme maliyetleri, orijinal zincir ekolojisinden ayrılma ve likidite parçalanması gibi sorunları var. Ayrıca ana zincir sanal makinesinin bu tür uygulamaların geliştirilmesi ve çalıştırılması konusunda da büyük kısıtlamaları vardır (uygulama katmanı standartlarının olmaması ve karmaşık geliştirme dillerinin olmaması gibi).
ZK yardımcı işlemcisinin varlığı bu tür sorunları çözmek içindir. Daha detaylı bir örnek vermek gerekirse blockchaini internete bağlanamayan bir terminal (cep telefonu, bilgisayar vb.) olarak ele alabiliriz. Uniswap ve diğer DeFi uygulamaları gibi bazı Simpler uygulamaları tamamen zincir üzerinde çalışabilir. Ancak ChatGPT gibi bir uygulamayı çalıştırmak gibi daha karmaşık uygulamalar ortaya çıktığında, halka açık zincirin performansı ve depolaması tamamen yetersiz kalacak ve Gaz patlayacak. Web2 durumunda, ChatGPT'yi çalıştırdığımızda da aynı durum geçerlidir. Ortak terminaller GPT-4 gibi büyük dil modellerini işleyemez. Sunucu çıkarımı hesapladıktan sonra sorunu OpenAI sunucusuna aktarmamız gerekir. sonuçlar, cevabı doğrudan alacaksınız. ZK yardımcı işlemcisi, blok zincirinin uzak sunucusuna benzer. Ancak farklı türdeki projeler için, farklı yardımcı işlemci projelerinin tasarımında hafif sapmalar olabilir ancak temeldeki mantık çok farklı olmayacaktır. Hepsi zincir dışı aracılığıyla doğrulanır. hesaplama + ZK kanıtı veya Depolama kanıtları. Rise Zero'nun Bonsai dağıtımını örnek alırsak, bu mimarinin mantığının çok basit olduğunu anlayabiliriz. Proje, Rise Zero'nun kendi zkVM'sine sorunsuz bir şekilde entegre edilmiştir. Geliştiricilerin Bonsai'yi ortak işlemci adımı olarak kullanmak için yalnızca iki basit adıma ihtiyacı vardır:
Uygulama mantığını işlemek için bir zkVM uygulaması yazın;
Bonsai'den zkVM uygulamanızı çalıştırmasını ve sonuçları işlemesini isteyen bir Sağlamlık sözleşmesi yazın.
1.2 ile Toplama arasındaki fark nedir?
Yukarıdaki tanımda, Rollup'ın, uygulama mantığı veya hedeflerinden bağımsız olarak ZK yardımcı işlemcisiyle yüksek derecede örtüştüğünü göreceğiz. Ancak aslında Rollup, ana zincirin çok çekirdekli versiyonuna benziyor. İkisi arasındaki belirli farklar aşağıdaki gibidir:
1. Ana amaç:
Toplama: Blockchain işlem verimini artırın ve işlem ücretlerini azaltın.
ZK yardımcı işlemcisi: Daha karmaşık mantığı ve daha büyük miktarda veriyi işlemesini sağlamak için akıllı sözleşmelerin bilgi işlem gücünü genişletir.
2. Çalışma prensibi:
Toplama: Zincirdeki işlemleri özetleyin ve bunları dolandırıcılık kanıtı veya ZK kanıtı aracılığıyla ana zincire aktarın.
ZK yardımcı işlemcisi: ZK Rollup'a benzer, ancak ikisinin uygulama senaryoları farklıdır, ZK Rollup zincirin şekli ve kurallarıyla sınırlıdır ve ZK yardımcı işlemcisinin çalışması için uygun değildir.
3. Durum yönetimi:
Toplama: Kendi durumunu koruması ve ana zincirle düzenli olarak senkronize olması gerekir.
ZK yardımcı işlemcisi: kalıcı durumu korumaz ve her hesaplama durum bilgisizdir.
4. Uygulama senaryoları:
Toplama: Esas olarak C tarafı için, yüksek frekanslı ticarete uygundur.
ZK yardımcı işlemcisi: esas olarak B tarafı için, gelişmiş finansal modeller, büyük veri analizi vb. gibi karmaşık hesaplamalar gerektiren senaryolar için uygundur.
5. Ana zincirle ilişki:
Toplama: Genellikle belirli bir blockchain ağına odaklanan ana zincirin bir uzantısı olarak görülebilir.
ZK yardımcı işlemcisi: Birden fazla blockchain için hizmet sağlayabilir ve belirli bir ana zincirle sınırlı değildir, dolayısıyla Rollup için de hizmet sağlayabilir.
Bu nedenle, ikisi doğası gereği birbirini dışlayan değildir ve hatta tamamlayıcıdırlar. Bir uygulama zinciri biçiminde bir Toplama mevcut olsa bile, ZK yardımcı işlemcisi yine de hizmet sağlayabilir.
1.3 Kullanım durumları
Teorik olarak konuşursak, ZK yardımcı işlemcisi çok geniş bir uygulama aralığına sahiptir ve temel olarak çeşitli blockchain kanallarındaki projeleri kapsayabilir. ZK yardımcı işlemcisinin varlığı, Dapp'ın işlevini Web2 merkezi uygulamasının işlevine daha yakın hale getirebilir. Aşağıda İnternetten toplanan bazı kullanım örnekleri yer almaktadır:
Veriye dayalı DApp geliştirme
ZK yardımcı işlemcisi, geliştiricilerin tüm zincirdeki geçmiş verilerden yararlanan veri odaklı DApp'ler oluşturmasına ve ek güven varsayımları olmadan karmaşık hesaplamalar gerçekleştirmesine olanak tanır. Bu, DApp geliştirme sürecine benzeri görülmemiş olanaklar getiriyor:
Gelişmiş veri analizi: Zincir içi veri analizi, Dune Analytics'e benzer şekilde çalışır.
Karmaşık iş mantığı: Geleneksel merkezi uygulamalarda karmaşık algoritmaları ve iş mantığını uygulayın.
Zincirler arası uygulamalar: Çok zincirli verilere dayalı zincirler arası DApp'ler oluşturun.
DEX'in VIP Yatırımcı Programı
Tipik bir uygulama senaryosu, merkezi olmayan bir borsada (DEX) işlem hacmine dayalı bir ücret indirimi programının, yani "VIP Trader Sadakat Programının" hayata geçirilmesidir. Bu tür bir plan merkezi borsalarda (CEX) yaygındır ancak DEX'te nadirdir.
DEX, ZK yardımcı işlemcisini kullanarak şunları yapabilir:
Kullanıcıların geçmiş işlem hacmini takip edin
Kullanıcının VIP seviyesini hesaplayın
İşlem ücretlerini seviyeye göre dinamik olarak ayarlayın
Bu özellik, DEX'in kullanıcı tutma oranını artırmasına, likiditeyi artırmasına ve sonuçta geliri artırmasına yardımcı olabilir.
Akıllı sözleşmeler için veri geliştirme
ZK yardımcı işlemcisi, akıllı sözleşmeler için veri yakalama, hesaplama ve doğrulama hizmetleri sağlamak, böylece maliyetleri azaltmak ve verimliliği artırmak için güçlü bir ara yazılım görevi görebilir. Bu, akıllı sözleşmelerin şunları yapmasını sağlar:
Büyük miktarlarda geçmiş verilere erişin ve bunları işleyin
Karmaşık zincir dışı hesaplamalar gerçekleştirin
Daha gelişmiş iş mantığını uygulayın
Çapraz zincir köprü teknolojisi
Herodot ve Lagrange gibi bazı ZK tabanlı zincirler arası köprü teknolojileri de ZK yardımcı işlemcisinin bir uygulaması olarak kabul edilebilir. Bu teknolojiler temel olarak veri çıkarma ve doğrulamaya odaklanarak zincirler arası iletişim için güvenilir bir veri temeli sağlar.
1.4 ZK yardımcı işlemcisi mükemmel değil
Pek çok avantajı sıralamış olsak da ZK yardımcı işlemcisinin şu anki aşaması mükemmel değil ve hala birçok sorunla yüzleşmesi gerekiyor. Aşağıdaki noktaları bizzat özetledim:
1. Geliştirme: Birçok geliştiricinin ZK kavramını anlaması zordur. Geliştirme aynı zamanda ilgili kriptografi bilgisini ve belirli geliştirme dilleri ve araçlarına hakim olmayı gerektirir;
2. Donanım maliyetleri yüksektir: Zincir dışı bilgi işlem için kullanılan ZK donanımının tamamen projenin kendisi tarafından karşılanması gerekir. ZK donanımı pahalıdır ve halen hızlı bir geliştirme ve yineleme sürecinden geçmektedir ve donanımın herhangi bir zamanda ortadan kaldırılması muhtemeldir. Bunun iş mantığında kapalı bir döngü oluşturup oluşturamayacağı da dikkate alınmaya değer bir sorudur;
3. Pist kalabalık: Aslında teknik uygulamada büyük bir fark olmayacak, sonuçta mevcut Layer 2 modeline benzer olması muhtemel. Birkaç önemli proje var, ancak çoğu göz ardı ediliyor;
4.zk devresi: Zk yardımcı işlemcisinde zincir dışı hesaplamaların yürütülmesi, geleneksel bilgisayar programlarının zk devrelerine dönüştürülmesini gerektirir. Her uygulama için özelleştirilmiş devreler yazmak çok karmaşıktır ve sanal makinelerde devre yazmak için zkvm'yi kullanmak, farklı hesaplama modellerine neden olur. .
2. Büyük ölçekli uygulamaya yol açan önemli yapboz parçaları
(Bu bölüm son derece özneldir ve yalnızca yazarın kişisel görüşlerini temsil etmektedir)
Bu döngüye modüler altyapı hakimdir. Eğer modülerleştirme yolu doğruysa o zaman bu döngü büyük ölçekli uygulamaya doğru atılan son adım olabilir. Ancak gelinen aşamada hepimizde ortak bir his var: Neden sadece yeni uygulamalara sahip bazı eski şarapları görebiliyoruz? Neden uygulamalardan çok daha fazla zincir var? Bunun en büyük yeniliği neden yazıt gibi yeni token standartları olarak adlandırılabilir? yuvarlak?
Yeni anlatıların bu kadar az olmasının nedeni, mevcut modüler altyapının süper uygulamaları desteklemek için yeterli olmaması, özellikle de bazı önkoşulların (tam zincir birlikte çalışabilirliği, kullanıcı eşikleri vb.) eksikliğidir. Blockchain tarihinde ayrılık kılığında bir gelişme. Modüler çağın özü olan toplama hızlıdır ancak aynı zamanda birçok sorunu da beraberinde getirir; yani yukarıda defalarca vurguladığımız likidite parçalanması, kullanıcı dağılımı, zincir veya sanal makinenin kendisi hala uygulama yeniliğini sınırlamaktadır. Öte yandan modülerliğin bir diğer "kilit adamı" olan Celestia, DA'nın Ethereum üzerinde bulunmasına gerek olmadığı fikrinin öncülüğünü yaptı. Bu fikir parçalanmayı daha da yoğunlaştırıyor. İster ideolojiden ister DA maliyetinden başlasın sonuç, BTC'nin DA yapmak zorunda kalması ve diğer halka açık zincirlerin daha uygun maliyetli DA yapmak zorunda kalmasıdır. Mevcut durum, bir tane kadar az ve onlarca kadar tane olmasıdır. Her halka açık zincirde 2. katman projeleri. Son olarak, tüm altyapı ve ekolojik proje ekipleri, Blur'un (Tieshun) öncülüğünü yaptığı, kullanıcıların projede Token taahhüt etmesini gerektiren, puan öldüren ejderha (OpenSea) oynanışını derinlemesine incelediler. Bu tür bir taşla üç kuş vurmak (faiz, ETH). balinalar için Veya BTC ve serbest token Token modelinin yükselişi, zincirdeki likiditeyi daha da sıkıştırıyor.
Geçmişteki boğa piyasasında fonlar yalnızca birkaç ila bir düzine halka açık zincirde akıyordu ve hatta yalnızca Ethereum'da yoğunlaştığı bile söylenebilirdi. Ancak günümüzün fonları yüzlerce halka açık zincire dağılmış durumda ve neredeyse aynı olan binlerce projeye taahhüt veriliyor. Zincirdeki refah artık orada değil ve Ethereum'un bile zincir içi faaliyetleri yok. Yani Doğulu oyuncular BTC ekosisteminde PVP yapıyor ve Batılı oyuncuların Solana'da PVP yapmaktan başka seçeneği yok. Bu nedenle, kişisel olarak şu anda en çok endişe duyduğum şey, zincir boyunca likidite birikiminin nasıl teşvik edileceği ve yeni oyun ve süper uygulamaların doğuşunun nasıl destekleneceğidir. Tam zincir birlikte çalışabilirlik yolunda, birçok geleneksel öncü proje aslında kötü performans gösterdi. Bunlar hâlâ geleneksel çapraz zincir köprülerine benziyor. Yeni birlikte çalışabilirlik çözümü, önceki araştırma raporumuzda da esas olarak birden fazla zincirin tek bir zincirde toplanması yoluyla tartışılmıştı. Şu anda burada tartışılmayacak olan AggLayer, Superchain, Elastic Chain, JAM vb. üzerinde çalışıyoruz.
Sonuçta tüm zincirin bir araya toplanması modüler yapı altında aşılması gereken bir engel ama bu engel yine de uzun zaman alacak. ZK yardımcı işlemcisi şu aşamada daha kritik bir yapboz parçası. Katman 2'yi güçlendirmenin yanı sıra Katman 1'i de güçlendirebilir. Gelecekte tam zincir ve üçgen paradoksu sorunlarından geçici olarak kurtulmak mümkün müdür? Öncelikle mevcut uygulamaları geniş likiditeye sahip Katman 1 veya Katman 2'de mi uygulayacaksınız? Sonuçta mevcut blockchain uygulama anlatımı gerçekten eksik. Öte yandan oynanışın çeşitlendirilmesi, gaz kontrolü, büyük ölçekli uygulamaların ortaya çıkması ve hatta çapraz zincirleme, kullanıcı eşiğinin düşürülmesi için ortak işlemci çözümünün entegre edilmesi, merkezileştirmeye güvenmekten daha ideal bir çözüm olacaktır.
3. Proje Listesi
ZK yardımcı işlemci yolu temel olarak 2023 civarında ortaya çıktı ve şu anki aşamada nispeten olgunlaştı. Messari'nin sınıflandırmasına göre yoldaki mevcut projeler, 18 projeyle üç ana dikey alana (genel bilgi işlem, birlikte çalışabilirlik ve zincirler arası, yapay zeka ve makine eğitimi) bölünebilir. Bu projelerin çoğu baş VC'ler tarafından desteklenmektedir. Aşağıda açıklama için farklı dikey alanlardaki bazı projeleri seçiyoruz.
3.1 İnsan
Giza, Starknet'te dağıtılan ve StarkWare tarafından resmi olarak desteklenen bir zkML (sıfır bilgi makine öğrenimi) protokolüdür ve yapay zeka modellerinin blockchain akıllı sözleşmelerinde doğrulanabilir şekilde kullanılmasına odaklanmaktadır. Geliştiriciler yapay zeka modellerini Giza ağına dağıtabilir ve Giza daha sonra sıfır bilgi kanıtları aracılığıyla modelin mantığının doğruluğunu doğrular ve sonuçları akıllı sözleşmeler tarafından güvenilir bir şekilde kullanılmak üzere sağlar. Bu, geliştiricilerin, blok zincirinin merkezi olmayan yapısını ve doğrulanabilirliğini korurken, yapay zeka yeteneklerini de içeren zincir içi uygulamalar oluşturmasına olanak tanır.
Giza aşağıdaki üç adımı gerçekleştirerek iş akışını tamamlar:
Model dönüşümü: Giza, yaygın olarak kullanılan ONNX formatındaki yapay zeka modellerini, sıfır bilgi kanıtlı sistemlerde çalıştırılabilecek bir formata dönüştürür. Bu, geliştiricilerin tanıdık araçları kullanarak modelleri eğitmesine ve ardından bunları Giza ağına dağıtmasına olanak tanır.
Zincir dışı çıkarım: Akıllı bir sözleşme, yapay zeka modeli çıkarımı talep ettiğinde Giza, gerçek hesaplamaları zincir dışında gerçekleştirir. Bu, karmaşık yapay zeka modellerini doğrudan blockchain üzerinde çalıştırmanın yüksek maliyetini ortadan kaldırır.
Sıfır bilgi doğrulaması: Giza, hesaplamanın doğru şekilde yapıldığını kanıtlamak amacıyla her model çıkarımı için ZK kanıtı oluşturur. Bu kanıtlar zincir üzerinde doğrulanır ve tüm hesaplama sürecini zincir üzerinde tekrarlamak zorunda kalmadan çıkarım sonuçlarının doğruluğu sağlanır.
Giza'nın yaklaşımı, yapay zeka modellerinin, merkezi oracle'lara veya güvenilir yürütme ortamlarına dayanmadan akıllı sözleşmeler için güvenilir girdi kaynakları olarak hizmet etmesini sağlar. Bu, yapay zeka tabanlı varlık yönetimi, dolandırıcılık tespiti ve dinamik fiyatlandırma gibi blockchain uygulamaları için yeni olanaklar sunuyor. Mevcut Web3 x AI'deki birkaç mantıksal kapalı döngü projesinden biridir ve aynı zamanda AI alanında ortak işlemenin harika bir kullanımıdır.
3.2 Sıfır Isıtma
Risk Zero, birden fazla önde gelen VC tarafından desteklenen bir ortak işlemci projesidir ve alanında liderdir. Proje, blockchain akıllı sözleşmeleri kapsamında keyfi hesaplamaların doğrulanabilir şekilde yürütülmesini sağlamaya odaklanıyor. Geliştiriciler Rust'ta programlar yazabilir ve bunları RISC Zero ağına dağıtabilir, ardından sıfır bilgi kanıtları aracılığıyla program yürütmenin doğruluğunu doğrular ve sonuçları güvenilir bir şekilde akıllı sözleşmelere sağlar. Bu, geliştiricilerin blok zincirinin merkezi olmayan yapısını ve doğrulanabilirliğini korurken karmaşık zincir içi uygulamalar oluşturmasına olanak tanır.
Yukarıda konuşlandırma ve çalışma sürecinden kısaca bahsetmiştik, burada ise iki temel bileşenden detaylı olarak bahsedeceğiz:
Bonsai: RISC Zero'nun Bonsai'si, projedeki ortak işlemci bileşenidir. RISC-V talimat seti mimarisinin zkVM'sine sorunsuz bir şekilde entegre edilir ve geliştiricilerin yüksek performanslı sıfır bilgi kanıtlarını Ethereum ve L1'e hızlı bir şekilde entegre etmesine olanak tanır. Birkaç gün içinde Blockchain, Cosmos uygulama zinciri, L2 toplamaları ve dApp'ler, akıllı sözleşmelere doğrudan çağrılar, doğrulanabilir zincir dışı hesaplamalar, zincirler arası birlikte çalışabilirlik ve evrensel toplama işlevleri sağlarken, merkezi olmayan ilk dağıtılmış mimari tasarımını benimser ve özyinelemeli özelliklerle birleşir. Kanıtlar, özel devre derleyicileri, durum sürekliliği ve sürekli olarak iyileştirilen kanıt algoritmaları, herkesin çeşitli uygulamalar için yüksek performanslı sıfır bilgi kanıtları oluşturmasına olanak tanır.
zKVM: zkVM, gerçek bir yerleşik RISC-V mikroişlemcisi gibi çalışan, doğrulanabilir bir bilgisayardır. Bu sanal makine, geliştiricilerin Rust, C++, Solidity, Go gibi çeşitli programlama dillerini ve diğer üst düzey programlama dillerini kullanarak sıfır üretebilen programlar yazmasına olanak tanıyan RISC-V komut seti mimarisini temel alır. -bilgi kanıtları. Popüler Rust kasalarının %70'inden fazlasını destekler. Genel bilgi işlem ve sıfır bilgi kanıtlarının kusursuz birleşimini sağlar ve hesaplamanın gizliliğini korurken her türlü karmaşıklıktaki hesaplamalar için etkili sıfır bilgi kanıtları oluşturabilir. zkVM, zincir dışı yürütme ve zincir içi doğrulama modlarını destekleyen Recursion Prover ve STARK-to-SNARK Prover gibi bileşenler aracılığıyla verimli kanıt oluşturma ve doğrulamayı gerçekleştiren ZK teknolojisi de dahil olmak üzere STARK'ları ve SNARK'ları benimser.
Risc Zero, birden fazla ETH sistemi Katman 2 ile entegre oldu ve birden fazla Bonsai kullanım durumu gösterdi; bunlardan en ilginç olanı Bonsai Pay'dir. Demo, kullanıcıların bir Google hesabı kullanarak Ethereum'da ETH ve token göndermesine veya çekmesine olanak sağlamak için RISC Zero'nun zkVM'sini ve Bonsai hizmet kanıtını kullanıyor. Örneklere ek olarak, Web3 kullanıcılarının geleneksel Web2 uygulamaları aracılığıyla giriş engelini azaltan bir entegrasyon kullanım durumu olan OAuth 2.0 (Google gibi büyük kimlik sağlayıcıları tarafından kullanılan standart) ile RISC Zero'nun zincir üstü uygulamaları nasıl sorunsuz bir şekilde entegre edebileceğini gösterir. DAO gibi uygulamalara dayanmaktadır.
3,3 = sıfır;
=nil; Mina, Polychain, Starkware, Blockchain Capital gibi tanınmış proje ve kurumlar tarafından yatırım yapılıyor. Mina ve Starkware gibi son teknoloji zk teknolojilerine sahip proje partilerinin de aralarında yer aldığını belirtmekte fayda var. Projenin teknik tanınırlığı hala yüksek. =nil; "Bilgisayar Gücü Piyasası" araştırma raporumuz da bahsedilen bir projedir. O zamanlar esas olarak =nil;'in Proof Market'ine (merkezi olmayan kanıt üretme pazarı) odaklanıyordu. Projenin aslında zkLLVM adında bir alt ürünü de vardı.
zkLLVM, =nil Foundation tarafından geliştirilen yenilikçi bir devre derleyicisidir. C++ ve Rust gibi ana geliştirme dillerinde yazılan uygulama kodlarını, özel sıfır bilgi alanları kullanmadan otomatik olarak Ethereum üzerinde verimli kanıtlanabilir devrelere dönüştürebilir. DSL), böylece geliştirme sürecini büyük ölçüde basitleştirir ve geliştirme eşiğini düşürür. Aynı zamanda zkVM'yi (sıfır bilgi sanal makinesi) içermeyerek performansı artırır. Kanıt oluşturmayı hızlandırmak için donanım hızlandırmayı destekler. , zincirler arası köprüler, oracles, makine öğrenimi ve oyunlar gibi çeşitli ZK uygulama senaryoları ve =nil; ile sıkı bir şekilde entegre olup geliştiricilere devre oluşturmadan kanıt oluşturmaya kadar uçtan uca destek sağlar.
3.4 Kısa Bilgi
Bu proje, Celer Network'ün bir alt projesidir ve dApp'lerin birden fazla blok zincirinde tamamen güvenilmez bir şekilde erişmesini, hesaplamasını ve kullanmasını sağlayan, blockchain için akıllı bir sıfır bilgi (ZK) ortak işlemcisidir. Diğer ortak işlemciler gibi Brevis'in de veri odaklı DeFi, zkBridges, zincir içi kullanıcı edinimi, zkDID ve sosyal hesap soyutlaması gibi geniş bir kullanım alanı yelpazesi vardır.
Brevis'in mimarisi esas olarak üç bölümden oluşur:
zkFabric: zkFabric, Brevis mimarisine yönelik bir tekrarlayıcıdır. Ana görevi, tüm bağlı blok zincirlerden blok başlığı bilgilerini toplamak ve senkronize etmek ve son olarak ZK hafif istemci devresi aracılığıyla toplanan her blok başlığı için fikir birliği kanıtları oluşturmaktır.
zkQueryNet: zkQueryNet, zincirdeki akıllı sözleşmelerden gelen veri sorgularını doğrudan kabul edebilen ve ayrıca ZK sorgu motoru devresi aracılığıyla sorgu sonuçlarını ve karşılık gelen ZK sorgu sertifikalarını üretebilen açık bir ZK sorgu motoru pazarıdır. Bu motorlar, son derece uzmanlaşmış (belirli bir zaman dilimi boyunca bir DEX'teki işlem hacminin hesaplanması gibi) son derece genel veri dizini soyutlamalarına ve çeşitli uygulama ihtiyaçlarını karşılayan üst düzey sorgulama dillerine kadar çeşitlilik gösterir.
zkAggregatorRollup: zkFabric ve zkQueryNet için toplama ve depolama katmanı görevi görür. Her iki bileşenin kanıtlarını doğrular, onaylanmış verileri saklar ve ZK korumalı durum kökünü bağlı tüm blok zincirlerine aktararak dApp'lerin zincir içi akıllı sözleşme arama sonuçlarının iş mantığında onaylanmış bilgilere doğrudan erişmesine olanak tanır.
Bu modüler mimari sayesinde Brevis, desteklenen tüm halka açık zincirlerdeki akıllı sözleşmelere güvenilir, verimli ve esnek erişim sağlayabilir. Bu proje aynı zamanda UNI'nin V4 versiyonunda da benimsendi ve tarihsel blockchain verilerinin okunmasını kolaylaştırmak, gaz ücretlerini azaltmak ve merkezi olmayan özellikleri sağlamak için protokoldeki Hooks'la (çeşitli kullanıcılar için özel mantığı entegre eden bir sistem) entegre edildi. Bu, DEX'i çalıştıran zk yardımcı işlemcisinin bir örneğidir.
3.5 Lagrange
Lagrange, 1kx ve Founders Fund liderliğindeki birlikte çalışabilen bir zk ortak işlemci protokolüdür. Protokolün temel amacı, güvenilir çapraz zincir birlikte çalışabilirliği sağlamak ve büyük verilerin karmaşık hesaplamalarını gerektiren uygulamaların yeniliğini desteklemektir. Geleneksel düğüm köprülerinden farklı olarak Lagrange'ın zincirler arası birlikte çalışabilirliği, esas olarak yenilikçi ZK Büyük Veri ve Devlet Komitesi mekanizmaları aracılığıyla elde edilir.
ZK Büyük Veri: Bu ürün, Langrange'ın çekirdeğini oluşturur ve esas olarak zincirler arası verilerin işlenmesinden, doğrulanmasından ve ilgili ZK sertifikalarının oluşturulmasından sorumludur. Bu bileşen, karmaşık zincir dışı hesaplamalar gerçekleştirmek ve sıfır bilgi kanıtları oluşturmak için oldukça paralel bir ZK Yardımcı İşlemcisi içerir. Özel olarak tasarlanmış doğrulanabilir bir veritabanı, akıllı sözleşmeler için sınırsız depolama yuvalarını ve doğrudan SQL sorgularını destekler. Dinamik bir güncelleme mekanizması, yalnızca azaltılmış veri noktalarını günceller. Geliştiricilerin karmaşık devreler yazmadan doğrudan akıllı sözleşmelerden SQL sorgularını kullanarak geçmiş verilere erişmesine olanak tanıyan kanıtlanmış zaman ve entegre işlevsellik, birlikte büyük ölçekli bir blockchain veri işleme ve doğrulama sistemi oluşturur.
Devlet Komitesi: Bu bileşen, birden fazla bağımsız düğümden oluşan merkezi olmayan bir doğrulama ağıdır ve her düğüm ETH'yi teminat olarak taahhüt eder. Bu düğümler ZK hafif istemcileri olarak hizmet verir ve belirli optimizasyon toplamalarının durumunu doğrulamaya adanmıştır. Devlet Komitesi, EigenLayer'in AVS'si ile entegre olur, güvenliği artırmak için ağır taahhüt mekanizmasını kullanır, sınırsız sayıda düğümün katılımını destekler ve süper doğrusal güvenlik büyümesi elde eder. Ayrıca, kullanıcıların sorgulama penceresini beklemeden zincirler arası işlemleri gerçekleştirmelerine olanak tanıyan bir "hızlı mod" sağlayarak kullanıcı deneyimini büyük ölçüde artırır. Bu iki teknolojinin birleşimi, Lagrange'ın büyük ölçekli verileri verimli bir şekilde işlemesine, karmaşık hesaplamalar yapmasına 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ştirilmesine destek sağlar.
Lagrange şu anda EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer vb. ile entegredir ve aynı zamanda ilk ZK AVS olarak Ethereum ekosistemine bağlanacaktır.
Referanslar
1.ABCDE: ZK Yardımcı İşlemcisine ve Geleceğine Derin Bir Bakış: https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946
2. İhtiyacınız Olan Tek Şey “ZK”: https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c 52
3. Sıfır risk: 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ızlanır! ZK yardımcı işlemcisi akıllı sözleşme veri engellerini nasıl aşıyor: https://foresightnews.pro/article/detail/48239
