الافتتاح
قدّمت فرق zkEVM التابعة لمؤسسة Ethereum اقتراحًا لإدراج EIP-8025 في شوكة Hegota، وفقًا لمناقشات جرت خلال اجتماع المطورين الأساسيين جميعهم (ACD). تُدخل EIP-8025 “أدلة تنفيذ اختيارية”، ما يسمح لعُقد Ethereum بالتحقق من أدلة المعرفة الصفرية بدلًا من إعادة تنفيذ جميع المعاملات مباشرةً. حاليًا، تتحقق العُقد من صحة الكتل عبر إعادة تنفيذ نتائج المعاملات؛ وتضيف EIP-8025 بديلًا يمكن فيه للعُقد التحقق من دليل ZK لصحة الكتلة دون تكرار الحسابات كاملة. في هذه المرحلة، يعمل الاقتراح كآلية “اشتراك اختياري” كاملة—لا تتأثر سوى العُقد التي تختار استخدام الأدلة، وتبقى قواعد الإجماع دون تغيير. يمثل هذا تحولًا رسميًا في Ethereum من مرحلة تجريبية نحو دمج على مستوى البروتوكول لتقنية المعرفة الصفرية، ما قد يُقلل تكاليف تشغيل العُقد ويمكّن، على المدى الطويل، كتلًا أكبر مع تنفيذ أكثر تعقيدًا.
تطورات بحثية
EIP-8025: البنية التحتية للمعرفة الصفرية في Ethereum تدخل مرحلة ترقية بروتوكول
تتمحور الآلية الأساسية في EIP-8025 حول الأدلة التنفيذية الاختيارية. بدلًا من مطالبة جميع العُقد بإعادة تنفيذ المعاملات للتحقق من صحة الكتلة، يمكن للعُقد بديلًا التحقق من دليل معرفة صفرية يؤكد صحة التنفيذ. لا يحوّل الاقتراح Ethereum فورًا إلى سلسلة قائمة على ZK؛ بل يضع الأساس للانتقال من “سلسلة إعادة تنفيذ مباشرة” إلى “سلسلة تحقق بالأدلة”.
تكمن الأهمية في تقليل العبء التشغيلي على العُقد وفي تأسيس بنية تحتية للكتل الأكبر والتنفيذ الأكثر تعقيدًا. من خلال تمكين العُقد من التحقق من الأدلة بدلًا من تكرار الحسابات، يمكن لـ Ethereum دعم إنتاجية وقدرة معالجة أعلى.
فيتاليك بوتيرين حول الذكاء الاصطناعي والتحقق الصوري للأمن السيبراني
نشر مؤسس Ethereum المشارك فيتاليك بوتيرين تحليلًا حول دمج الذكاء الاصطناعي مع التحقق الصوري لتحويل الأمن السيبراني. يقدّم التحقق الصوري برهانًا رياضيًا بأن البرامج تعمل تمامًا كما هو مقصود—وهو ما يختلف عن تدقيقات الأمن التقليدية حيث يراجع البشر الشيفرة بحثًا عن نقاط الضعف.
اقترح بوتيرين أن يمكن للذكاء الاصطناعي توليد شيفرة تجميع منخفضة المستوى، بينما يؤكد التحقق الصوري أن هذه الشيفرة تنتج سلوكًا مطابقًا تمامًا لتنفيذات عالية المستوى قابلة للقراءة من البشر. يعالج هذا النهج المقايضة التقليدية: شيفرة التجميع تنفذ بكفاءة لكنها تقاوم المراجعة البشرية، بينما تعطي الشيفرة عالية المستوى الأولوية لقابلية القراءة على تحسين الأداء.
ومن أمثلة منظومة Ethereum التي استشهد بها: Arklib (السعي إلى إثباتات STARKs مُتحقق منها رسميًا لإثبات صحة الحسابات المعقدة) وevm-asm (كتابة EVM بلغة RISC-V وإثبات التكافؤ مع تطبيقات Lean، حيث يُعد Lean أداة للتحقق الصوري).
بالنسبة لبروتوكولات البلوك تشين والعقود الذكية، تُعد طرق تحقق أقوى ضرورية لأن أخطاء النشر تترتب عليها عواقب جسيمة.
قمة ZK 14: تركيز نظام الإثبات ينتقل إلى ضمانات على مستوى الأنظمة في العالم الحقيقي
عُقدت قمة ZK 14 في 7 مايو في روما، بمشاركة 24 عرضًا من فرق كبرى في منظومة ZK، بما في ذلك مؤسسة Ethereum، Succinct، Aztec، Nethermind، وMiden.
أبرز اتجاه تمثل في التحول من التركيز على مقاييس أداء نظام الإثبات—السرعة، حجم الإثبات، تكلفة التحقق—إلى ضمانات واقعية على مستوى الأنظمة. أصبحت تقنية المعرفة الصفرية الآن تتكامل مع أنظمة الدفع والتحقق من الهوية وzkVMs وتطبيقات تعلم الآلة. وفي هذه السياقات، لا يكفي أداء الإثبات وحده:
- أنظمة الدفع تحتاج إلى حماية مبالغ المعاملات ومعلومات المستخدم.
- أنظمة الهوية يجب أن تمكّن المستخدمين من إثبات بيانات الاعتماد المطلوبة مع إخفاء البيانات الشخصية الأخرى.
- zkVMs يجب أن تُثبت بدقة تنفيذ البرامج المعقدة.
- تطبيقات تعلم الآلة تتطلب التحقق من أن نتائج الاستدلال للنموذج لا تُعبث بها.
توسعت تقنية ZK خارج نطاق “توليد إثباتات سريعة” لتصبح أسلوبًا لتصميم ضمانات أمن وخصوصية مخصصة لاحتياجات كل نظام. وأظهرت قمة ZK 14 تقدم تقنية المعرفة الصفرية من البحث إلى دمج عميق مع بنى تحتية وتطبيقات واقعية.
تحديثات المنظومة
إطار Kohaku للخصوصية يقترب من الإطلاق، واختبارات تكامل المحفظة جارية
يقترب إطار الخصوصية المعياري في Ethereum المعروف باسم Kohaku من الإطلاق مع استمرار اختبارات تكامل المحفظة. يوفّر Kohaku واجهة موحدة تمكن المحافظ من تنفيذ معاملات خاصة باستخدام عدة مراكن تشفيرية دون الحاجة إلى تنفيذ وظائف الخصوصية مباشرةً.
تجري حاليًا محافظ تشمل Ambire اختبارات تكامل Kohaku. تاريخيًا، واجهت ميزات الخصوصية عوائق في تبنيها داخل محافظ المستخدمين، لأن بروتوكولات الخصوصية الفردية تستخدم بنيات مختلفة، ما يتطلب من المحافظ دعم كل تقنية على حدة.
يعالج Kohaku هذا التشتت عبر السماح للمحافظ بالوصول إلى عدة مراكن خصوصية عبر واجهة واحدة. قد يؤدي زيادة التبني إلى توسيع استخدام Railgun، التي تُعد محرك الخصوصية الأساسي في Kohaku. يهدف الإطار إلى تحويل خصوصية Ethereum من “أداة متخصصة للمستخدمين المتقدمين” إلى “ميزة محفظة متكاملة بشكل طبيعي”.
L2BEAT يتحقق من فتحة الخروج خفيفة المعرفة الصفرية لدى Lighter
تحقق منصة تحليل الطبقة الثانية L2BEAT من دوائر ZK الخاصة بـ Lighter، وهي بورصة DEX للخطوط المستمرة (perpetual futures) على الطبقة 2. يتيح Lighter تداول المشتقات الدائمة—عقودًا دون تواريخ انتهاء.
جمعت L2BEAT جميع دوائر ZK الخاصة بـ Lighter مباشرةً من كود المصدر، وأكدت مواءمتها مع عقود المُتحقق المُنشره (عقود ذكية تتحقق من أدلة ZK المُقدمة). يعالج هذا التحقق وظيفة فتحة الخروج—وهي آلية الطوارئ التي تتيح للمستخدمين سحب الأصول إذا توقفت مُشغلات التسلسل (sequencers) أو المشغلون على الطبقة 2.
سابقًا، كتم Lighter بعض كود مصدر المُتحقق، ما منع المستخدمين من توليد أدلة الخروج بشكل مستقل (بيانات تُثبت حقوق السحب) أثناء تعطل المُسلسل. بعد تحقق L2BEAT، يمكن للمستخدمين الآن توليد أدلة الخروج بشكل مستقل، ما يعزز القدرة على سحب الأصول دون الاعتماد على فريق Lighter خلال حالات الطوارئ.
تُظهر هذه الحالة أنه بالنسبة لأمن الطبقة 2، فإن التحقق من أن الكود المُنشر مطابق للكود المتاح علنًا أمر بالغ الأهمية بقدر أهمية توفر الكود نفسه.
ETHGlobal يعيد ضبط تنسيق هاكاثون
أعادت ETHGlobal هيكلة تنسيق هاكاثونها. كانت الهاكاثونات التقليدية تتطلب من المشاركين اختيار أفكار وبناء منتجات قابلة للتطبيق كحد أدنى (MVPs—إصدارات أولية تُظهر الوظيفة الأساسية) خلال فترات زمنية قصيرة.
بدءًا من هاكاثون نيويورك، تتيح المسارات الجديدة للمشاركين المساهمة بميزات إلى مستودعات مفتوحة المصدر قائمة أو إضافة وظائف إلى منتجات راسخة، ثم إصدار التحسينات علنًا كمصدر مفتوح. يزيد هذا التغيير من احتمالية أن تتحول مخرجات الهاكاثون إلى مساهمات حقيقية في المنظومة. سابقًا، كانت الـ MVPs ضمن فترات قصيرة تتوقف كثيرًا عن التطوير بعد انتهاء الفعالية. تساهم المشاركة في المشاريع المفتوحة النشطة مباشرةً في دعم المستخدمين والمطورين القائمين.
تعمل ETHGlobal على التوسع من “عرض أفكار جديدة بسرعة” إلى “تحسين بنية تحتية قائمة للمنظومة بشكل ذي معنى”. ومع نضج Ethereum، يصبح تعزيز البضائع العامة والأدوات المطوّرية القائمة بنفس القدر من الأهمية مثل إنشاء تطبيقات جديدة بالكامل.
تحديثات المجتمع
خروج مساهمين كبار من مؤسسة Ethereum
استقال باحثان كبيران من مؤسسة Ethereum: Carl Bewick وJulian Ma. هذا يرفع إجمالي حالات مغادرة المساهمين الكبار إلى سبعة خلال شهرين.
ساهم Carl Bewick بحوالي سبع سنوات في مؤسسة Ethereum، مشاركًا في أبحاث الإجماع، والتصميم الأولي لسلسلة Beacon Chain، واحتفال KZG (إجراء الإعداد التشفيري المرتبط بتوسيع بيانات Ethereum من حيث التوفر).
ساهم Julian Ma بحوالي أربع سنوات، وكان مشاركًا في تأليف EIP-7805 FOCIL، كما شارك في FCR GTM (مناقشات حول مقاومة الرقابة وضمانات إدراج المعاملات، وقواعد التأكيد السريع التي تُمكّن من إدراك أسرع لنهائية المعاملة).
تثير الاستقالات الأخيرة ضمن فريق أبحاث البروتوكول الأساسي وتنسيق الترقية أسئلة حول الحفاظ على تنسيق تطوير البروتوكول واستمرارية البحث.
Railgun يلفت الانتباه وسط توقعات تبني Kohaku
يستقطب بروتوكول الخصوصية Railgun اهتمامًا بناءً على آفاق تبني Kohaku. تشير تحليلات إلى أن زيادة تكامل Kohaku داخل المحافظ قد توسع استخدام Railgun. يتيح Railgun التفاعل مع DeFi في Ethereum مع الحفاظ على الخصوصية—فالمعاملات على السلسلة بشكل قياسي تُظهر عناوين المحفظة ومبالغ المعاملات والبروتوكولات التي جرى التفاعل معها، بينما يخفي Railgun هذه المعلومات.
يفرض Railgun رسومًا بنسبة 0.25% على إجراءات Shield (نقل الأصول إلى مناطق محمية بالخصوصية) وإجراءات unShield (السحب إلى مناطق عامة). من شأن زيادة تبني المحافظ عبر Kohaku وزيادة حجم المعاملات الخاصة أن توسع إيرادات رسوم Railgun.
لاحظت التحليلات أن Railgun يبدو مُقيّمًا بأقل من قيمته مقارنةً بعملات الخصوصية مثل ZEC وDASH، ويكمن الاختلاف في التفاعل المباشر مع DeFi في Ethereum. بينما تعمل ZEC وDASH كعملات خصوصية مستقلة، يعمل Railgun كأداة خصوصية داخل DeFi في Ethereum. إذا حقق Kohaku تبنيًا واسعًا داخل المحافظ، فقد يصبح Railgun المستفيد الأساسي من بنية تحتية خصوصية Ethereum.
مؤشرات Ethereum الأسبوعية
- معدل التضخم السنوي: 0.833%
- صافي المعروض الأسبوعي: 19,422.04 ETH
- نسبة الرهان: 31.50%
- القيمة السوقية للـ Stablecoin: $163.019 مليار
- صافي التدفقات الخارجة لوساطة ETF الفورية على Ethereum في الولايات المتحدة: $255.02 مليون
البيانات مأخوذة من Ultrasound Money وDeFi Llama وDune وParsec Investors.
