![مقدمة أدلة التخزين هي طريقة تشفير لتتبع معلومات blockchain بحيث يمكن مشاركتها عبر السلاسل. على غرار oracles ، توفر أدلة التخزين دليلاً على صحة المعلومات. ومع ذلك ، على عكس oracles ، لا تتطلب الثقة في طرف ثالث لهذا الدليل ؛ بدلاً من ذلك ، مع إثباتات التخزين ، يتم بناء الثقة في التخزين.

في بعض الحالات ، يمكن أن تحل أدلة التخزين محل أوراكل. في حالات أخرى ، يمكن لأدلة التخزين تحسينها وفتح حالات استخدام blockchain جديدة لم تكن ممكنة من قبل.

لذلك دعونا ننظر بالتفصيل في إثباتات التخزين - ما هي ، وكيف تعمل ، وحالات استخدامها ، وكيف يمكنها تحسين (وأحيانًا استبدال) أوراكل.

ما هي براهين التخزين؟

تسمح لك براهين التخزين بفتح التزامات التشفير للدولة ، ويمكن تحسينها بالزواج مع S [N / T] ARKS. . تثبت أدلة الصلاحية هذه وجود حالة معينة وكانت صالحة في كتلة معينة في الماضي.

في الأساس ، البلوكشين عبارة عن قواعد بيانات تحتوي على بيانات ملتزمة بشكل مشفر باستخدام أشجار Merkle ، وأشجار Merkle Patricia ، وأشجار Verkle ، وما إلى ذلك). نظرًا لأن جميع البيانات ملتزمة ، يمكننا إثبات أن بعض المعلومات مغلفة في حالة معينة. ومع ذلك ، مع مخططات الالتزام البسيطة ، يصبح حجم هذا الدليل أكثر بروزًا مع زيادة حجم البيانات التي يتضمنها. يصبح التحقق من مثل هذه البراهين على السلسلة مكلفًا للغاية بحيث لا يكون عمليًا.

من ناحية أخرى ، يمكن أن تكون أدلة التخزين ، عند استخدامها مع STARKs أو SNARKs ، صغيرة نسبيًا ، وتسمح لك بالتحقق من حالة معينة ، في وقت محدد ، وفي أي مجال - دون الوثوق بطرف ثالث . بدلاً من الأطراف الثالثة ، يعتمدون على أمان السلسلة الأساسية نفسها.

لماذا هذا مهم؟ لا تعد Ethereum اليوم سلسلة متجانسة بسيطة (L1) كما كانت منذ عدة سنوات. مع ظهور حلول L2 ، تنتشر البيانات الآن عبر سلاسل متعددة.

لم يعد من الممكن عمل افتراضات متزامنة حول حالة السلسلة. العديد من الحلول لمشاركة البيانات موجودة الآن مثل أنظمة المراسلة L1-> L2 والجسور عبر السلاسل و oracles. لكن المشكلة في هذه الحلول الحالية هي أنها تتضمن الثقة في طرف ثالث مثل المرحلات والموقعين متعددي التوقيع واللجان. تسمح لنا أدلة التخزين بالتحقق من حالة blockchain في أي وقت باستخدام التزامات التشفير مع افتراض عدم الثقة في طرف ثالث.

حالات استخدام البراهين التخزين

نظرًا لأن براهين التخزين تسمح لنا "بضغط" بلوكشين بكفاءة ونقل البيانات إلى مكان آخر ، فإن لديهم عددًا قليلاً من التطبيقات. تسمح تكلفة التحقق المعقولة ، وهي خاصية متكاملة لبراهين التخزين ، بالتحقق من صحة الإثبات في سلسلة الوجهة ، مما يقلل من الحاجة إلى تطوير أنظمة الرسائل عبر السلاسل.

تشمل حالات الاستخدام المحتملة ما يلي:

الوصول إلى المعلومات العامة لسلسلة من سلسلة أخرى حول الحالة والمعاملات على blockchain. أنظمة تصويت مبسطة عبر سلسلة . كثيرًا ما يحتفظ المستخدمون بأصولهم في سلسلة A بطيئة ولكنها أكثر أمانًا ، ولكن بعض التصويت القائم على الرموز يحدث في سلسلة B مع معاملات أرخص. هذا يفرض على المستخدم إما تخطي تصويته أو دفع رسوم معاملات ضخمة لتوصيل أصوله من A إلى B ، والإدلاء بأصواته ، ثم إعادة ربطها مرة أخرى إلى A. في مثل هذه الحالات ، تمكن أدلة التخزين المستخدمين من إثبات رصيدهم المميز في السلسلة A في كتلة معينة والإدلاء بأصواتهم بسلاسة على السلسلة B. بديل للجسور المتقاطعة . حاليًا ، تفترض الجسور عبر السلاسل مستوى من الثقة في طرف ثالث لأنها تتضمن عادةً وسيطًا ، مثل الحارس أو منظمة مستقلة لامركزية (DAO). هذا الوسيط مسؤول عن ضمان استلام مبلغ معين من الرموز المميزة في سلسلة المصدر من قبل الوسيط وعن الاحتفاظ بالأصول في سلسلة المصدر. بعد ذلك ، يتم سك الرموز المميزة المقابلة في سلسلة الوجهة. يمكن لأدلة التخزين تمكين الجسور عبر السلاسل غير الموثوقة نظرًا لأن تطبيق العقد الذكي في سلسلة الوجهة يمكن أن يتحقق من صحة المعاملة حيث تم نقل الأصول إلى عقد الجسر الذكي في سلسلة المصدر وصك الأصول المجمعة. ومع ذلك ، في كثير من الحالات ، قد يتم التخلص من الحاجة إلى نقل الأصول بين السلاسل لأن ملكية الأصول في سلسلة أخرى يمكن إثباتها ببساطة من خلال إثباتات التخزين. تجربة مستخدم محسّنة لحالات استخدام تجريد الحساب (AA) . تم تنفيذ AA في سلاسل مختلفة ويعتبر ابتكارًا حاسمًا في ضم أول مليار مستخدم إلى مساحة blockchain. باستخدام أدلة التخزين ، يمكن أن تشتمل المحافظ على وظيفة إضافية لاستعادة الوصول فقط إذا لم ترسل المحفظة أي معاملات على مدى فترة طويلة. يمكن أيضًا فرض فحوصات إضافية تتطلب استخدام بعض البيانات من سلاسل أخرى.

مثال على إثبات التخزين

Generating storage proofs on EVM-compatible chains is straightforward. For example, Web3.js library has the `getProof` function that can generate proof of a contract’s state on Ethereum (and other EVM-compatible chains such as Polygon or BSC). A contract address and the storage slot for the contract must be passed to the function.

في Ethereum ، تستخدم العقود الذكية متجرًا ذا قيمة رئيسية لتخزين البيانات في وحدات التخزين الخاصة بهم. يتم تخزين كل جزء من البيانات في مكان محدد يُعرف باسم "فتحة التخزين". فتحات التخزين هي مواقع ذاكرة داخل مساحة تخزين العقد ويتم تحديدها بواسطة فهرس فريد. لنلقِ نظرة على نموذج عقد ذكي مع الكود التالي المنشور على Ethereum mainnet في 0xcc… da8b .

The `owner` variable would be stored at slot 0. Now, to generate the proof that the `owner` of this contract was an address A, we can use the `getProof` function as follows:

يبدو إخراج الكود أعلاه كما يلي:

يحتوي "storageProof" الذي تم إرجاعه على إثبات التخزين لمتغير "owner". نظرًا لأن Ethereum تستخدم Merkle Patricia Trees للالتزام بحالة الحسابات وتخزينها ، يمكن استخدام التخزين الذي تم إنشاؤه لإثبات فتحة التخزين (أو حالة الحساب). ومع ذلك ، كما ذكرنا سابقًا ، فإن هذه البراهين ليست قابلة للتطوير بدرجة كافية لمناقشة عمليات نقل الرسائل عبر السلاسل. يمكن أن يؤدي استخدام رياضيات ZK المعقدة فوق ذلك إلى تقليل الحساب المطلوب للتحقق من الإثبات.

إذن كيف تقارن براهين التخزين وتتناقض مع أوراكل؟

حسب التصميم ، لا تستطيع blockchain استرداد البيانات خارج السلسلة. هذا يحافظ على blockchain غير موثوق به ولكنه أيضًا يضع قيودًا على قدرة العقد الذكي على اتخاذ القرارات بناءً على أحداث العالم الحقيقي. يتم استخدام Oracles أيضًا بشكل شائع للحصول على معلومات blockchain التاريخية ، حيث أن الحصول على هذه البيانات مباشرة يمثل تحديًا كبيرًا وبالتالي عرضة للأخطاء.

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

Chainlink مثال على blockchain oracle الذي يوفر مجموعة متنوعة من بيانات العالم الحقيقي (أسعار الأسهم وبيانات الطقس وما إلى ذلك) ، وخدمات الحساب خارج السلسلة لتقليل تكلفة العمليات الحسابية الثقيلة على السلسلة والخدمات عبر السلاسل التي تقرأ وتكتب المعلومات بين سلاسل الكتل المختلفة.

نظرًا لأن العقود الذكية ليس لها طريقة أخرى لمعرفة ما يحدث في العالم الحقيقي باستثناء استخدام oracles ، فقد أصبحت oracles جزءًا لا غنى عنه من النظام البيئي blockchain.

حالة أوراكل على ستاركنت

في Starknet testnet ، توفر Chainlink المذكورة سابقًا خلاصات بيانات الأسعار لسبعة أزواج من العملات المشفرة وقد دخلت في شراكة مع فريق Starkware من أجل "تسريع تطوير التطبيقات والنمو العام لنظام StarkNet البيئي". يقلل Chainlink افتراض الثقة مع شبكة لامركزية من العقد التي توفر بيانات من مصادر خارج السلسلة ، لكن تجميع البيانات يحدث خارج السلسلة.

تعد Pragma و Stork Network من أكبر مزودي خدمة oracle على Starknet ، وتعمل على كل من mainnet و testnet. إلى جانب مؤشرات الأسعار لأزواج العملات المشفرة المتعددة ، تعمل Pragma على تنفيذ تغذية عشوائية يمكن التحقق منها على الشبكة الرئيسية والتي من شأنها أن تسمح للبروتوكولات بطلب عشوائية آمنة على السلسلة. تستند تغذية الأسعار على براغما إلى عروض الأسعار المقدمة من المؤسسات الكبيرة وصناع السوق ، ويحدث تجميع الأسعار على السلسلة مع الاستفادة من تقنية ZK الفعالة.

هل يمكن استبدال أو تحسين أوراكل ببراهين التخزين؟

في بعض الحالات ، نعم ، يمكن لإثبات التخزين أن يحل محل أوراكل.

ليست كل البيانات المقدمة بواسطة oracles تحتاج في الواقع إلى أن يتم توفيرها من قبل طرف ثالث. في بعض الحالات ، كانت البيانات التي قدمتها أوراكل متاحة بالفعل على السلسلة (في شكل تخزين على السلسلة ، أو معاملة) ويمكن استردادها من خلال إلقاء نظرة خاطفة على حالة سابقة من blockchain. في هذه الحالات ، يمكن لإثبات التخزين أن يحل محل الحاجة إلى الثقة في طرف ثالث و oracle ، ويسمح للعقود الذكية بالاعتماد كليًا على أمان التزامات التشفير.

في حالات أخرى ، حيث لا يمكن لبراهين التخزين أن تحل محل أوراكل تمامًا ، فلا يزال بإمكانهم تحسينها بوظائف إضافية ، مثل ما يلي:

ينقل Oracles المعلومات من مزودي البيانات إلى مستهلكي البيانات. ومع ذلك ، ليس كل مستهلكي البيانات على نفس السلسلة. بمساعدة أدلة التخزين ، من الممكن إكمال بعض العمليات الحسابية على البيانات من مصادر مختلفة وتصدير النتيجة إلى سلاسل أخرى . سلسلة المصادر المفضلة لمثل هذه البيانات هي تلك التي تحتوي على حسابات رخيصة ، ويمكن التحقق من صحة الإثبات بشكل فعال من حيث التكلفة على سلاسل الوجهة الأخرى. يعد Herodotus أحد رواد البحث في هذا المجال ، وهم يوفرون الوصول إلى البيانات عبر المجالات عبر سلاسل Ethereum المختلفة باستخدام أدلة التخزين ورياضيات ZK. تشارك Pragma أيضًا مع Herodotus لتمكين دعم oracle عبر السلاسل في المستقبل القريب. يمكن لأدلة التخزين أن توحد حالة التجميعات المتعددة ، بل وتسمح بقراءات متزامنة بين طبقات Ethereum. من التحسينات الأخرى الاسترداد غير الموثوق به للبيانات التاريخية المنشورة على السلسلة . بلوكشين ذات حالة مثل Ethereum و Starknet تسجل وتحافظ على حالتها بشكل مشفر من خلال هياكل البيانات المتخصصة ، مثل أشجار Merkle / Verkle و MPTs. هذا يجعل من الممكن إثبات إدراج أي بيانات مخزنة في هذه الهياكل. وبالتالي ، يمكن أيضًا الوثوق بأي بيانات سابقة منشورة على السلسلة واسترجاعها واستخدامها في تطبيقات أخرى (وليس بالضرورة على نفس السلسلة). تسمح أدلة التخزين هذه للعقود الذكية بالوصول إلى المعلومات التي يعود تاريخها إلى مجموعة التكوين. تبحث براغما في جدوى تطوير أوراكل كـ L3 على Starknet حيث يمكن "سحب" البيانات من سلاسل أخرى والتحقق منها باستخدام إثباتات التخزين. تشمل فوائد وجود oracle في مجال مختلف أعلى شبكة رخيصة حسابيًا مثل Starknet ما يلي: نظرًا لأن L3 يمكن أن يكون سلسلة قابلة للتخصيص بدرجة كبيرة ، يمكن تعديل العديد من المعلمات لتحقيق توافق في الآراء بشكل أسرع على الكتل ، مما يقلل بشكل كبير من زمن انتقال البيانات لـ oracle. بالاقتران مع براهين التخزين ، يمكن نقل البيانات ذات زمن الانتقال المنخفض بشكل غير متزامن إلى سلاسل أخرى ، عند الوصول إلى إجماع في سلسلة المصدر. إمكانية تعزيز الثقة في البيانات من خلال تطوير نظام يحمل في ثناياه عوامل في المستوى 3 لخفض مزودي البيانات غير النزيهين. إذا تم منح الحوافز المناسبة ، يمكن لمقدمي البيانات في المستوى 3 مشاركة أصولهم كضمان لنشر البيانات الصحيحة. نظرًا لأن إجماع الشبكة بأكملها على L3 ضروري قبل أن تتمكن السلاسل الأخرى من استخدام البيانات ، يمكن اعتبار البيانات المقدمة بواسطة أوراكل مؤمنة من خلال حصة المدقق في L3. خاتمة

خلال الأشهر العديدة الماضية ، منحنا الاستخدام المتزايد لـ L2s على Ethereum رؤية أوضح لمستقبل الصناعة. اكتسب السرد L2 زخمًا مع شبكات مثل Starknet و Optimism و Arbitrum . ومع ذلك ، فإن إحدى الدعائم الأساسية لنموها كانت تنفيذ نظام رسائل لامركزي عبر سلاسل. على الرغم من أنها لا تزال في مرحلة النشوء ، إلا أن براهين التخزين تعد بتحسينات مذهلة لهذه المشكلة.

شكراً جزيلاً لـ Marcello Bardus & Kacper Koziol لمراجعة هذا المقال.](https://images.mirror-media.xyz/publication-images/n3LXQDOddqnltpYqqCFxb.png?height=808&width=1400)

![مقدمة أدلة التخزين هي طريقة تشفير لتتبع معلومات blockchain بحيث يمكن مشاركتها عبر السلاسل. على غرار oracles ، توفر أدلة التخزين دليلاً على صحة المعلومات. ومع ذلك ، على عكس oracles ، لا تتطلب الثقة في طرف ثالث لهذا الدليل ؛ بدلاً من ذلك ، مع إثباتات التخزين ، يتم بناء الثقة في التخزين.

في بعض الحالات ، يمكن أن تحل أدلة التخزين محل أوراكل. في حالات أخرى ، يمكن لأدلة التخزين تحسينها وفتح حالات استخدام blockchain جديدة لم تكن ممكنة من قبل.

لذلك دعونا ننظر بالتفصيل في إثباتات التخزين - ما هي ، وكيف تعمل ، وحالات استخدامها ، وكيف يمكنها تحسين (وأحيانًا استبدال) أوراكل.

ما هي براهين التخزين؟

تسمح لك براهين التخزين بفتح التزامات التشفير للدولة ، ويمكن تحسينها بالزواج مع S [N / T] ARKS. . تثبت أدلة الصلاحية هذه وجود حالة معينة وكانت صالحة في كتلة معينة في الماضي.

في الأساس ، البلوكشين عبارة عن قواعد بيانات تحتوي على بيانات ملتزمة بشكل مشفر باستخدام أشجار Merkle ، وأشجار Merkle Patricia ، وأشجار Verkle ، وما إلى ذلك). نظرًا لأن جميع البيانات ملتزمة ، يمكننا إثبات أن بعض المعلومات مغلفة في حالة معينة. ومع ذلك ، مع مخططات الالتزام البسيطة ، يصبح حجم هذا الدليل أكثر بروزًا مع زيادة حجم البيانات التي يتضمنها. يصبح التحقق من مثل هذه البراهين على السلسلة مكلفًا للغاية بحيث لا يكون عمليًا.

من ناحية أخرى ، يمكن أن تكون أدلة التخزين ، عند استخدامها مع STARKs أو SNARKs ، صغيرة نسبيًا ، وتسمح لك بالتحقق من حالة معينة ، في وقت محدد ، وفي أي مجال - دون الوثوق بطرف ثالث . بدلاً من الأطراف الثالثة ، يعتمدون على أمان السلسلة الأساسية نفسها.

لماذا هذا مهم؟ لا تعد Ethereum اليوم سلسلة متجانسة بسيطة (L1) كما كانت منذ عدة سنوات. مع ظهور حلول L2 ، تنتشر البيانات الآن عبر سلاسل متعددة.

لم يعد من الممكن عمل افتراضات متزامنة حول حالة السلسلة. العديد من الحلول لمشاركة البيانات موجودة الآن مثل أنظمة المراسلة L1-> L2 والجسور عبر السلاسل و oracles. لكن المشكلة في هذه الحلول الحالية هي أنها تتضمن الثقة في طرف ثالث مثل المرحلات والموقعين متعددي التوقيع واللجان. تسمح لنا أدلة التخزين بالتحقق من حالة blockchain في أي وقت باستخدام التزامات التشفير مع افتراض عدم الثقة في طرف ثالث.

حالات استخدام البراهين التخزين

نظرًا لأن براهين التخزين تسمح لنا "بضغط" بلوكشين بكفاءة ونقل البيانات إلى مكان آخر ، فإن لديهم عددًا قليلاً من التطبيقات. تسمح تكلفة التحقق المعقولة ، وهي خاصية متكاملة لبراهين التخزين ، بالتحقق من صحة الإثبات في سلسلة الوجهة ، مما يقلل من الحاجة إلى تطوير أنظمة الرسائل عبر السلاسل.

تشمل حالات الاستخدام المحتملة ما يلي:

الوصول إلى المعلومات العامة لسلسلة من سلسلة أخرى حول الحالة والمعاملات على blockchain. أنظمة تصويت مبسطة عبر سلسلة . كثيرًا ما يحتفظ المستخدمون بأصولهم في سلسلة A بطيئة ولكنها أكثر أمانًا ، ولكن بعض التصويت القائم على الرموز يحدث في سلسلة B مع معاملات أرخص. هذا يفرض على المستخدم إما تخطي تصويته أو دفع رسوم معاملات ضخمة لتوصيل أصوله من A إلى B ، والإدلاء بأصواته ، ثم إعادة ربطها مرة أخرى إلى A. في مثل هذه الحالات ، تمكن أدلة التخزين المستخدمين من إثبات رصيدهم المميز في السلسلة A في كتلة معينة والإدلاء بأصواتهم بسلاسة على السلسلة B. بديل للجسور المتقاطعة . حاليًا ، تفترض الجسور عبر السلاسل مستوى من الثقة في طرف ثالث لأنها تتضمن عادةً وسيطًا ، مثل الحارس أو منظمة مستقلة لامركزية (DAO). هذا الوسيط مسؤول عن ضمان استلام مبلغ معين من الرموز المميزة في سلسلة المصدر من قبل الوسيط وعن الاحتفاظ بالأصول في سلسلة المصدر. بعد ذلك ، يتم سك الرموز المميزة المقابلة في سلسلة الوجهة. يمكن لأدلة التخزين تمكين الجسور عبر السلاسل غير الموثوقة نظرًا لأن تطبيق العقد الذكي في سلسلة الوجهة يمكن أن يتحقق من صحة المعاملة حيث تم نقل الأصول إلى عقد الجسر الذكي في سلسلة المصدر وصك الأصول المجمعة. ومع ذلك ، في كثير من الحالات ، قد يتم التخلص من الحاجة إلى نقل الأصول بين السلاسل لأن ملكية الأصول في سلسلة أخرى يمكن إثباتها ببساطة من خلال إثباتات التخزين. تجربة مستخدم محسّنة لحالات استخدام تجريد الحساب (AA) . تم تنفيذ AA في سلاسل مختلفة ويعتبر ابتكارًا حاسمًا في ضم أول مليار مستخدم إلى مساحة blockchain. باستخدام أدلة التخزين ، يمكن أن تشتمل المحافظ على وظيفة إضافية لاستعادة الوصول فقط إذا لم ترسل المحفظة أي معاملات على مدى فترة طويلة. يمكن أيضًا فرض فحوصات إضافية تتطلب استخدام بعض البيانات من سلاسل أخرى.

مثال على إثبات التخزين

Generating storage proofs on EVM-compatible chains is straightforward. For example, Web3.js library has the `getProof` function that can generate proof of a contract’s state on Ethereum (and other EVM-compatible chains such as Polygon or BSC). A contract address and the storage slot for the contract must be passed to the function.

في Ethereum ، تستخدم العقود الذكية متجرًا ذا قيمة رئيسية لتخزين البيانات في وحدات التخزين الخاصة بهم. يتم تخزين كل جزء من البيانات في مكان محدد يُعرف باسم "فتحة التخزين". فتحات التخزين هي مواقع ذاكرة داخل مساحة تخزين العقد ويتم تحديدها بواسطة فهرس فريد. لنلقِ نظرة على نموذج عقد ذكي مع الكود التالي المنشور على Ethereum mainnet في 0xcc… da8b .

The `owner` variable would be stored at slot 0. Now, to generate the proof that the `owner` of this contract was an address A, we can use the `getProof` function as follows:

يبدو إخراج الكود أعلاه كما يلي:

يحتوي "storageProof" الذي تم إرجاعه على إثبات التخزين لمتغير "owner". نظرًا لأن Ethereum تستخدم Merkle Patricia Trees للالتزام بحالة الحسابات وتخزينها ، يمكن استخدام التخزين الذي تم إنشاؤه لإثبات فتحة التخزين (أو حالة الحساب). ومع ذلك ، كما ذكرنا سابقًا ، فإن هذه البراهين ليست قابلة للتطوير بدرجة كافية لمناقشة عمليات نقل الرسائل عبر السلاسل. يمكن أن يؤدي استخدام رياضيات ZK المعقدة فوق ذلك إلى تقليل الحساب المطلوب للتحقق من الإثبات.

إذن كيف تقارن براهين التخزين وتتناقض مع أوراكل؟

حسب التصميم ، لا تستطيع blockchain استرداد البيانات خارج السلسلة. هذا يحافظ على blockchain غير موثوق به ولكنه أيضًا يضع قيودًا على قدرة العقد الذكي على اتخاذ القرارات بناءً على أحداث العالم الحقيقي. يتم استخدام Oracles أيضًا بشكل شائع للحصول على معلومات blockchain التاريخية ، حيث أن الحصول على هذه البيانات مباشرة يمثل تحديًا كبيرًا وبالتالي عرضة للأخطاء.

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

Chainlink مثال على blockchain oracle الذي يوفر مجموعة متنوعة من بيانات العالم الحقيقي (أسعار الأسهم وبيانات الطقس وما إلى ذلك) ، وخدمات الحساب خارج السلسلة لتقليل تكلفة العمليات الحسابية الثقيلة على السلسلة والخدمات عبر السلاسل التي تقرأ وتكتب المعلومات بين سلاسل الكتل المختلفة.

نظرًا لأن العقود الذكية ليس لها طريقة أخرى لمعرفة ما يحدث في العالم الحقيقي باستثناء استخدام oracles ، فقد أصبحت oracles جزءًا لا غنى عنه من النظام البيئي blockchain.

حالة أوراكل على ستاركنت

في Starknet testnet ، توفر Chainlink المذكورة سابقًا خلاصات بيانات الأسعار لسبعة أزواج من العملات المشفرة وقد دخلت في شراكة مع فريق Starkware من أجل "تسريع تطوير التطبيقات والنمو العام لنظام StarkNet البيئي". يقلل Chainlink افتراض الثقة مع شبكة لامركزية من العقد التي توفر بيانات من مصادر خارج السلسلة ، لكن تجميع البيانات يحدث خارج السلسلة.

تعد Pragma و Stork Network من أكبر مزودي خدمة oracle على Starknet ، وتعمل على كل من mainnet و testnet. إلى جانب مؤشرات الأسعار لأزواج العملات المشفرة المتعددة ، تعمل Pragma على تنفيذ تغذية عشوائية يمكن التحقق منها على الشبكة الرئيسية والتي من شأنها أن تسمح للبروتوكولات بطلب عشوائية آمنة على السلسلة. تستند تغذية الأسعار على براغما إلى عروض الأسعار المقدمة من المؤسسات الكبيرة وصناع السوق ، ويحدث تجميع الأسعار على السلسلة مع الاستفادة من تقنية ZK الفعالة.

هل يمكن استبدال أو تحسين أوراكل ببراهين التخزين؟

في بعض الحالات ، نعم ، يمكن لإثبات التخزين أن يحل محل أوراكل.

ليست كل البيانات المقدمة بواسطة oracles تحتاج في الواقع إلى أن يتم توفيرها من قبل طرف ثالث. في بعض الحالات ، كانت البيانات التي قدمتها أوراكل متاحة بالفعل على السلسلة (في شكل تخزين على السلسلة ، أو معاملة) ويمكن استردادها من خلال إلقاء نظرة خاطفة على حالة سابقة من blockchain. في هذه الحالات ، يمكن لإثبات التخزين أن يحل محل الحاجة إلى الثقة في طرف ثالث و oracle ، ويسمح للعقود الذكية بالاعتماد كليًا على أمان التزامات التشفير.

في حالات أخرى ، حيث لا يمكن لبراهين التخزين أن تحل محل أوراكل تمامًا ، فلا يزال بإمكانهم تحسينها بوظائف إضافية ، مثل ما يلي:

ينقل Oracles المعلومات من مزودي البيانات إلى مستهلكي البيانات. ومع ذلك ، ليس كل مستهلكي البيانات على نفس السلسلة. بمساعدة أدلة التخزين ، من الممكن إكمال بعض العمليات الحسابية على البيانات من مصادر مختلفة وتصدير النتيجة إلى سلاسل أخرى . سلسلة المصادر المفضلة لمثل هذه البيانات هي تلك التي تحتوي على حسابات رخيصة ، ويمكن التحقق من صحة الإثبات بشكل فعال من حيث التكلفة على سلاسل الوجهة الأخرى. يعد Herodotus أحد رواد البحث في هذا المجال ، وهم يوفرون الوصول إلى البيانات عبر المجالات عبر سلاسل Ethereum المختلفة باستخدام أدلة التخزين ورياضيات ZK. تشارك Pragma أيضًا مع Herodotus لتمكين دعم oracle عبر السلاسل في المستقبل القريب. يمكن لأدلة التخزين أن توحد حالة التجميعات المتعددة ، بل وتسمح بقراءات متزامنة بين طبقات Ethereum. من التحسينات الأخرى الاسترداد غير الموثوق به للبيانات التاريخية المنشورة على السلسلة . بلوكشين ذات حالة مثل Ethereum و Starknet تسجل وتحافظ على حالتها بشكل مشفر من خلال هياكل البيانات المتخصصة ، مثل أشجار Merkle / Verkle و MPTs. هذا يجعل من الممكن إثبات إدراج أي بيانات مخزنة في هذه الهياكل. وبالتالي ، يمكن أيضًا الوثوق بأي بيانات سابقة منشورة على السلسلة واسترجاعها واستخدامها في تطبيقات أخرى (وليس بالضرورة على نفس السلسلة). تسمح أدلة التخزين هذه للعقود الذكية بالوصول إلى المعلومات التي يعود تاريخها إلى مجموعة التكوين. تبحث براغما في جدوى تطوير أوراكل كـ L3 على Starknet حيث يمكن "سحب" البيانات من سلاسل أخرى والتحقق منها باستخدام إثباتات التخزين. تشمل فوائد وجود oracle في مجال مختلف أعلى شبكة رخيصة حسابيًا مثل Starknet ما يلي: نظرًا لأن L3 يمكن أن يكون سلسلة قابلة للتخصيص بدرجة كبيرة ، يمكن تعديل العديد من المعلمات لتحقيق توافق في الآراء بشكل أسرع على الكتل ، مما يقلل بشكل كبير من زمن انتقال البيانات لـ oracle. بالاقتران مع براهين التخزين ، يمكن نقل البيانات ذات زمن الانتقال المنخفض بشكل غير متزامن إلى سلاسل أخرى ، عند الوصول إلى إجماع في سلسلة المصدر. إمكانية تعزيز الثقة في البيانات من خلال تطوير نظام يحمل في ثناياه عوامل في المستوى 3 لخفض مزودي البيانات غير النزيهين. إذا تم منح الحوافز المناسبة ، يمكن لمقدمي البيانات في المستوى 3 مشاركة أصولهم كضمان لنشر البيانات الصحيحة. نظرًا لأن إجماع الشبكة بأكملها على L3 ضروري قبل أن تتمكن السلاسل الأخرى من استخدام البيانات ، يمكن اعتبار البيانات المقدمة بواسطة أوراكل مؤمنة من خلال حصة المدقق في L3. خاتمة

خلال الأشهر العديدة الماضية ، منحنا الاستخدام المتزايد لـ L2s على Ethereum رؤية أوضح لمستقبل الصناعة. اكتسب السرد L2 زخمًا مع شبكات مثل Starknet و Optimism و Arbitrum . ومع ذلك ، فإن إحدى الدعائم الأساسية لنموها كانت تنفيذ نظام رسائل لامركزي عبر سلاسل. على الرغم من أنها لا تزال في مرحلة النشوء ، إلا أن براهين التخزين تعد بتحسينات مذهلة لهذه المشكلة.

شكراً جزيلاً لـ Marcello Bardus & Kacper Koziol لمراجعة هذا المقال.](https://images.mirror-media.xyz/publication-images/n3LXQDOddqnltpYqqCFxb.png?height=808&width=1400)