الانتقال إلى المحتوى
Financial Context Wiki

شجرة فيركل

تجمع شجرة فيركل بين شجرة واسعة التفرع والتزامات متجهية لإنتاج شاهد حالة مضغوط، مع مفاضلات في الإثبات والترحيل والتشفير.

آخر تحديث

لأغراض تعليمية فقط؛ لا يشكل ذلك نصيحة استثمارية. قد تؤدي الاستثمارات إلى خسائر.

الإجابة المباشرة

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

يسمح ذلك بتفرع كبير وتجميع فتحات مفاتيح متعددة، فيصغر شاهد الحالة مقارنة بـ Merkle-Patricia Trie. ومع ذلك يظل الشاهد حاملا لقيم التنفيذ ودليل ربطها بجذر موثق. ولا تعني «عديمة الحالة» أن أحدا لا يخزن الحالة أو أن الإجماع غير مطلوب. في 2026-08-22 ظلت خارطة إيثريوم تذكر شبكات اختبار وأعمال عملاء معلقة، وكان EIP-6800 بحالة Stagnant.

آلية العمل

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

في EIP-6800 يتكون مفتاح 32-byte من stem بطول 31-byte وsuffix بطول 1-byte، وعرض العقدة 256. تشترك القيم ذات stem واحد في مادة الدليل. هذا تخطيط خاص بالمقترح: العرض الأكبر يقصر المسار لكنه يحتاج حسابات منحنى إهليلجي وحسابا مسبقا.

مثال

لنفترض أن stem بطول 31-byte يجمع 256 موضع suffix. إذا قرأت كتلة 2 من القيم تحته، يعيد الشاهد استخدام المسار ويجمع الفتحات بدلا من حمل 2 من مجموعات تجزئات أشقاء ميركل. ويظل فحص المفتاحين والقيمتين والدليل والجذر المختار لازما.

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

المخاطر

قد تفسد أخطاء اشتقاق المفتاح أو ترتيب البايت أو ربط الموضع أو فصل المجالات أو فحص نقاط المنحنى أو تحويل scalar أو التفريق بين الفارغ والصفر الأمان. تلزم متجهات اختبار وتوافق بين العملاء.

لا تحل الأدلة الصغيرة التوافر أو الحيوية: حجب قيمة يمنع التنفيذ، وخطأ الجذر أو finality يقبل تاريخا خاطئا. وقد يصبح إنتاج الدليل عنق زجاجة أو نقطة رقابة.

يغير الترحيل التخطيط والمزامنة والصيغ وقواعد البيانات وحساب Gas والأدلة التاريخية. لا يثبت مقترح أو devnet جاهزية الإنتاج. كما أن التزامات المنحنى المعنية لا تعد عادة post-quantum secure.

مفاهيم خاطئة شائعة

الخرافة 1: إنها مجرد شجرة ميركل بأبناء أكثر

الفارق الحاسم هو فتح ابن بالالتزام المتجهي من دون سرد جميع الأشقاء.

الخرافة 2: حجم كل دليل الكلي ثابت

يمكن تجميع الفتحات، لكن الشاهد ينمو مع القيم والمسارات والبيانات الوصفية.

الخرافة 3: عديمة الحالة تعني أن لا أحد يخزن الحالة

لا يحتاج المدقق نسخة كاملة فقط؛ ولا بد أن يحتفظ طرف بالبيانات أو يعيد بناءها ويسلمها.

الخرافة 4: تستخدم شبكة إيثريوم الرئيسية فيركل بالفعل

تصف المصادر البحث وشبكات الاختبار؛ وفي تاريخ التحقق ظل EIP-6800 بحالة Stagnant.

موضوعات ذات صلة

المصادر

التنقل

ابحث في الويكي...