2026'nın 2. çeyreği, Ethereum'un dayanıklılığını ve yeteneklerini geliştirmeye olan odaklanmamızı ileriye taşıyarak sıfır bilgi ispatları, istemci çeşitliliği, biçimsel doğrulama ve açık kaynaklı araçlar alanlarındaki temel çalışmaları destekledi. Oluşturucular ağı inşa edip güçlendirirken bu çeyrekte desteklenen projelerin ve ekosistem çabalarının listesini aşağıda görebilirsiniz.
EF Destekli Projelerin tam listesini buradan ESP web sitesinde keşfedin!
| Alan | Kategori | Proje Adı | Açıklama | Bağlantı/Repo |
|---|---|---|---|---|
| DAO'lar/Yönetişim | Araştırma | Fakülte Araştırma Bursu: Ethereum Çalışmaları (2025–2026 Akademik Yılı) | Prof. Strnad'ın OpenLab akademisyenlerine danışmanlık yaparken DAO yönetişimi, merkeziyetsiz sistem yönetimi ve iyimser rollup itiraz süreleri dahil olmak üzere Ethereum odaklı problemlere önemli bir araştırma zamanı ayırmasını sağlar. | |
| Güvenlik | Araştırma | EL+CL ve Glamsterdam Güvenliği | Glamsterdam yükseltmesinden önce yürütme katmanı ve mutabakat katmanı istemcilerindeki güvenlik açıklarını proaktif olarak belirleyerek Ethereum'un güvenliğini artırır. Bu araştırma ağın dayanıklılığını güçlendirir. | |
| Düğümler ve İstemciler | Uygulama | Lodestar 2026 | Lodestar fikir birliği istemcisini geliştirir ve sürdürür, sert çatallanmaları uygular ve protokol araştırmalarına katkıda bulunur. Bu, TypeScript ve Zig Ethereum toplulukları için operatör kullanıcı deneyimini ve ekosistem araçlarını destekler. | Bağlantı |
| Ethereum Protokolü | Uygulama | Lighthouse - Mayıs - Ekim 2026 | Lighthouse istemci geliştirmesi, Ana Ağ için ePBS, Gloas ve kısmi mesaj ağ iletişimi ile devam ediyor. Bu çalışma, ağaç eşzamanlamasını, Diamond test çerçevesini ve ZK doğrulamalı mutabakatı genişletiyor. Biçimsel doğrulama ve istemci güçlendirme çabaları da ilerliyor. | Bağlantı |
| Kriptografi | Geliştirici araçları | Poulpy PIR araçları | Üretim düzeyinde, Rust tabanlı bir Özel Bilgi Alma (PIR) kütüphanesi geliştirir. Bu, 32 GB'a kadar anahtar-değer veritabanları için verimli, toplu işleme sorguları sağlayarak durum gerektirmeden sunucu ve istemci iletişimini optimize eder. | Bağlantı |
| Ethereum Protokolü | Geliştirici araçları | ETHeorem | Ethereum mutabakat spesifikasyonlarını istemci uygulamalarıyla eşleştiren ETHeorem, Lighthouse, Prysm, Geth ve Reth genelinde sistematik güvenlik değerlendirmesi sağlar. Bu aracı sistem, tam yığın kapsamı için Yüksek Dil Modellerini (LLM) program analiziyle birleştirir. | |
| Ethereum Protokolü | Uygulama | Ream - Rust'ta Yalın Fikir Birliği İstemcisi | Hızlı kesinlik ve 4 saniyelik slotlarla kuantum sonrası döneme hazır mutabakatı ilerletmek için Rust tabanlı bir Yalın Fikir Birliği İstemcisi olan Ream'i geliştirir. Bu yenileme, çekirdek istemci geliştirmeyi, test altyapısını güçlendirmeyi ve geliştirici ağlarını (devnet) 10.000 doğrulayıcıya ölçeklendirmeyi destekler. | Bağlantı |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Sağlam Teşvikler Grubu | Protokol oyun teorisini optimize etmek için ekonomik teşvikleri ve katılımcı davranışlarını modelleyerek ağ kararlılığını ve verimliliğini artırır. | |
| Uygulama Altyapısı | Araştırma | Ethereum LLM Optimizasyonu (Inseeq) | Yapay zeka modellerini güncel Ethereum geliştirme araçları ve ethskills verileriyle geliştirir. Bu, LLM doğruluğunu artırır ve üzerinde geliştirme yapmak için bir blokzincir arayan geliştiriciler için Ethereum'un cazibesini güçlendirir. | Bağlantı |
| Kriptografi | Araştırma | Duplex Sponges'dan Fiat-Shamir'in Teknik İncelemesi | Duplex sponges aracılığıyla oluşturulan Fiat-Shamir dönüşümlerinin güvenlik argümanlarını denetler. Bu çalışma, gelecekteki Lean biçimselleştirmesini desteklemek için temel soyutlamaları netleştirerek sıfır bilgi ispatı sistemlerini güçlendirir. | |
| Sıfır Bilgi İspatları | Araştırma | Ethproofs Ek Donanım - Brevis | Brevis, gerçek dünyadaki operasyonel dayanıklılığı stres testine tabi tutmak için şirket içi (on-premise), çoklu GPU'lu bir katman 1 (L1) blok kanıtlayıcı yığını oluşturuyor. Bu girişim, gelecekteki kanıtlayıcılar için açık kaynaklı bir Şirket İçi Operasyonlar Başvuru Kitabı (On-Prem Ops Playbook) üretecektir. | |
| Ethereum Protokolü | Ekosistem geliştirme | ethp2p için quic-go öncelikleri | Ethereum'un mutabakat katmanı ağ iletişiminin temelini oluşturan Go QUIC uygulaması quic-go'yu geliştirir. Bu çalışma, go-libp2p için performansı, taşıma yeteneklerini ve bağlantı verimliliğini artırır. | |
| Uygulama Altyapısı | Geliştirici araçları | Web3j: Ethereum'un JVM ve Android entegrasyon altyapısını sürdürmek | Baskın JVM istemci kütüphanesi olan Web3j'yi yaklaşan Glamsterdam sert çatallanması ile eşzamanlı tutar. Bu, yapay zeka hedefli belgelerin yanı sıra Java, Kotlin ve Android uygulamaları için kesintisiz entegrasyonun devam etmesini sağlar. | Bağlantı |
| Sıfır Bilgi İspatları | Araştırma | Ethproofs Ek Donanım - Succinct Labs | Succinct, katman 1 (L1) blok kanıtlama işlemlerini şirket içi, çoklu GPU kurulumlarına taşıyor. Bu, operasyonel dayanıklılığı stres testine tabi tutacak ve bulut bağımlılığını azaltarak gelecekteki kanıtlayıcılar için açık kaynaklı bir Şirket İçi Operasyonlar Başvuru Kitabı üretecektir. | |
| Sıfır Bilgi İspatları | Araştırma | Ethproofs Ek Donanım - SilentSig | ZisK'in katman 1 (L1) blok kanıtlayıcı yığınını şirket içi, çoklu GPU yapılandırmalarına geçirmesini sağlar. Bu girişim, ekosistemin merkezi bulut sağlayıcılarına olan bağımlılığını azaltmak için açık kaynaklı bir Şirket İçi Operasyonlar Başvuru Kitabı üretecektir. | |
| Diğer | Ekosistem geliştirme | Mindanao için Blokzincir Müfredatı eğitmenlerin eğitimi programı | 8 Filipin akademik kurumunun blokzincir müfredatları geliştirmesini sağlar. 6 günlük bir program aracılığıyla yerel Ethereum eğitimini teşvik ederek öğretim üyelerinin eğitmen olmalarını destekler. | |
| Uygulama Altyapısı | Geliştirici araçları | mevlog-rs - Revm tarafından desteklenen EVM işlemleri sorgulama CLI/TUI'si | Zincir içi verileri, TUI ve MCP aracılığıyla erişilebilen yerel bir SQLite veritabanına indeksler. Bu araç, geliştiriciler ve LLM aracıları için esnek yerel sorgulama ve sonuçların IPFS paylaşımını sağlar. | Bağlantı |
| Ethereum Protokolü | Araştırma | İşlem İddiaları | Kullanıcıların EIP-7906 ile imzalama yapmadan önce işlem sonuçlarını programatik olarak doğrulamalarını sağlar. Bu, herhangi bir akıllı sözleşmeye karşı pozitif ve negatif koşulları içererek güvenliği ve kullanıcı kontrolünü artırır. | Bağlantı |
| Uygulama katmanı | Uygulama | Steward, Cihaz İçi Yapay Zeka Asistanına Sahip Kendi Kendine Egemen Bir Ethereum Cüzdanı | Tamamen yerel bir macOS Ethereum akıllı hesap cüzdanı olan Steward'ı oluşturur. Hafif istemciden yapay zeka asistanına kadar her bileşen cihaz üzerinde çalışarak uçtan uca doğrulanabilir güvenlik ve egemenlik sağlar. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Kriptografi | Tüm kullanıcılar için Ethereum'un temel güvenliğini ve gizliliğini artırarak yeni kriptografik ilkeller ve güvenlik protokolleri geliştirir. | |
| Gizlilik | Araştırma | Açık Anonimlik Projesi | Yapay zeka çıkarımından başlayarak geçitli API hizmetlerine bağlantısız erişim sağlar. Bu açık kaynaklı modüler yığın, anonim kredi doğrulaması için kör imzalar ve TEE dostu sunucular kullanır. | |
| Sıfır Bilgi İspatları | Araştırma | Ethproofs Ek Donanım - Matter Labs | Şirket içi, çoklu GPU yapılandırmalarına geçiş yaparak Matter Labs'in katman 1 (L1) blok kanıtlayıcı yığınını geliştirir. Bu girişim, operasyonel dayanıklılığı stres testine tabi tutar ve bulut bağımlılığını azaltarak açık kaynaklı bir Şirket İçi Operasyonlar Başvuru Kitabı üretir. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Kriptografi Araştırması | Şifrelenmiş Mempool'ların güvenlik modelini biçimselleştirerek Ethereum kullanıcıları için işlem gizliliğini ve ağ dayanıklılığını artırır. | |
| Güvenlik | Geliştirici araçları | Verity | Lean 4 tabanlı bir akıllı sözleşme dili ve biçimsel olarak doğrulanmış bir derleyici olan Verity'yi geliştirir. Geliştiricilerin sözleşme özelliklerini yazmalarını, biçimsel olarak belirtmelerini ve kanıtlamalarını sağlayarak doğrulanmış anlambilim ile EVM baytkoduna derleme yapar. | Bağlantı |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Protokol Snarkifikasyonu | Kriptografik protokolleri ve zkVM devrelerini doğrulayarak biçimsel yöntemler aracılığıyla Ethereum'un ölçeklendirme altyapısı için matematiksel doğruluğu sağlar. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Sağlam Teşvikler Grubu | Katılımcı teşviklerini anlamak ve iyileştirmek için mekanizma tasarımı ve ekonomik modelleme uygulayarak protokol oyun teorisini optimize eder. | |
| Ethereum Protokolü | Ekosistem geliştirme | ZK + test keşif çalışması | Kanıtlama performansını optimize etmek için çeşitli donanımlarda zkVM çalışma zamanı davranışını keşfeder. Bu araştırma, darboğazları belirlemeyi ve Ethereum Ana Ağı uygulamaları için daha pratik, neredeyse gerçek zamanlı kanıtlamayı sağlamayı amaçlamaktadır. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Geth | Geth'in çekirdek protokol geliştirmesini, istemci bakımını ve yeni Ethereum İyileştirme Önerilerinin uygulanmasını destekler. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Protokol Prototipleme | Yeni protokol araştırmalarını çalışan koda dönüştürür. Bu, teorik varsayımların ampirik olarak test edilmesini sağlar ve gelecekteki Ethereum yükseltmeleri için tasarım ödünleşimlerini sayısallaştırır. | |
| Güvenlik | Uygulama | SafeLens | Gnosis Safe çoklu imza işlemlerinin çevrimdışı doğrulanmasını sağlar. SafeLens, imzalar, özetler (hash) ve zenginleştirilmiş ispatlar için kanıt paketleri oluşturarak yerleşik yorumlayıcılar aracılığıyla yerel işlem tekrarına ve insan tarafından okunabilir ayrıntılara olanak tanır. | Bağlantı |
| Sıfır Bilgi İspatları | Araştırma | Ethproofs Şirket İçi Çoklu GPU Kanıtlayıcı Girişimi - SilentSig | ZisK'in katman 1 (L1) blok kanıtlama işlemlerini şirket içi, çoklu GPU kurulumlarına geçirmesini sağlar. Bu girişim, operasyonel dayanıklılığı stres testine tabi tutar ve bulut bağımlılığını azaltarak ekosistem için açık kaynaklı bir Şirket İçi Operasyonlar Başvuru Kitabı üretir. | Bağlantı |
| Sıfır Bilgi İspatları | Araştırma | Ethproofs Şirket İçi Çoklu GPU Kanıtlayıcı Girişimi - Brevis | Katman 1 (L1) blok kanıtlayıcılarının bulut barındırmalı ortamlardan dayanıklı çoklu GPU yapılandırmalarına geçiş yapmasını sağlayarak merkezi bağımlılıkları azaltan açık kaynaklı bir Şirket İçi Operasyonlar Başvuru Kitabı geliştirir. | Bağlantı |
| Düğümler ve İstemciler | Uygulama | Gean, Yalın Bir Ethereum Fikir Birliği İstemcisi | Yeni bir Go tabanlı fikir birliği istemcisi olan Gean ile Ethereum'un uzun vadeli dayanıklılığını inşa eder. Bu açık kaynaklı uygulama, kuantum savunmasız kriptografinin yerini alır ve Afrika'dan istemci ekosistemini çeşitlendirir. | Bağlantı |
| Gizlilik | Geliştirici araçları | Quixote Özel Okumalar + Aave Entegrasyonu | Bir Rust EVM olay indeksleyicisi olan Quixote'yi Tor tabanlı özel okumalar ve GraphQL desteği ile geliştirir. Gelişmiş veri erişimi için TheGraph'in yerini alarak Aave ön yüzüne entegre edilmesiyle değerini gösterir. | Bağlantı |
| Güvenlik | Geliştirici araçları | Ethereum Protokolü Güvenlik Aracıları - SPECA ve LeanAgent | Ethereum istemci spesifikasyon uyumluluk kontrolünü ve hata keşfini otomatikleştirmek için LLM destekli bir sistem geliştirir. Bu, Gasper Lean 4'ün biçimsel doğrulamasını ve SPECA çıktılarını Lean 4 biçimsel spesifikasyonlarına köprülemek için bir ardışık düzeni içerir. | |
| Güvenlik | Geliştirici araçları | Güvenlik Açıkları için Cantina Apex Yapay Zeka Kod Analizörü | Önümüzdeki yıl boyunca istemci ve protokol depoları için yapay zeka destekli 52 akıllı sözleşme taraması ile Ethereum'un güvenlik duruşunu geliştirir. | |
| Kriptografi | Araştırma | Bitcoin kısıtlamaları altında leanVM | Ethereum'un mutabakat katmanı için leanVM'nin kuantum sonrası imza toplamasını optimize eder. Bu çalışma, endüstri çapında bir standart oluşturmak için hızı artırır, verimliliği iyileştirir ve Bitcoin uyumluluğunu sağlar. | Bağlantı |
| Diğer | Ekosistem geliştirme | Roma'da Yapay Zeka x Ethereum Yakınsamasını Programlamak | Yapay Zeka x Ethereum kesişimini teşvik eden Roma'daki Urbe Hub, yinelenen atölye çalışmalarına, demolara ve oluşturucu oturumlarına ev sahipliği yapıyor. Bu girişim, her iki topluluğu da güçlendirerek ve EF dAI Ekibi ile işbirliği yaparak fikir alışverişi etkinliklerini geliştirir. | Bağlantı |
| Kriptografi | Geliştirici araçları | CompPoly için Hızlı Alan Aritmetiği | Lean4'te asal ve ikili kule alanlarının verimli, doğrulanmış uygulamalarını geliştirir. Bu çalışma, tümü RingEquiv aracılığıyla doğru olduğu kanıtlanmış küçük STARK alanlarını, büyük SNARK/eğri alanlarını ve ikili kule alanlarını kapsar. | Bağlantı |
| Uygulama katmanı | Araştırma | Ethereum "Makul Ölçüde Gerekli" Frontier Kullanım Durumu Ar-Ge'si | Gerçek dünya etkisine sahip benzersiz Ethereum kullanım durumlarını araştırır. Bu araştırma aynı zamanda geleneksel kripto kurulumlarının ötesindeki yeni organizasyonel yapıları da keşfeder. | |
| Sıfır Bilgi İspatları | Geliştirici araçları | CompPoly Polinomları Lean Kütüphanesi - Yol Haritası 2'nin Bölümleri | Horner, toplu işleme ve NTT yöntemlerini kullanarak CompPoly'de polinom değerlendirmesini optimize eder. zkVM'ler için Guruswami-Sudan algoritmasını Lean ispatları ve kıyaslamalarla eksiksiz bir şekilde uygular ve doğrular. | Bağlantı |
| Güvenlik | Uygulama | Ethereum için LLM Tabanlı İstemci Uyumluluk Analizi | Geth, Nethermind, Lighthouse ve Prysm'i EIP spesifikasyonlarına karşı taramak, farklılıkları ve uç durum hatalarını belirlemek için yapay zeka aracıları dağıtarak Ethereum istemci güvenliğini artırır. | |
| Diğer | Araştırma | Dijital Kamusal Mallar için Zincir İçi Sermaye Araçları | Kamusal mallar finansmanını hibelerden ölçeklenebilir sermaye piyasalarına kaydırmak için Ethereum'dan yararlanarak Dijital Kamusal Mallar için zincir içi ESG finansman araçları geliştirir. Bu girişim, büyük ölçekli altyapı için tahvil benzeri mekanizmalar tasarlar. | Bağlantı |
| Kriptografi | Geliştirici araçları | İki Değişkenli Polinomlar — CompPoly Aşama 2, Madde 6 | Kriptografik ilkel geliştirmeyi artırarak CompPoly'yi Guruswami-Sudan altyapısı ve Kronecker ikamesi gibi performans optimizasyonları dahil olmak üzere gelişmiş iki değişkenli polinom işlemleriyle genişletir. | |
| Kriptografi | Araştırma | Özyinelemeli çıkarma problemi | Derin özyinelemede bilgi çıkarıcıların sınırlarını araştırarak özyinelemeli SNARK'ların güvenliğini inceler. Bu araştırma, gerçek dünya sistemleri için yeni ispat çerçevelerini bilgilendirmek amacıyla süperpolinomsal çıkarıcı karmaşıklığına sahip SNARK varyantlarını analiz edecektir. | |
| Kriptografi | Ekosistem geliştirme | Ethereum İndeksleyicileri için Verimli Tek Sunuculu PIR | Ethereum veri erişimi için modern Özel Bilgi Alma (PIR) şemalarını değerlendirir. Bu çalışma, kullanıcı gizliliğini artırmak ve MEV risklerini azaltmak için yeniden kullanılabilir testlerle tamamlanmış son teknoloji bir şema belirleyecektir. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Poseidon | Ağı kuantum sonrası geçişe hazırlamak için Poseidon tabanlı yapılardan yararlanarak Ethereum'un yürütme katmanı için verimli kuantum sonrası imza şemaları geliştirir. | |
| Sıfır Bilgi İspatları | Araştırma | Ethproofs Şirket İçi Çoklu GPU Kanıtlayıcı Girişimi - Matter Labs | Altyapıyı buluttan şirket içi, çoklu GPU kurulumlarına taşıyarak katman 1 (L1) blok kanıtlama işlemlerini merkeziyetsizleştirir. Bu girişim, gelecekteki kanıtlayıcıların dayanıklılığı artırması için bir plan sağlayan bir Şirket İçi Operasyonlar Başvuru Kitabı'nı açık kaynaklı hale getirecektir. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | STEEL | Ethereum'un çekirdek Python spesifikasyonlarını (EELS) ve test paketlerini (EEST) geliştirir. Bu kritik çalışma, istemci uyumluluğunu sağlar ve ağ mutabakatını güçlendirir. | |
| Gizlilik | Uygulama | Kohaku Cüzdan Ön Yüz Desteği - Takip | Kohaku tarayıcı uzantısı cüzdanını ve Railgun SDK entegrasyonunu yeniden düzenler. Bu çalışma, sürdürülebilirliği ve modülerliği artırarak cüzdanı daha geniş çapta benimsenme ve topluluk katkıları için geliştirir. | Bağlantı |
| Diğer | Ekosistem geliştirme | Butan Blokzincir Çevrimdışı İkamet Programı 2026 | Yoğun bir ikamet programı aracılığıyla Butan'da yeni bir Ethereum geliştiricileri grubu yetiştirir. Bu program yerel yetenekleri teşvik eder ve bölgede kendi kendini idame ettiren bir geliştirici topluluğunun tohumlarını atar. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | PandaOps | Protokol Ar-Ge'si için özel araçlar, dağıtım komut dosyaları ve veri ardışık düzenleri oluşturarak güvenli, iyi test edilmiş ağ yükseltmelerini sağlar. | |
| Uygulama Altyapısı | Ekosistem geliştirme | Open Intents Framework - Benimseme ve Bakım 2026 | Zincirler arası likidite yeniden dengelemesini geliştiren ve ERC-7683 spesifikasyon geliştirmesini destekleyen Open Intents Framework'ü geliştirir. Bu, Ethereum için çoklu zincir yeteneklerini ve araçlarını genişletir. | |
| Ethereum Protokolü | Ekosistem geliştirme | Hong Kong Politeknik Üniversitesi - Blokzincir Teknolojisi Araştırma Merkezi (RCBT) Sponsorluğu | Başarılı MScBT öğrencilerine yönelik burslar aracılığıyla blokzincir teknolojisinde akademik mükemmelliği teşvik eder. Asiacrypt 2026'ya sponsor olmanın yanı sıra yetenek gelişimini ve Devconnect/Devcon ile etkileşimi destekler. | |
| Sıfır Bilgi İspatları | Ekosistem geliştirme | CompPoly Yol Haritası Katkıları — Üs Alma, Çok Doğrusal Dönüşümler, ECC | CompPoly için üs almayı optimize eder ve çok doğrusal dönüşüm eşdeğerliğini kanıtlar. Berlekamp-Welch aracılığıyla hata düzelten interpolasyonu entegre ederek protokolün sağlamlığını artırır. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Protokol Mutabakatı | Gelişmiş mutabakat mekanizmalarını analiz eder ve tasarlar. Bu çalışma, uzun vadeli ağ merkeziyetsizliğini teşvik ederek protokol garantilerini güçlendirir. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Finansman Koordinasyonu | EF hibe alanları ile dış finansman kaynakları arasındaki bağlantıları kolaylaştırır. Bu, temel kamusal mallar projelerinin hükümet, hayırseverlik ve ekosistem ortaklarından hayati destek almasına yardımcı olur. | |
| Sıfır Bilgi İspatları | Araştırma | Ethproofs Şirket İçi Çoklu GPU Kanıtlayıcı Girişimi - Succinct Labs | Merkeziyetsiz kanıtlayıcıların buluttan şirket içi, çoklu GPU kurulumlarına geçiş yapmasını sağlar. Bu girişim, ekosistem dayanıklılığını güçlendiren ve merkezi altyapıya olan bağımlılığı azaltan açık kaynaklı bir Şirket İçi Operasyonlar Başvuru Kitabı üretecektir. | |
| Güvenlik | Geliştirici araçları | Octane: Ethereum İstemcileri için LLM Destekli Protokol Güvenliği | Yapay zeka destekli güvenlik açığı tespiti ile akıllı sözleşme güvenliğini artırır. Bu abonelik, dört adede kadar istemci projesi için 25 kapsamlı tarama, bir proje panosu ve VIP desteği sağlar. | Bağlantı |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | zkEVM | ZK-EVM araştırmalarını ilerleterek ölçeklendirme çözümleri geliştirir ve ZK ispatlarını doğrudan Ethereum yürütme katmanına entegre eder. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Protokol Güvenliği | Proaktif kod incelemeleri, gelişmiş araçlar ve sağlam hata ödül programı yönetimi aracılığıyla Ethereum'un güvenlik duruşunu geliştirir. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Protokol Mutabakatı | Uzun vadeli merkeziyetsizliği güçlendirmek için mutabakat mekanizmalarını analiz eder. Bu araştırma, mevcut protokol garantileri ile gelecekteki ağ hedefleri arasındaki boşluğu kapatmaya yardımcı olur. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Kriptografi | Gelişmiş kriptografik ilkeller ve güvenlik protokolleri üzerine araştırmaları destekleyerek Ethereum'un güvenli, gizliliği koruyan teknolojideki liderliğinin devam etmesini sağlar. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | Kriptografi | Yeni ilkeller ve protokoller tasarlayıp analiz ederek Ethereum'un kriptografik güvenliğini ilerletir. Bu, gelecek için sağlam, gizliliği koruyan bir teknoloji sağlar. | |
| Ethereum Protokolü | Ekosistem geliştirme | ZKProof 8'de Doğrulanmış zkEVM ArkLib Günü | ZKProof 8'deki ArkLib Günü'nde 1.000'den fazla uygulayıcıyı bir araya getirerek ZKP standardizasyon çabalarını genişletir. Bu etkinlik, biçimsel doğrulama ve uygulamalı sıfır bilgi ispatları konusunda işbirliğini teşvik eder. | Bağlantı |
| Güvenlik | Geliştirici araçları | Noir'den LLZK'ye derleyici | İki kritik SNARK ekosistemi arasında köprü kuran bir Noir'den LLZK'ye derleyici geliştirir. Bu, birlikte çalışabilirliği artırır ve LLZK araçları için geliştirici tabanını genişleterek Ethereum'un SNARK güvenlik çabalarını güçlendirir. | Bağlantı |
| Uygulama katmanı | Geliştirici araçları | Birleştirilebilir Orkestrasyon, Ethereum Kullanıcı Deneyimini Toplu İşleme ve Birlikte Çalışabilirlik | Dinamik akıllı hesap toplu işlemesini ve yüklem tabanlı yürütmeyi sağlar. Bu proje, bir üretim orkestrasyon yığınını standartlaştırıp açık kaynaklı hale getirerek birleştirilebilir çok adımlı, çok zincirli işlemleri Ethereum ekosistemi için bir kamu malı haline getirir. | Bağlantı |
| Sıfır Bilgi İspatları | Geliştirici araçları | RISC-V zkVM'leri için Geliştirilmiş Kanıtlama Altyapısı | Lean 4 kullanarak SP1 Hypercube zkVM'nin aritmetizasyonunu doğrular ve kısıtlama sistemlerinin her talimat için RISC-V ISA anlambilimini doğru bir şekilde uyguladığını biçimsel olarak kanıtlar. | |
| Ethereum Protokolü | Ekosistem geliştirme | Staj Programı 2026 | zkEVM | ZK-EVM araştırmalarını ilerleterek ölçeklendirme çözümleri geliştirir ve artırılmış verimlilik için ZK ispatlarını doğrudan Ethereum'un yürütme katmanına entegre eder. | |
| Gizlilik | Uygulama | Kohaku Cüzdan Ön Yüz Desteği | Sepolia'da sağlam, gizlilik odaklı bir cüzdan kullanıcı deneyimi için Kohaku tarayıcı uzantısını iyileştirir. Ambire çatallanmasını ve kullanıcı akışlarını optimize ederek Privacy Pools ve Railgun'ı entegre eder. | Bağlantı |
2026 2. Çeyrekte verilen toplam ödül: 5.502.930,20 USD