StarkWare تطلق مصححًا مشتركًا SHARP: كيفية تقليل رسوم الغاز بشكل أكبر؟

بقلم: StarkWare

الترجمة والتدقيق اللغوي: مجتمع Starknet الصيني

حقائق سريعة مميزة

• تقوم SHARP (المُثبِّت المشترك) بإنشاء براهين STARK لبرامج القاهرة المُجمَّعة ، مما يسمح لأي تطبيق بإرسال المعاملات إلى نفس الإثبات. تخيل تجمع سيارات ديدي ، ولكن لإثبات ستارك. تعني ديناميكية "مشاركة السيارات" هذه أنه حتى التطبيقات الصغيرة يمكنها جني القوة الهائلة لملحقات STARK.
• بغض النظر عن مدى تنوع dApp ، طالما أنه مكتوب في القاهرة ، يمكن لـ SHARP التصديق. ستقوم SHARP بحزم ما يقرب من 220.000 معاملة في إثبات واحد على شبكة Ethereum mainnet.
• يمكن للأدلة المتكررة باستخدام SHARP معالجة والتحقق من عدة براهين STARK بشكل متوازٍ ، مما يحسن قابلية التوسع والكفاءة.
• مع تخصيص التخطيط الديناميكي SHARP القادم ، سيتم تخفيض رسوم الغاز بنسبة تصل إلى 30٪.

جولة ممتدة

Scaling Ethereum هي رحلة ابتكار ، تبحث باستمرار عن حلول لزيادة تحسين قابلية التوسع. في يونيو 2020 ، أطلقت StarkWare StarkEx ، أول حل لتوسيع L2 يعتمد على STARK. في سبتمبر 2020 ، تم الإعلان عن لغة القاهرة ، وهي أول لغة برمجة مصممة لزيادة كفاءة براهين ستارك. القاهرة ، إلى جانب الحوسبة العامة ، تمهد الطريق لإثباتات مشفرة سريعة وآمنة لأي منطق عمل وبيانات حسابية عشوائية. مع هذا الابتكار ، انضمت موجة جديدة من المطورين إلى نظام StarkWare البيئي.

بينما يريد المطورون قابلية التوسع والأمان والكفاءة في StarkEx ، فإن معظم مشاريعهم لا تحتوي على نشاط معاملات كافٍ لملء إثبات STARK. وبالمثل ، لا يزال المستخدمون يعانون من عدم القدرة على التنبؤ بارتفاع رسوم الغاز بسبب الازدحام على شبكة Ethereum.

وهكذا ، ولدت شارب.

ما هي شارب؟

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

على سبيل المثال ، يمكن لـ SHARP التعامل مع كود القاهرة من برامج ومنطق مختلف تمامًا ، بما في ذلك سك NFT حتى نظام تشغيل شبكة Starknet. يمكن لـ SHARP أن تصدق على ما هو مكتوب في القاهرة ، ويمكنها تجميع برامج مختلفة تحت دليل واحد. تسمح الكفاءات التي توفرها SHARP بتجميع آلاف المعاملات في دليل واحد على mainnet. يتم استهلاك تكلفة معالجة البراهين على السلسلة عبر جميع المعاملات في دفعة واحدة ، لذلك كلما تم حزم المزيد من المعاملات ، انخفضت تكلفة الغاز لكل معاملة.

لتوضيح ذلك بمثال:

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

! [StarkWare تطلق SHARP: كيف يمكن تقليل تكاليف الغاز بشكل أكبر؟ ] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-104f5496e4-dd1a6f-1c6801)

ومع ذلك ، واجه مكتب البريد مشكلة. لقد ولت الصناديق الصغيرة والمتوسطة ، ولم يتبق سوى الصندوق الكبير الذي يتسع لأي حجم. هذا يترك خيارين:

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

** الخيار 2: ** أرسل جميع الهدايا بالبريد في صندوق واحد كبير. هذا يعني أنه عليك فقط التعامل مع صندوق واحد بدلاً من ثلاثة.

في هذا المثال ، SHARP هو الخيار 2 ، مما يسمح باستخدام الموارد بكفاءة وإدارة أكثر سلاسة للوقت.

حاد

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

! [StarkWare تطلق SHARP: كيف يمكن تقليل تكاليف الغاز بشكل أكبر؟ ] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-ec42a08b16-dd1a6f-1c6801)

حاد متكرر

منذ إنشائها ، خضعت SHARP للعديد من ترقيات الكفاءة. أقوىها هو الانتقال من النماذج الخطية إلى النماذج العودية.

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

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

بعد التنفيذ التكراري ، تثبت SHARP المطالبات الواردة على الفور. يمكن تكرار البراهين نفسها ودمجها في براهين متكررة. يتم تنفيذ عملية الإثبات العودية هذه حتى النهاية ، ويتم تقديم الدليل النهائي إلى عقد مدقق على سلسلة Solidity. إنه يشبه المخطط المتداخل: يتحقق برنامج القاهرة من البراهين الأولية ، والتي بدورها تنتج براهين جديدة ، ويؤكد مدققو STARK صحتها.

! [StarkWare تطلق SHARP: كيف يمكن تقليل تكاليف الغاز بشكل أكبر؟ ] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-1c00ea13aa-dd1a6f-1c6801)

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

! [StarkWare تطلق SHARP: كيف يمكن تقليل تكاليف الغاز بشكل أكبر؟ ] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-e7efb2f1ea-dd1a6f-1c6801)

الخطوة التالية: التخطيط الديناميكي

يقوم فريق StarkWare حاليًا بتطوير تخطيطات ديناميكية كتخصيص لخدمة SHARP. باستخدام التخطيط الديناميكي ، يقوم المُثبِّت بحساب الموارد المطلوبة لكل منطق محدد وإنشاء إثبات مخصص وفقًا لذلك.

! [StarkWare تطلق SHARP: كيف يمكن تقليل تكاليف الغاز بشكل أكبر؟ ] (https://img-cdn.gateio.im/resized-social/moments-69a80767fe-44ff3eb102-dd1a6f-1c6801)

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

يأمل فريق StarkWare في تقديم تحسين القدرة على التكيف والكفاءة في إصدار SHARP التالي. الهدف من التصميم الديناميكي هو تقليل تكاليف الغاز بشكل كبير.

من خلال الاستفادة من إنشاء الدليل التكراري المستند إلى STARK ، ستعمل هذه التقنية على تحسين قابلية التوسع وكفاءة شبكة Ethereum بشكل كبير.