الأصل بواسطة دلفي ديجيتال

التجميع الأصلي: لوفي ، أخبار البصيرة

تعتبر النظرية المعيارية عموما مكونة من أربع طبقات: DA (توفر البيانات) ، الإجماع ، التنفيذ ، و تسوية. ومع ذلك ، يمكن دمج طبقة جديدة ، وهي الطبقة المشتركة ، في النظرية المعيارية.

هل يمكن أن يكون الجزء المفقود من التحقق الفعال والقابل للتطوير؟ تعمل أسواق prover المشتركة وتجميع الأدلة والأسواق على تغيير المشهد في zk-SNARKs. يمكنك معرفة كل ما تحتاج إلى معرفته في تقريرنا الأخير.

فيما يلي ملخص 👇 للوجبات السريعة الرئيسية من التقرير

استعراض موجز ل zk Rollup

يمكن لحل zk Rollup توسيع نطاق حجم معاملة إثيريوم ، ونقل المعاملات خارج السلسلة لمعالجة أسرع ، مع تمكين الحتمية الصعبة على رأس إثيريوم والتحقق باستخدام إثباتات zk (zk-SNARKs).

دليل ZK: التحقق السريع ، الجيل البطيء

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

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

الموردين المؤيد

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

واليوم، تواجه مجموعات التحدي المتمثل في تقديم طلبات zk-SNARKs المكلفة والمنفصلة.

توفر شبكة Proof حلا: سوق موحد حيث يمكن لتطبيقات ZK المختلفة الاستعانة بمصادر خارجية لتوليد الإثبات لمقدمي خدمات تصديق المخصصين ، مما يزيد من التكاليف والكفاءة.

يمكن للشهود المشتركين تحسين الوضع بشكل كبير للتطبيقات التي تتطلب الدعم مقاومة ل zk ولكنها تفتقر إلى موارد zkVM أو تطوير الدوائر الداخلية.

حاليا ، تقدم Rollups إثباتات zk منفصلة ، مما يؤدي إلى ارتفاع تكاليف غاز خلال ساعات الذروة.

الهدف من شبكة prover الآن هو الاستعانة بمصادر خارجية لتوليد البراهين لموفري الأجهزة المتخصصين في طلب لزيادة الكفاءة.

في شبكة ذات مجموعات أطول ومتصلة بشبكة بروفير ، تعمل دورة حياة المعاملة على النحو التالي:

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

تخصيص تكلفة التحقق من الصحة

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

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

يمكن أن اسقاط غاز "التحقق من صحة الدفعة" تكاليف مقارنة بالتحقق من كل دليل على حدة.

zk تكلفة التطبيق بروفر

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

على مدى السنوات القليلة الماضية ، أنفقت تطبيقات zk (معظمها Rollups) ما يقرب من 30 مليون دولار في غاز للتحقق من صحة ونشر البراهين على داخل السلسلة.

إثبات التجميع بروتوكول الملف الشخصي

نبرا UPA

يتيح Nebra UPA لتطبيقات zk تجميع البراهين طويل اسقاط تكلفة التحقق ، ويزعمون أنهم الدعم حوالي 10 إثباتات في الثانية على Testnet. جهات التصديق الخاصة بهم مركزية حاليا ، لكنهم يخططون لتنفيذها لاحقا دون الحاجة إلى إثبات الإذن.

لديهم آلية إدراج قسرية مماثلة لكبسولات الهروب L2 الحالية. إذا قام البروفير بمراجعة الدليل أو وقت الإستجابة ، فيمكن لتطبيق zk تجاوز البروفير وفرض تسوية الإثبات على L1.

الطبقة المحاذاة

الطبقة المحاذاة هي طبقة التحقق من zk العالمية من إثيريوم المؤمنة بواسطة EigenLayer AVS. يوفر Restakers للمستخدمين نهاية ناعمة من خلال تجميع الأدلة والتزامات إثيريوم الفردية. DA الافتراضي هو EigenDA ، ولكن يمكنك أيضا اختيار طبقات DA أخرى ، مثل Celestia أو Avail.

AggLayer

AggLayer من Polygon هي بنية تحتية محايدة للتشغيل البيني الآمن عبر السلاسل. ويهدف إلى توحيد شبكات البلوكتشين المستقلة تحت عبر السلاسل الجسر واحد، وتسهيل التشغيل البيني دون المساس بالسيادة البلوكتشين.

تم تصميم النظام لتجميع البراهين في جميع مجموعات المتصلة ثم تقديم دليل فريد يحتوي على شجرة Merkle لكل دليل فردي يتم تقديمه.

• لا يتطلب بيئة الآلة الافتراضية أو تنفيذ محددة
• البلوكتشين حر في اختيار غاز عملة الخاصة به
• لا يلزم أن تخضع للحوكمة المشتركة.

تحت الغطاء ، البنية التحتية التي تجمع كل هذا معا هي LxLy الجسور عبر السلسلة ، التي توحد بروتوكول الرسائل عبر السلاسل المشتركة بحيث يمكن ل Rollups التواصل مع بعضها البعض ومع إثيريوم مع الحفاظ على السيادة.

شرح 👇 موجز لكيفية عمل LxLy

• تتعقب كل سلسلة تحويلات السحب في شجرة ميركل (شجرة الخروج).
• يتم دمج جميع أشجار الخروج في شجرة خروج عالمية ، والتي يتم مشاركتها عبر السلاسل
• تم تحديث الأشجار المحلية والعالمية للسماح بالتحقق من الصحة وحسابات السحب الصافي.

بالإضافة إلى ذلك ، لدى Agglayer عبر السلاسل الجسر مشترك بين مجموعات المتصلة ، مما يبسط تدفق الأصول بين L1 و L2. يتم ضمان الأصول في عقد L1 دون تغليف أو قفل / السك.

تقليديا، اعتمدت الأطر على منظور داخلي واحد، مما يخاطر بالرقابة وقضايا الحياة. قد تبدأ شبكة من المثبتين بطريقة مركزية و اللامركزية تدريجيا بمرور الوقت.

لا يزال اللامركزية سوق prover سؤالا مفتوحا ، ولكن يتم استكشاف بعض الأساليب:

• إثبات المنافسة: أسرع بروفير يفوز ، وتحسين الكفاءة ولكن إهدار الحساب (التكاليف تنتقل إلى المستخدمين).
• التعدين الإثبات: على غرار PoW التعدين ، يتم استخدام أرقام عشوائية لمنع الفائز يأخذ كل شيء (لا تزال النفايات الحسابية موجودة). من المتوقع أن يؤدي تسريع الأجهزة في SNARK ASICs إلى اسقاط التكاليف.