يعد توفر البيانات أحد الاختناقات الرئيسية في توسيع blockchain.
** بقلم: **** zer0kn0wledge.era **
** بقلم: كيت ، مارسبيت **
ملاحظة: هذا المقال مأخوذ منexpctchaos Twitter ، وهو باحث فيChaosDAO. تم تنظيم محتوى التغريدة الأصلية بواسطة MarsBit على النحو التالي:
0 / توفر البيانات (DA) هو العقبة الرئيسية في التوسع
لحسن الحظ ، فإنCelestiaOrg وAvailProject وeigenlayer سيغيرون لعبة DA ويمكّنون مستويات جديدة من قابلية التوسع
ولكن كيف يعمل وكيف يختلف #EigenDA عن DA 15 مثل #Celestia و #Avail؟
1 / إذا لم تكن على دراية بقضايا توفر البيانات ، فيرجى مراجعة المنشور أدناه حيث أصف حالة توفر البيانات بالتفصيل 👇
2 / بشكل عام ، هناك نوعان رئيسيان من حلول معالجة البيانات
على سلسلة DA
🔷 خارج السلسلة DA
3 / و "التحقق من الصلاحية المطلقة" يعني أن معالجة البيانات يمكن أن تكون خارج السلسلة بدون ضمانات ، لأن مزودي خدمات البيانات خارج السلسلة يمكن أن يتوقفوا عن العمل في أي وقت ...
4 /… # StarkEx و #zkPorter و #Arbitrum Nova أمثلة على سيناريوهات التحقق التي تعتمد على DAC ، وهي مجموعة من الأطراف الثالثة المعروفة لضمان توفر البيانات
5 / من ناحية أخرى ، #EigenDA وCelestiaOrg وAvailProject هي ما يمكن أن نطلق عليه حل DA عالمي
ومع ذلك ، هناك بعض الاختلافات بين EigenDA والحلين الآخرين
6 / إذا كنت تريد معرفة كيفية عملCelestiaOrg ، تحقق من الرابط أدناه
7 / لقد قمت بتغطيةAvailProject في الماضي أيضًا ، لذا لمعرفة المزيد ، تحقق من ذلك هنا
8 / إذا كنت بحاجة إلى تجديد معلومات عنeigenlayer ، فراجع الموضوع أدناه 👇
9 / لذا في منشور اليوم نريد التركيز على المقارنة بين سلاسل @ eigenlayer's #EigenDA و DA L1 مثلCelestiaOrg أوAvailProject
10 / لنفترض تراكمًا على أساس Ethereum واستخدام Celestia لـ DA (المعروف أيضًا باسم Celestium)
لذلك تتحقق عقود L2 على Ethereum من إثبات الصلاحية أو إثبات الاحتيال كالمعتاد ، ويتم توفير DA بواسطة Celestia
11 / فيCelestiaOrg وAvailProject ، لا توجد عقود أو حسابات ذكية ، فقط البيانات مضمونة لتكون متاحة
12 / لكن دعونا نلقي نظرة فاحصة
فيCelestiaOrg ، يتم نشر بيانات TX إلى Celestia بواسطة فارز L2 ، يقوم المدقق Celestia بتوقيع جذر Merkle لإثبات DA ، ثم إرسالها إلى عقد جسر DA على Ethereum للتحقق والتخزين
13 / مقارنة بتخزين DA على السلسلة ، فإن هذا يقلل بشكل كبير من تكلفة الحصول على ضمان DA قوي ، مع توفير ضمانات أمنية من Celestia (بدلاً من DAC المركزي)
14 / سيؤدي خفض التكلفة إلى تغيير قواعد اللعبة في حقل التجميع بالكامل ، لأن تكلفة بيانات الاتصال الناتجة عن نشر البيانات إلى حسابات Ethereum L1 تبلغ 80-90٪ من تكلفة التجميع
لمزيد من المعلومات حول تكلفة بيانات الاتصال ، تحقق من المنشور أدناه 👇
15 / لكن ماذا حدث بحق الجحيم في #Celestia؟
يتم نشر البيانات الكبيرة التي تم نشرها إلىCelestiaOrg (بشكل أساسي كبيانات أولية) من خلال شبكة P2P ويتم الوصول إلى إجماع حول كتلة البيانات باستخدام إجماع Tendermint
16 / يجب على كل #Celestia full node تنزيل كتلة البيانات بالكامل. يختلف هذا بالنسبة للعقد الخفيفة التي يمكنها استخدام عينات توفر البيانات (DAS) لضمان توفر البيانات
17 / لمزيد من المعلومات حول DAS والعقد الخفيفة ، يرجى مراجعة المنشور أدناه
18 / سنعود أيضًا إلى DAS لاحقًا في هذا الموضوع ، ولكن التركيز في الوقت الحالي على العقد الكاملة
لذا عد إلىCelestiaOrg ، التي تستمر في التصرف بطريقة L1 ، بالاعتماد على البث والإجماع على البيانات الكبيرة
19 / لذلك ، فإنه يضع متطلبات عالية على العقد الكاملة للشبكة (128 ميجابايت / ثانية تحميل و 12.5 ميجابايت / ثانية تحميل).
ومع ذلك ، كانCelestiaOrg يهدف إلى إنتاجية معتدلة (1.4 ميجابايت / ثانية) في البداية ، والتي تبدو منخفضة نظرًا لمتطلبات العقدة الكاملة
20 / ومع ذلك ، يمكن للشبكة زيادة الإنتاجية عن طريق إضافة عقد ضوئية. كلما زاد عدد العقد الضوئية لأخذ عينات البيانات ، يمكن أن يكون حجم الكتلة أكبر بشرط ضمان الأمان واللامركزية
21 / من ناحية أخرى ، فإنeigenlayer له بنية مختلفة ، ولا يوجد إجماع خاص بها ، ولا توجد شبكة نظير إلى نظير
فكيف يعمل هذا؟
أولاً ، يجب على عقدة EigenDA إعادة تخصيص $ ETH في عقدeigenlayer. لذلك ، فإن عقد #EigenDA هي مجموعة فرعية من مدققي Ethereum
22 / بعد استلام البيانات الثنائية الكبيرة ، يقوم مشتري DA (مثل التجميع ، المعروف أيضًا باسم المشتت) بترميزه برمز محو وإنشاء التزام KZG ...
23 / ... حيث يعتمد حجم الدليل على نسبة التكرار لرمز المحو وينشر التزام KZG بعقد #EigenDA الذكي
24 / التزام KZG المشفر موزع بواسطة المشتت على عقد #EigenDA
بعد استلام التزام KZG ، تقارنه هذه العقد مع التزام KZG لعقد EigenDA الذكي وتوقيع الدليل بعد التأكيد
25 / بعد ذلك ، يقوم الموزع بجمع هذه التوقيعات واحدة تلو الأخرى ، ويقوم بإنشاء توقيع مجمع ، وينشره على عقد #EigenDA الذكي ، ويتحقق العقد الذكي من التوقيع.
26 / ولكن إذا كانت العقدة #EigenDA توقع ببساطة إثباتًا تدعي أنها خزنت كتلة البيانات المشفرة في سير العمل هذا ، ويتحقق عقد EigenDA الذكي فقط من صحة التوقيع المجمع ، كيف يمكننا التأكد من أن عقدة EigenDA قد خزنت البيانات حقًا؟
27 / يستخدم #EigenDA طريقة إثبات الضمان لتحقيق ذلك
لكن دعنا نعود خطوة إلى الوراء وننظر إلى هذا المشهد حيث يصبح مهمًا
28 / لنفترض أن بعض المدققين الكسالى لا يقومون بالمهام الموكلة إليهم (مثل التأكد من توفر البيانات)
بدلاً من ذلك ، يتظاهرون بأنهم قد أنجزوا العمل ويوقعون على النتيجة النهائية (الإبلاغ عن توفر البيانات بشكل خاطئ عندما لا تكون متوفرة).
29 / من الناحية النظرية ، فإن إثبات الحراسة يشبه إثبات الغش:
يمكن لأي شخص تقديم إثبات (المدقق كسول) إلى عقد #EigenDA الذكي والذي سيتم التحقق منه بواسطة العقد الذكي
29 / المدقق الكسول يتم خفضه إذا نجح التحقق (لأنه خطأ منسوب بشكل موضوعي)
30 / وماذا عن الإجماع؟
تستخدمCelestiaOrg Tendermint كبروتوكول إجماع خاص بها ، والذي يتميز بفتحة نهائية أحادية الفتحة. أي بمجرد أن تتجاوز الكتلة إجماع #Celestia ، يتم ذلك. هذا يعني أن النهاية هي في الأساس أسرع وقت الكتلة (15 ثانية).
31 /AvailProject يستخدم تكوين البروتوكول لتحقيق النهاية. BABE هي آلية إنتاج بلوك ذات نهائية احتمالية ، و GRANDPA هي أداة أخيرة. بينما يمكن لـ GRANDPA إكمال الكتل في فتحة واحدة ، يمكنها أيضًا إكمال كتل متعددة في جولة
32 / نظرًا لأنeigenlayer عبارة عن مجموعة من العقود الذكية على Ethereum ، فإنها ترث أيضًا نفس وقت الإنهاء مثل Ethereum (12-15 دقيقة) للبيانات التي تحتاج إلى إعادة توجيهها إلى عقد التجميع لإثبات توفر البيانات
33 / ومع ذلك ، إذا كانت المجموعة التراكمية تستخدمeigenlayer على الإطلاق ، فيمكن إجراؤها بشكل أسرع ، اعتمادًا على آلية الإجماع المستخدمة وما إلى ذلك.
بالإضافة إلى ذلك ، فإن البرامج الوسيطة التي يتم تأمينها بواسطة مدققي إعادة تثبيت @ eigenlayer تركز على توفير تسويات سريعة ، على سبيل المثال ، يمكن أن توفر EigenSettle ضمانات أمنية اقتصادية قوية تسمح بالتأكيد المسبق النهائي. ومع ذلك ، لا تزال ضمانات النهاية الصعبة تأتي من Ethereum L1
34 / حان الوقت لإعادة النظر في مفاهيم عينات توفر البيانات
في معظم سلاسل الكتل ، تحتاج العقد إلى تنزيل جميع بيانات المعاملات للتحقق من توفر البيانات. المشكلة التي يخلقها هذا هي أنه عندما يزداد حجم الكتلة ، يزداد أيضًا عدد عقد البيانات التي يجب التحقق منها
35 / أخذ عينات توافر البيانات (DAS) هي تقنية تسمح للعقد الخفيفة بالتحقق من توفر البيانات عن طريق تنزيل جزء صغير فقط من بيانات الكتلة
36 / يوفر هذا الأمان للعقد الخفيفة حتى تتمكن من التحقق من صحة الكتل غير الصالحة (DA والإجماع فقط) ويسمح لـ blockchain بتوسيع نطاق توافر البيانات دون زيادة متطلبات العقد
37 / DAS يتطلب عقدة كاملة صادقة واحدة على الأقل وعدد كافٍ من العملاء الخفيفين
38 / ولكن كيف نضمن أمن العقد الضوئية؟
لدى عملاء Light التقليديين افتراضات أمان أضعف مقارنة بالعقد الكاملة نظرًا لأنها تتحقق فقط من رؤوس الكتل
لذلك ، لا يمكن للعملاء الخفيفين اكتشاف ما إذا كان قد تم إنتاج كتلة غير صالحة من قبل غالبية غير شريفة من منتجي الكتل
39 / تتم ترقية العقد الخفيفة مع أخذ عينات توفر البيانات في الأمان ، لأنه إذا كانت طبقة DA تقوم فقط بالإجماع وتوافر البيانات ، فيمكنها التحقق مما إذا تم إنتاج كتل غير صالحة
40 / سيكون لدى كل منCelestiaOrg وAvailProject عينات توفر البيانات حتى تتمتع العقد الخفيفة الخاصة بهم بأمان أقل ثقة.
41 / هذا يختلف عن Ethereum وeigenlayer
لا يحتوي Ethereum مع # EIP4844 على عينات توفر البيانات ، لذلك لن يتمتع عملاؤها الخفيفون بأمان منخفض الثقة
42 / نظرًا لأن Ethereum لديها أيضًا بيئة عقود ذكية ، يحتاج العملاء الخفيفون أيضًا إلى التحقق من التنفيذ (عن طريق الاحتيال أو إثبات الصلاحية) ، بدلاً من الاعتماد على معظم افتراضات الصدق
43 /eigenlayer (ما لم يكن هناك DAS) ، سيعتمد العميل الخفيف ، إذا كان مدعومًا ، على غالبية صادقة من عقد الاستعادة
لذلك ، يعتمد أمان #EigenDA بشكل أساسي على مجموعة التحقق من Ethereum ، وراثة Ethereum slash بدائي ويضمن الأمن الاقتصادي لـ DA
44 / لذا فإن زيادة مشاركة أصحاب المصلحة في #EigenDA تعني قدرًا أكبر من الأمن. يساهم تقليل متطلبات العقدة أيضًا في تحسين اللامركزية
45 / ترميز المحو هو آلية مهمة تمكن من أخذ عينات توافر البيانات. يوسع تشفير المحو الكتل عن طريق عمل نسخ إضافية من البيانات. البيانات الإضافية تخلق التكرار ، وتوفر ضمانات أمنية أقوى لعملية أخذ العينات
46 / ومع ذلك ، قد تحاول العقد تشفير البيانات بشكل غير صحيح من أجل تعطيل الشبكة. للدفاع ضد هذا الهجوم ، تحتاج العقد إلى طريقة للتحقق من صحة الترميز - وهنا يأتي دور البراهين.
47 / Ethereum وeigenlayer وAvailProject كلها تستخدم دليل إثبات صحة للتأكد من أن الكتل مشفرة بشكل صحيح. الفكرة مشابهة لإثباتات الصلاحية التي يستخدمها zk rollup. لقد ناقشeigenlayer هذا سابقًا في هذا الموضوع
48 / في كل مرة يتم إنشاء كتلة ، يجب على المدقق الالتزام بالبيانات التي تم التحقق منها بواسطة العقدة باستخدام دليل KZG لإثبات أن الكتلة مشفرة بشكل صحيح
49 / على الرغم من أن إنشاء التزامات لإثباتات KZG يتطلب مزيدًا من النفقات العامة الحسابية لمنتجي الكتل ، عندما تكون الكتل صغيرة ، فإن إنشاء الالتزامات لا يجلب الكثير من النفقات العامة. ومع ذلك ، تغير هذا ...
50 / ... مع زيادة حجم الكتل ، يكون عبء الالتزام بإثبات KZG أكبر بكثير
لذلك ، قد يكون لنوع العقدة المسؤولة عن إنشاء هذه الالتزامات متطلبات أجهزة أعلى
51 / من ناحية أخرى ، تطبقCelestiaOrg إجراءات إثبات الاحتيال من أجل محو الترميز. لذلك ، لا تحتاج عقد #Celestia للتحقق من تشفير الكتل بشكل صحيح. أنها الافتراضية لتكون صحيحة
52 / والفائدة هي أن منتجي الكتل لا يحتاجون إلى القيام بالعمل المكلف المتمثل في محو الالتزامات المشفرة
ولكن هناك مقايضة ، لأن العقد الضوئية يجب أن تنتظر وقتًا قصيرًا قبل افتراض أن الكتلة مشفرة بشكل صحيح ، وإكمالها من وجهة نظرهم
53 / يتمثل الاختلاف الرئيسي بين مخططات التشفير المقاومة للاحتيال والمقاومة للصلاحية في المفاضلة بين النفقات العامة للعقدة لتوليد الالتزامات ووقت الاستجابة للعقد الخفيفة
54 / يلخص هذا الجدول المقارنة بشكل جيد
شاهد النسخة الأصلية
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
كيف تعمل حلول توفر البيانات وكيف تختلف؟
** بقلم: **** zer0kn0wledge.era **
** بقلم: كيت ، مارسبيت **
ملاحظة: هذا المقال مأخوذ منexpctchaos Twitter ، وهو باحث فيChaosDAO. تم تنظيم محتوى التغريدة الأصلية بواسطة MarsBit على النحو التالي:
0 / توفر البيانات (DA) هو العقبة الرئيسية في التوسع
لحسن الحظ ، فإنCelestiaOrg وAvailProject وeigenlayer سيغيرون لعبة DA ويمكّنون مستويات جديدة من قابلية التوسع
ولكن كيف يعمل وكيف يختلف #EigenDA عن DA 15 مثل #Celestia و #Avail؟
1 / إذا لم تكن على دراية بقضايا توفر البيانات ، فيرجى مراجعة المنشور أدناه حيث أصف حالة توفر البيانات بالتفصيل 👇
2 / بشكل عام ، هناك نوعان رئيسيان من حلول معالجة البيانات
3 / و "التحقق من الصلاحية المطلقة" يعني أن معالجة البيانات يمكن أن تكون خارج السلسلة بدون ضمانات ، لأن مزودي خدمات البيانات خارج السلسلة يمكن أن يتوقفوا عن العمل في أي وقت ...
4 /… # StarkEx و #zkPorter و #Arbitrum Nova أمثلة على سيناريوهات التحقق التي تعتمد على DAC ، وهي مجموعة من الأطراف الثالثة المعروفة لضمان توفر البيانات
5 / من ناحية أخرى ، #EigenDA وCelestiaOrg وAvailProject هي ما يمكن أن نطلق عليه حل DA عالمي
ومع ذلك ، هناك بعض الاختلافات بين EigenDA والحلين الآخرين
6 / إذا كنت تريد معرفة كيفية عملCelestiaOrg ، تحقق من الرابط أدناه
7 / لقد قمت بتغطيةAvailProject في الماضي أيضًا ، لذا لمعرفة المزيد ، تحقق من ذلك هنا
8 / إذا كنت بحاجة إلى تجديد معلومات عنeigenlayer ، فراجع الموضوع أدناه 👇
9 / لذا في منشور اليوم نريد التركيز على المقارنة بين سلاسل @ eigenlayer's #EigenDA و DA L1 مثلCelestiaOrg أوAvailProject
10 / لنفترض تراكمًا على أساس Ethereum واستخدام Celestia لـ DA (المعروف أيضًا باسم Celestium)
لذلك تتحقق عقود L2 على Ethereum من إثبات الصلاحية أو إثبات الاحتيال كالمعتاد ، ويتم توفير DA بواسطة Celestia
11 / فيCelestiaOrg وAvailProject ، لا توجد عقود أو حسابات ذكية ، فقط البيانات مضمونة لتكون متاحة
12 / لكن دعونا نلقي نظرة فاحصة
فيCelestiaOrg ، يتم نشر بيانات TX إلى Celestia بواسطة فارز L2 ، يقوم المدقق Celestia بتوقيع جذر Merkle لإثبات DA ، ثم إرسالها إلى عقد جسر DA على Ethereum للتحقق والتخزين
13 / مقارنة بتخزين DA على السلسلة ، فإن هذا يقلل بشكل كبير من تكلفة الحصول على ضمان DA قوي ، مع توفير ضمانات أمنية من Celestia (بدلاً من DAC المركزي)
14 / سيؤدي خفض التكلفة إلى تغيير قواعد اللعبة في حقل التجميع بالكامل ، لأن تكلفة بيانات الاتصال الناتجة عن نشر البيانات إلى حسابات Ethereum L1 تبلغ 80-90٪ من تكلفة التجميع
لمزيد من المعلومات حول تكلفة بيانات الاتصال ، تحقق من المنشور أدناه 👇
15 / لكن ماذا حدث بحق الجحيم في #Celestia؟
يتم نشر البيانات الكبيرة التي تم نشرها إلىCelestiaOrg (بشكل أساسي كبيانات أولية) من خلال شبكة P2P ويتم الوصول إلى إجماع حول كتلة البيانات باستخدام إجماع Tendermint
16 / يجب على كل #Celestia full node تنزيل كتلة البيانات بالكامل. يختلف هذا بالنسبة للعقد الخفيفة التي يمكنها استخدام عينات توفر البيانات (DAS) لضمان توفر البيانات
17 / لمزيد من المعلومات حول DAS والعقد الخفيفة ، يرجى مراجعة المنشور أدناه
18 / سنعود أيضًا إلى DAS لاحقًا في هذا الموضوع ، ولكن التركيز في الوقت الحالي على العقد الكاملة
لذا عد إلىCelestiaOrg ، التي تستمر في التصرف بطريقة L1 ، بالاعتماد على البث والإجماع على البيانات الكبيرة
19 / لذلك ، فإنه يضع متطلبات عالية على العقد الكاملة للشبكة (128 ميجابايت / ثانية تحميل و 12.5 ميجابايت / ثانية تحميل).
ومع ذلك ، كانCelestiaOrg يهدف إلى إنتاجية معتدلة (1.4 ميجابايت / ثانية) في البداية ، والتي تبدو منخفضة نظرًا لمتطلبات العقدة الكاملة
20 / ومع ذلك ، يمكن للشبكة زيادة الإنتاجية عن طريق إضافة عقد ضوئية. كلما زاد عدد العقد الضوئية لأخذ عينات البيانات ، يمكن أن يكون حجم الكتلة أكبر بشرط ضمان الأمان واللامركزية
21 / من ناحية أخرى ، فإنeigenlayer له بنية مختلفة ، ولا يوجد إجماع خاص بها ، ولا توجد شبكة نظير إلى نظير
فكيف يعمل هذا؟
أولاً ، يجب على عقدة EigenDA إعادة تخصيص $ ETH في عقدeigenlayer. لذلك ، فإن عقد #EigenDA هي مجموعة فرعية من مدققي Ethereum
22 / بعد استلام البيانات الثنائية الكبيرة ، يقوم مشتري DA (مثل التجميع ، المعروف أيضًا باسم المشتت) بترميزه برمز محو وإنشاء التزام KZG ...
23 / ... حيث يعتمد حجم الدليل على نسبة التكرار لرمز المحو وينشر التزام KZG بعقد #EigenDA الذكي
24 / التزام KZG المشفر موزع بواسطة المشتت على عقد #EigenDA
بعد استلام التزام KZG ، تقارنه هذه العقد مع التزام KZG لعقد EigenDA الذكي وتوقيع الدليل بعد التأكيد
25 / بعد ذلك ، يقوم الموزع بجمع هذه التوقيعات واحدة تلو الأخرى ، ويقوم بإنشاء توقيع مجمع ، وينشره على عقد #EigenDA الذكي ، ويتحقق العقد الذكي من التوقيع.
26 / ولكن إذا كانت العقدة #EigenDA توقع ببساطة إثباتًا تدعي أنها خزنت كتلة البيانات المشفرة في سير العمل هذا ، ويتحقق عقد EigenDA الذكي فقط من صحة التوقيع المجمع ، كيف يمكننا التأكد من أن عقدة EigenDA قد خزنت البيانات حقًا؟
27 / يستخدم #EigenDA طريقة إثبات الضمان لتحقيق ذلك
لكن دعنا نعود خطوة إلى الوراء وننظر إلى هذا المشهد حيث يصبح مهمًا
28 / لنفترض أن بعض المدققين الكسالى لا يقومون بالمهام الموكلة إليهم (مثل التأكد من توفر البيانات)
بدلاً من ذلك ، يتظاهرون بأنهم قد أنجزوا العمل ويوقعون على النتيجة النهائية (الإبلاغ عن توفر البيانات بشكل خاطئ عندما لا تكون متوفرة).
29 / من الناحية النظرية ، فإن إثبات الحراسة يشبه إثبات الغش:
يمكن لأي شخص تقديم إثبات (المدقق كسول) إلى عقد #EigenDA الذكي والذي سيتم التحقق منه بواسطة العقد الذكي
29 / المدقق الكسول يتم خفضه إذا نجح التحقق (لأنه خطأ منسوب بشكل موضوعي)
30 / وماذا عن الإجماع؟
تستخدمCelestiaOrg Tendermint كبروتوكول إجماع خاص بها ، والذي يتميز بفتحة نهائية أحادية الفتحة. أي بمجرد أن تتجاوز الكتلة إجماع #Celestia ، يتم ذلك. هذا يعني أن النهاية هي في الأساس أسرع وقت الكتلة (15 ثانية).
31 /AvailProject يستخدم تكوين البروتوكول لتحقيق النهاية. BABE هي آلية إنتاج بلوك ذات نهائية احتمالية ، و GRANDPA هي أداة أخيرة. بينما يمكن لـ GRANDPA إكمال الكتل في فتحة واحدة ، يمكنها أيضًا إكمال كتل متعددة في جولة
32 / نظرًا لأنeigenlayer عبارة عن مجموعة من العقود الذكية على Ethereum ، فإنها ترث أيضًا نفس وقت الإنهاء مثل Ethereum (12-15 دقيقة) للبيانات التي تحتاج إلى إعادة توجيهها إلى عقد التجميع لإثبات توفر البيانات
33 / ومع ذلك ، إذا كانت المجموعة التراكمية تستخدمeigenlayer على الإطلاق ، فيمكن إجراؤها بشكل أسرع ، اعتمادًا على آلية الإجماع المستخدمة وما إلى ذلك.
بالإضافة إلى ذلك ، فإن البرامج الوسيطة التي يتم تأمينها بواسطة مدققي إعادة تثبيت @ eigenlayer تركز على توفير تسويات سريعة ، على سبيل المثال ، يمكن أن توفر EigenSettle ضمانات أمنية اقتصادية قوية تسمح بالتأكيد المسبق النهائي. ومع ذلك ، لا تزال ضمانات النهاية الصعبة تأتي من Ethereum L1
34 / حان الوقت لإعادة النظر في مفاهيم عينات توفر البيانات
في معظم سلاسل الكتل ، تحتاج العقد إلى تنزيل جميع بيانات المعاملات للتحقق من توفر البيانات. المشكلة التي يخلقها هذا هي أنه عندما يزداد حجم الكتلة ، يزداد أيضًا عدد عقد البيانات التي يجب التحقق منها
35 / أخذ عينات توافر البيانات (DAS) هي تقنية تسمح للعقد الخفيفة بالتحقق من توفر البيانات عن طريق تنزيل جزء صغير فقط من بيانات الكتلة
36 / يوفر هذا الأمان للعقد الخفيفة حتى تتمكن من التحقق من صحة الكتل غير الصالحة (DA والإجماع فقط) ويسمح لـ blockchain بتوسيع نطاق توافر البيانات دون زيادة متطلبات العقد
37 / DAS يتطلب عقدة كاملة صادقة واحدة على الأقل وعدد كافٍ من العملاء الخفيفين
38 / ولكن كيف نضمن أمن العقد الضوئية؟
لدى عملاء Light التقليديين افتراضات أمان أضعف مقارنة بالعقد الكاملة نظرًا لأنها تتحقق فقط من رؤوس الكتل
لذلك ، لا يمكن للعملاء الخفيفين اكتشاف ما إذا كان قد تم إنتاج كتلة غير صالحة من قبل غالبية غير شريفة من منتجي الكتل
39 / تتم ترقية العقد الخفيفة مع أخذ عينات توفر البيانات في الأمان ، لأنه إذا كانت طبقة DA تقوم فقط بالإجماع وتوافر البيانات ، فيمكنها التحقق مما إذا تم إنتاج كتل غير صالحة
40 / سيكون لدى كل منCelestiaOrg وAvailProject عينات توفر البيانات حتى تتمتع العقد الخفيفة الخاصة بهم بأمان أقل ثقة.
41 / هذا يختلف عن Ethereum وeigenlayer
لا يحتوي Ethereum مع # EIP4844 على عينات توفر البيانات ، لذلك لن يتمتع عملاؤها الخفيفون بأمان منخفض الثقة
42 / نظرًا لأن Ethereum لديها أيضًا بيئة عقود ذكية ، يحتاج العملاء الخفيفون أيضًا إلى التحقق من التنفيذ (عن طريق الاحتيال أو إثبات الصلاحية) ، بدلاً من الاعتماد على معظم افتراضات الصدق
43 /eigenlayer (ما لم يكن هناك DAS) ، سيعتمد العميل الخفيف ، إذا كان مدعومًا ، على غالبية صادقة من عقد الاستعادة
لذلك ، يعتمد أمان #EigenDA بشكل أساسي على مجموعة التحقق من Ethereum ، وراثة Ethereum slash بدائي ويضمن الأمن الاقتصادي لـ DA
44 / لذا فإن زيادة مشاركة أصحاب المصلحة في #EigenDA تعني قدرًا أكبر من الأمن. يساهم تقليل متطلبات العقدة أيضًا في تحسين اللامركزية
45 / ترميز المحو هو آلية مهمة تمكن من أخذ عينات توافر البيانات. يوسع تشفير المحو الكتل عن طريق عمل نسخ إضافية من البيانات. البيانات الإضافية تخلق التكرار ، وتوفر ضمانات أمنية أقوى لعملية أخذ العينات
46 / ومع ذلك ، قد تحاول العقد تشفير البيانات بشكل غير صحيح من أجل تعطيل الشبكة. للدفاع ضد هذا الهجوم ، تحتاج العقد إلى طريقة للتحقق من صحة الترميز - وهنا يأتي دور البراهين.
47 / Ethereum وeigenlayer وAvailProject كلها تستخدم دليل إثبات صحة للتأكد من أن الكتل مشفرة بشكل صحيح. الفكرة مشابهة لإثباتات الصلاحية التي يستخدمها zk rollup. لقد ناقشeigenlayer هذا سابقًا في هذا الموضوع
48 / في كل مرة يتم إنشاء كتلة ، يجب على المدقق الالتزام بالبيانات التي تم التحقق منها بواسطة العقدة باستخدام دليل KZG لإثبات أن الكتلة مشفرة بشكل صحيح
49 / على الرغم من أن إنشاء التزامات لإثباتات KZG يتطلب مزيدًا من النفقات العامة الحسابية لمنتجي الكتل ، عندما تكون الكتل صغيرة ، فإن إنشاء الالتزامات لا يجلب الكثير من النفقات العامة. ومع ذلك ، تغير هذا ...
50 / ... مع زيادة حجم الكتل ، يكون عبء الالتزام بإثبات KZG أكبر بكثير
لذلك ، قد يكون لنوع العقدة المسؤولة عن إنشاء هذه الالتزامات متطلبات أجهزة أعلى
51 / من ناحية أخرى ، تطبقCelestiaOrg إجراءات إثبات الاحتيال من أجل محو الترميز. لذلك ، لا تحتاج عقد #Celestia للتحقق من تشفير الكتل بشكل صحيح. أنها الافتراضية لتكون صحيحة
52 / والفائدة هي أن منتجي الكتل لا يحتاجون إلى القيام بالعمل المكلف المتمثل في محو الالتزامات المشفرة
ولكن هناك مقايضة ، لأن العقد الضوئية يجب أن تنتظر وقتًا قصيرًا قبل افتراض أن الكتلة مشفرة بشكل صحيح ، وإكمالها من وجهة نظرهم
53 / يتمثل الاختلاف الرئيسي بين مخططات التشفير المقاومة للاحتيال والمقاومة للصلاحية في المفاضلة بين النفقات العامة للعقدة لتوليد الالتزامات ووقت الاستجابة للعقد الخفيفة
54 / يلخص هذا الجدول المقارنة بشكل جيد