Kaynak: Makine Zekası

Dağıtık sistemlerin "Kutsal Kâsesi" olan Mutabakat Protokolleri (Consensus Protocols), uzun süredir üst düzey altyapı mühendisleri için bir "Hata Cehennemi" olmuştur. Durumlarının son derece karmaşık olması ve çoklu düğümlerin iç içe geçmesi nedeniyle, geleneksel test yöntemleri ve tek başına kullanılan büyük dil modelleri (LLM'ler), sert çekirdek Derin Hatalar (Deep Bug'lar) karşısında neredeyse çaresiz kalmaktadır.

Yakın zamanda, ICML 2026'da kabul edilen bir makalede, 0G Labs ile Singapur Ulusal Üniversitesi, Pekin Üniversitesi ve Pekin Posta ve Telekomünikasyon Üniversitesi gibi önde gelen akademik ve endüstri ekiplerinden araştırmacılar, alan bilgisi ile büyük dil modeli çoklu ajan (Multi-Agent) iş birliğini derinlemesine birleştiren ilk otomatik test çerçevesi olan Agora'yı önerdiler.

Bu çerçeve, yenilikçi mimarisiyle doğrudan protokollerin zayıf noktalarına odaklanarak, Raft, EPaxos, HotStuff, BullShark gibi endüstriyel ve akademik çekirdek protokollerde bir seferde 15 adet daha önce bilinmeyen protokol seviyesinde Derin Hata (Deep Bug) keşfetti! Buna karşılık, GPT-5.2, Claude 4.5 gibi güçlü yerel büyük dil modelleri başarısız olarak sıfır çekti. Çoklu Ajan (Multi-Agent) sistemleri ve "Ajanlaştırılmış Güvenlik Denetimi"nin (Agentic Quality Control) 2026'nın en popüler alanları haline geldiği şu günlerde, Agora sadece bir makale değil, aynı zamanda uygulanabilir bir endüstriyel çözüm sunuyor.

Makale: Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents

1. Arka Plan: 0G ve NUS'un Güçlü Ortaklığı, Uzun Süreli Sistem Bilgisi Birikimi ile Multi-Agent Paradigmasının Sınırları Aşan ve Nesilleri Birleştiren Füzyonu

Dağıtık mutabakat protokollerinin evrimi, hem bir dahi yaratıcılık tarihi hem de sayısız üst düzey mühendisin kanlı hata deneyimleriyle doludur. Turing Ödülü sahibi Lamport'un da belirttiği gibi, dağıtık bir protokol uygulamasının doğruluğunu garanti etmek, sürekli sallanan bir labirentte gözleri bağlı yürümekten daha az zor değildir. Ve işte bu "cehennem gibi" yarışta pazar sessizce yön değiştiriyor: Gartner'ın gözlemlerine göre, çoklu ajan sistemlerine yönelik kurumsal danışmanlık talebi bir yıldan kısa sürede on kattan fazla arttı ve çoklu ajan platform pazarı da neredeyse her yıl ikiye katlanan yüksek bir büyüme hızına girdi. "Multi-Agent iş birliğini" en zorlu alt sistem doğrulaması için kullanmak, artık ileri görüşlü bir fikirden endüstriyel bir zorunluluğa dönüşüyor.

Bu zorlu rekabet alanında, teknoloji devleri ağır varlık odaklı keşiflere öncülük etti. Örneğin, sektörün önde gelen şirketlerinden Anthropic, yakın zamanda Claude Code'da dahili olarak yürüttüğü Glasswing projesinde, Agent'ları kullanarak temel altyapı testlerine dokunmaya çalışsa da, mimarisi hâlâ en üst düzey ticari büyük modellere aşırı derecede bağımlı. Proje detayları belirsiz ve yalnızca çok az sayıda büyük teknoloji kurumu ve ulusötesi dev ile kapalı kapılar ardında iş birliği yapılıyor. Daha da önemlisi, bu tür dev çözümleri çalışma sırasında korkunç miktarda Token tüketimi sergileyebilir. Bu yüksek hesaplama engeli ve ağır varlık stratejisi, sınırlı bütçeye sahip startup'ları ve KOBİ'leri doğrudan dışarıda bırakıyor.

Küçük şirketler ve açık kaynak toplulukları, en üst düzey otomatik güvenlik açığı denetim araçlarını kullanmaya mahkum mu?

0G Labs mühendisleri, Singapur Ulusal Üniversitesi'nden Liu Xiang, Pekin Posta ve Telekom Üniversitesi'nden Song Sa ve Sun Yong, Pekin Üniversitesi Yapay Zeka Okulu'ndan doktora öğrencisi Zhang Zhaowei ve araştırmacı Zhang Ceyao ile birlikte, Agent alanındaki derin bilgilerini sisteme entegre ederek "küçükle büyüğü alt etme" odaklı yıkıcı bir yenilik gerçekleştirdi. Çalışmaları, 2026 yapay zeka zirve konferansı ICML'ye kabul edildi.

Akademik dünyanın "uzun vadeli sistem bilgisi birikimi", endüstrinin "sorun noktaları ve keskin içgörüleri" ile buluştuğunda, bir sonraki nesil sistem güvenliği devrimi nasıl patlak verebilir?

0G ekibi, blokzincir mutabakat protokollerinin uygulanmasında son derece zengin üretim düzeyinde saldırı ve savunma deneyimi biriktirdi; aynı zamanda yüksek performanslı dağıtık sistemler, alt düzey eşzamanlılık kontrolü ve sistem biçimsel doğrulama alanlarında son derece derin akademik birikime sahip. Geleneksel yöntemlerin (Fuzzing gibi) endüstriyel düzeydeki kod tabanlarıyla karşılaştığında genellikle durum uzayı patlamasıyla sınırlı kaldığını biliyorlar. Çok sayıda araştırmacı, uzun süredir biriktirdikleri dağıtık sistem genel invariants (değişmezlik) mantıksal çıkarım bilgisini "ruh" olarak kullanmaya ve bunu en son teknoloji çoklu ajan iş birliği paradigması ile otomatik Harness mimarisine entegre etmeye karar vererek, açık kaynak ve eşitlikçi Agora çerçevesini oluşturdu.

Aynı zamanda, sektörün öncü modüler yapay zeka altyapısı ve yüksek performanslı merkeziyetsiz veri kullanılabilirlik ağı olarak 0G ekibi, blokzincir mutabakat protokolleri ve yüksek eşzamanlı BFT (Bizans Hata Toleransı) mimarilerinin endüstriyel uygulamalarında, son derece zengin üretim düzeyinde saldırı ve savunma deneyimi ile gerçek dünya protokol kusuru örnekleri biriktirdi.

Bu disiplinler arası birleşim, oyunun kurallarını tamamen değiştirdi: Ne kör bir kaba kuvvet testi, ne de alan bilgisinden yoksun büyük modellerin "filin körler tarafından dokunulması" gibi bir yaklaşım; aksine, uzmanlaşmış Agent iş bölümü sayesinde, deneyimli sistem uzmanlarının onlarca yıllık mantıksal çıkarım sezgisini, Agent'lar arasındaki rekabet ve iş birliğine dönüştürerek, geleneksel test araçlarını ezici bir üstünlükle alt etme yeteneğine sahip.

Glasswing'in devasa miktarda üst düzey token'ı tüketen ağır varlık rotasından farklı olarak Agora, KOBİ'ler için son derece dostane bir alternatif sunuyor. Temel modelin "biraz daha zayıf" olduğu ve maliyet etkinliğinin daha yüksek olduğu durumlarda bile, hassas alan algılamalı çoklu ajan iş birliği mimarisi sayesinde zorlu Deep Bug'ları ortaya çıkarabileceğini kanıtlıyor!

2. Sorun Noktası: Tekil LLM'ler Zorluğu Aşamıyor, Dağıtık Sistemlerde "Derin Mantıksal Damocles Kılıcı" Tehlikesi

Büyük veri, blok zinciri ve dağıtık veritabanlarının günümüzde hakim olduğu bir ortamda, mutabakat protokolleri (Paxos, Raft, PBFT gibi) tüm dijital dünyanın temelini oluşturuyor. Ancak mutabakat protokollerinin uygulanması, ünlü bir şekilde "cehennem seviyesinde zor" olarak kabul ediliyor. etcd gibi dünya çapında sayısız üst düzey mühendis tarafından test edilmiş ve yıllardır çalışan endüstriyel bir referans proje bile, insanı dehşete düşüren Deep Bug'ları (derin mantıksal açıklar) barındırabiliyor.

Bu tür açıklar, bellek sızıntıları veya tamsayı taşmaları gibi sıradan düşük seviyeli uygulama hatalarından (Implementation Bugs) farklıdır. Birden çok yürütme aşamasına yayılır ve karmaşık eşzamanlı durumlara bağlıdır. Kötü niyetle tetiklendiklerinde, yalnızca temel verilerin bozulmasına yol açmakla kalmaz, aynı zamanda felaket boyutunda finansal kayıplara da neden olabilir.

Son yıllarda popüler hale gelen büyük dil modelleri (LLM'ler), sıradan kod analizinde etkileyici bir performans gösterse de, dağıtık mutabakat karşısında "zeka geriliği" yaşıyor gibi görünüyor. En fazla yerel kodun yüzeysel kusurlarını bulabilirken, küresel duruma bağlı protokol düzeyindeki mantıksal açıklarla karşılaştıklarında, tekil LLM'ler genellikle yerel kodun bataklığına saplanıp kalıyor ve küresel zaman sıralı akıl yürütme yapamıyor.

3. Çözüm: Agora'nın Üç Ajanlı Büyük Dönüşümü ve Çekirdek Harness Mimarisi

Bu çıkmazı kırmak için Agora, ilk kez akademik dünyanın klasik hipotez odaklı test (Hypothesis-Driven Testing, HDT) paradigmasını büyük dil modeli ajan sistemlerine entegre etti. Verimli küresel akıl yürütme sağlamak için Agora, geleneksel "tek başına savaş" modelini tamamen terk ederek iş akışını, her biri kendi uzmanlık alanına sahip üç yüksek düzeyde uzmanlaşmış ajana zarif bir şekilde ayırıyor:

Orchestrator Agent (Düzenleyici): Küresel durum bakımı ve bilinen açıklardan yola çıkarak "açık sömürüsü" yapmaktan sorumlu;

Strategy Agent (Stratejist): Dağıtık alan bilgisi enjekte etmekten ve CFT ile BFT protokollerine yönelik son derece saldırgan anormal senaryolar üretmekten sorumlu.

TestGen Ajanı (Kod Sorumlusu): Pratik bir uygulayıcı. Agora'nın gerçekten işlevsel hale gelmesini ve etkili testler üretmesini sağlayan şey, temel otomatik test mimarisidir.

Mimari şu şekilde gösterilmiştir:

Agora'nın genel tasarımında, bu "küçükle büyüğü yenme" büyüsü kendiliğinden ortaya çıkmamıştır; aksine, akıllı ajan etkileşim mekanizmaları ile test Harness mimarisinin derin entegrasyonundan kaynaklanmaktadır.

Araştırma ekibi, sistem çerçevesi içinde özel olarak son derece basit ve verimli bir iletişim ve bellek mekanizması (Succinct Memory & Communication) tasarlamıştır. Bu mekanizma, her bir Ajan'ın kendi temel görevine odaklanmasını sağlarken, gereksiz bağlam aktarım yükünü en aza indirir. Bu aşırı iletişim kısıtlamaları altında, Orchestrator Ajan (genel koordinasyon ve durum kontrolünden sorumlu), Strateji Ajan (dağıtık anormal ortam ve senaryo üretiminden sorumlu) ve TestGen Ajan (kod testi ve dinamik değerlendirmeden sorumlu) mükemmel bir şekilde iç içe geçerek Harness mimarisini yönlendirir ve karşılar:

İki kılıcın birleştiği otomatik döngü: Strateji Ajan soyut bir dağıtık saldırı senaryosu oluşturduğunda, yüksek derecede ayrıştırılmış etkileşim çerçevesine dayanarak TestGen Ajan hemen alttaki testi başlatabilir. Bu mimari, yalnızca güçlü bir ortam uyarlama yeteneğine sahip olmakla kalmaz (Go, Rust gibi farklı programlama dilleri arasında geçiş yaparak saldırı hipotezlerini gerçek, çalıştırılabilir birim testlere dönüştürür), aynı zamanda verimli bir yansıma döngüsü (Reflection-Loop) teknolojisini de içerir.

Test ortamda çalışırken bir hata oluştuğunda, sistem çağrı yığınını ve yürütme günlüklerini hassas ve gerçek zamanlı olarak yakalar, bunları özetleyerek Ajan'a yönlendirilmiş bir şekilde kendini düzeltmesi için geri gönderir. Bu "çoklu Ajan basit etkileşimi + dinamik Harness döngüsü" kombinasyonu, Agora'nın son derece düşük Token maliyetiyle en gizli derin mantık hatalarını hassas bir şekilde yakalamasını sağlamakla kalmaz, aynı zamanda son derece düşük yanlış pozitif oranına sahip ayrıntılı analiz raporları üretir.

Nihai çalışma genel görünümü şu şekilde gösterilmiştir:

4. Başarılar: 15 Üst Düzey Sıfırıncı Gün Derin Hatası Yakalandı, Büyük Model Taban Çizgisi Tamamen Sıfırlandı

Değerlendirme sonuçları oldukça etkileyici. Araştırma ekibi, dört büyük mutabakat protokolü kütüphanesi (üretim seviyesindeki etcd ve yeni nesil blokzincir çekirdeği Sui'nin alt bileşenleri dahil) üzerinde kapsamlı bir inceleme gerçekleştirdi ve GPT-5.2, Gemini 3.0 Pro Preview, Claude Sonnet 4.5 ile Qwen3 Coder gibi en güçlü modelleri karşılaştırdı.

Sonuçlar, yalnızca 0G'nin kendi mutabakat sistemini daha güvenli hale getirmekle kalmadı, aynı zamanda ezici bir üstünlük sağladı:

15 Yeni Mantıksal Derin Hata Ortaya Çıktı: Agora, daha önce kimsenin bilmediği 15 protokol seviyesinde derin mantıksal açık keşfetti. Bu açıklar, yürütme farklılıkları, monotonluk ihlalleri, topoloji kusurları ve imza zafiyetleri gibi yüksek riskli alanları kapsıyor.

Yerel Büyük Modeller Tamamen Başarısız: Karşılaştırma modelleri (gelişmiş ReAct dinamik araç zincirleriyle donatılmış olsalar bile) bu tür derin mantıksal açıklar karşısında tamamen sıfır çekti (0/15). Büyük miktarda Token tüketmelerine rağmen, yalnızca düşük seviyeli kod uygulama hatalarında takılıp kaldılar.

Düşük Yanlış Pozitif Oranı ve Yüksek Maliyet Etkinliği: Agora tarafından üretilen tüm hata raporlarında, gerçek mantıksal açıkların oranı %73,9'a ulaştı (yanlış pozitif oranı yalnızca %26,1). Daha da şaşırtıcı olanı, deneyimli mimarların saçını başını yolduran üst düzey bir mantıksal hatayı bulmak için ortalama yalnızca yaklaşık 5,32 milyon token (yaklaşık 40 dolar) harcanmasıydı; bu da son derece yüksek bir maliyet etkinliği anlamına geliyor.

Birden fazla LLM üzerindeki sonuçlar aşağıda gösterilmiştir:

5. Gelecek: Yüksek Ölçeklenebilirlik, Daha Fazla Temel Donanım "Keşfedilmemiş Bölgeye" Giriş

Agora'nın başarısı, yalnızca dağıtık sistemlerin güvenliğine güçlü bir destek sağlamakla kalmadı, aynı zamanda büyük modellerin dikey endüstriyel uygulamalara entegrasyonu için de bir yol haritası çizdi.

Özellikle kritik olan, Agora'nın mimari tasarımının yüksek düzeyde ölçeklenebilirlik ve genellik göstermesidir. Araştırma ekibi, Agora'nın eklenti veya skill biçiminde geniş kullanıcı kitlesi tarafından hızla yeniden kullanılabileceğini vurguluyor. Kodumuzda (github.com/0gfoundation/agora), yeniden üretime yardımcı olacak ilgili skill'ler bulunmaktadır. Bunun da ötesinde, Agora'nın "büyük model + çoklu ajan iş birliği + hipotez odaklı" paradigması yalnızca mutabakat protokolleriyle sınırlı değildir. Alt katmandaki iş akışı kontrolü ile üst katmandaki alan bilgi tabanı ve testler arasındaki derin ayrışma sayesinde, bu mimari yalnızca birçok kullanıcının mutabakat protokolü hata ayıklamasını hızlıca yapmasına yardımcı olmakla kalmaz, aynı zamanda "tak-çıkar" (Plug-and-Play) şeklinde, "derin mantıksal hata cehenneminden" muzdarip diğer zorlu alanlara da hızla yayılabilir:

Veritabanı Eşzamanlılık Kontrolü (Concurrency Control): Dağıtık veritabanlarında aşırı izolasyon seviyelerinde (örneğin Serializable) karmaşık işlem çakışma hatalarını test etmek için kullanılır.

İşletim Sistemi Çekirdeği / Eşzamanlı Sistemler: Çoklu iş parçacığı altyapısında gizli kilitlenmeleri ve yarış koşullarını derinlemesine ortaya çıkarmak.

Web3 Akıllı Sözleşme Denetimi: Karmaşık ekonomik modeller içeren zincirler arası protokoller ve DeFi mantığı üzerinde derin güvenlik sınırı keşifleri. Blockchain güvenlik pazarının 2026 yılında yaklaşık 8,5 milyar dolar büyüklüğe ulaşması bekleniyor ve halihazırda akıllı sözleşme denetimini haftalardan saatlere indiren "çoklu ajan güvenlik sistemi" kullanan ticari ürünler mevcut; pazar talebi patlama yaşıyor.

Endüstriyel düzeydeki temel altyapı için yapay zeka otomasyonlu güvenlik çağı, belki de Agora ve onun Harness mimarisi ile resmen başlıyor.

İnanmak için nedenlerimiz var: Agora, çeşitli alanlarda keşfettiği daha fazla deep bug ile coding LLM'lerin yeteneklerini daha iyi test etmeye yardımcı olabilir ve keşfettiği deep bug kullanım durumları, coding LLM'lerin kod anlama yeteneğini geliştirmesine de katkı sağlayabilir.

Agora, mutabakat protokolleri, eşzamanlılık kontrolü, akıllı sözleşmeler gibi finansal güvenli işlemlerin temelini oluşturan kod depolarının güvenliğini büyük ölçüde artırabilir. Ayrıca Agora, daha fazla teknoloji şirketinin daha derin logic bug'lar keşfetmesine yardımcı olurken, daha az token tüketerek, tasarruf sağlayıp daha verimli hale gelebilir!

Daha da önemlisi, bu tam olarak şu anda en popüler iki alana denk geliyor: Birincisi, çoklu ajan sistemlerinin deney aşamasından üretime geçmesi – Gartner, 2028 yılına kadar kurumsal yazılımların %30'undan fazlasının agentic AI içereceğini ve çoklu ajan platform pazarının birkaç yıl içinde yüz milyar dolardan yüz milyarlarca dolara ulaşacağını öngörüyor. İkincisi ise, "ajanın ajanı denetlemesi" şeklindeki Ajan Tabanlı Kalite Kontrolü'nün (Agentic Quality Control) 2026 yılında sektör standardı haline gelmesi.

Veracode 2025 raporunun, AI tarafından üretilen kodların yaklaşık %45'inin güvenlik açığı içerdiğini ve agentic AI güvenlik pazarının yıllık yaklaşık %42 bileşik büyüme hızıyla ilerlediğini belirttiği bir ortamda, Agora, teknoloji şirketlerinin daha düşük token maliyetiyle daha derin Logic Bug'lar bulmasını sağlıyor ve güvenlik denetimini "haftalık ücretlendirilen insan gücü işi"nden "saatlik teslim edilen otomasyon yeteneği"ne dönüştürüyor.

Bu alanın yapısı netleştikçe, gerçek anlamda avantajı yakalayanlar genellikle en yüksek sesli devler değil, metodolojiyi en erken çalıştıran ve sürekli olarak kopyalayabilen ekiptir.

Orijinal bağlantı

BlockBeats Resmi Topluluğuna Katılın:

Telegram Abonelik Grubu: https://t.me/theblockbeats

Telegram Sohbet Grubu: https://t.me/BlockBeats_App

Twitter Resmi Hesabı: https://twitter.com/BlockBeatsAsia