Yardımcı işlemci konseptinin son aylarda popülerleşmesiyle birlikte bu yeni ZK kullanım durumu giderek daha fazla ilgi görmeye başladı.

Bununla birlikte, çoğu insanın yardımcı işlemci kavramına, özellikle de yardımcı işlemcilerin kesin konumlandırılmasına (bir yardımcı işlemcinin ne olduğu ve ne olmadığı) hala göreceli olarak aşina olmadığını gördük. Piyasadaki birçok ortak işlemci kanalının teknik çözümlerinin karşılaştırılması konusunda henüz kimse bunu sistematik olarak çözmedi.Bu makale, pazara ve kullanıcılara yardımcı işlemci kanalı hakkında daha net bir anlayış sunmayı umuyor.

1. Ortak işlemci nedir, ne değildir?

Yardımcı işlemcileri teknik bilgisi olmayan birine veya geliştiriciye tek bir cümleyle açıklamanız istense, bunu nasıl tanımlarsınız?

Dr. Dong Mo'nun söylediğinin standart cevaba çok yakın olabileceğini düşünüyorum; açık bir şekilde ifade etmek gerekirse, yardımcı işlemci "akıllı sözleşmeye Dune Analytics yapma yeteneği veriyor."

Bu cümleyi nasıl çözebiliriz?

Dune'u kullandığımız senaryoyu hayal edin - bazı işlem ücretleri kazanmak için Uniswap V3'te LP yapmak istiyorsunuz, böylece Dune'u açıyorsunuz ve Uniswap'teki çeşitli işlem çiftlerinin son işlem hacmini, son 7 gündeki işlem ücretlerinin APR'sini buluyorsunuz, ve ana ticaret çiftleri Üst ve alt dalgalanma aralıkları, vb...

Ya da belki StepN popüler hale geldiğinde ayakkabılar hakkında spekülasyon yapmaya başladınız ve onları ne zaman satacağınızdan emin olamadığınız için her gün Dune'daki StepN verilerine, günlük işlem hacmine, yeni kullanıcı sayısına, taban fiyatına baktınız. ayakkabılar... ve büyüme gerçekleştiğinde planlandı. Trend yavaşlarsa veya düşerse hızlı koşun.

Elbette sadece siz bu verilere bakmakla kalmıyorsunuz, Uniswap ve StepN'in geliştirme ekipleri de bu verilere dikkat ediyor.

Bu veriler çok anlamlıdır; yalnızca trendlerdeki değişiklikleri değerlendirmeye yardımcı olmakla kalmaz, aynı zamanda onu, tıpkı büyük İnternet şirketlerinin yaygın olarak kullandığı "büyük veri" yaklaşımı gibi, daha fazla hile oluşturmak için de kullanabilir.

Örneğin kullanıcıların sıklıkla alıp sattığı ayakkabıların tarzına ve fiyatına göre benzer ayakkabılar öneriliyor.

Örneğin, kullanıcıların Chuangshi ayakkabılarını ellerinde tuttukları sürenin uzunluğuna bağlı olarak, sadık kullanıcılara daha fazla airdrop veya avantaj sağlamak için bir "Kullanıcı Bağlılığı Ödül Programı" başlatılacak.

Örneğin, Cex'e benzer bir VIP planı, LP veya Trader'ın Uniswap'te sağladığı TVL veya işlem hacmine göre başlatılabilir ve Trader'a işlem ücreti indirimi veya LP ücret payı artışı avantajları sağlanır.

…

Bu noktada sorun ortaya çıkıyor: Büyük İnternet şirketlerinin büyük verisi + yapay zekası aslında bir kara kutu. Ne isterlerse yapabiliyorlar. Kullanıcılar bunu göremiyor ve umursamıyor.

Ancak Web3 tarafında şeffaflık ve güvensizlik bizim doğal siyasi doğruculuğumuzdur ve kara kutuları reddediyoruz!

Dolayısıyla, yukarıdaki senaryoyu gerçekleştirmek istediğinizde bir ikilemle karşı karşıya kalacaksınız - ya bunu merkezi yöntemlerle gerçekleştirebilir, arka planda dizin verilerini saymak için Dune'u "manuel olarak" kullanabilir ve ardından dağıtıp uygulayabilirsiniz; ya da şunu yazabilirsiniz: a Zincirdeki bu verileri otomatik olarak yakalamak, hesaplamaları tamamlamak ve noktaları otomatik olarak dağıtmak için akıllı sözleşmeler ayarlayın.

İlki sizi "politik olarak yanlış" güven sorunlarıyla karşı karşıya bırakabilir.

İkincisinin zincirde oluşturduğu gaz ücreti astronomik bir rakam olacaktır ve (proje tarafı) cüzdanınız bunu karşılayamaz.

Bu, yardımcı işlemcinin sahneye çıkma zamanıdır. Şimdi iki yöntemi birleştirin ve aynı zamanda teknik yollarla "masumiyeti kendi kendine kanıtlamak" için "arka plan kılavuzu" adımını kullanın. Başka bir deyişle, ZK'yi kullanın. teknolojisi zincirin dışına "indeks +" koyar. "Hesaplama" kısmı "masumiyeti kendi kendine kanıtlar" ve ardından bunu akıllı sözleşmeye besler. Bu sayede güven sorunu çözülür ve devasa gas ücretleri ortadan kalkar. Mükemmel !

Bu, yardımcı işlemcinin sahneye çıkma zamanıdır. Şimdi iki yöntemi birleştirin ve aynı zamanda teknik yollarla "masumiyeti kendi kendine kanıtlamak" için "arka plan kılavuzu" adımını kullanın. Başka bir deyişle, ZK'yi kullanın. teknolojisi zincirin dışına "indeks +" koyar. "Hesaplama" kısmı "masumiyeti kendi kendine kanıtlar" ve ardından bunu akıllı sözleşmeye besler. Bu sayede güven sorunu çözülür ve devasa gas ücretleri ortadan kalkar. Mükemmel !

Neden "yardımcı işlemci" olarak adlandırılıyor? Aslında bu, Web2.0'ın gelişim tarihindeki "GPU"dan türetilmiştir. GPU'nun o dönemde ayrı bir bilgi işlem donanımı olarak tanıtılmasının ve CPU'dan bağımsız olarak var olmasının nedeni, tasarım mimarisinin, büyük ölçekli paralel tekrarlanan hesaplamalar, grafikler gibi CPU için temelde zor olan bazı hesaplamaları işleyebilmesiydi. hesaplamalar vb. Tam olarak bu "ortak işlemci" mimarisi sayesinde bugün harika CG filmlerimiz, oyunlarımız, yapay zeka modellerimiz vb. var, dolayısıyla bu ortak işlemci mimarisi aslında bilgi işlem mimarisinde bir sıçramadır. Artık çeşitli ortak işlemci ekipleri de bu mimariyi Web3.0'a tanıtmayı umuyor. Buradaki blok zinciri, Web3.0'ın CPU'suna benzer. İster L1 ister L2 olsun, doğası gereği bu tür "ağır veriler" ve "Karmaşık" için uygun değillerdir. "hesaplama mantığı" görevleri, bu tür hesaplamaların yapılmasına yardımcı olmak için bir blockchain ortak işlemcisi tanıtılır ve böylece blockchain uygulamalarının olanakları büyük ölçüde genişletilir.

Yani yardımcı işlemcinin yaptığı iki şeyle özetlenebilir:

Bir süre önce Starkware, Depolama Kanıtı adı verilen ve aynı zamanda Durum Kanıtı olarak da adlandırılan popüler bir konsepte sahipti. Temel olarak Herodot, Langrage vb. tarafından temsil edilen 1. adımı gerçekleştirir. ZK teknolojisine dayalı birçok zincirler arası köprünün teknik odağı da 1. adımdadır. .1 açık.

Yardımcı işlemci, 1. adım tamamlandıktan sonra 2. adımı eklemekten başka bir şey değildir.Verileri güven olmadan çıkardıktan sonra, güven gerektirmeyen bir hesaplama yapabilir.

Bu nedenle, bunu doğru bir şekilde tanımlamak için nispeten teknik bir terim kullanmak gerekirse, yardımcı işlemcinin Depolama Kanıtı/Durum Kanıtı'nın bir üst kümesi ve Doğrulanabilir Hesaplama'nın bir alt kümesi olması gerekir.

Unutulmaması gereken bir nokta, yardımcı işlemcinin Toplama olmamasıdır.

Teknik olarak konuşursak, Rollup'ın ZK kanıtı yukarıdaki 2. adıma benzer ve 1. adımdaki "veri alma" süreci doğrudan Sıralayıcı aracılığıyla uygulanır. Merkezi olmayan bir Sıralayıcı bile yalnızca bir tür rekabet veya fikir birliği mekanizması kullanır. Depolama Kanıtı yerine bunu alın. ZK formu. Daha da önemlisi, hesaplama katmanına ek olarak, ZK Rollup'ın L1 blok zincirine benzer bir depolama katmanı da uygulaması gerekir.Bu depolama kalıcıdır, ZK Yardımcı İşlemcisi ise "durumsuzdur".Hesaplama tamamlandıktan sonra, Tüm durum yok tutuldu.

Uygulama senaryoları açısından bakıldığında, yardımcı işlemci tüm Katman1/Katman2 için bir hizmet eklentisi olarak kabul edilebilirken, Toplama, yerleşim katmanının genişletilmesine yardımcı olmak için bir yürütme katmanını yeniden oluşturur.

2. Neden ZK kullanmak zorundasınız?OP kullanmak uygun mudur?

Yukarıdakileri okuduktan sonra, bunun yardımcı işlemci olarak ZK ile mi yapılması gerektiği konusunda şüpheniz olabilir. "ZK eklenmiş bir Grafik"e çok benziyor ve Grafikteki sonuçlar hakkında "büyük şüphelerimiz" yok gibi görünüyor.

Bunun nedeni, Graph'ı kullandığınızda temelde gerçek parayı dahil etmemenizdir. Bu endeksler zincir dışı hizmetlere hizmet eder. Ön uç kullanıcı arayüzünde gördüğünüz işlem hacmi, işlem geçmişi vb. Veriler birden fazla veri aracılığıyla sağlanabilir. Graph, Alchemy, Zettablock vb. gibi indeks sağlayıcıları, ancak bu veriler akıllı sözleşmeye geri doldurulamaz çünkü onu tekrar doldurduğunuzda indeksleme hizmetine daha fazla güven katacaksınız. Veriler gerçek paraya, özellikle de büyük hacimli TVL'ye bağlandığında, bu ekstra güven önemli hale gelir. Bir dahaki sefere bir arkadaşınız sizden 100 yuan borç istediğinizde, gözünüzü bile kırpmadan ödünç verebildiğinizi hayal edin. Evet, peki ya ben sizden 10.000 yuan, hatta 1 milyon yuan borç almanızı mı istiyorsunuz?

Ancak yine de, yukarıdaki senaryoların tümünü birlikte işlemek için ZK'yi gerçekten kullanmak zorunda mıyız? Sonuçta, Rollup'ta OP ve ZK olmak üzere iki teknik rotamız var. Son zamanlarda popüler olan ZKML ayrıca karşılık gelen şube rotalarından oluşan OPML konseptine de sahip. Yardımcı işlemcinin ayrıca OP-Yardımcı İşlemci gibi bir OP şubesi var mı diye sorulur.

Aslında var - ancak belirli ayrıntıları şimdilik gizli tutuyoruz ve yakında daha ayrıntılı bilgileri yayınlayacağız.

3. Hangi yardımcı işlemci daha iyidir - Piyasadaki yaygın birkaç yardımcı işlemci teknik çözümünün karşılaştırılması

Brevis'in mimarisi üç bileşenden oluşur: zkFabric, zkQueryNet ve zkAggregatorRollup.

Aşağıda bir Brevis mimari şeması yer almaktadır:

zkFabric: Bağlı tüm blok zincirlerinden blok başlıklarını toplar ve bu blok başlıklarının geçerliliğini kanıtlayan ZK fikir birliği kanıtları üretir. Brevis, zkFabric aracılığıyla birden fazla zincir için birlikte çalışabilen bir yardımcı işlemci uygular ve bu, bir blockchain'in başka bir blockchain'in herhangi bir geçmiş verisine erişmesine olanak tanır.

zkQueryNet: DApp'lerden gelen veri sorgularını kabul eden ve bunları işleyen açık bir ZK sorgu motoru pazarı. Veri sorguları, bu sorguları zkFabric'in doğrulanmış blok başlıklarını kullanarak işler ve ZK sorgu kanıtları oluşturur. Bu motorlar, farklı uygulama ihtiyaçlarını karşılamak için hem son derece uzmanlaşmış işlevlere hem de genel sorgulama dillerine sahiptir.

zkAggregatorRollup: zkFabric ve zkQueryNet için toplama ve depolama katmanı görevi gören bir ZK evrişimli blok zinciri. Her iki bileşenden gelen kanıtları doğrular, doğrulanmış verileri saklar ve zk tarafından doğrulanmış durum kökünü bağlı tüm blok zincirlerine aktarır.

ZK Fabric, blok başlığı için kanıt oluşturmanın önemli bir parçasıdır. Bu parçanın güvenliğini sağlamak çok önemlidir. Aşağıda zkFabric'in mimari diyagramı verilmiştir:

zkFabric'in Sıfır Bilgi Kanıtı (ZKP) tabanlı hafif istemcisi, herhangi bir harici doğrulama kuruluşuna bağlı kalmadan onu tamamen güvensiz hale getirir. Güvenliği tamamen temel blok zincirinden ve matematiksel olarak güvenilir kanıtlardan geldiğinden, herhangi bir harici doğrulama kuruluşuna güvenmeye gerek yoktur.

zkFabric Prover ağı, her bir blok zincirinin lightclient protokolü için devreleri uygular ve ağ, blok başlıkları için geçerlilik kanıtları üretir. Provacılar, prova süresini ve maliyetini en aza indirmek için GPU'lar, FPGA'ler ve ASIC'ler gibi hızlandırıcılardan yararlanabilir.

zkFabric, blok zincirinin ve temel şifreleme protokolünün güvenlik varsayımlarına ve temel şifreleme protokolünün güvenlik varsayımlarına dayanır. Ancak zkFabric'in etkinliğini sağlamak için doğru çatalı senkronize edecek en az bir dürüst röle gereklidir. Bu nedenle zkFabric, zkFabric'in etkinliğini optimize etmek için tek bir röle yerine merkezi olmayan bir röle ağı kullanır. Bu röle ağı, Celer ağındaki durum izleme ağı gibi mevcut yapıları kullanabilir.

Kanıtlayıcı tahsisi: Kanıtlayıcı ağı, her kanıt oluşturma görevi için bir kanıtlayıcının seçilmesini ve bu kanıtlayıcılara ücret ödenmesini gerektiren merkezi olmayan bir ZKP kanıtlayıcı ağıdır.

Mevcut dağıtım:

Ethereum PoS, Cosmos Tendermint ve BNB Chain dahil olmak üzere çeşitli blok zincirleri için halihazırda uygulanan hafif istemci protokolleri örnek ve kavram kanıtı olarak hizmet vermektedir.

Mevcut dağıtım:

Ethereum PoS, Cosmos Tendermint ve BNB Chain dahil olmak üzere çeşitli blok zincirleri için halihazırda uygulanan hafif istemci protokolleri örnek ve kavram kanıtı olarak hizmet vermektedir.

Brevis şu anda özel uniswap havuzlarını büyük ölçüde ekleyen uniswap hook ile işbirliği yapıyor. Ancak, CEX ile karşılaştırıldığında UnisWap, büyük kullanıcı işlem verilerine (işlem hacmine dayalı sadakat programları gibi) dayanan projeler oluşturmak için hala etkili veri işleme yeteneklerinden yoksundur. .

Hook, Brevis'in yardımıyla bu sorunu çözdü. Hook'lar artık bir kullanıcının veya LP'nin tüm geçmiş zincir verilerinden okuyabilir ve özelleştirilebilir hesaplamaları tamamen güvenilir bir şekilde çalıştırabilir.

2.Herodot

Herodot, Ethereum katmanı boyunca zincirdeki mevcut ve geçmiş verilere eşzamanlı olarak erişmek için aşağıdaki işlevlere sahip akıllı sözleşmeler sağlayan güçlü bir veri erişim ara yazılımıdır:

L2'lerden L1 durumları

Hem L1'lerden hem de diğer L2'lerden L2 durumları

L3/Uygulama Zinciri durumları L2'lere ve L1'lere

Herodot, büyük bir veri kümesinin (tüm Ethereum blok zinciri gibi) saklandığını kanıtlamak için dahil edilme kanıtını (verilerin varlığını doğrulamak) ve hesaplama kanıtını (çok adımlı bir iş akışının yürütülmesini doğrulamak) birleştiren depolama kanıtı kavramını önerdi. veya bir toplama) veya birden fazla öğenin geçerliliği.

Blockchain'in çekirdeği, Merkle ağaçları ve Merkle Patricia ağaçları gibi veri yapıları kullanılarak verilerin şifrelendiği ve korunduğu veritabanıdır. Bu veri yapılarının benzersiz yanı, veriler onlara güvenli bir şekilde aktarıldığında, verilerin yapı içinde yer aldığını doğrulayacak kanıtların oluşturulabilmesidir.

Merkle ağaçlarının ve Merkle Patricia ağaçlarının kullanımı Ethereum blok zincirinin güvenliğini artırır. Ağacın her seviyesindeki verilere kriptografik olarak karma işlemi uygulandığında, verileri tespit edilmeden değiştirmek neredeyse imkansızdır. Bir veri noktasında yapılacak herhangi bir değişiklik, ağaçtaki karşılık gelen karma değerinin, blockchain başlığında herkesin görebileceği kök karma değerine değiştirilmesini gerektirir. Blockchain'in bu temel özelliği, yüksek düzeyde veri bütünlüğü ve değişmezliği sağlar.

İkincisi, bu ağaçlar dahil etme kanıtları yoluyla verimli veri doğrulamaya olanak tanır. Örneğin, bir işlemin dahil edildiğini veya bir sözleşmenin durumunu doğrularken, Ethereum blok zincirinin tamamını aramaya gerek yoktur, yalnızca ilgili Merkle ağacındaki yolu doğrulamanız yeterlidir.

Herodot tarafından tanımlandığı şekliyle saklama kanıtı aşağıdakilerin bir birleşimidir:

İş akışı:

1. Blok karmasını elde edin

Blockchain'deki her veri belirli bir bloğa aittir. Blok karması, bloğun benzersiz tanımlayıcısı olarak hizmet eder ve tüm içeriğini blok başlığı aracılığıyla özetler. Depolama kanıtı iş akışında öncelikle ilgilendiğimiz veriyi içeren bloğun blok karma değerini belirleyip doğrulamamız gerekiyor. Bu, tüm sürecin ilk adımıdır.

2. Blok başlığını edinin

İlgili blok karması elde edildikten sonraki adım blok başlığına erişmektir. Bunu yapmak için, önceki adımda elde edilen blok karma değeriyle ilişkili blok başlığının karma hale getirilmesi gerekir. Sağlanan blok başlığının karması daha sonra ortaya çıkan blok karmasıyla karşılaştırılır:

Hash elde etmenin iki yolu vardır:

(1) Geri almak için BLOCKHASH işlem kodunu kullanın

(2) Geçmişte doğrulanmış blokların karmalarını Block Hash Accumulator'dan sorgulayın

Hash elde etmenin iki yolu vardır:

(1) Geri almak için BLOCKHASH işlem kodunu kullanın

(2) Geçmişte doğrulanmış blokların karmalarını Block Hash Accumulator'dan sorgulayın

Bu adım, işlenmekte olan blok başlığının orijinal olmasını sağlar. Bu adım tamamlandığında akıllı sözleşme blok başlığındaki herhangi bir değere erişebilir.

3. Gerekli kökleri belirleyin (isteğe bağlı)

Elimizde blok başlığı varken, içeriğini detaylı olarak inceleyebiliriz:

stateRoot: Blok zincirinin meydana geldiği andaki tüm blok zinciri durumunun kriptografik özeti.

makbuzRoot: Bloktaki tüm işlem sonuçlarının (makbuzların) şifrelenmiş özeti.

TransactionsRoot: Blokta meydana gelen tüm işlemlerin kriptografik özeti.

Belirli bir hesabın, makbuzun veya işlemin bloğa dahil olup olmadığının doğrulanmasına olanak tanıyacak şekilde kodu çözülebilir.

4. Verileri seçilen köke göre doğrulayın (isteğe bağlı)

Seçtiğimiz kök ile Ethereum'un Merkle-Patricia Trie yapısını kullandığını göz önünde bulundurarak Merkle dahil etme kanıtını kullanarak verinin ağaçta var olup olmadığını doğrulayabiliriz. Doğrulama adımları verilere ve blok içindeki verilerin derinliğine bağlı olarak değişiklik gösterecektir.

Şu anda desteklenen ağlar:

Ethereum'dan Starknet'e

Ethereum Goerli'den* Starknet Goerli'ye*

Ethereum Goerli'den* zkSync Era Goerli'ye*

3. Aksiyom

Axiom, geliştiricilere Ethereum'un tüm geçmişinden blok başlıklarını, hesap veya depolama değerlerini sorgulamaları için bir yol sağlar. AXIOM, kriptografiye dayalı yeni bir bağlantı yöntemi sunar. Axiom tarafından döndürülen tüm sonuçlar, sıfır bilgi kanıtlarıyla zincir üzerinde doğrulanır; bu, akıllı sözleşmelerin bunları ek güven varsayımları olmadan kullanabileceği anlamına gelir.

Axiom yakın zamanda Javascript ile yazılmış, tarayıcı tabanlı bir halo2 REPL olan Halo2-repl'i piyasaya sürdü. Bu, geliştiricilerin Rust gibi yeni diller öğrenmesine, kanıt kitaplıkları yüklemesine veya bağımlılıklarla uğraşmasına gerek kalmadan yalnızca standart Javascript kullanarak ZK devreleri yazmasına olanak tanır.

Axiom iki ana teknoloji bileşeninden oluşur:

Axiom iki ana teknoloji bileşeninden oluşur:

AxiomV1 — Genesis ile başlayan Ethereum blockchain önbelleği.

AxiomV1Query — AxiomV1'e karşı sorguları yürüten akıllı bir sözleşme.

(1) AxiomV1'deki önbellek bloğu karma değeri:

AxiomV1 akıllı sözleşmesi, oluşum bloğundan bu yana Ethereum blok karmalarını iki biçimde önbelleğe alır:

İlk olarak, ardışık 1024 blok karma değerinin Keccak Merkle kökü önbelleğe alınır. Bu Merkle kökleri, ZK kanıtları aracılığıyla güncellenir ve blok başlığı karmasının, EVM tarafından doğrudan erişilebilen en son 256 bloktan biriyle veya AxiomV1 önbelleğinde zaten mevcut olan bir blok karmasıyla biten bir taahhüt zinciri oluşturduğunu doğrular.

İkincisi. Axiom, oluşum bloğundan başlayarak bu Merkle köklerinin Merkle Sıradağlarını saklar. Merkle Sıradağları, önbelleğin ilk kısmı olan Keccak Merkle kökünün güncellenmesiyle zincir üzerine inşa edilmiştir.

(2) AxiomV1Query'de sorguyu yürütün:

AxiomV1Query akıllı sözleşmesi, geçmiş Ethereum blok başlıklarına, hesaplara ve hesaplarda depolanan rastgele verilere güvenilir erişim sağlamak amacıyla toplu sorgular için kullanılır. Sorgular zincir üzerinde yapılabilir ve AxiomV1 önbelleğe alınmış blok karmalarına karşı ZK kanıtları aracılığıyla zincir üzerinde tamamlanır.

Bu ZK kanıtları, Merkle-Patricia Trie'nin dahil edilme (veya dahil edilmeme) kanıtını doğrulayarak ilgili zincir üstü verilerin doğrudan blok başlığında veya bloğun hesabında veya depolama alanında bulunup bulunmadığını kontrol eder.

4.Nexus

Nexus, sıfır bilgi kanıtlarını kullanarak doğrulanabilir bulut bilişim için ortak bir platform oluşturmaya çalışıyor. Şu anda makine mimarisinden bağımsızdır ve risk 5/WebAssembly/EVM'yi destekler. Nexus, süpernova kanıt sistemini kullanıyor. Ekip, kanıt oluşturmak için gereken belleğin 6 GB olduğunu test etti. Gelecekte, sıradan kullanıcı tarafındaki cihazların ve bilgisayarların kanıt oluşturabilmesi için bu temelde optimize edilecek.

Daha kesin olmak gerekirse, mimari iki bölüme ayrılmıştır:

Nexus Zero: Sıfır bilgi kanıtları ve evrensel zkVM ile desteklenen, merkezi olmayan, doğrulanabilir bir bulut bilgi işlem ağı.

Nexus: Çok taraflı hesaplama, durum makinesi çoğaltması ve evrensel bir WASM sanal makinesiyle desteklenen, merkezi olmayan, doğrulanabilir bir bulut bilgi işlem ağı.

Nexus ve Nexus Zero uygulamaları, şu anda Rust'u destekleyen geleneksel programlama dillerinde yazılabilecek ve daha fazla dil de gelecek.

Nexus uygulamaları, esasen doğrudan Ethereum'a bağlı genel amaçlı bir "sunucusuz blok zinciri" olan merkezi olmayan bir bulut bilgi işlem ağı üzerinde çalışır. Bu nedenle, Nexus uygulamaları Ethereum'un güvenliğini devralmaz, ancak karşılığında ağının küçültülmüş boyutu nedeniyle daha yüksek bilgi işlem gücüne (bilgi işlem, depolama ve olay odaklı G/Ç gibi) erişim kazanır. Nexus uygulamaları, dahili fikir birliğine ulaşan ve Ethereum içindeki ağ çapında doğrulanabilir eşik imzaları aracılığıyla doğrulanabilir hesaplama "kanıtları" (gerçek kanıtlar değil) sağlayan özel bir bulut üzerinde çalışır.

Nexus Zero uygulamaları, BN-254 eliptik eğrisi üzerinde zincir üzerinde doğrulanabilen sıfır bilgi kanıtlarına sahip evrensel programlar olduğundan Ethereum'un güvenliğini devralır.

Nexus, çoğaltılmış bir ortamda herhangi bir deterministik WASM ikili dosyasını çalıştırabildiğinden zk-rollup sıralayıcılar, iyimser toplama sıralayıcılar ve diğer kanıt Sunucuları dahil olmak üzere oluşturulan uygulamalar için bir geçerlilik/dağılım/hata toleransı kanıtı kaynağı olarak kullanılması beklenir. Nexus Zero'nun zkVM'sinin kendisi gibi.