原文标题: نموذج فصل طالب ZKP لدعم ZK الكامل و ZK المتفائل
المؤلف الأصلي: 0x3d18 ، ZKPool
مترجم: تشيانوين ، تشين كاتشر
هناك العديد من حالات الاستخدام لبراهين المعرفة الصفرية ، بما في ذلك التراكمات والجسور والأوراكل. أدى ذلك إلى تطوير مشاريع مثل ZK-Rollup و ZK-bridge و ZK-oracle.
تم تطبيق التصاميم الهجينة والمتفائلة مؤخرا على تقنية ZKP. على سبيل المثال ، اقترحت Orbiter Finance بروتوكول سد ZK المتفائل ، بينما اقترحت Taiko حلا هجينا تقدميا.
تفترض ZK المتفائلة أن جميع انتقالات الحالة صحيحة ولا تتطلب إثباتا فوريا للصحة. لكنه ينشئ نافذة تحدي محددة مسبقا يمكن خلالها لأي مشارك الاعتراض على النشاط الاحتيالي من خلال تقديم إثبات صحة أو إثبات الاحتيال.
يقلل هذا التصميم من التكلفة الإجمالية للإثبات لمشاريع ZKP مع ضمان الأمان من خلال تحفيز نظام مراقبة المنافسين اللامركزي وتحدي الاحتيال.
بروتوكول سد ZK المتفائل
Orbiter Finance هو واحد من أكثر المشاريع عبر التجميع المعروفة. يقترح "بروتوكول Orbiter Cross-Rollup: متفائل بشأن الأغلبية المتوافقة ، والتحكيم الصارم للأقلية الخبيثة".
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-1b60a8b1ca-dd1a6f-cd5cc0.webp)
عملية التداول المتفائلة (من Orbiter Finance)
إنه يحدد تصميما لامركزيا وآمنا وفعالا من حيث التكلفة ، مدعوما بتقنية ZKP.
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-be9223a531-dd1a6f-cd5cc0.webp)
تصميم أوربيتر اللامركزي
هناك العديد من العوامل المهمة التي يجب مراعاتها لمثل هذا التصميم:
بادئ ذي بدء ، واجه مشروع الجسر في الماضي مشكلات أمنية متعددة ، مما تسبب في خسائر كبيرة للمستخدمين. كما أن المركزية تجلب مخاطر أمنية. ولذلك، فإن اللامركزية ضرورية لسد الجسور.
ثانيا، يجب أن تكون هناك آلية لضمان دقة تدفق المعاملات بين المصدر/الإظهار وسلسلة الوجهة/المجموعة.
بالإضافة إلى ذلك ، من الضروري إيجاد طريقة فعالة من حيث التكلفة لتوليد مثل هذه البراهين. بالمقارنة مع أشجار Merkle على السلسلة ، يعد ZKP خيارا قابلا للتطبيق مع رسوم غاز أقل.
على وجه الخصوص ، بالنسبة للجسور المتقاطعة ، تعتبر التكلفة اعتبارا أساسيا ، والهدف من التصميم بأكمله هو تقليل النفقات. هذا يعني أنه من الأهمية بمكان تقليل المعاملات على السلسلة وتقليل كمية الغاز لكل معاملة على السلسلة.
في تصميم Orbiter ، بالإضافة إلى مخطط الدفع التجسيري ، هناك مخطط آخر يتطلب ZKP. في هذا السيناريو، يقوم دور يسمى "المرسل" بتجميع معلومات المعاملات المجمعة وإرسالها إلى L1 لضمان حصول التاجر اللامركزي على مكافآت دقيقة.
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-6c296aed58-dd1a6f-cd5cc0.webp)
تصميم الملتزم اللامركزي ل Orbiter
يفترض بروتوكول Orbiter أن غالبية المشاركين معصومون من الخطأ ويتعامل بتفاؤل مع الأحداث المتقاطعة لضمان التنفيذ في الوقت المناسب. إذا كانت هناك حاجة إلى إثباتات لكل معاملة تجميع ، فسيكون تنفيذ معاملة التجسير بأكملها بطيئا. نتيجة لذلك ، ليست هناك حاجة لإنشاء أدلة في غياب السلوك الضار ، مما يوفر التكاليف. ومع ذلك ، إذا تم اكتشاف سلوك ضار من قبل المنشئ أو المرسل ، فيمكن للمعترض إنشاء دليل ، ويجب على المرسل المعترض عليه أيضا إرسال الإثبات.
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-482a7d6cd7-dd1a6f-cd5cc0.webp)
المداري متفائل تصميم جسر زك
نموذج فصل طالب ZKPool
عندما يتعلق الأمر باستخدام تقنية ZKP ، فهناك أوضاع مختلفة متاحة:
zk كامل: في هذا الوضع ، يلزم ZKP واحد لكل تحويل. يمكن تحقيق ذلك من خلال مشاريع مثل ZK-bridge (مثل Polyhedra) أو ZK-Rollup (مثل Scroll).
zk متفائل: في هذا الوضع ، يكون ZKP مطلوبا فقط عند تحدي التحويل. تايكو وأوربيتر مثال على هذا النمط.
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-256e64cbf8-dd1a6f-cd5cc0.webp)
زك كامل ومتفائل زك
عند تحديد النماذج المجردة ، من الواضح أن ZK-bridge و ZK-Rollup يشتركان في بعض أوجه التشابه. على وجه التحديد ، ينعكس هذا الاختلاف في العلاقة بين طالب ZKP و ZKP prover ، كما هو موضح في الرسم البياني التالي. هنا ، يشير طالب ZKP إلى وحدة نمطية تحتاج إلى إنشاء ZKP.
السيناريو هو كما يلي:
في مشروع ZK-Rollup:
في وضع zk الكامل ، يعمل جهاز التسلسل كطالب ZKP.
في وضع zk المتفائل ، يعمل المنافس كطالب ZKP.
في مشروع جسر ZK:
في وضع all-zk ، يعمل المنشئ كطالب ZKP.
في وضع zk المتفائل ، يعمل المنافس كطالب ZKP.
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-dc3d1f9dd8-dd1a6f-cd5cc0.webp)
طالب ZKP و ZKP Prover
كما ذكرنا سابقا ، في zk المتفائل ، قد لا تكون هناك دائما مهمة إثبات. نتيجة لذلك ، إذا تم دمج طالبي ZKP و ZKP prover في نفس الوحدة ، فقد يكون البروفير خاملا وقد لا يتم استخدام قوته الحاسوبية بالكامل.
إذا قمنا بتصميم نموذج فصل بين مقدم الطلب والبروفرة وجعلنا الموفر تجمعا مشتركا ، فيمكننا زيادة استخدام prover. عندما لا يتم تحدي السيناريو المتفائل ، يمكن للبروفير تولي مهمة الإثبات من مشاريع ZKP الأخرى. هذا يعني أن ZKPool يلعب دورا مهما في مشروع zk-bridge ، خاصة عند الجمع بين Optimistic والآخرين.
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-f42c2097ff-dd1a6f-cd5cc0.webp)
تشارك ZKPool دور محترف ZKP بين طالبي ZKP
لا ينطبق نموذج الفصل بين المتوسل والبروفرة ZKP على عمليات التجميع والجسور فحسب ، بل ينطبق أيضا على أوراكل وجميع مشاريع ZKP الأخرى.
ملخص
بناء على المعلومات المقدمة ، يمكننا استخلاص الاستنتاجات التالية:
تعد تقنية ZKP ضرورية لمشروع ZKP ، بما في ذلك عمليات التجميع والجسور والأوراكل والمشاريع الأخرى ذات الصلة.
يسمح لنا ZKPool بمعاملة منشئ / مقدم ZK-bridge وتسلسل ZK-Rollup على أنهما نفس الدور ، ويشار إليهما مجتمعين باسم طالب ZKP
باستخدام نموذج فصل طالب ZKP الخاص ب ZKPool ، يمكنك تحسين معدل استخدام prover الخاص بك. يعزز هذا النموذج أيضا اللامركزية في جميع مشاريع ZKP.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تفسير الفكرة الجديدة لسد ZKP: استخدم نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة
原文标题: نموذج فصل طالب ZKP لدعم ZK الكامل و ZK المتفائل
المؤلف الأصلي: 0x3d18 ، ZKPool
مترجم: تشيانوين ، تشين كاتشر
هناك العديد من حالات الاستخدام لبراهين المعرفة الصفرية ، بما في ذلك التراكمات والجسور والأوراكل. أدى ذلك إلى تطوير مشاريع مثل ZK-Rollup و ZK-bridge و ZK-oracle.
تم تطبيق التصاميم الهجينة والمتفائلة مؤخرا على تقنية ZKP. على سبيل المثال ، اقترحت Orbiter Finance بروتوكول سد ZK المتفائل ، بينما اقترحت Taiko حلا هجينا تقدميا.
تفترض ZK المتفائلة أن جميع انتقالات الحالة صحيحة ولا تتطلب إثباتا فوريا للصحة. لكنه ينشئ نافذة تحدي محددة مسبقا يمكن خلالها لأي مشارك الاعتراض على النشاط الاحتيالي من خلال تقديم إثبات صحة أو إثبات الاحتيال.
يقلل هذا التصميم من التكلفة الإجمالية للإثبات لمشاريع ZKP مع ضمان الأمان من خلال تحفيز نظام مراقبة المنافسين اللامركزي وتحدي الاحتيال.
بروتوكول سد ZK المتفائل
Orbiter Finance هو واحد من أكثر المشاريع عبر التجميع المعروفة. يقترح "بروتوكول Orbiter Cross-Rollup: متفائل بشأن الأغلبية المتوافقة ، والتحكيم الصارم للأقلية الخبيثة".
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-1b60a8b1ca-dd1a6f-cd5cc0.webp)
عملية التداول المتفائلة (من Orbiter Finance)
إنه يحدد تصميما لامركزيا وآمنا وفعالا من حيث التكلفة ، مدعوما بتقنية ZKP.
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-be9223a531-dd1a6f-cd5cc0.webp)
تصميم أوربيتر اللامركزي
هناك العديد من العوامل المهمة التي يجب مراعاتها لمثل هذا التصميم:
بادئ ذي بدء ، واجه مشروع الجسر في الماضي مشكلات أمنية متعددة ، مما تسبب في خسائر كبيرة للمستخدمين. كما أن المركزية تجلب مخاطر أمنية. ولذلك، فإن اللامركزية ضرورية لسد الجسور.
ثانيا، يجب أن تكون هناك آلية لضمان دقة تدفق المعاملات بين المصدر/الإظهار وسلسلة الوجهة/المجموعة.
بالإضافة إلى ذلك ، من الضروري إيجاد طريقة فعالة من حيث التكلفة لتوليد مثل هذه البراهين. بالمقارنة مع أشجار Merkle على السلسلة ، يعد ZKP خيارا قابلا للتطبيق مع رسوم غاز أقل.
على وجه الخصوص ، بالنسبة للجسور المتقاطعة ، تعتبر التكلفة اعتبارا أساسيا ، والهدف من التصميم بأكمله هو تقليل النفقات. هذا يعني أنه من الأهمية بمكان تقليل المعاملات على السلسلة وتقليل كمية الغاز لكل معاملة على السلسلة.
في تصميم Orbiter ، بالإضافة إلى مخطط الدفع التجسيري ، هناك مخطط آخر يتطلب ZKP. في هذا السيناريو، يقوم دور يسمى "المرسل" بتجميع معلومات المعاملات المجمعة وإرسالها إلى L1 لضمان حصول التاجر اللامركزي على مكافآت دقيقة.
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-6c296aed58-dd1a6f-cd5cc0.webp)
تصميم الملتزم اللامركزي ل Orbiter
يفترض بروتوكول Orbiter أن غالبية المشاركين معصومون من الخطأ ويتعامل بتفاؤل مع الأحداث المتقاطعة لضمان التنفيذ في الوقت المناسب. إذا كانت هناك حاجة إلى إثباتات لكل معاملة تجميع ، فسيكون تنفيذ معاملة التجسير بأكملها بطيئا. نتيجة لذلك ، ليست هناك حاجة لإنشاء أدلة في غياب السلوك الضار ، مما يوفر التكاليف. ومع ذلك ، إذا تم اكتشاف سلوك ضار من قبل المنشئ أو المرسل ، فيمكن للمعترض إنشاء دليل ، ويجب على المرسل المعترض عليه أيضا إرسال الإثبات.
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-482a7d6cd7-dd1a6f-cd5cc0.webp)
المداري متفائل تصميم جسر زك
نموذج فصل طالب ZKPool
عندما يتعلق الأمر باستخدام تقنية ZKP ، فهناك أوضاع مختلفة متاحة:
zk كامل: في هذا الوضع ، يلزم ZKP واحد لكل تحويل. يمكن تحقيق ذلك من خلال مشاريع مثل ZK-bridge (مثل Polyhedra) أو ZK-Rollup (مثل Scroll).
zk متفائل: في هذا الوضع ، يكون ZKP مطلوبا فقط عند تحدي التحويل. تايكو وأوربيتر مثال على هذا النمط.
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-256e64cbf8-dd1a6f-cd5cc0.webp)
زك كامل ومتفائل زك
عند تحديد النماذج المجردة ، من الواضح أن ZK-bridge و ZK-Rollup يشتركان في بعض أوجه التشابه. على وجه التحديد ، ينعكس هذا الاختلاف في العلاقة بين طالب ZKP و ZKP prover ، كما هو موضح في الرسم البياني التالي. هنا ، يشير طالب ZKP إلى وحدة نمطية تحتاج إلى إنشاء ZKP.
السيناريو هو كما يلي:
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-dc3d1f9dd8-dd1a6f-cd5cc0.webp)
طالب ZKP و ZKP Prover
كما ذكرنا سابقا ، في zk المتفائل ، قد لا تكون هناك دائما مهمة إثبات. نتيجة لذلك ، إذا تم دمج طالبي ZKP و ZKP prover في نفس الوحدة ، فقد يكون البروفير خاملا وقد لا يتم استخدام قوته الحاسوبية بالكامل.
إذا قمنا بتصميم نموذج فصل بين مقدم الطلب والبروفرة وجعلنا الموفر تجمعا مشتركا ، فيمكننا زيادة استخدام prover. عندما لا يتم تحدي السيناريو المتفائل ، يمكن للبروفير تولي مهمة الإثبات من مشاريع ZKP الأخرى. هذا يعني أن ZKPool يلعب دورا مهما في مشروع zk-bridge ، خاصة عند الجمع بين Optimistic والآخرين.
! [تفسير الفكرة الجديدة لسد ZKP: استخدام نموذج الفصل بين طالب ZKP والأستاذ لإنشاء جسر لامركزي أكثر أمانا عبر السلسلة] (https://img-cdn.gateio.im/webp-social/moments-69a80767fe-f42c2097ff-dd1a6f-cd5cc0.webp)
تشارك ZKPool دور محترف ZKP بين طالبي ZKP
لا ينطبق نموذج الفصل بين المتوسل والبروفرة ZKP على عمليات التجميع والجسور فحسب ، بل ينطبق أيضا على أوراكل وجميع مشاريع ZKP الأخرى.
ملخص
بناء على المعلومات المقدمة ، يمكننا استخلاص الاستنتاجات التالية:
تعد تقنية ZKP ضرورية لمشروع ZKP ، بما في ذلك عمليات التجميع والجسور والأوراكل والمشاريع الأخرى ذات الصلة.
يسمح لنا ZKPool بمعاملة منشئ / مقدم ZK-bridge وتسلسل ZK-Rollup على أنهما نفس الدور ، ويشار إليهما مجتمعين باسم طالب ZKP
باستخدام نموذج فصل طالب ZKP الخاص ب ZKPool ، يمكنك تحسين معدل استخدام prover الخاص بك. يعزز هذا النموذج أيضا اللامركزية في جميع مشاريع ZKP.