واصل الربع الثاني من عام 2026 تركيزنا على تعزيز مرونة وقدرات إيثيريوم، ودعم العمل الرئيسي في إثباتات المعرفة الصفرية، وتنوع العملاء، والتحقق الشكلي، والأدوات مفتوحة المصدر. اطلع على القائمة أدناه للمشاريع وجهود النظام البيئي المدعومة هذا الربع بينما يقوم البناة ببناء الشبكة وتعزيزها.
استكشف القائمة الكاملة للمشاريع الممولة من مؤسسة إيثيريوم على موقع ESP الإلكتروني هنا!!
| المجال | الفئة | اسم المشروع | الوصف | الرابط/المستودع |
|---|---|---|---|---|
| المنظمات المستقلة اللامركزية (DAOs)/الحوكمة | أبحاث | زمالة أبحاث هيئة التدريس: دراسات إيثيريوم (العام الدراسي 2025–2026) | يمكّن البروفيسور سترناد من تكريس وقت بحثي كبير للمشكلات التي تركز على إيثيريوم، بما في ذلك حوكمة المنظمات المستقلة اللامركزية (DAO)، وإدارة الأنظمة اللامركزية، وفترات تحدي الرول أب المتفائل (optimistic rollup)، مع تقديم المشورة لعلماء OpenLab. | |
| الأمان | أبحاث | أمان EL+CL وغلامستردام | يعزز أمان إيثيريوم من خلال التحديد الاستباقي لنقاط الضعف في عملاء طبقة التنفيذ وطبقة الإجماع قبل ترقية غلامستردام. يعزز هذا البحث مرونة الشبكة. | |
| العقد والعملاء | تطبيق | لودستار 2026 | يطور ويحافظ على عميل الإجماع لودستار، وينفذ التفرعات الصلبة ويساهم في أبحاث البروتوكول. يدعم هذا تجربة مستخدم المشغل وأدوات النظام البيئي لمجتمعات إيثيريوم التي تستخدم TypeScript و Zig. | الرابط |
| بروتوكول إيثيريوم | تطبيق | لايتهاوس - مايو إلى أكتوبر 2026 | يستمر تطوير عميل لايتهاوس مع ePBS و Gloas وشبكات الرسائل الجزئية للشبكة الرئيسية. يوسع هذا العمل المزامنة الشجرية، وإطار اختبار Diamond، والإجماع الذي تم التحقق منه بواسطة المعرفة الصفرية (ZK). كما تتقدم جهود التحقق الشكلي وتقوية العميل. | الرابط |
| علم التشفير | أدوات المطورين | أدوات Poulpy PIR | يطور مكتبة استرجاع معلومات خاصة (PIR) جاهزة للإنتاج ومبنية بلغة Rust. يتيح ذلك استعلامات فعالة ومجمعة في دفعات لقواعد بيانات القيمة والمفتاح التي تصل سعتها إلى 32GB، مما يحسن اتصال الخادم والعميل دون الحاجة إلى حالة. | الرابط |
| بروتوكول إيثيريوم | أدوات المطورين | ETHeorem | يربط مواصفات إجماع إيثيريوم بتطبيقات العملاء، ويتيح ETHeorem التقييم الأمني المنهجي عبر لايتهاوس وبرايزم وجو إيثريوم (geth) وريث. يجمع هذا النظام الوكيلي بين النماذج اللغوية الكبيرة (LLMs) وتحليل البرامج لتغطية الحزمة الكاملة. | |
| بروتوكول إيثيريوم | تطبيق | Ream - عميل إجماع خفيف بلغة Rust | يطور Ream، وهو عميل إجماع خفيف مبني بلغة Rust، لتعزيز الإجماع الجاهز لمرحلة ما بعد الكم مع نهائية سريعة وفترات زمنية (slots) مدتها 4 ثوانٍ. يدعم هذا التجديد تطوير العميل الأساسي، وتقوية البنية التحتية للاختبار، وتوسيع نطاق شبكات التطوير (devnets) إلى 10,000 مدقق. | الرابط |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | مجموعة الحوافز القوية | يضع نماذج للحوافز الاقتصادية وسلوك المشاركين لتحسين نظرية الألعاب الخاصة بالبروتوكول، مما يعزز استقرار الشبكة وكفاءتها. | |
| البنية التحتية للتطبيقات | أبحاث | تحسين النماذج اللغوية الكبيرة (LLM) لإيثيريوم (Inseeq) | يعزز نماذج الذكاء الاصطناعي باستخدام أدوات تطوير إيثيريوم الحالية وبيانات ethskills. يؤدي هذا إلى تحسين دقة النماذج اللغوية الكبيرة (LLM) ويعزز جاذبية إيثيريوم للمطورين الذين يبحثون عن سلسلة كتل للبناء عليها. | الرابط |
| علم التشفير | أبحاث | المراجعة الفنية لـ Fiat–Shamir من Duplex Sponges | يدقق في الحجج الأمنية لتحويلات Fiat-Shamir التي تم إنشاؤها عبر duplex sponges. يوضح هذا العمل التجريدات الرئيسية لدعم الصياغة الشكلية المستقبلية في Lean، مما يعزز أنظمة إثبات المعرفة الصفرية. | |
| إثباتات المعرفة الصفرية | أبحاث | أجهزة إضافية لـ Ethproofs - Brevis | تقوم Brevis ببناء حزمة إثبات كتل الطبقة 1 (L1) محلية ومتعددة وحدات المعالجة الرسومية (GPU) لاختبار إجهاد المرونة التشغيلية في العالم الحقيقي. ستنتج هذه المبادرة دليل عمليات محلي مفتوح المصدر للمُثبِتين المستقبليين. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | أولويات quic-go لـ ethp2p | يعزز quic-go، وهو تطبيق Go QUIC الذي يدعم شبكات طبقة الإجماع في إيثيريوم. يحسن هذا العمل الأداء وقدرات النقل وكفاءة الاتصال لـ go-libp2p. | |
| البنية التحتية للتطبيقات | أدوات المطورين | Web3j: الحفاظ على البنية التحتية لتكامل JVM و Android في إيثيريوم | يحافظ على Web3j، وهي مكتبة عميل JVM المهيمنة، في حالة مزامنة مع التفرع الصلب القادم لغلامستردام. يضمن هذا استمرار التكامل السلس لتطبيقات Java و Kotlin و Android، إلى جانب الوثائق الموجهة للذكاء الاصطناعي. | الرابط |
| إثباتات المعرفة الصفرية | أبحاث | أجهزة إضافية لـ Ethproofs - Succinct Labs | تنقل Succinct إثبات كتل الطبقة 1 (L1) إلى إعدادات محلية متعددة وحدات المعالجة الرسومية (GPU). سيؤدي هذا إلى اختبار إجهاد المرونة التشغيلية وتقليل الاعتماد على السحابة، مما ينتج دليل عمليات محلي مفتوح المصدر للمُثبِتين المستقبليين. | |
| إثباتات المعرفة الصفرية | أبحاث | أجهزة إضافية لـ Ethproofs - SilentSig | يمكّن ZisK من نقل حزمة إثبات كتل الطبقة 1 (L1) الخاصة بهم إلى تكوينات محلية متعددة وحدات المعالجة الرسومية (GPU). ستنتج هذه المبادرة دليل عمليات محلي مفتوح المصدر لتقليل اعتماد النظام البيئي على مزودي الخدمات السحابية المركزيين. | |
| أخرى | تطوير النظام البيئي | برنامج تدريب المدربين لمنهج سلسلة الكتل في مينداناو | يمكّن 8 مؤسسات أكاديمية فلبينية من تطوير مناهج سلسلة الكتل. يدعم أعضاء هيئة التدريس ليصبحوا مدربين، مما يعزز تعليم إيثيريوم المحلي من خلال برنامج مدته 6 أيام. | |
| البنية التحتية للتطبيقات | أدوات المطورين | mevlog-rs - واجهة سطر أوامر/واجهة مستخدم نصية (CLI/TUI) للاستعلام عن معاملات EVM مدعومة بواسطة Revm | يفهرس البيانات على السلسلة في قاعدة بيانات SQLite محلية، يمكن الوصول إليها عبر TUI و MCP. تتيح هذه الأداة الاستعلام المحلي المرن ومشاركة النتائج عبر IPFS للمطورين ووكلاء النماذج اللغوية الكبيرة (LLM). | الرابط |
| بروتوكول إيثيريوم | أبحاث | تأكيدات المعاملات | يمكّن المستخدمين من التحقق برمجيًا من نتائج المعاملات قبل التوقيع باستخدام EIP-7906. يتضمن ذلك الشروط الإيجابية والسلبية ضد أي عقد ذكي، مما يعزز الأمان وتحكم المستخدم. | الرابط |
| طبقة التطبيقات | تطبيق | Steward، محفظة إيثيريوم ذاتية السيادة مع مساعد ذكاء اصطناعي على الجهاز | يبني Steward، وهي محفظة حساب ذكي لإيثيريوم محلية بالكامل على نظام macOS. يعمل كل مكون، من العميل الخفيف إلى مساعد الذكاء الاصطناعي، على الجهاز، مما يضمن أمانًا وسيادة يمكن التحقق منهما من البداية إلى النهاية. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | علم التشفير | يطور أساسيات تشفير وبروتوكولات أمان جديدة، مما يعزز الأمان الأساسي والخصوصية في إيثيريوم لجميع المستخدمين. | |
| الخصوصية | أبحاث | مشروع إخفاء الهوية المفتوح | يتيح الوصول غير القابل للربط إلى خدمات API المقيدة، بدءًا من استدلال الذكاء الاصطناعي. تستخدم هذه الحزمة المعيارية مفتوحة المصدر التوقيعات العمياء والخوادم المتوافقة مع TEE للتحقق من الرصيد بشكل مجهول. | |
| إثباتات المعرفة الصفرية | أبحاث | أجهزة إضافية لـ Ethproofs - Matter Labs | يعزز حزمة إثبات كتل الطبقة 1 (L1) الخاصة بـ Matter Labs من خلال الانتقال إلى تكوينات محلية متعددة وحدات المعالجة الرسومية (GPU). تختبر هذه المبادرة إجهاد المرونة التشغيلية وتقلل من الاعتماد على السحابة، مما ينتج دليل عمليات محلي مفتوح المصدر. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | أبحاث علم التشفير | يصيغ شكليًا النموذج الأمني لمجمعات الذاكرة (Mempools) المشفرة، مما يعزز خصوصية المعاملات ومرونة الشبكة لمستخدمي إيثيريوم. | |
| الأمان | أدوات المطورين | Verity | يطور Verity، وهي لغة عقود ذكية مبنية على Lean 4 ومُصرّف (compiler) تم التحقق منه شكليًا. تتيح للمطورين كتابة وتحديد خصائص العقد شكليًا وإثباتها، مع التصريف إلى رمز البايت الخاص بـ EVM بدلالات تم التحقق منها. | الرابط |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | تحويل البروتوكول إلى SNARK | يتحقق من بروتوكولات التشفير ودوائر zkVM، مما يضمن الصحة الرياضية للبنية التحتية لتوسيع نطاق إيثيريوم من خلال الطرق الشكلية. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | مجموعة الحوافز القوية | يحسن نظرية الألعاب الخاصة بالبروتوكول من خلال تطبيق تصميم الآليات والنمذجة الاقتصادية لفهم حوافز المشاركين وتحسينها. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | المعرفة الصفرية (ZK) + عمل استكشاف الاختبار | يستكشف سلوك وقت تشغيل zkVM عبر أجهزة متنوعة لتحسين أداء الإثبات. يهدف هذا البحث إلى تحديد الاختناقات وتمكين إثبات أكثر عملية وشبه فوري لتطبيقات شبكة إيثيريوم الرئيسية. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | جو إيثريوم (geth) | يدعم تطوير البروتوكول الأساسي لجو إيثريوم (geth)، وصيانة العميل، وتنفيذ مقترحات تحسين إيثيريوم الجديدة. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | النمذجة الأولية للبروتوكول | يترجم أبحاث البروتوكول الجديدة إلى تعليمات برمجية عاملة. يتيح ذلك الاختبار التجريبي للافتراضات النظرية ويحدد المقايضات في التصميم لترقيات إيثيريوم المستقبلية. | |
| الأمان | تطبيق | SafeLens | يتيح التحقق دون اتصال بالإنترنت من معاملات Gnosis Safe متعددة التوقيعات (multisig). تُنشئ SafeLens حزم أدلة للتوقيعات والتجزئات والإثباتات المثرية، مما يسمح بإعادة تشغيل المعاملات محليًا وعرض تفاصيل قابلة للقراءة بواسطة الإنسان عبر المفسرات المدمجة. | الرابط |
| إثباتات المعرفة الصفرية | أبحاث | مبادرة مُثبِت Ethproofs المحلي متعدد وحدات المعالجة الرسومية - SilentSig | يمكّن ZisK من نقل إثبات كتل الطبقة 1 (L1) إلى إعدادات محلية متعددة وحدات المعالجة الرسومية (GPU). تختبر هذه المبادرة إجهاد المرونة التشغيلية وتقلل من الاعتماد على السحابة، مما ينتج دليل عمليات محلي مفتوح المصدر للنظام البيئي. | الرابط |
| إثباتات المعرفة الصفرية | أبحاث | مبادرة مُثبِت Ethproofs المحلي متعدد وحدات المعالجة الرسومية - Brevis | يطور دليل عمليات محلي مفتوح المصدر، مما يمكّن مُثبِتي كتل الطبقة 1 (L1) من الانتقال من البيئات المستضافة على السحابة إلى تكوينات مرنة متعددة وحدات المعالجة الرسومية (GPU)، مما يقلل من التبعيات المركزية. | الرابط |
| العقد والعملاء | تطبيق | Gean، عميل إجماع إيثيريوم خفيف | يبني مرونة إيثيريوم طويلة المدى باستخدام Gean، وهو عميل إجماع جديد مبني بلغة Go. يحل هذا التطبيق مفتوح المصدر محل التشفير المعرض للخطر الكمي وينوع النظام البيئي للعملاء من إفريقيا. | الرابط |
| الخصوصية | أدوات المطورين | القراءات الخاصة لـ Quixote + تكامل آفي | يعزز Quixote، وهو مفهرس أحداث EVM بلغة Rust، بقراءات خاصة قائمة على Tor ودعم GraphQL. يوضح قيمته من خلال دمجه في الواجهة الأمامية لآفي، ليحل محل TheGraph لتحسين الوصول إلى البيانات. | الرابط |
| الأمان | أدوات المطورين | وكلاء أمان بروتوكول إيثيريوم - SPECA و LeanAgent | يطور نظامًا مدعومًا بالنماذج اللغوية الكبيرة (LLM) لأتمتة التحقق من امتثال مواصفات عميل إيثيريوم واكتشاف الأخطاء. يتضمن ذلك التحقق الشكلي من Gasper Lean 4 ومسارًا لربط مخرجات SPECA بالمواصفات الشكلية لـ Lean 4. | |
| الأمان | أدوات المطورين | محلل التعليمات البرمجية بالذكاء الاصطناعي Cantina Apex للثغرات الأمنية | يعزز الوضع الأمني لإيثيريوم من خلال 52 فحصًا للعقود الذكية مدعومًا بالذكاء الاصطناعي لمستودعات العملاء والبروتوكولات على مدار العام المقبل. | |
| علم التشفير | أبحاث | leanVM تحت قيود بيتكوين | يحسن تجميع التوقيعات لمرحلة ما بعد الكم في leanVM لطبقة الإجماع في إيثيريوم. يعزز هذا العمل السرعة، ويحسن الكفاءة، ويضمن التوافق مع بيتكوين لإنشاء معيار على مستوى الصناعة. | الرابط |
| أخرى | تطوير النظام البيئي | برمجة تقارب الذكاء الاصطناعي وإيثيريوم في روما | لتعزيز التقاطع بين الذكاء الاصطناعي وإيثيريوم، يستضيف Urbe Hub في روما ورش عمل وعروضًا توضيحية وجلسات بناة متكررة. تنمي هذه المبادرة أحداث التلقيح المتبادل، مما يعزز كلا المجتمعين ويتعاون مع فريق dAI التابع لمؤسسة إيثيريوم (EF). | الرابط |
| علم التشفير | أدوات المطورين | الحساب الحقلي السريع لـ CompPoly | يطور تطبيقات فعالة ومتحقق منها للحقول الأولية والبرجية الثنائية في Lean4. يغطي هذا العمل حقول STARK الصغيرة، وحقول SNARK/المنحنيات الكبيرة، وحقول الأبراج الثنائية، والتي ثبتت صحتها جميعًا عبر RingEquiv. | الرابط |
| طبقة التطبيقات | أبحاث | البحث والتطوير لحالة استخدام الحدود "الضرورية بشكل معقول" لإيثيريوم | يبحث في حالات استخدام إيثيريوم الفريدة ذات التأثير في العالم الحقيقي. يستكشف هذا البحث أيضًا الهياكل التنظيمية الجديدة التي تتجاوز إعدادات الكريبتو التقليدية. | |
| إثباتات المعرفة الصفرية | أدوات المطورين | مكتبة Lean لمتعددات الحدود CompPoly - أجزاء من خارطة الطريق 2 | يحسن تقييم متعددات الحدود في CompPoly باستخدام طرق Horner والدفعات (batch) و NTT. ينفذ ويتحقق من خوارزمية Guruswami-Sudan لـ zkVMs، مع إثباتات Lean ومعايير الأداء. | الرابط |
| الأمان | تطبيق | تحليل امتثال العميل القائم على النماذج اللغوية الكبيرة (LLM) لإيثيريوم | يعزز أمان عميل إيثيريوم من خلال نشر وكلاء الذكاء الاصطناعي لفحص جو إيثريوم (geth) ونيذرميند ولايتهاوس وبرايزم مقابل مواصفات EIP، وتحديد الاختلافات وأخطاء الحالات الطرفية. | |
| أخرى | أبحاث | أدوات رأس المال على السلسلة للسلع العامة الرقمية | يطور أدوات تمويل الحوكمة البيئية والاجتماعية والمؤسسية (ESG) على السلسلة للسلع العامة الرقمية، مستفيدًا من إيثيريوم لتحويل تمويل السلع العامة من المنح إلى أسواق رأس مال قابلة للتوسع. تصمم هذه المبادرة آليات تشبه السندات للبنية التحتية واسعة النطاق. | الرابط |
| علم التشفير | أدوات المطورين | متعددات الحدود ثنائية المتغير — CompPoly المرحلة 2، العنصر 6 | يوسع CompPoly بعمليات متعددات الحدود ثنائية المتغير المتقدمة، بما في ذلك البنية التحتية لـ Guruswami-Sudan وتحسينات الأداء مثل استبدال Kronecker، مما يعزز تطوير أساسيات التشفير. | |
| علم التشفير | أبحاث | مشكلة الاستخراج العودي | يبحث في أمان SNARKs العودية، ويستكشف حدود مستخرجات المعرفة في العودية العميقة. سيحلل هذا البحث متغيرات SNARK مع تعقيد المستخرج فائق الحدود لإثراء أطر الإثبات الجديدة للأنظمة في العالم الحقيقي. | |
| علم التشفير | تطوير النظام البيئي | استرجاع معلومات خاصة (PIR) فعال بخادم واحد لمفهرسي إيثيريوم | يقيم مخططات استرجاع المعلومات الخاصة الحديثة للوصول إلى بيانات إيثيريوم. سيحدد هذا العمل مخططًا متطورًا، مكتملًا باختبارات قابلة لإعادة الاستخدام، لتعزيز خصوصية المستخدم وتقليل مخاطر القيمة القابلة للاستخراج من المُعدِّن (MEV). | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | Poseidon | يطور مخططات توقيع فعالة لمرحلة ما بعد الكم لطبقة التنفيذ في إيثيريوم، مستفيدًا من الإنشاءات القائمة على Poseidon لإعداد الشبكة للانتقال إلى مرحلة ما بعد الكم. | |
| إثباتات المعرفة الصفرية | أبحاث | مبادرة مُثبِت Ethproofs المحلي متعدد وحدات المعالجة الرسومية - Matter Labs | يضفي اللامركزية على إثبات كتل الطبقة 1 (L1) عن طريق نقل البنية التحتية من السحابة إلى إعدادات محلية متعددة وحدات المعالجة الرسومية (GPU). ستجعل هذه المبادرة دليل العمليات المحلي مفتوح المصدر، مما يوفر مخططًا للمُثبِتين المستقبليين لتعزيز المرونة. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | STEEL | يعزز مواصفات Python الأساسية لإيثيريوم (EELS) ومجموعات الاختبار (EEST). يضمن هذا العمل الحاسم توافق العميل ويعزز إجماع الشبكة. | |
| الخصوصية | تطبيق | دعم الواجهة الأمامية لمحفظة Kohaku - متابعة | يعيد هيكلة محفظة امتداد المتصفح Kohaku وتكامل Railgun SDK. يعزز هذا العمل قابلية الصيانة والنمطية، مما يطور المحفظة لاعتماد أوسع ومساهمات مجتمعية. | الرابط |
| أخرى | تطوير النظام البيئي | إقامة سلسلة الكتل دون اتصال بالإنترنت في بوتان 2026 | ينمي مجموعة جديدة من مطوري إيثيريوم في بوتان من خلال إقامة مكثفة. يعزز هذا البرنامج المواهب المحلية ويزرع مجتمع مطورين مكتفيًا ذاتيًا في المنطقة. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | PandaOps | يتيح ترقيات آمنة ومختبرة جيدًا للشبكة من خلال بناء أدوات مخصصة ونصوص نشر برمجية ومسارات بيانات للبحث والتطوير في البروتوكول. | |
| البنية التحتية للتطبيقات | تطوير النظام البيئي | إطار عمل النوايا المفتوحة - الاعتماد والصيانة 2026 | يطور إطار عمل النوايا المفتوحة، مما يعزز إعادة توازن السيولة عبر السلاسل ويدعم تطوير مواصفات ERC-7683. يوسع هذا القدرات والأدوات متعددة السلاسل لإيثيريوم. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | جامعة هونغ كونغ للفنون التطبيقية - رعاية مركز أبحاث تكنولوجيا سلسلة الكتل (RCBT) | يعزز التميز الأكاديمي في تكنولوجيا سلسلة الكتل من خلال منح دراسية لطلاب ماجستير MScBT المتميزين. يدعم تطوير المواهب والمشاركة مع Devconnect/Devcon، إلى جانب رعاية Asiacrypt 2026. | |
| إثباتات المعرفة الصفرية | تطوير النظام البيئي | مساهمات خارطة طريق CompPoly — الأسس، والتحويلات متعددة الخطوط، و ECC | يحسن الأسس ويثبت تكافؤ التحويل متعدد الخطوط لـ CompPoly. يدمج الاستيفاء المصحح للأخطاء عبر Berlekamp-Welch، مما يعزز متانة البروتوكول. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | إجماع البروتوكول | يحلل ويصمم آليات إجماع متقدمة. يعزز هذا العمل ضمانات البروتوكول، مما يعزز اللامركزية طويلة المدى للشبكة. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | تنسيق التمويل | يسهل الاتصالات بين الحاصلين على منح مؤسسة إيثيريوم (EF) ومصادر التمويل الخارجية. يساعد هذا مشاريع السلع العامة الأساسية على تأمين الدعم الحيوي من الشركاء الحكوميين والخيريين وشركاء النظام البيئي. | |
| إثباتات المعرفة الصفرية | أبحاث | مبادرة مُثبِت Ethproofs المحلي متعدد وحدات المعالجة الرسومية - Succinct Labs | يمكّن المُثبِتين اللامركزيين من الانتقال من السحابة إلى إعدادات محلية متعددة وحدات المعالجة الرسومية (GPU). ستسفر هذه المبادرة عن دليل عمليات محلي مفتوح المصدر، مما يعزز مرونة النظام البيئي ويقلل الاعتماد على البنية التحتية المركزية. | |
| الأمان | أدوات المطورين | Octane: أمان البروتوكول المدعوم بالنماذج اللغوية الكبيرة (LLM) لعملاء إيثيريوم | يعزز أمان العقود الذكية من خلال اكتشاف الثغرات الأمنية المدعوم بالذكاء الاصطناعي. يوفر هذا الاشتراك 25 فحصًا شاملاً، ولوحة معلومات للمشروع، ودعم VIP لما يصل إلى أربعة مشاريع للعملاء. | الرابط |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | zkEVM | يطور أبحاث ZK-EVM، ويطور حلول التوسع ويدمج إثباتات المعرفة الصفرية (ZK-proofs) مباشرة في طبقة التنفيذ في إيثيريوم. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | أمان البروتوكول | يعزز الوضع الأمني لإيثيريوم من خلال مراجعات التعليمات البرمجية الاستباقية، والأدوات المتقدمة، والإدارة القوية لبرنامج مكافآت اكتشاف الأخطاء. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | إجماع البروتوكول | تحليل آليات الإجماع لتعزيز اللامركزية طويلة المدى. يساعد هذا البحث في سد الفجوة بين ضمانات البروتوكول الحالية وأهداف الشبكة المستقبلية. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | علم التشفير | يدعم البحث في أساسيات التشفير المتقدمة وبروتوكولات الأمان، مما يضمن استمرار ريادة إيثيريوم في التكنولوجيا الآمنة التي تحافظ على الخصوصية. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | علم التشفير | يطور أمان التشفير في إيثيريوم من خلال تصميم وتحليل أساسيات وبروتوكولات جديدة. يضمن هذا تكنولوجيا قوية تحافظ على الخصوصية للمستقبل. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | يوم ArkLib لـ zkEVM المتحقق منه في ZKProof 8 | يوسع جهود توحيد معايير إثباتات المعرفة الصفرية (ZKP) من خلال الجمع بين أكثر من 1,000 ممارس في يوم ArkLib في ZKProof 8. يعزز هذا الحدث التعاون في التحقق الشكلي وإثباتات المعرفة الصفرية التطبيقية. | الرابط |
| الأمان | أدوات المطورين | مُصرّف Noir إلى LLZK | يطور مُصرّفًا من Noir إلى LLZK، ليربط بين نظامين بيئيين حاسمين لـ SNARK. يعزز هذا قابلية التشغيل البيني ويوسع قاعدة المطورين لأدوات LLZK، مما يعزز جهود أمان SNARK في إيثيريوم. | الرابط |
| طبقة التطبيقات | أدوات المطورين | التنسيق القابل للتركيب، وتجميع تجربة مستخدم إيثيريوم في دفعات، وقابلية التشغيل البيني | يتيح التجميع الديناميكي للحسابات الذكية في دفعات والتنفيذ القائم على المسندات (predicate-based). يوحد هذا المشروع حزمة تنسيق إنتاجية ويجعلها مفتوحة المصدر، مما يجعل المعاملات القابلة للتركيب متعددة الخطوات والسلاسل منفعة عامة للنظام البيئي لإيثيريوم. | الرابط |
| إثباتات المعرفة الصفرية | أدوات المطورين | بنية تحتية محسنة للإثبات لـ RISC-V zkVMs | يتحقق من الحسابات الرياضية لـ SP1 Hypercube zkVM باستخدام Lean 4، ويثبت شكليًا أن أنظمة القيود الخاصة به تنفذ دلالات RISC-V ISA بشكل صحيح لكل تعليمة. | |
| بروتوكول إيثيريوم | تطوير النظام البيئي | برنامج التدريب الداخلي 2026 | zkEVM | يطور أبحاث ZK-EVM، ويطور حلول التوسع ويدمج إثباتات المعرفة الصفرية (ZK-proofs) مباشرة في طبقة التنفيذ في إيثيريوم لتعزيز الكفاءة. | |
| الخصوصية | تطبيق | دعم الواجهة الأمامية لمحفظة Kohaku | يحسن امتداد متصفح Kohaku للحصول على تجربة مستخدم محفظة قوية تعطي الأولوية للخصوصية على Sepolia. يدمج مجمعات الخصوصية (Privacy Pools) و Railgun، مما يحسن تفرع Ambire وتدفقات المستخدمين. | الرابط |
إجمالي المنح المقدمة في الربع الثاني من عام 2026: 5,502,930.20 USD