sequencer example l2

مثال على توثيق التراكمي

يحتوي هذا المستودع على مثال تراكمي يتكامل مع Espresso Sequencer. يمثل المثال التراكمي مخزن حساب بسيط للمفتاح/القيمة يتلقى المعاملات المطلوبة من Espresso، وينفذها في الجهاز الظاهري التراكمي، وينشر إثباتات حالة وهمية لعقد ذكي L1 (Ethereum). تحتوي المجموعة المجمعة على واجهة برمجة تطبيقات بسيطة لإرسال المعاملات والاستعلام عن أرصدة الحسابات.

مقدمة

تم بناء Espresso على HotShot، وهي شبكة تحقق الإجماع على دفعات من المعاملات المجمعة. على مستوى عالٍ، يعد التجميع عبارة عن حل قياس L1 يقوم بإجراء عمليات حسابية باهظة الثمن خارج السلسلة. في حالة zkRollups، يقوم المُثبت بشكل دوري بإرسال نقاط فحص حالة التجميع مع إثباتات دفعة من صحة المعاملة إلى L1. المثال الموضح هنا هو نموذج zkRollup وهمي. لمعرفة المزيد حول مجموعات Espresso، اقرأ مستنداتنا

تشغيل المثال

المتطلبات الأساسية

تأكد من تثبيت docker على نظامك.

بالنسبة لتوزيعات Linux، اتبع التعليمات الرسمية لتوزيع Linux الخاص بك أو راجع تعليمات عامل الإرساء الرسمية.

تشغيل مجموعة الأمثلة على جهاز تسلسل الإسبريسو

نحتاج أولاً إلى بدء شبكة Espresso Sequencer المحلية.

 git clone https://github.com/EspressoSystems/espresso-sequencer
cd espresso-sequencer
docker compose pull
docker compose up -d --wait

بمجرد الانتهاء من نشر المثال التراكمي، يمكن تشغيله محليًا.

للتشغيل محليًا، يلزم وجود سلسلة أدوات الصدأ. نحن نقدم shell nix لتثبيت كافة التبعيات. يمكن تثبيت Nix عبر مثبت nix. بمجرد التثبيت، قم بتشغيل ما يلي من جذر المشروع:

 nix develop
just dev-demo

التفاعل مع العرض التوضيحي

بعد تشغيل just dev-demo ، ستتمكن من رؤية سجلات new state event بعد بضع دقائق.

1. توقع أليس على معاملة نقل الرموز المميزة إلى بوب. ترسل Alice هذه المعاملة إلى مجموعة التحديثات من خلال نقطة نهاية submit الخاصة بواجهة برمجة التطبيقات المجمعة. إذا كانت أليس قلقة بشأن الرقابة، فيمكنها إرسال معاملتها مباشرة إلى جهاز التسلسل.
2. يقوم خادم واجهة برمجة التطبيقات المجمعة بإعادة توجيه المعاملة إلى جهاز التسلسل. يتم وضع علامة على المعاملة بمعرف مساحة الاسم الفريد للمجموعة المحتسبة حتى تتمكن المجموعة المحتسبة من تحديد المعاملات الخاصة بها في الخطوة 4.
3. تقوم شبكة التسلسل بمعالجة المعاملة، وفي النهاية يتم تضمينها في كتلة. ترسل عقدة التسلسل الحالة الجديدة إلى عقد Light Client على L1، والذي يتحقق من التوصل إلى الإجماع بشأن الحالة الجديدة.
4. تتلقى خدمة المنفذ إشعارًا بالحالة الجديدة عبر الاشتراك في خدمة الاستعلام التي توفرها عقدة التسلسل.
5. يستمع المنفذ أيضًا إلى رؤوس الكتلة الجديدة التي تم تسلسلها على شبكة hotshot. ثم يقوم بجلب إثبات مساحة الاسم، وvid common، وتجزئة الكتلة.
6. يقوم المنفذ بعد ذلك بمعالجة المعاملات، ويقوم بالخطوات التالية:
   • يطبق المنفذ المعاملات على حالة VM. قبل التطبيق، يتم التحقق من صحة كل معاملة، ويتم تجاهل المعاملات غير الصالحة (سيتضمن التراكم الحقيقي في النهاية أدلة على بطلان المعاملة). في حالتنا، تحتوي الكتلة على معاملة واحدة من Alice إلى Bob. نظرًا لأن المعاملة تحتوي على توقيع صالح ولدى أليس رصيد كافٍ، فسيتم تطبيق المعاملة بنجاح ويتم تحديث الأرصدة.
   • بعد تطبيق المعاملة، يقوم المنفذ بتحديث حالة VM بالتزام الكتلة الجديد والتزام الحالة السابقة.
   • يحسب المنفذ التزام الحالة الجديد، ويقوم بإنشاء دليل وهمي على أنه تم تحديث الحالة بشكل صحيح فيما يتعلق بالتزام كتلة HotShot.
7. يقوم المنفذ بنشر الدليل على عقد التراكم.
8. يتحقق عقد التجميع من الإثبات عن طريق الاستعلام عن أحدث التزام كتلة معتمد من عقد التسلسل. ملاحظة: في تطبيقنا الحالي، لا نقوم بالكثير من التحقق في العقد. لأغراض الإنتاج، سيحتاج عقد التجميع إلى إجراء عمليات تحقق إضافية مع حالة العميل الخفيفة.
9. يستعلم بوب عن رصيده باستخدام واجهة برمجة التطبيقات المجمعة، ويرى أنه قد تلقى بعض الرموز المميزة الجديدة. إذا كان هذا تراكمًا حقيقيًا، فيمكن لـ Bob الذي قد لا يثق به أن يتحقق من رصيده مقابل التزام حالة العقد المجمع (لا يتضمن المثال حاليًا هذه الميزة).

العمارة التراكمية

حالة التجميع

تتكون حالة المثال التراكمي من:

• الحسابات : تعيين عناوين ECDSA (نمط EVM) إلى أرصدة الرموز الوهمية.
• تجزئة الكتلة : تجزئة أحدث كتلة إجماعية فعالة.
• التزام الحالة السابقة : التزام تشفير بحالة القيمة المحتسبة قبل خطوة التنفيذ الأخيرة.
• VM : معلومات حول Rollup VM. في الوقت الحالي، هذا معرف بسيط.

المنفذ

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

واجهة برمجة التطبيقات المجمعة

واجهة برمجة التطبيقات المجمعة هي واجهة برمجة تطبيقات REST تتضمن نقطة نهاية submit query .

عقد التراكمي

يخزن عقد القيمة المحتسبة أحدث التزام بحالة القيمة المحتسبة. يقوم العقد بتحديث التزام الدولة عندما يتلقى إثباتًا صالحًا لانتقال الحالة من المنفذ.

اسبريسو

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

العميل الخفيف

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

شبكة اسبريسو

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

هوتشوت

تستخدم Espresso Network HotShot لتحقيق الإجماع على حالة القيمة المحتسبة.