رؤية إيثريوم 2030 تعتمد على البراهين. الصعوبة فيمن يتحقق منها

cryptonewscryptonews

خارطة طريق فيتاليك بوتيرين الأخيرة لإيثريوم تشير إلى نوع مختلف من الشبكات.

في مقال "الحاسوب العالمي المشفر" المنشور في 27 سبتمبر، يصف بوتيرين تحول إيثريوم بعيدًا عن النموذج الذي يكرر فيه كل مُحقق جزءًا كبيرًا من العمل نفسه. النسخة المستقبلية تعتمد بشكل أكبر على أخذ عينات البيانات، والبراهين المشفرة المدمجة، والمكونات خارج السلسلة التي يمكنها إجراء الحسابات دون إجبار كل عقدة عادية على إعادة إنتاجها.

جزء من هذه الرؤية قد وصل بالفعل. تم تفعيل PeerDAS مع ترقية إيثريوم Fusaka في ديسمبر 2025. وهو يسمح للمُحققين بأخذ عينات من بيانات الكتل بدلاً من تنزيلها كلها.

التحول الأكبر، وهو استخدام البراهين للتحقق من تنفيذ الطبقة الأساسية على نطاق أوسع، لا يزال عملًا مستقبليًا.

هذا التمييز مهم. البرهان يمكن أن يُظهر أن عملية حسابية اتبعت قواعد محددة. لكنه لا يضمن تلقائيًا أن بيانات المعاملات متاحة، أو أن المستخدمين يمكنهم الدخول في دفعة، أو أنه لا يمكن لأي مشغل فرض رقابة أو إعادة ترتيب النشاط.

السؤال ليس فقط ما إذا كانت إيثريوم قادرة على توليد البراهين. بل ما إذا كان المشاركون العاديون قادرين على التحقق من النتائج بشكل مستقل.

 

ما هو موجود بالفعل

الجزء المنشور هو PeerDAS، اختصار لأخذ عينات توافر البيانات من نظير إلى نظير.

تستخدم الطبقات الثانية مساحة الكتل في إيثريوم لنشر بيانات المعاملات حتى يتمكن المشاركون الآخرون من إعادة بناء الحالة والطعن أو التحقق من سلوك الطبقة الثانية. النموذج القديم، حيث تقوم كل عقدة بتنزيل كل كتلة، يجعل معدل نقل البيانات الأعلى مكلفًا للمُحققين.

يغير PeerDAS ذلك بالسماح للعقد بأخذ عينات من أجزاء أصغر من البيانات مقابل التزامات مشفرة. توضح وثائق إيثريوم أن بيانات الكتل الموسعة تُقسم إلى 128 عمودًا. العقدة العادية تشترك في ثماني شبكات فرعية على الأقل يتم اختيارها عشوائيًا.

هذا يعني أن العقدة الافتراضية تتحقق من السدس عشر من البيانات الموسعة. ولأن الترميز يضيف تكرارًا، تصف وثائق إيثريوم هذا العبء بأنه يعادل تقريبًا ثُمن حجم البيانات الأصلي.

هذا لا يعني أن عقدة واحدة تخزن أو تتحقق شخصيًا من كل تاريخ الطبقة الثانية بتكلفة تعادل الثُمن. بل يعني أن الشبكة توزع وتأخذ عينات من بيانات مشفرة كافية لإنشاء ضمان توافر احتمالي.

يتحقق PeerDAS من توافر البيانات. ولا يتحقق من صحة كل عملية حسابية.

دفعة المعاملات يمكن أن تكون متاحة ومع ذلك تحتوي على انتقال حالة غير صالح. البرهان يمكن أن يُظهر أن انتقال الحالة كان صالحًا، ولكن إذا كانت البيانات اللازمة لإعادة بناء أرصدة الحسابات غير متاحة، فقد يظل المستخدمون معتمدين على مشغل.

 

البراهين تنقل العمل الثقيل إلى مكان آخر

في نموذج التنفيذ القائم على البراهين، لا يزال يتعين على شخص ما تنفيذ المعاملات.

قد يستخدم هذا الطرف أجهزة باهظة الثمن وبرامج متخصصة لإنتاج برهان مشفر يُظهر أن انتقال الحالة المزعوم يتبع القواعد المتفق عليها. يمكن للمُحقق بعد ذلك التحقق من البرهان بتكلفة أقل بكثير من إعادة تنفيذ كل معاملة.

هذا هو الوعد الأساسي لـ zkEVM من الطبقة الأولى: تقليل تكلفة التحقق من كتل إيثريوم دون مطالبة كل عقدة تحقق بإعادة كل التنفيذ.

لكن يجب توفر عدة شروط.

يجب على المُحقق استخدام نظام البرهان الصحيح، ومفتاح التحقق، والمدخلات العامة، وقواعد التنفيذ. الدائرة المعيبة يمكن أن تثبت عبارة خاطئة. خطأ في العميل يمكن أن يقبل برهانًا كان يجب رفضه. آلية الترقية التي يمكنها تغيير كود المُحقق دون ضوابط قوية يمكن أن تُضعف الضمان.

توليد البراهين بسرعة ليس مثل التحقق الآمن. ستظل إيثريوم بحاجة إلى تطبيقات مستقلة، وتدقيق، ومراجعة رسمية، وتنوع في العملاء.

الطبقة البشرية تظل جزءًا من النظام. المطورون يحددون الدائرة. الباحثون يفحصونها. فرق العملاء تنفذها. مشغلو العقد يشغلون المُحققين. المجتمع يقرر قبول ترقيات البروتوكول.

يمكن لبوتيرين اقتراح الاتجاه. لكنه لا يستطيع بمفرده جعل مُحقق مستقبلي آمنًا أو إلزاميًا.

 

التحقق وإنتاج البراهين سوقان مختلفان

نظام براهين إيثريوم المستقبلي يمكن أن يجعل التحقق متاحًا على نطاق واسع مع ترك إنتاج البراهين مركّزًا.

هذا ليس قاتلًا بالضرورة. البرهان قد يستغرق ساعات أو أجهزة باهظة الثمن لإنتاجه لكن ثوانٍ فقط للتحقق منه على أجهزة عادية. إذا تمكنت عقد كثيرة من رفض البراهين غير الصالحة بتكلفة منخفضة، يمكن أن تظل الصحة قابلة للتحقق على نطاق واسع حتى لو كان توليد البراهين متخصصًا.

الخطر هو الحيوية.

إذا كان عدد قليل فقط من الأطراف قادرًا على إنتاج البراهين بسرعة كافية للسلسلة، فقد تصبح الشبكة معتمدة على هؤلاء الأطراف. قد لا يتمكنون من تزوير انتقال حالة صالح، لكن فشلهم أو رفضهم إنتاج البراهين قد يبطئ معالجة الكتل أو الإنهاء.

هذا خطر مختلف عن قبول برهان غير صالح. لكنه لا يزال خطرًا حقيقيًا.

التصميم القوي سيحتاج إلى مُثبتين مستقلين متعددين، وآليات احتياطية، وقواعد توقيت، أو طرق أخرى للحفاظ على حيوية السلسلة عند فشل نظام إثبات واحد.

إيثريوم لم تضع اللمسات الأخيرة على هذا التصميم.

 

البراهين لا تحل كل مشكلة

كلمة "برهان" غالبًا ما تضغط ثلاث ضمانات منفصلة في ضمان واحد.

المستخدم الذي يرسل معاملة عبر طبقة ثانية يحتاج إلى ثلاثة أشياء.

أولاً، يجب إدراج المعاملة في دفعة مرتبة. ثانيًا، يجب أن تكون البيانات اللازمة لإعادة بناء الحالة متاحة. ثالثًا، يجب أن يتبع انتقال الحالة القواعد.

برهان الصلاحية يعالج النقطة الثالثة. PeerDAS يعالج التوافر لبيانات كتل إيثريوم. المُسلسلون، وبناؤو الكتل، وآليات الإدراج يؤثرون على النقطة الأولى.

هذه مشاكل مختلفة.

مشغل الطبقة الثانية يمكنه إنتاج برهان صالح لدفعة تستبعد معاملة مستخدم معين. المُسلسل يمكنه إعادة ترتيب المعاملات مع الاستمرار في توليد انتقال حالة صالح. ما إذا كان لدى المستخدم مسار إدراج إجباري يعتمد على تصميم الطبقة الثانية، وليس على وجود البرهان وحده.

نفس التمييز ينطبق على البيانات.

تصف وثائق إيثريوم الفاليديوم بأنها أنظمة تستخدم براهين الصلاحية لكنها لا تنشر بيانات المعاملات على شبكة إيثريوم الرئيسية. تنفيذها يمكن أن يكون صالحًا، بينما قد يظل المستخدمون يكافحون لإعادة بناء الحالة أو السحب إذا فشل توافر البيانات خارج السلسلة.

الطبقة الثانية التي تنشر بيانات كافية على إيثريوم لديها نموذج ثقة مختلف.

تسمية كلا النظامين بـ "ZK" يمكن أن تخفي الفرق الأهم: ما إذا كان المستخدمون قادرين على استرداد حالة حساباتهم دون الاعتماد على المشغل.

 

الطبقة الأساسية ليست مجرد طبقة ثانية أخرى

طبقات ZK الثانية تقدم بالفعل براهين صلاحية إلى إيثريوم. مشغلوها يولدون براهين للدفعات، وعقود المُحقق تقبل جذور الحالة الجديدة فقط بعد التحقق من تلك البراهين.

هذه سابقة مفيدة. لكنها لا تعني أن الطبقة الأساسية لإيثريوم قد نقلت بالفعل التحقق من التنفيذ إلى البراهين.

النطاق مختلف.

الطبقة الثانية تثبت انتقال حالتها الخاصة تحت جهازها الافتراضي وعقودها الخاصة. الطبقة الأساسية لإيثريوم ستحتاج إلى التحقق من تنفيذ الكتل على مستوى البروتوكول بطريقة تقبلها جميع فرق العملاء.

مُحقق الطبقة الأساسية يجب أن يتعامل مع قواعد تنفيذ إيثريوم، وترقيات البروتوكول، وأنواع المعاملات، والمدخلات العدائية. لا يمكنه ببساطة استعارة افتراضات الأمان لدائرة طبقة ثانية واحدة.

نظام براهين الطبقة الأساسية هو بالتالي مشكلة تنسيق أكبر. يتطلب مواصفات، وعملاء، وشبكات اختبار، وتدقيقًا، واتفاقًا بين المشاركين.

عبارة بوتيرين "الحاسوب العالمي المشفر" هي اتجاه سير، وليست ادعاءً بأن خدمة إثبات واحدة ستشغل إيثريوم.

 

الحالة تظل المشكلة الصعبة

يحدد بوتيرين الوصول إلى حالة مشتركة كبيرة جدًا كواحدة من أصعب مشاكل إيثريوم غير المحلولة.

البرهان يمكن أن يشهد أن عملية حسابية تمت بشكل صحيح. لكن المُثبت لا يزال بحاجة إلى المعلومات المستخدمة في تلك العملية: الأرصدة، وتخزين العقود، وبيانات الحسابات، وحالة أخرى.

إذا لامست معاملات كثيرة نفس الحالة في وقت واحد، يصبح تقسيم العمل صعبًا. دفعة من حساب ومبادلة مقابل مجمع سيولة لا يمكن إنهاؤهما من لقطات غير متسقة.

لهذا السبب فإن التوسع ليس مجرد مشكلة توليد براهين.

الحوسبة المتوازية تعمل بشكل أفضل عندما يمكن فصل المهام بشكل نظيف. الحالة المشتركة تخلق تبعيات. مستخدمان يتداولان ضد نفس المجمع الضحل يمكن أن يحصلا على أسعار مختلفة اعتمادًا على الترتيب. لا يوجد برهان يجعل هذين الأمرين متكافئين اقتصاديًا.

المُثبت الأسرع يساعد. لكنه لا يحل بمفرده تنازع الحالة، أو الرقابة، أو الترتيب، أو توافر البيانات.

 

الخصوصية أيضًا ليست تلقائية

رؤية بوتيرين تتضمن مكونات لامركزية خارج السلسلة وخصوصية مشفرة أفضل.

هذا لا يعني أن براهين الصلاحية تجعل إيثريوم خاصة تلقائيًا.

المدخلات العامة، وسلوك المحفظة، وتوقيت المعاملات، وبيانات الشبكة الوصفية يمكن أن تكشف المعلومات. الدفعة يمكن التحقق منها رياضيًا ومع ذلك تسرب بيانات مفيدة عن المرسل أو المستلم.

الخصوصية تتطلب آليات منفصلة. يجب على النظام تحديد البيانات المخفية، ومن يمكنه الوصول إليها، وكيف تُبنى البراهين، وما هي البيانات الوصفية التي تظل مرئية.

نفس الشيء ينطبق على البنية التحتية خارج السلسلة. الطبقة الوسطى اللامركزية قد تحسن الأداء والخصوصية، لكن يجب أن تحدد من يمكنه الانضمام، وكيف تُوزع البيانات، وماذا يمكن للمستخدمين فعله إذا فشل النظام.

التشفير يمكن أن يقلل الثقة. لكنه لا يزيل خيارات التصميم.

 

كيف يمكن اختبار الاستقلالية

الادعاء بأن "أي شخص يمكنه التحقق" له متطلبات عملية.

العقدة العادية تحتاج إلى كود المُحقق، ومدخلات عامة، ووصول إلى حالة السلسلة المقبولة، وقدرة معالجة كافية للتحقق من البراهين ضمن حدود وقت البروتوكول.

عدة اختبارات مهمة قبل أي شوكة نهائية.

شغّل برنامج المُحقق من أكثر من فريق عملاء ضد نفس برهان الكتلة الصالح. تأكد من أن كلاهما يقبله. غيّر المدخلات العامة وتأكد من أن كلاهما يرفضه. اسأل ما إذا كانت فرق إثبات منفصلة قادرة على توليد براهين مقبولة تحت نفس القواعد، ومدى سرعتها في ذلك، وما الأجهزة التي تتطلبها.

ثم كرر العملية على شبكات الاختبار العامة تحت الحمل.

هذه ليست معايير إطلاق رسمية. لكنها علامات ملحوظة على ما إذا كان التحقق القائم على البراهين جاهزًا.

الاستقلالية تعني أيضًا أن المستخدم يمكنه الحصول على البيانات اللازمة للتحقق من مطالبته الخاصة بالأصول. البرهان على أن جذر الحالة اتبع الكود قوي، لكن المستخدم الذي لا يستطيع إعادة بناء المسار من بيانات الحساب إلى ذلك الجذر لا يزال يعتمد على شخص آخر في فحص رصيد عملي.

 

البرنامج الذي يتم إثباته يجب أن يكون هو الصحيح

البرهان يكون مفيدًا فقط بقدر العبارة التي يثبتها.

يحتاج المستخدمون إلى الثقة في أن كود المُحقق عام، وأن الترقيات خاضعة للرقابة، وأن الدائرة تعكس القواعد التي يعتقدون أن الشبكة تفرضها.

التجزئة العامة لكود المُحقق، وعملية ترقية واضحة، واختبارات دائرة مستقلة تساعد الغرباء على مقارنة القواعد المعلنة بما تفرضه العقد فعليًا.

التحقق الرسمي يمكن أن يقلل من خطر أخطاء المنطق، لكنه يبدأ بمواصفة كتبها بشر.

الادعاء النهائي ليس "التشفير حل الثقة". الادعاء الأقوى أضيق وأكثر فائدة: نتيجة محددة يمكن رفضها بشكل مستقل عندما يكون الدليل غير صالح، دون أن تدفع كل عقدة تكلفة إنتاج تلك النتيجة.

 

هيغوتا علامة وليست ضمانًا

يشير بوتيرين إلى هيغوتا، وهي شوكة مخططة لعام 2027، باعتبارها ربما آخر ترقية تبدو مكوناتها مألوفة لمراقب إيثريوم في 2015.

بعد ذلك، تشير خارطة طريقه نحو STARKs متكررة، وتحقق رسمي، وإجماع محسّن، وأمان كمي. غطى Crypto.news بشكل منفصل هدف إيثريوم للأمان الكمي لعام 2029 كهدف تخطيطي.

لا شيء من ذلك يضمن التسليم بحلول 2030.

ترقيات إيثريوم تتطلب مواصفات، وتطبيقات عملاء، وشبكات اختبار، ومراجعات أمنية، وتنسيقًا عبر النظام البيئي. خارطة الطريق يمكنها تحديد العمل. لكنها لا تفعّل العمل على السلسلة.

يمكن التحقق من PeerDAS اليوم من خلال Fusaka وقواعد العقد الحالية. لا يمكن التحقق من zkEVM عام للطبقة الأساسية بقراءة مقال. الأدلة ستأتي من خلال المواصفات، والتطبيقات، والاختبارات العامة، وخطة شوكة ملموسة.

 

الاتجاه واضح، لكن الاختبار عملي

الحجة لصالح مستقبل إيثريوم القائم على البراهين قوية.

إذا أصبح التحقق رخيصًا ويمكن أخذ عينات البيانات بأمان، يمكن لمزيد من المستخدمين التحقق بشكل مستقل من نظام أكبر دون الحاجة إلى أجهزة تتناسب مع كل حسابات وبيانات إيثريوم.

هذا هو الجانب الإيجابي.

التحدي هو أن البراهين لا تعمل وحدها. مجموعة الإثبات يجب أن تكون آمنة وسريعة ومنتَجة بشكل تنافسي. البيانات يجب أن تظل متاحة. المستخدمون يجب أن يكون لديهم مسارات لتقديم المعاملات. الترتيب يجب أن يُعالج بشفافية كافية للحد من الإساءة. البروتوكول يجب أن ينجو من فشل المُثبتين دون تحويل جهة متخصصة واحدة إلى نقطة تحكم خفية.

الشبكة ذات التحقق الرخيص لكن بمُثبت أو مُسلسل واحد لا غنى عنه قد تظل هشة.

الاختبار الحقيقي للمستخدمين بسيط: هل يمكن لمشارك مستقل عادي رفض نتيجة سيئة، واسترداد البيانات اللازمة لمعرفة حالته الخاصة، وتقديم معاملة رغم أي مشغل واحد؟

كل إجابة تتطلب آلية منفصلة. البرهان ليس سوى جزء واحد من النظام. قوته تأتي من السماح للأشخاص الذين لم يقوموا بالعمل الثقيل بالتحقق من صحة النتيجة.

هذا المحتوى لأغراض معلوماتية وتعليمية فقط، ولا يمثل نصيحة استثمارية تتعلق بـ BTCC. تبذل BTCC قصارى جهدها ولكنها لا تضمن صحة أو دقة أو أصالة المحتوى المذكور أعلاه.

موصى بها

أخبار BTCC (27 سبتمبر): صناديق بيتكوين الفورية الأمريكية تجذب 2.4 مليار دولار تدفقات أسبوعية، وعائد سندات الخزانة لأجل 10 سنوات يسجل أعلى مستوى منذ 2007وراء ارتفاع ENA: ما مدى تأثير دخول Ethena في عقود الأسهم الأمريكية الدائمة؟بعد قفزة البيتكوين، هل هذا ارتداد أم انعكاس؟بعد عام من الاختبار، هل أصبحت أفالانش سلسلة الترميز المختارة من ICE؟وفاة اثنين من العاملين في القطاع خلال أسبوعين: اعتنوا بصحتكم