2025’e kadar güncellenen makale, işlemci sektöründeki en son pazar genişlemesini, teknik atılımları ve proje evrimlerini kapsar. Kanıt üretme süresindeki önemli iyileştirmeleri, doğrulama maliyetlerini ve veri işleme yeteneklerini vurgularken, ZK işlemcilerin ve çapraz zincir işlevselliğinin artan benimsenmesine de odaklanır. Ayrıca, yardımcı işlemcilerin Web3 altyapısıyla entegrasyonunu ve merkeziyetsiz uygulamalarda gelişmiş kimlik doğrulama, dinamik risk değerlendirmesi ve hesap verebilir oy mekanizmalarını etkinleştirmedeki rolünü incelemektedir.

Pazar Genişlemesi ve Teknik Evrim 2024’ten bu yana yardımcı işlemci sektörü kayda değer bir büyüme yaşlamıştır ve birçok önemli gelişme, ekosistemin şeklini yeniden tanımlamıştır:

• ZK Yardımcı İşlemci Benimsemesi: Kurumsal entegrasyon, 2024 yılı sonlarından bu yana %215 oranında artış göstermiştir. Finansal kurumlar, tarihsel işlem doğrulaması uygulamalarında bu teknolojilerin entegrasyonunda öncü olmuştur.
• Çapraz Zincir İşlevselliği: Önde gelen platformlar, yalnızca Ethereum ile sınırlı kalmayıp, %73 oranında çoklu zincir veri doğrulamasını desteklemektedir.
• Standartlaşırılmış API’ler: 2025’in ilk çeyreğinde kurulan İşlemci Birliği Standartları, geliştirici entegrasyonlarında %60’a varan bir sadeleşme sağlamış, birleşik arayüzler sunmuştur.

Teknik Atılımlar Yardımcı işlemci birimlerinin temel teknolojilerinde çarpıcı ilerlemeler gerçekleşmiştir.

Proje Evrimi & Rekabetçi Manzara

Axiom: Axiom, AxiomOS aracılığıyla pazar liderliğini sürdürmektedir. Bu sistem, önde gelen L2 çözümlerle entegre bir veri erişilebilirlik işletim sistemidir. Kurumsal düzeyde eş işlem çözümü, ZK geçerlilik kanıtlarını kullanarak gerçek zamanlı veri akışı sağlamaktadır.
Brevis EigenLayer entegrasyonu sonrasında Brevis devreye alınmıştır. Brevis Nexus, 9 büyük blokzincir ağında yardımcı işlem fonksiyonlarını birleştirir. Paralel işleme mimarisi, 5.000’den fazla eşzamanlı doğrulama talebini işleyebilmektedir.

Herodotus: Herodotus, Starknet entegrasyonu aracılığıyla Zamansal Köprüler’i başlatmıştır. Bu sistem, akıllı sözleşmelerin geleneksel yöntemlere göre %97 daha düşük maliyetlerle çapraz zincir geçmiş verilere erişmesini sağlar. Halihazırda 40’tan fazla büyük DeFi protokolüyle entegrasyon gerçekleştirilmiştir.

Yükselen Oyuncular

Yeni girişimler, belirli dikey uygulama alanlarına odaklanmıştır:

• Quantum Veri Sistemleri: Yüksek frekanslı veri doğrulaması için optimize edilmiştir.
• ChronosLabs: Denetim izleri ve regülatör uyumluluk konusunda uzmanlaşmıştır.
• ZKHistory: Kurumsal düzey tarihsel veri analizi sunar, yerel gizlilik özellikleriyle donatılmıştır.

Web3 Altyapısı ile Entegrasyon

Koproşesörler giderek Web3 altyapısının temel bir katmanı haline geliyor:

• Hesap soyutlama sistemleriyle entegrasyon, geçmiş kullanıcı davranışına dayalı gelişmiş kimlik doğrulamaya olanak tanır
• DeFi protokolleri, geçmiş on-chain aktivitesine dayalı dinamik risk değerlendirmesi için yardımcı işlemciler kullanır
• Yönetim sistemleri, hesap verebilir oy verme mekanizmalarını tarihsel katılım doğrulaması yoluyla uygular

2025 yılına kadar koproşesör peyzajı önemli ölçüde olgunlaştı, deneysel teknolojiden temel Web3 altyapısına dönüştü. Teknik iyileştirmeler maliyetleri dramatik bir şekilde azaltırken yetenekleri genişletti ve tarihsel veri erişimini ana akım uygulamalar için pratik hale getirdi. Standartlaştırma çabaları devam ettikçe ve çapraz zincir işlevselliği genişledikçe, koproşesörler kendilerini blok zincirinin mevcut durumu ile tarihsel kaydı arasındaki kritik bağlantı olarak konumlandırıyor, yeni nesil zeki, bağlam farkındalığına sahip merkezi olmayan uygulamaların önünü açıyor.

2024 Yardımcı İşlemci İzleme Analizi Bu makale, yardımcı işlemcilerin gelişimi ve teknik kökenlerinin kapsamılı bir incelemesini sunar. Mevcut izlek içinde çeşitli rakip projelerin teknik yığınlarını ve rekabet avantajlarını analiz eder ve Axiom’u örnek alarak yardımcı işlemcilerin nasıl çalıştığını açıklar.

Bir Yardımcı İşlemci Nedir?

Celer Network ve Brevis’in ortak kurucusu Mo Dong, bir yardımcı işlemciyi, akıllı sözleşmelere “Dune Analytics” benzeri sorgulama ve analiz yetenekleri kazandıran bir aracı olarak tanımlar.
Basit bir ifadeyle, mevcut genel akıllı sözleşmeler tarihsel verilere erişemez. Örneğin, bir Likidite Yönetim Protokolü üzerinde çalışırken, bir AMM’de likidite sağlayıcıların fiyat aralığını ne sıklıkla ve hangi maliyetle aştığını hesaplamak için tarihsel fiyat verilerine ihtiyaç duyulur. Bu toplama, arama ve filtreleme işlemleri yalnızca sözleşme etkileşimiyle yapılamadığından, The Graph gibi zincir barındırmalı endeks servislerinin GraphQL API’sine bağımlı kalınır. Standart blokzincir işlem verilerini dizinlemek zordur; daha karmaşık verileri okumak ise daha da zorlayıcıdır. Likidite yönetim protokollerine ilişkin olarak, test havuzlarının veya kullanıcı havuzlarının geçmiş performansını değerlendirmek için zincir barındırmalı bir dizin hizmeti API’sine bağımlılık devam eder. Bu veriler genellikle Excel gibi ortamları kullanarak manuel olarak işlenmek zorundadır. Bu süreci basitleştirip, dApp akıllı sözleşmelerine verileri doğrudan toplama, filtreleme ve analiz etme kabiliyeti kazandıran bir çözüme ihtiyaç vardı. Yardımcı işlemciler işte bu ihtiyacı karşılamak için tasarlanmıştır.

Yardımcı İşlemci Olarak Adlandırılmasının Nedeni

Erken bilgisayar sistemlerinde, merkezi işlem birimi (CPU) genellikle yalnızca temel hesaplamaları gerçekleştirirdi. Performans artırmak için, kayan nokta işlemleri gibi özelleşmiş hesaplamaları yapan “yardımcı işlemcilerle” desteklenmesi gerekirdi. Ethereum’u devasa bir süṗer bilgisayar olarak düşünürsek, dünya genelindeki akıllı sözleşmeler yalnızca mevcut blok içinden zincir üstü verilere erişebilir. Ancak bu yapı, geçmiş veriler, işlem kayıtları veya hesap bakiyesi değişiklikleri gibi bilgilerin erişimini doğrudan desteklemez. Bu sınırlama, Ethereum’un temel tasarımından kaynaklanır.

Geçmiş verilere erişim ve bu verilerin doğruluğunun sağlanması için, bu verileri mevcut bloğa kriptografik olarak bağlayan kanıt mekanizmaları gereklidir. Ancak, söz konusu kanıtın akıllı sözleşme içerisinde hesaplanması ve doğrulanması hem zaman hem de gas maliyeti açısından yüksek olabilir. Alternatif olarak, depolama düğümleri aracılığıyla sorgulamalar yapılabilir; ancak akıllı sözleşmeler bu düğgümlerle doğrudan etkileşemez ve bu da bir güven problemi ortaya çıkarır.

Bu güven sorununu aşmak ve doğrulanabilir hesaplamayı etkin kılmak için çözüm, klasik sistemlerdeki yardımcı işlemci mantığında yatar. Ethereum’daki yardımcı işlemciler, akıllı sözleşmelerin hesaplama kapasitesini genişletir, karmaşık hesaplamalar yapabilmesini ve geçmiş verilere erişim sağlamasını mümkün kılar.

Yardımcı İşlemci Nasıl Çalışır?

Ethereum verilerini doğrulayan bir yardımcı işlemcinin genel iş akışı şu şekildedir:

1. Zincir dışı bir hizmet aracılığıyla tarihsel veriler sorgulanır ve hesaplamalar gerçekleştirilir;
2. Bu hizmet, işleminin doğruluğunu kanıtlayan bir kriptografik ispat üretir;
3. Geliştiricinin dApp’i, Ethereum’da dağıtılan yardımcı işlemci sözleşmesiyle etkileşime girerek bu kanıtı doğrular;
4. Kanıt doğrulandıktan sonra dApp, ihtiyaç duyduğu tarihsel verilere doğrudan, herhangi bir güven varsayımı olmaksızın erişebilir.

Coprocessör veya Geniş Doğrulanabilir Hesaplama Alanındaki Projeler

Bu bölüm, yardımcı işlemciler alanında önde gelen projelerin temel teknik yığınlarını ve rekabet avantajlarını analiz eder. Axiom Coprocessor alanında öncü konumda bulunan Axiom, akıllı sözleşmelerin blokzincir verileriyle etkileşimini kolaylaştırmak amacıyla blokzincir veri altyapısı geliştirir. Aynı zamanda “yardımcı işlemci” kavramını ilk tanıtan proje olarak kabul edilir. Bu makalede, Axiom örneği üzerinden yardımcı işlemcilerin nasıl çalıştığı detaylandırılmaktadır.

Lagrange: Lagrange, çapraz zincir durum kanıtları ve paralel işleme tekniklerine odaklanmaktadır. Bu kanıtlar, zkBridge veya IBC gibi iletişim protokollerine bağımlı kalmadan çapraz zincir doğrulaması sağlayabilir. Paralel kanıt sistemi, yeniden bahislendirme içeren uygulamalar için uygundur ve RaaS (Rollup-as-a-Service) ekosisteminde önemli bir yer edinmektedir.

Sıralı kanıtlardan farklı olarak, paralel kanıt yapıları binlerce iş parçacığını eşzamanlı şekilde kullanarak daha iyi yatay ölçeklenebilirlik sunar. Bu sistemler, EigenLayer üzerinden yeniden bahislendirme yoluyla ek güvenlik kazanabilir.

Bir uygulama senaryosu olarak, Lagrange’ın AltLayer entegrasyonu dikkat çeker. AltLayer, Restaked Rollup mimarisi için aktif doğrulama hizmetleri sunarak geliştiricilere merkeziyetsiz sıralama ve rollup durum doğrulama işlemlerinde yardımcı olur. Mart 2024’te, Lagrange ve AltLayer, paralel kanıt yapısını kullanmak üzere ortaklık kurmuştur. Bu ortaklık, RaaS istemcilerine doğrulanabilir ve güvenli on-chain veri ve hesaplama sonucu sunar.

Herodotus: Starkware/Starknet ekosistemiyle yakından çalışan Herodotus, Snapshot gibi projelerle iş birliği yapmaktadır. Projelerinde “Depolama Kanıtı” sistemini kullanarak, ZK kanıtlarla birlikte çalışan çapraz katman veri erişimi sunarlar.

Depolama kanıt sistemi üç temel bileşenden oluşur:

• Dahil Kanıtları: Belirli verilerin Ethereum veri yapısı içinde yer aldığını kanıtlar.
• Hesaplama Kanıtları: Veri dönüşümü ve ardışık iş akışların doğruluğunu ispatlar.
• ZK Kanıtları: Akıllı sözleşmelerin bütün temel verileri işlemeden doğrulama yapmasını sağlar.

Ethereum arşiv düğümlerinde bulunan zincir üstü veriler, bu sistem aracılığıyla kanıtlanabilir. Tıpkı diğer yardımcı işlemciler gibi, bu sistem zincir dışında üretilip zincir üzerinde doğrulanır, bu da zincir üstü kaynak kullanımını azaltır. Ek olarak, yalnızca blok karmaşı veya doğrulama için birleştirici köklerin aktarılmasıyla zincirler arası veri hacmi minimize edilir.

Brevis

Celer Network tarafından geliştirilen Brevis, ZK tabanlı yardımcı işlemciler de dahil olmak üzere birçok on-chain veri hizmeti için altyapı sunar. Mo Dong ve Qingkai Liang tarafından kurulan Celer Network, 2019 yılında bir token satışından 4 milyon dolar fon sağlamıştır.

Celer Network, zincir üzerinde bir Brevis sözleşmesi dağıttı. Bu sözleşme, işlem taleplerine ilişkin ZK kanıtları doğrular ve sonucu, ilgili dApp’in akıllı sözleşmesine geri çağrı (callback) yoluyla iletir. Geliştiriciler, Brevis SDK aracılığıyla bu verilere kolaylıkla erişebilir. SDK, karmaşık devreleri soyutlayarak ZK kanıtları konusunda ön bilgi gereksinimini ortadan kaldırır. Brevis SDK, Consensys Linea tarafından geliştirilen gnark çerçevesi üzerine inşa edilmiştir. Ayrıca Brevis, Ethereum’un ZK hafif istemcisiyle uyumludur ve bu da onu EVM uyumlu zincirlerde çalışabilir kılar.

Celer Network, şu anda RaaS ekosistemine odaklanarak Brevis altyapısını temel alan “coChain” adlı bir blokzincir geliştirmektedir. coChain, Proof-of-Stake (PoS) konsensüs algoritmasına dayalıdır. coChain’ın benzersiz yönü, yardımcı işlemci sonucunu PoS mekanizmasının ödül ve ceza sistemine bağlamasıdır:

1. Akıllı sözleşme, yardımcı işlemci talebi gönderir; PoS sistemi bu sonucu üretir;
2. PoS tarafından üretilen sonuç, ZK kanıt ile zincire bir “teklif” olarak sunulur;
3. Şayet doğrulamayla ilgili bir suistimal tespit edilirse, ilgili doğrulayıcının payı ceza olarak kesilir;
4. Aksi durumda, dApp bu sonucu doğrudan kullanabilir. Bu “iyimser” yaklaşım, kanıt maliyetlerini azaltmayı hedefler.

coChain, bu yapıyla yardımcı işlemcilerin doğrulama teşviklerini Ethereum PoS yapısına entegre eder. İlerleyen dönemlerde, ispat maliyetlerini azaltmak için EigenLayer entegrasyonu planlanmaktadır.

Nexus

Nexus zkVM, herhangi bir on-chain hesaplama sonucunun doğrulanmasına izin verir. Benzersiz özelliği, katlama tekniklerine dayalı ZK ispatlarını doğrulama yeteneğidir. 2022 yılında kurulan Nexus, zkVM alanında önemli bir oyuncudur. Detaylar henüz geniş çapta yayınlanmamış olsa da, kurucusu Daniel Marin (Google deneyimli ve Stanford mezunu), erken aşama çalışmalarını Stanford Blockchain Club aracılığıyla paylaşmıştır.

ZK katlama teknolojisi, zkVM çözümleri içinde umut vadeden bir yöntem olarak öne çıkmaktadır. Nexus zkVM, hem katlama kanıtlarını hem de birikim şemalarını doğrulama kapasitesine sahiptir. Proje, ölçeklenebilir, modüler ve açık kaynaklı bir zkVM olmayı hedeflemektedir. Teknik altyapısı, Artımsal Doğrulanabilir Hesaplama (IVC) temelli büyük çaplı paralel kanıt biriktirme mekanizmalarını ve Nova, CycleFold, SuperNova, HyperNova gibi çeşitli katlama şemalarını kapsar. Ayrıca, Nexus zkVM üzerine inşa edilmiş büyük çaplı paralel kanıt madenciliği ağı olan Nexus Network’ü de geliştirmektedirler.

Koprocessör Teknik Yaklaşımlarının ve Rekabet Avantajlarının Karşılaştırması Görüleceği üzere, farklı projeler farklı ekosistemlere dayalı çeşitli teknik yığınlar seçmiştir (Ethereum EVM, RaaS, çapraz zincir, Ethereum çapraz katman), farklı ispat yöntemleri (Rollup vs. ZK) ve farklı ZK kanıt türevleri (zk-SNARK, katlama kanıtları, birikim şemaları vb.) benimsemiştir. Her bir proje, rekabet avantajlarına göre öne çıkan ve zayıf kalan yönler barındırmakta ve farklı ihtiyaçlara yönelik çeşitli ürün yapıları sunmaktadır: etkileşimli on-chain sözleşmeler, SDK’lar, doğrulama ağları gibi.

Axiom

Axiom, Ethereum ağı için geliştirilmiş bir ZK ispat yardımcı işlemcisidir. Akıllı sözleşmelerin tarihsel zincir üstü verilere erişmesini ve zincir dışı hesaplamaların ZK teknolojisiyle doğrulanmasını sağlar. 2022 yılında Jonathan Wang ve Yi Sun tarafından kurulan Axiom, 25 Ocak 2024’te, Paradigm ve Standard Crypto öncülüğündeki Seri A turunda 20 milyon dolar yatırım aldığını duyurmuştur. “Yardımcı işlemci” terimini sektöre kazandıran ilk proje olarak kabul edilir ve bu alanda en fazla risk sermayesi desteği alan projelerden biridir.

Axiom’un Geçmişi Yi Sun, 2017 yılında MIT’den matematik alanında doktora derecesi aldıktan sonra kısa süreliğine yüksek frekanslı alım-satım alanında çalıştı. Kripto alana yönelerek ZK teknolojisinin blokzincir ölçeklenebilirliği için kilit rol oynayacağını fark etti. 2021 sonuna doğru ZK altyapısı ve geliştirme aracılarının olgunlaşmaya başlamasıyla birlikte alana aktif olarak dahil oldu. Yi Sun’un, DeFi protokolleri geliştirirken karşılaştığı tarihsel veri erişimi sorunları da Axiom’un kurulmasını tetikleyen faktörlerden oldu.

Axiom’un ZK Kanıt Teknolojisi Axiom, Halo2 ve KZG arka uçlarına dayalı SNARK sistemleri ve lookup tabloları (LUT) gibi ZK doğrulama bileşenleri kullanır. Lookup tabloları, daha önceden hesaplanmış değerler kümesiyle ispatı daha verimli hale getirir.

Axiom V2 Nasıl Çalışır?: Ocak 2024’te yayına alınan Axiom V2, Ethereum ana ağı üzerinde akıllı sözleşmelerin işlemlere, makbuzlara, depolama verilerine, blok başlıklarına ve diğer tarihsel verilere erişmesini destekler.

Geliştiriciler, Typescript ile Axiom devreleri yazabilir, veri taleplerini oluşturabilir ve özelleştirilmiş hesaplamalar gerçekleştirebilir. Axiom SDK, bu süreci basitleştirerek geliştiricilerin akıllı sözleşmelerle tarihsel verilere erişimini kolaylaştırır:

1. Axiom, talep edilen hesaplamayı gerçekleştirir ve ZK kanıtı oluşturur;
2. Akıllı sözleşme, bu kanıtı bir geri çağrı fonksiyonu ile doğrular;
3. Tüm süreç, zincir üzerinde bir işleme dayalı olarak gerçekleştirilir ve ZK kanıtı ile güvence altına alınır.

Ancak Herodotus’tan farklı olarak, Axiom şu an için yalnızca Ethereum ana ağında tarihsel veri sorgulamasını desteklemektedir. Gelecekte L2 ağlara da destek sağlanması olasıdır.
Axiom V2 Uygulama Alanları Uygulama seviyesinde, Axiom aşağıdaki işlevleri dApp’lerde etkinleştirir:

• On-chain etkinliklere dayalı ödül sistemleri ve sadakat programları
• Kullanıcı davranışına dayalı sorumluluk protokolleri
• Kimlik, yönetim ve settlement bazlı kahin sistemleri

Sonuç

Yardımcı işlemci alanının liderlerinden biri olan Axiom, Succinct gibi hafif istemci projelerle tamamlayıcı rol oynar. Succinct, Ethereum uzlaşı kanıtlarını doğrulamaya odaklanırken, Axiom zincir dışı tarihsel verileri ZK kanıtı ile doğrular.

ZK kanıt alanı, katlama teknikleri, birikim şemaları ve lookup tabloları gibi yeniliklerle hızla gelişmektedir. Bu gidişat, Nexus gibi projelerin dikkat çekmesini sağlamıştır. ZK sistemleri yaygınlaşırken, Lagrange gibi Rollup için kanıt sağlayan projeler de pazardaki ihtiyacı tamamlayıcı olarak konumlanmaktadır. Teknolojik gelişmeler, bilgi kanıtlarının performansını artırmakta, boyut ve doğrulama maliyetlerini azaltmaktadır. Bu durum, yardımcı işlemcilerin kullanım alanlarını genişletmektedir. Bu bağlamda modüler mimarinin sağladığı esneklik, yardımcı işlemciler için kritik bir avantaj olarak öne çıkmaktadır.