في مشاركتنا السابقة، التي ستكون قابلة للتنفيذ، تناولنا دور إثبات الاتفاق لهذه الطريقة الناشئة لتقليل الثقة في تيسير الجسر بين البلوكتشين.
في هذه المقالة، سنستكشف دليل التخزين، الذي يأخذ مفهوم تحقق تقليل الثقة ويمتد إلى المعاملات في الكتل التاريخية القديمة. القدرة على التحقق من المعاملات السابقة ونشاط المستخدم بهذه الطريقة يفتح العديد من حالات الاستخدام عبر السلاسل.
في المنشور السابق, قمنا بتقديم دليل الإجماع - وهو نهج يقلل من الثقة لربط الأموال عبر البلوكتشين. نظرًا لأن مستخدمي الجسر عادة ما يرغبون في رؤية حدوث المعاملات على الفور في أحدث لحظة، فإن دليل الإجماع مفيد للغاية لأنهم يتحققون باستمرار من الحالة الأخيرة لسلسلة الكتل أثناء تشغيلها.
يمكن تطبيق هذا المفهوم للتقليل من الثقة الوسيطة أيضًا في اتجاه آخر، وهو العودة إلى الماضي واستخدام البراهين ذات العلم الصفري للتحقق من المعاملات والبيانات في الكتل القديمة. تدعم هذه البراهين للتخزين التاريخي مجموعة متنوعة من حالات الاستخدام عبر السلاسل، وفي هذه المقالة سنغطي هذه الحالات الاستخدام، وكيفية عملها، والجهات المعنية المدمجة في هذا المجال.
استرجاع البعد الزمني للبيانات
هناك العديد من الاستخدامات للبيانات التاريخية لسلسلة الكتل. يمكن استخدامها لإثبات ملكية الأصول وسلوك المستخدم وتاريخ المعاملات، ثم إدخال هذه البيانات في العقود الذكية أو التطبيقات على السلسلة.في وقت الكتابة، تم كتابة أكثر من 18 مليون كتلة إلى إيثريوم.يمكن للعقود الذكية الوصول إلى أحدث 256 كتلة (أو البيانات خلال الـ 30 دقيقة الماضية فقط)، لذا يشير "البيانات التاريخية" إلى أي شيء آخر غير آخر 256 كتلة.
اليوم، من أجل الوصول إلى البيانات التاريخية، غالباً ما تستعلم البروتوكولاتعقدة الأرشيفمقدمي الخدمات، أي الأطراف الثالثة مثل Infura، Alchemy، أو مؤشرات أخرى. وهذا يعني الوثوق بهم والاعتماد عليهم وعلى بياناتهم.
البعد الزمنييمكن تخفيف هذه البيانات بطريقة أقل ثقة، من خلال استخدام دلائل التخزين.
البعض التاريخيومع ذلك، يمكن استرداد هذه البيانات بطريقة أكثر ثقة دون تدخل باستخدام دلائل التخزين.
دليل التخزين هو دليل على عدم المعرفة يسمح بالتحقق من البيانات التاريخية المخزنة على البلوكتشين. على وجه الخصوص، يمكن استخدام دليل التخزين لإثبات وجود حالة معينة في كتلة معينة في الماضي.هذا النهج لا يتطلب الثقة في الأطراف الثالثة أو الآلهة المعرفة؛ بدلاً من ذلك، يتم بناء ثقته في دليل التخزين.
كيف يمكن لأدلة التخزين مساعدة في التحقق من وجود بعض البيانات في الكتل التاريخية القديمة؟ هذا يتطلب التحقق من شيئين:
- الخطوة الأولى هي التحقق مما إذا كانت الكتلة المحددة جزءًا من تاريخ البلوكتشين التنظيمي، أي أن الكتلة هي جزء صالح من تاريخ سلسلة المصدر- الخطوة الثانية هي التحقق مما إذا كانت البيانات المحددة جزءًا من الكتلة، أي أن قطعة من المعلومات (مثل عملية تحويل محددة) هي جزء من الكتلة (يمكن إثبات ذلك من خلال شمل Merkle للدليل)بعد استلام البرهان والتحقق منه، يعتقد المتلقي (مثل عقد ذكي على السلسلة المستهدفة) في صحة البيانات ويمكنه تنفيذ مجموعة الإرشادات المقابلة. يمكن توسيع المفهوم حتى أبعد من ذلك: يمكن تشغيل حسابات إضافية خارج السلسلة مع البيانات الموثقة، ثم يتم إنشاء برهان صفري المعرفة آخر لإثبات البيانات والعملية.
ببساطة، يدعم إثبات التخزين استرداد البيانات على السلسلة التاريخية بطريقة تقلل من الثقة. وهذا أمر مهم لأننا، كما أوضحنا في مشاركتنا الأولى، نرى ويب3 يصبح مساحة أكثر تعدد السلاسل ومتعددة الطبقات على مدى السنوات القليلة القادمة. ظهور بروتوكولات طبقة 1 متعددة، والتجميعات، وسلاسل التطبيقات يعني أن نشاط المستخدمين على السلسلة قد ينتشر عبر سلاسل متعددة. وهذا يؤكد بشكل أكبر على الحاجة إلى حلول توافقية تقلل من الثقة تحافظ على قابلية التركيب لأصول المستخدم، وهوياتهم، وتاريخ المعاملات عبر نطاقات متعددة. وهذه مشكلة يمكن لإثبات التخزين مساعدة في حلها.
ما هي حالات الاستخدام لدليل التخزين؟إن دليل التخزين يسمح للعقود الذكية بالتحقق من أي معاملات أو بيانات تاريخية كشرط أساسي. هذا يجعل تصميم تطبيقات السلسلة المتقاطعة أكثر مرونة.
أولاً، يمكن أن يثبت تخزين الأدلة أي بيانات تاريخية على سلسلة الكتل الأصلية، مثل
-
رصيد الحساب وملكية الرمز المميز- نشاط تداول المستخدم أو الحالة الثابتة- السعر التاريخي لصفقة الأصول على مدى فترة زمنية محددة- رصيد الأصول في بجوام التداول المشترك في الوقت الحقيقييمكن بعد ذلك إرسال الدليل إلى السلسلة المستهدفة لفتح مجموعة من حالات الاستخدام عبر السلاسل
-
يمكن للمستخدمين التصويت على مقترحات الحوكمة على اتفاقيات الطبقة 2 بتكلفة أقل- السماح لحاملي NFT بتلقي صكوك NFT جديدة أو فوائد مجتمعية على سلسلة جديدة- مكافأة المستخدمين استنادًا إلى تاريخهم وتفاعلاتهم مع تطبيقات dApps محددة (على سبيل المثال، من خلال الهبوط الجوي)- القروض التي تقدم أسعار فائدة مخصصة استنادًا إلى تاريخ المعاملات والسجل الائتماني الشامل للمستخدم- تشغيل استعادة الحسابات الخاملة- حساب تاريخ تبادل العقود الآجلة TWAP- حساب أسعار تبادل AMM أكثر دقة استنادًا إلى حمامات السيولة متعددة السلاسلأساساً، تسمح البراهين الخاصة بالتخزين للتطبيقات بالاستعلام عن نشاط المستخدمين على السلسلة وتاريخهم عبر عدة سلاسل لإدخالها في عقد ذكي أو تطبيق على سلسلة أخرى.
حالات استخدام دليل التخزين
لنأخذ مثالًا مفصلًا لفهم كيف يعمل دليل التخزين.
كيف يعمل دليل التخزين: أمثلة مفصلةافترض "إكس"، وهو بروتوكول ديفي مع رموز على إيثريوم. مقترح الحوكمة على وشك أن يقدم، ويريدون الترويج للتصويت على السلسلة الهدف بتكلفة أقل على السلسلة. يمكن للمستخدمين التصويت فقط إذا كانوا يحملون رموز إكس على إيثريوم في نقطة معينة في الوقت (نسميها "لقطة"، مثل الكتلة #17،000،000)
كيف يتم التصويت حاليا على السلسلة؟النهج الحالي هو الاستعلام عن عقد الأرشيف للحصول على قائمة كاملة لحاملي الرمز المؤهلين في الكتلة #17،000،000. يقوم مسؤول الديو بعد ذلك بتخزين تلك القائمة في عقد ذكي على السلسلة الهدف لتحديد من يمكنه التصويت. هناك بعض القيود على هذا النهج:
- قائمة الناخبين يمكن أن تكون طويلة جدًا، وكل لقطة تتغير، مما يجعل من الصعب تخزين وتحديث كل اقتراح للتصويت على السلسلة.- هناك ثقة ضمنية في مزود عقدة الأرشيف والبيانات التي يقدمها؛- يجب أن يكون يدير أعضاء الدي أو الموثوق بهم لعدم التلاعب بقائمة الناخبين### كيف يحل دليل التخزين هذه المشكلة؟كما شرحنا في المادة 2، يمكن نقل الحسابات المكلفة إلى دلائل الصفر المعرفة خارج السلسلة.
سوف يولد مصدق zk دليلا موجزا ويرسله إلى سلسلة الهدف للتحقق. بالنسبة لأمثلة أهلية ناخب DAO أعلاه، يكون ما يلي:
- يقوم الشهاد بإنشاء دليل على عدم المعرفة بأن الكتلة #17،000،000 هي جزء من تاريخ الإيثيريوم (كما في الخطوة الأولى أعلاه).- بعد إثبات صحة الكتلة، يمكننا استخدام Merkle لتضمين دليل على أن المستخدم كان يمتلك رموز DAO عندما تم إنهاء الكتلة (كما في الخطوة 2 أعلاه*)
تحقق من البيانات التاريخية لتمكين التصويت عبر السلاسل
ثم يتم إرسال الدليل إلى عقد ذكي على سلسلة الأهداف للتحقق. إذا كان التحقق ناجحًا، فإن العقد الذكي على بروتوكول الطبقة 2 يسمح للمستخدمين بالتصويت.
حل هذا النهج بعض المشاكل. لا يتطلب:
ثق في مزود العقدة للأرشيف؛
- دع الاتفاقية تحافظ على قوائم الناخبين على السلسلة البلوكية المكلفة؛- للمستخدمين نقل الأصول إلى سلسلة الغرضما هي الإعدادات المطلوبة لدليل التخزين؟
حتى الآن، لقد قمنا بتجريد بعض التفاصيل المعقدة لأدلة التخزين. ومع ذلك، يتطلب استخدامها أيضًا إعدادًا أوليًا دقيقًا من قبل موفر الخدمة لضمان أنه يمكن استخدامها دون الاعتماد على موفر الخدمة. يتم توليد شيئين وتخزينهما على السلسلة خلال هذه العملية:
- **وعد صفر المعرفة الكامل للسلسلة ("zk promise"): مقدم الخدمة يقوم بتجميع جميع الكتل التاريخية على السلسلة المصدرية في "كتل" ثابتة المقاس بشكل مستمر (باستخدام أشجار Merkle)**وتولد دلائل الصفر المعرفة لكل كتلة، والتي تستخدم للتحقق من التجميعات. ثم يتم دمج هذه الدلائل بشكل تكراري حتى يتم الحصول على دليل صفري المعرفة نهائيًا، وهو "وعد zk" للسلسلة بأكملها. وهذا يثبت أن المزود قام بفهرسة تاريخ كامل للسلسلة بشكل صحيح.
وتشرح "وعد zk" تاريخ إيثيريوم بأكمله
- ** سلسلة جبال ميركل: ** يقوم المزود أيضا بتخزين جذور Keccak Merkle لتجزئة كتلة سلسلة المصدر (الكتل) المجمعة معا في بنية بيانات على السلسلة تسمى Merkle Mountain Range (MMR). يتم استخدام بنية البيانات هذه لأنه من السهل الاستعلام عنها وتحديثها ، وتسمح لمقدمي الخدمة بإثبات وجود كتلة معينة في سجل السلسلة بشكل فعال. يتم إنشاء MMR باستخدام تجزئة Keccak256 أو تجزئة Poseidon أو كليهما. تعتبر تجزئات Poseidon أكثر ملاءمة للمعرفة الصفرية وتدعم حساب البيانات التاريخية. يمكن إثبات صحة البيانات والحساب لاحقا من خلال المعرفة الصفرية.
رسم توضيحي لسلسلة جبال ميركل (MMR)
مع إضافة كتل جديدة إلى سلسلة المصدر ، يقوم مقدمو الخدمات بانتظام (مثل كل ساعة أو يوميا) بتحديث "التزام zk" و MMR لمواكبة وتيرة السلسلة. يتم ذلك بحيث يتم ربط الكتلة السابقة دائما بواحدة من 256 كتلة يمكن الوصول إليها حاليا من EVM. هذا يضمن أن البيانات التاريخية مرتبطة بإحدى الكتل المتاحة حاليا على Ethereum.
في الصورة أدناه، قمنا بتفصيل كيفية إكمال الإعداد:
في الختام، يوضح ما يلي كيفية استخدام دليل التخزين بمجرد اكتمال الإعداد في سياق مثال التصويت في DAO الذي غطيناه سابقًا:
-
تقوم مقدمو الخدمات بإنشاء وتخزين "وعود zk" للسلسلة بأكملها (أي تاريخ Ethereum) و MMR على السلسلة المستهدفة- يسمح الموفر للتطبيقات باستعلام البيانات التاريخية على السلسلة أو خارجها من خلال واجهة برمجة التطبيقات- تطبيق dApp للتصويت على سلسلة الأهداف يرسل استعلامًا إلى عقد مزود الذكي لمعرفة ما إذا كان المستخدم يمتلك رموز DAO على الكتلة #17،000،000 على إيثريومسيقوم مقدم الخدمة بالتحقق من شيئين:
-
الكتلة المستعلم عنها هي جزء من تاريخ التنظيم الخاص بإيثريوم (الخطوة الأولى أعلاه)؛ ثم يولد مقدم الخدمة دليلًا بدون معرفة عن محتوى الكتلة عبر سلسلة جبال ميركل- يحمل المستخدم رموز DAO في الكتلة #17،000،000 (الخطوة 2 أعلاه)؛ ثم يقوم مقدم الخدمة بإنشاء دليل آخر بدون معرفة يثبت أن المستخدم يحمل رموز DAO داخل الكتلة- يقوم مقدم الخدمة بتجميع البرهان الذي تم إنشاؤه أعلاه في برهان بدون معرفة- يتم إرسال البرهان المجمع ZK بعد ذلك إلى عقد الذكاء الاصطناعي لتطبيق الاقتراع على السلسلة الهدف للتحقق من البرهان ZK والسماح للمستخدم بالتصويت بمجرد نجاح التحقق.## بناء فريق في هذا المجالبعض المشاركين يقومون ببناء عقود ذكية تسمح للعقود الذكية بالوصول إلى البيانات على السلاسل التاريخية بطريقة تقلل من الثقة.
حالياً،بديهيةيعمل على شبكة البلوكتشين الخاصة بإيثيريوم وملتزم بتوفير عقود ذكية على إيثيريوم والوصول إلى البيانات التاريخية لإيثيريوم من خلال دلائل تخزين zk. كما يعمل الفريق على تعزيز قدرات الحوسبة خارج السلسلة بناءً على البيانات التاريخية واستخدام المعرفة الصفرية لإثبات دقة هذه البيانات والحسابات.
بروتوكول البقايايوفر نهجًا تقنيًا مماثلًا لأكسيوم، ويعمل البروتوكول على إثريوم و zkSync Era. تستخدم Relic دلائل إدراج Merkle لإثبات إدراج البيانات (بدلاً من طريقة أكسيوم في إثبات إدراج Merkle في صفر المعرفة).
هيرودوتتعمل على توفير البيانات التاريخية حول إثيريوم لبروتوكولات الطبقة 2. التنفيذ الاختباري متاح الآن على Starknet و zkSync Era. مع تمويل من مؤسسة OP، نعتقد أننا نعرف إلى أين يتجه فريق هيرودوتوس المقبل.
مختبرات لاغرانج لابزلقد قدمت بما فيه الكفاية دليلًا قابلا للتحديث بالكامل من خلال ابتكار ZK MapReduce (ZKMR) الأخير. إنه يستخدم وعدًا بالناقل الجديد يسمىRecproofsلتوسيع مفهوم القابلية للتحديث إلى حساب البيانات.
الفرق تعمل على شهادة التخزين
نهايةفي هذه المقالة، وصفنا كيف يمكن أن يدعم إثبات التخزين التحقق من البيانات على السلسلة التاريخية دون الاعتماد على الأطراف الثالثة. هذا يجعلها أداة قيمة للتكوين على السلسلة والتوافق بين السلاسل.
مع استمرار تحول القيمة المغلقة الإجمالية (TVL) من Ethereum إلى النظام البيئي من الطبقة 2، نتوقع ظهور المزيد من التطبيقات التعبيرية التي تستخدم البيانات التاريخية على السلسلة من خلال دلائل التخزين.
بينما تصبح تقنية الصفر المعرفة أسرع وأرخص، إلا أن توليد البراهين التخزينية بشكل مستمر لمواكبة التكاليف المرتبطة بالبقاء على السلسلة لا يزال تحديًا. ستعتمد ربحية مثل هذه الخدمات على حجم الاستعلامات التي تولدها تطبيق الاستعلام.
على الرغم من التحديات، لا يمكن التشديد بشكل كاف على أهمية دليل الاتفاق ودليل التخزين المدعوم بتقنية الصفر المعرفة. نتطلع إلى رؤية كيف سيتم استخدام هذه التقنيات لبناء مستقبل متعدد السلاسل مع الحد الأدنى من الثقة.
إخلاء المسؤولية:- تم نقل هذه المقالة من [المصدر]مرآة]. جميع حقوق الطبع والنشر تنتمي إلى الكاتب الأصلي [Jacob, Hitesh, Ji Hao]. إذا كانت هناك اعتراضات على هذا النشر المكرر، يرجى الاتصال بفريق Gate Learn（gatelearn@Gate.com）، وسيتولون بالأمر على الفور.- إخلاء المسؤولية عن الضرر: الآراء والآراء المعبر عنها في هذه المقالة هي فقط تلك للكاتب ولا تشكل أي نصيحة استثمارية.- تتم ترجمة المقال إلى لغات أخرى من قبل فريق Gate Learn. ما لم يذكر غير ذلك، يُمنع نسخ أو توزيع أو سرقة المقالات المترجمة.
