يُذكر أنه تم نشر Starknet 0.12.0 رسميًا على الشبكة الرئيسية في 12 يوليو ، مما أدى إلى زيادة الإنتاجية وانخفاض زمن الوصول. قبل قراءة هذه المقالة ، يجب أن يكون لديك فهم أولي لمفهوم إثبات عدم المعرفة:
ينتمي إثبات المعرفة الصفرية إلى مفهوم التشفير وهو إثبات تفاعلي. لنبدأ بمثال كلاسيكي: A عبارة عن عمى ألوان أحمر وأخضر ، و B بها كرتا بلياردو ، واحدة حمراء والأخرى خضراء. في عيون A ، كلتا الكرتين لها نفس اللون تمامًا ، ويحتاج B إلى أن يثبت لـ A أن إحدى كرتين من كرات البلياردو حمراء والأخرى خضراء. في هذا الوقت ، يضع A كرات البلياردو خلف ظهره ، ويمكنه تبديل الكرتين أم لا ، ويحتاج B إلى الحكم على ما إذا كان A قد قام بتبديل الكرتين ، ويكررها عدة مرات ، إذا كانت نتيجة تخمين B في كل مرة صحيحة ، ثم يعتقد A أن إحدى كرتين من كرات البلياردو حمراء والأخرى خضراء ، وهذا هو الوضع الحقيقي. هذا مثال لإثبات المعرفة الصفرية الكلاسيكي. في إثبات المعرفة الصفرية ، نحتاج فقط إلى هويتين من "المُثبِت" و "المُحقق".
** 1 مقدمة إلى Starknet **
StarkNet عبارة عن مجموعة صلاحية لامركزية غير مرخصة (تُعرف أيضًا باسم "ZK-Rollup"). كطبقة 2 على Ethereum ، فإنه يمكّن أي Dapp من تحقيق توسع غير محدود في الحوسبة دون التضحية بالتوافق وأمان Ethereum.
تأسست StarkWare ، الشركة الأم لـ StarekNet ، في عام 2018 ويقع مقرها الرئيسي في إسرائيل ، ومنتجاتها الرئيسية هي Starknet و StarkEx. بلغ تقييم شركتها 8 مليارات دولار أمريكي. حتى الآن ، مرت StarkNet بخمس جولات من التمويل ، حيث جمعت ما مجموعه 273 مليون دولار أمريكي.
من الجدير بالذكر أن مؤسسة Ethereum قد دعمت علنًا برامج starkware باستخدام صارخ ، وقدمت منحة بقيمة 12 مليون دولار لبرنامج starkware. وهذا أحد الأسباب التي تجعل الصناعة متفائلة بشكل عام بشأن التطور المستقبلي لشركة StarkNet وعقيدتها.
** نموذج اقتصادي رمزي **
أعلنت StarkNet في 16 نوفمبر 2022 أن رمزها الأصلي $ STRK سيتم نشره على شبكة Ethereum mainnet للتصويت والتسجيل ودفع الرسوم.
شكل 1-1 $ النموذج الاقتصادي لـ STARK Token
في النموذج الاقتصادي الرمزي ، باستثناء 49.9٪ من توكنات المستثمرين والمساهمين الأساسيين ، فإن الـ 50.1٪ المتبقية كلها مملوكة لمؤسسة StarkNet. من هذا ، تظل 8.1٪ من التوكنات غير مخصصة. سيستخدم المجتمع هذا الجزء لتحديد الاستخدام المقابل ، لذلك يُفترض عمومًا أن هذا الجزء من الرموز هو حصة محتملة للإسقاط الجوي. عينت مؤسسة Starknet أيضًا دييغو أوليفا المدير التنفيذي السابق لشركة Facebook كأول مدير تنفيذي لها. صرح أوليفا سابقًا أنه سيركز على إدارة مجتمع Starknet اللامركزي ، مع التركيز على حقوق ومصالح المطورين والمستخدمين.
** خريطة الطريق **
** V 0.12.0 الإنتاجية والكمون **
أعلن المسؤول مؤخرًا عن خريطة الطريق الشاملة لعام 2023. تم نشر الإصدار 0.12.0 رسميًا على الشبكة الرئيسية يوم الأربعاء ، 12 يوليو. يقدم أحدث إصدار من Starknet ، 0.12.0 ، تحسينات كبيرة في الأداء ، بما في ذلك تحسينات في الإنتاجية والكمون. من خلال اعتماد Sequencer المستندة إلى Rust و Rust-Cairo VM ، سيتم تحسين أداء StarkNet بشكل كبير ، وبدأت بورصة OKEX في دعم إيداع ETH starknet mainnet.
** V 0.13.0 تكلفة المعاملة **
في الإصدار V 0.13.0 ، سيتم تخفيض تكلفة معاملة Starknet بشكل كبير. يتم تحقيق ذلك من خلال الإرادة ، وهو مكون رئيسي لخفض تكاليف المعاملات. تمثل تكاليف بيانات L1 (Ethereum) 95٪ من تكاليف المعاملات اليوم ، وسيسمح Volition للمطورين ببناء تطبيقات Starknet باستخدام نموذج هجين لتوافر البيانات (DA). بالإضافة إلى ذلك ، من المتوقع أن يتم إصدار EIP-4844 من Ethereum (معاملات Blob المشتركة) في الربع الرابع من عام 2023. بسبب EIP-4844 من Ethereum و Starknet's Volition (توفر البيانات خارج السلسلة) ، سيتم تخفيض تكاليف بيانات Starknet بشكل كبير.
** V 0.14.0 Fee Marketplace **
يمثل ازدحام الشبكة صداعًا لكل مطور ومستخدم. لحل هذه المشكلة ، ستقدم Starknet سوقًا للرسوم في V 0.14.0 لتخصيص موارد Starknet المحدودة بكفاءة وفقًا لمقدار الغاز الذي يدفعه المستخدمون مقابل المعاملات.
** V 0.15.0 فاصل زمني أقصر للكتلة الثابتة **
في إصدار V0.15.0 ، تهدف بعض خطط التحسين إلى تحسين أداء وتجربة مستخدم Starknet ، وتقليل الفاصل الزمني للكتلة وتحسين إنتاجية الشبكة عن طريق فصل العلاقة بين الكتل والبراهين. هذا سيجعل Starknet منصة blockchain أكثر قوة وفعالية.
** 2 التحليل الفني **
** ZK-Rollup VS OP-Rollup **
حاليًا الطبقة الثانية الأكثر استخدامًا في السوق - التقنية الأساسية لـ Arbitrium هي OP-Rollup ، (Optimistic Rollup). يحقق التوسع من خلال أدلة الاحتيال. في Op-Rollup ، يعتقد النظام بتفاؤل أن بيانات المعاملة صحيحة ، دون التحقق في الوقت الفعلي ، والدخول مباشرة في فترة الانتظار. خلال فترة الانتظار ، إذا رفعت العقدة اعتراضًا وقدمت دليلًا لإثبات وجود معاملة ضارة ، فسيتم إلغاء المعاملة ؛ إذا لم يكن هناك اعتراض ، فسيتم إكمال المعاملة تلقائيًا والتحقق منها على السلسلة الرئيسية بعد الانتظار انتهت الفترة.
Starknet هي الطبقة الثانية القائمة على تقنية ZK-Rollup. تعتمد ZK-Rollup بشكل أساسي على تقنية إثبات عدم المعرفة.من خلال فصل عمليات الحساب والتحقق ، يتم الانتهاء من التحقق من تنفيذ العقد خارج السلسلة ، ثم يتم إرسال نتائج التحقق إلى شبكة Ethereum mainnet. يتم إجراء عملية الحساب خارج السلسلة ، ويتم تقديم نتيجة التحقق فقط إلى Ethereum كدليل ، لذلك ، توفر هذه الطريقة أعلى مستوى من الأمان وحماية خصوصية المستخدم.
بالمقارنة مع OP-rollup و ZK-rollup ، يعد ZK-rollup بديلاً أكثر أمانًا من OP-rollup ، بينما OP-rollup هو خيار أفضل لمشاريع DeFi مع توافق EVM. يمكن ملاحظة أن ZK-rollup المتوافق مع EVM سيكون اتجاه التطوير السردي المستقبلي للطبقة 2 مع مزايا الأمان الطبيعية. يتم تحقيق الأمن بفضل اعتماد StarkNet على STARK ، وهو نظام إثبات التشفير الأكثر أمانًا وقابلية للتطوير.
** Zk-STARKs VS Zk-SNARKs **
تعتبر كل من STARK (حجة المعرفة الشفافة القابلة للتطوير والمعرفة الصفرية) و Zk-SNARK (حجة المعرفة المختصرة غير التفاعلية الصفرية) كلاهما من تقنيات إثبات المعرفة الصفرية ، والتي تُستخدم لإنشاء البراهين التي يمكن التحقق منها دون الكشف عن جميع المعلومات. ولكن هناك بعض الاختلافات الرئيسية في تنفيذها وميزاتها.
يعتمد اختيار استخدام SNARKs أو STARKs على سيناريوهات ومتطلبات تطبيق محددة. تتمتع SNARKs بمزايا في حجم الإثبات وسرعة التحقق ، ولكنها تتطلب إعداد ثقة. لا تتطلب STARKs إعدادات الثقة وهي مقاومة لهجمات الكمبيوتر الكمومية ، ولكن الدليل أكبر وسرعة التحقق أبطأ.
يتم تقديم مفهوم هنا - الإعداد الموثوق به ، وهو عملية تستخدم في بعض أنواع أنظمة إثبات عدم المعرفة (مثل zk-SNARKs) ، والتي تنشئ بعض المعلمات الأولية قبل بدء تشغيل النظام. يتم استخدام هذه المعلمات أثناء إنشاء الدليل والتحقق.
مفتاح إعداد الثقة هو التأكد من أن المولدات تدمر تمامًا الأسرار التي يستخدمونها بعد إنشاء المعلمات الأولية. إذا احتفظ المولد بهذا السر ، فسيكون لديه القدرة على إنشاء أدلة كاذبة تبدو صالحة ، مما قد يعرض أمن النظام للخطر. لذلك ، يجب أن تخضع عملية إعداد الثقة لتدقيق ومراقبة صارمة للتأكد من أن جميع المولدات قد دمرت المعلومات السرية بشكل صحيح. لهذا السبب يطلق عليه "إعداد الثقة" لأنه يجب على المستخدم أن يثق في أن العملية عادلة وأن المولد لا يغش.
ومع ذلك ، فإن zk-STARKs هو نظام إثبات عدم المعرفة ولا يتطلب إعدادات الثقة. هذا يعني أنه على عكس الأنظمة التي تتطلب إعداد ثقة (مثل zk-SNARKs) ، فإن إنشاء الإثبات وعملية التحقق من zk-STARKs لا يعتمد على أي معلومات سرية. يوفر هذا قدرًا أكبر من الشفافية والأمان ، حيث أن أمان النظام لا يعتمد على تصرفات أي فرد أو منظمة معينة. يتم تحقيق zk-STARKs باستخدام تقنية تسمى "FRI" (Fast Reed-Solomon Interactive Oracle Proofs).
** اتفاقية FRI **
الفكرة الأساسية لبروتوكول FRI هي تقليل درجة كثيرات الحدود تدريجيًا من خلال سلسلة من خطوات أخذ العينات والاستيفاء. في كل خطوة ، يقدم المثل كثير حدود جديد يدعي أنه نسخة مضغوطة من كثير الحدود الأصلي. يمكن للمدقق التحقق من صحة المطالبة عن طريق التحقق من قيم كثيرات الحدود في نقاط عشوائية.
تستمر هذه العملية حتى تصبح درجة كثير الحدود منخفضة بدرجة كافية بحيث يمكن للمدقق التحقق مباشرة من جميع معاملاته. نظرًا لأن درجة كثير الحدود تنخفض إلى النصف في كل خطوة ، يمكن إجراء هذه العملية في الوقت اللوغاريتمي ، مما يجعل بروتوكول FRI فعالاً للغاية.
من الخصائص الرئيسية لبروتوكول FRI أنه يعتمد فقط على معلمات عامة ومحددة مسبقًا ولا يتطلب أي معلومات سرية. هذا يجعله مفيدًا لبناء أنظمة إثبات عدم المعرفة مثل zk-STARKs التي لا تتطلب إعداد ثقة. ومع ذلك ، فإن بروتوكول FRI (Fast Reed-Solomon Interactive Oracle Proofs) لا يعادل إعداد الثقة. وبدلاً من ذلك ، فإن بروتوكول FRI عبارة عن تقنية لتوليد والتحقق من براهين zk-STARKs. يسمح للمثقف بأن يثبت للمحقق أن معاملات كثير الحدود منخفضة الدرجة دون الكشف عن المحتوى المحدد لكثير الحدود. تتمثل الخاصية الرئيسية لبروتوكول FRI في أنه يعتمد فقط على معلمات عامة محددة مسبقًا ولا يتطلب أي معلومات سرية. هذا يجعله مفيدًا لبناء أنظمة إثبات عدم المعرفة مثل zk-STARKs التي لا تتطلب إعداد ثقة. بروتوكول FRI هو مكون رئيسي في zk-STARKs ، والذي يمكّن zk-STARKs من العمل دون الحاجة إلى إعداد ثقة. لكن بروتوكول FRI نفسه ليس عملية إعداد ثقة ، لأنه لا يتضمن توليد أو إتلاف أي معلومات سرية.
** كيف يعمل Starknet **
تشمل منتجات StarkWare StarkEx ، وهي خدمة مؤسسة ZKR مخصصة لأطراف المشروع ، و StarkNet الأكثر عمومية. يتكون StarkNet من خمسة أجزاء ، وهي: المُثبِت (المُصدق) ، والمتسلسل (فارز) والعقدة الكاملة (العقدة الكاملة) على Starknet ؛ والمدقق (المدقق) و Starknet core (الحالة الأساسية) المنتشرة على عقد Ethereum).
مبدأ عملها هو بدء معاملة على StarkNet ، والتي يتم قبولها وفرزها والتحقق منها بواسطة فارز الخادم خارج السلسلة ، وتجميعها في كتل ، وتنفيذ المعاملة ، ثم إعادة توجيه الحالة إلى عقد الحالة الأساسية starknet. على الفور ، يقوم المُثبِّت بإنشاء دليل على المعاملة وإرساله إلى مُدقق Ethereum للتحقق منه. يرسل المدقق نتيجة التحقق إلى عقد الدولة الأساسي لشركة Ethereum ، ويطلق مجموعة جديدة من معاملات Ethereum من عقد Starknet الأساسي لتحديث الحالة العالمية على السلسلة لحفظ السجلات. تلعب العقدة الكاملة (العقدة الكاملة) وظيفة تخزين ، بما في ذلك تغييرات الحالة ، والبيانات الوصفية ، والبراهين ، وتسجيل جميع المعاملات المنفذة في Starknet ، وتتبع الحالة العالمية الحالية للنظام.
الشكل 2-1 رسم تخطيطي لمبدأ عمل Starknet
** 3 نظام StarkNet البيئي **
الشكل 3-1 خريطة Starknet البيئية (من Twitterodin \ _free)
هناك العديد من المشاريع البيئية في Starknet ، بما في ذلك حاليًا أكثر من 100 تطبيق dapps وخدمة. من بينها ، هناك نوعان من المحافظ ، Braavos و Argent ، لكن فن الإستذكار بينهما غير قابل للتشغيل المتبادل. تم نشر أكثر من 60 بروتوكول Defi ، بما في ذلك DEXs مثل 10kswap و Jediswap و Myswap وبروتوكولات الإقراض مثل Zklend ؛ اعتبارًا من الآن ، وفقًا لبيانات Defilama ، يبلغ إجمالي TVL لـ StarkNet 17.36 مليون دولار فقط. في الارتفاع ، مقارنة بـ 189.21 مليون دولار من zkSync Era من نفس النوع ، لا تزال هناك فجوة تقارب عشر مرات.يمكن ملاحظة أن نظام StarkNet البيئي لا يزال في مرحلته المبكرة.
الشكل 3-2 StarkNet TVL من defilama
يشتمل الجسر المتقاطع على بوابة stargate الرسمية عبر السلسلة ، و Orbiter ، و Layerswap ، وما إلى ذلك ؛ ولدى Did StarknetID ومنصة المهمة StarQuest. في الوقت الحالي ، تجري أنشطة NFT Odyssey لبروتوكولات Starknet المختلفة على قدم وساق. سواء أكانت البيئة المستقبلية لـ StarkNet ستستمر في الازدهار أم أنها قصيرة العمر ، لا يسعنا سوى الانتظار ونرى ...
شاهد النسخة الأصلية
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Starknet 0.12.0 تنشر Mainnet رسميًا: تحقيق القفزة الكمية
مقدمة
يُذكر أنه تم نشر Starknet 0.12.0 رسميًا على الشبكة الرئيسية في 12 يوليو ، مما أدى إلى زيادة الإنتاجية وانخفاض زمن الوصول. قبل قراءة هذه المقالة ، يجب أن يكون لديك فهم أولي لمفهوم إثبات عدم المعرفة:
ينتمي إثبات المعرفة الصفرية إلى مفهوم التشفير وهو إثبات تفاعلي. لنبدأ بمثال كلاسيكي: A عبارة عن عمى ألوان أحمر وأخضر ، و B بها كرتا بلياردو ، واحدة حمراء والأخرى خضراء. في عيون A ، كلتا الكرتين لها نفس اللون تمامًا ، ويحتاج B إلى أن يثبت لـ A أن إحدى كرتين من كرات البلياردو حمراء والأخرى خضراء. في هذا الوقت ، يضع A كرات البلياردو خلف ظهره ، ويمكنه تبديل الكرتين أم لا ، ويحتاج B إلى الحكم على ما إذا كان A قد قام بتبديل الكرتين ، ويكررها عدة مرات ، إذا كانت نتيجة تخمين B في كل مرة صحيحة ، ثم يعتقد A أن إحدى كرتين من كرات البلياردو حمراء والأخرى خضراء ، وهذا هو الوضع الحقيقي. هذا مثال لإثبات المعرفة الصفرية الكلاسيكي. في إثبات المعرفة الصفرية ، نحتاج فقط إلى هويتين من "المُثبِت" و "المُحقق".
** 1 مقدمة إلى Starknet **
StarkNet عبارة عن مجموعة صلاحية لامركزية غير مرخصة (تُعرف أيضًا باسم "ZK-Rollup"). كطبقة 2 على Ethereum ، فإنه يمكّن أي Dapp من تحقيق توسع غير محدود في الحوسبة دون التضحية بالتوافق وأمان Ethereum.
تأسست StarkWare ، الشركة الأم لـ StarekNet ، في عام 2018 ويقع مقرها الرئيسي في إسرائيل ، ومنتجاتها الرئيسية هي Starknet و StarkEx. بلغ تقييم شركتها 8 مليارات دولار أمريكي. حتى الآن ، مرت StarkNet بخمس جولات من التمويل ، حيث جمعت ما مجموعه 273 مليون دولار أمريكي.
من الجدير بالذكر أن مؤسسة Ethereum قد دعمت علنًا برامج starkware باستخدام صارخ ، وقدمت منحة بقيمة 12 مليون دولار لبرنامج starkware. وهذا أحد الأسباب التي تجعل الصناعة متفائلة بشكل عام بشأن التطور المستقبلي لشركة StarkNet وعقيدتها.
** نموذج اقتصادي رمزي **
أعلنت StarkNet في 16 نوفمبر 2022 أن رمزها الأصلي $ STRK سيتم نشره على شبكة Ethereum mainnet للتصويت والتسجيل ودفع الرسوم.
شكل 1-1 $ النموذج الاقتصادي لـ STARK Token
في النموذج الاقتصادي الرمزي ، باستثناء 49.9٪ من توكنات المستثمرين والمساهمين الأساسيين ، فإن الـ 50.1٪ المتبقية كلها مملوكة لمؤسسة StarkNet. من هذا ، تظل 8.1٪ من التوكنات غير مخصصة. سيستخدم المجتمع هذا الجزء لتحديد الاستخدام المقابل ، لذلك يُفترض عمومًا أن هذا الجزء من الرموز هو حصة محتملة للإسقاط الجوي. عينت مؤسسة Starknet أيضًا دييغو أوليفا المدير التنفيذي السابق لشركة Facebook كأول مدير تنفيذي لها. صرح أوليفا سابقًا أنه سيركز على إدارة مجتمع Starknet اللامركزي ، مع التركيز على حقوق ومصالح المطورين والمستخدمين.
** خريطة الطريق **
** V 0.12.0 الإنتاجية والكمون **
أعلن المسؤول مؤخرًا عن خريطة الطريق الشاملة لعام 2023. تم نشر الإصدار 0.12.0 رسميًا على الشبكة الرئيسية يوم الأربعاء ، 12 يوليو. يقدم أحدث إصدار من Starknet ، 0.12.0 ، تحسينات كبيرة في الأداء ، بما في ذلك تحسينات في الإنتاجية والكمون. من خلال اعتماد Sequencer المستندة إلى Rust و Rust-Cairo VM ، سيتم تحسين أداء StarkNet بشكل كبير ، وبدأت بورصة OKEX في دعم إيداع ETH starknet mainnet.
** V 0.13.0 تكلفة المعاملة **
في الإصدار V 0.13.0 ، سيتم تخفيض تكلفة معاملة Starknet بشكل كبير. يتم تحقيق ذلك من خلال الإرادة ، وهو مكون رئيسي لخفض تكاليف المعاملات. تمثل تكاليف بيانات L1 (Ethereum) 95٪ من تكاليف المعاملات اليوم ، وسيسمح Volition للمطورين ببناء تطبيقات Starknet باستخدام نموذج هجين لتوافر البيانات (DA). بالإضافة إلى ذلك ، من المتوقع أن يتم إصدار EIP-4844 من Ethereum (معاملات Blob المشتركة) في الربع الرابع من عام 2023. بسبب EIP-4844 من Ethereum و Starknet's Volition (توفر البيانات خارج السلسلة) ، سيتم تخفيض تكاليف بيانات Starknet بشكل كبير.
** V 0.14.0 Fee Marketplace **
يمثل ازدحام الشبكة صداعًا لكل مطور ومستخدم. لحل هذه المشكلة ، ستقدم Starknet سوقًا للرسوم في V 0.14.0 لتخصيص موارد Starknet المحدودة بكفاءة وفقًا لمقدار الغاز الذي يدفعه المستخدمون مقابل المعاملات.
** V 0.15.0 فاصل زمني أقصر للكتلة الثابتة **
في إصدار V0.15.0 ، تهدف بعض خطط التحسين إلى تحسين أداء وتجربة مستخدم Starknet ، وتقليل الفاصل الزمني للكتلة وتحسين إنتاجية الشبكة عن طريق فصل العلاقة بين الكتل والبراهين. هذا سيجعل Starknet منصة blockchain أكثر قوة وفعالية.
** 2 التحليل الفني **
** ZK-Rollup VS OP-Rollup **
حاليًا الطبقة الثانية الأكثر استخدامًا في السوق - التقنية الأساسية لـ Arbitrium هي OP-Rollup ، (Optimistic Rollup). يحقق التوسع من خلال أدلة الاحتيال. في Op-Rollup ، يعتقد النظام بتفاؤل أن بيانات المعاملة صحيحة ، دون التحقق في الوقت الفعلي ، والدخول مباشرة في فترة الانتظار. خلال فترة الانتظار ، إذا رفعت العقدة اعتراضًا وقدمت دليلًا لإثبات وجود معاملة ضارة ، فسيتم إلغاء المعاملة ؛ إذا لم يكن هناك اعتراض ، فسيتم إكمال المعاملة تلقائيًا والتحقق منها على السلسلة الرئيسية بعد الانتظار انتهت الفترة.
Starknet هي الطبقة الثانية القائمة على تقنية ZK-Rollup. تعتمد ZK-Rollup بشكل أساسي على تقنية إثبات عدم المعرفة.من خلال فصل عمليات الحساب والتحقق ، يتم الانتهاء من التحقق من تنفيذ العقد خارج السلسلة ، ثم يتم إرسال نتائج التحقق إلى شبكة Ethereum mainnet. يتم إجراء عملية الحساب خارج السلسلة ، ويتم تقديم نتيجة التحقق فقط إلى Ethereum كدليل ، لذلك ، توفر هذه الطريقة أعلى مستوى من الأمان وحماية خصوصية المستخدم.
بالمقارنة مع OP-rollup و ZK-rollup ، يعد ZK-rollup بديلاً أكثر أمانًا من OP-rollup ، بينما OP-rollup هو خيار أفضل لمشاريع DeFi مع توافق EVM. يمكن ملاحظة أن ZK-rollup المتوافق مع EVM سيكون اتجاه التطوير السردي المستقبلي للطبقة 2 مع مزايا الأمان الطبيعية. يتم تحقيق الأمن بفضل اعتماد StarkNet على STARK ، وهو نظام إثبات التشفير الأكثر أمانًا وقابلية للتطوير.
** Zk-STARKs VS Zk-SNARKs **
تعتبر كل من STARK (حجة المعرفة الشفافة القابلة للتطوير والمعرفة الصفرية) و Zk-SNARK (حجة المعرفة المختصرة غير التفاعلية الصفرية) كلاهما من تقنيات إثبات المعرفة الصفرية ، والتي تُستخدم لإنشاء البراهين التي يمكن التحقق منها دون الكشف عن جميع المعلومات. ولكن هناك بعض الاختلافات الرئيسية في تنفيذها وميزاتها.
يعتمد اختيار استخدام SNARKs أو STARKs على سيناريوهات ومتطلبات تطبيق محددة. تتمتع SNARKs بمزايا في حجم الإثبات وسرعة التحقق ، ولكنها تتطلب إعداد ثقة. لا تتطلب STARKs إعدادات الثقة وهي مقاومة لهجمات الكمبيوتر الكمومية ، ولكن الدليل أكبر وسرعة التحقق أبطأ.
يتم تقديم مفهوم هنا - الإعداد الموثوق به ، وهو عملية تستخدم في بعض أنواع أنظمة إثبات عدم المعرفة (مثل zk-SNARKs) ، والتي تنشئ بعض المعلمات الأولية قبل بدء تشغيل النظام. يتم استخدام هذه المعلمات أثناء إنشاء الدليل والتحقق.
مفتاح إعداد الثقة هو التأكد من أن المولدات تدمر تمامًا الأسرار التي يستخدمونها بعد إنشاء المعلمات الأولية. إذا احتفظ المولد بهذا السر ، فسيكون لديه القدرة على إنشاء أدلة كاذبة تبدو صالحة ، مما قد يعرض أمن النظام للخطر. لذلك ، يجب أن تخضع عملية إعداد الثقة لتدقيق ومراقبة صارمة للتأكد من أن جميع المولدات قد دمرت المعلومات السرية بشكل صحيح. لهذا السبب يطلق عليه "إعداد الثقة" لأنه يجب على المستخدم أن يثق في أن العملية عادلة وأن المولد لا يغش.
ومع ذلك ، فإن zk-STARKs هو نظام إثبات عدم المعرفة ولا يتطلب إعدادات الثقة. هذا يعني أنه على عكس الأنظمة التي تتطلب إعداد ثقة (مثل zk-SNARKs) ، فإن إنشاء الإثبات وعملية التحقق من zk-STARKs لا يعتمد على أي معلومات سرية. يوفر هذا قدرًا أكبر من الشفافية والأمان ، حيث أن أمان النظام لا يعتمد على تصرفات أي فرد أو منظمة معينة. يتم تحقيق zk-STARKs باستخدام تقنية تسمى "FRI" (Fast Reed-Solomon Interactive Oracle Proofs).
** اتفاقية FRI **
الفكرة الأساسية لبروتوكول FRI هي تقليل درجة كثيرات الحدود تدريجيًا من خلال سلسلة من خطوات أخذ العينات والاستيفاء. في كل خطوة ، يقدم المثل كثير حدود جديد يدعي أنه نسخة مضغوطة من كثير الحدود الأصلي. يمكن للمدقق التحقق من صحة المطالبة عن طريق التحقق من قيم كثيرات الحدود في نقاط عشوائية.
تستمر هذه العملية حتى تصبح درجة كثير الحدود منخفضة بدرجة كافية بحيث يمكن للمدقق التحقق مباشرة من جميع معاملاته. نظرًا لأن درجة كثير الحدود تنخفض إلى النصف في كل خطوة ، يمكن إجراء هذه العملية في الوقت اللوغاريتمي ، مما يجعل بروتوكول FRI فعالاً للغاية.
من الخصائص الرئيسية لبروتوكول FRI أنه يعتمد فقط على معلمات عامة ومحددة مسبقًا ولا يتطلب أي معلومات سرية. هذا يجعله مفيدًا لبناء أنظمة إثبات عدم المعرفة مثل zk-STARKs التي لا تتطلب إعداد ثقة. ومع ذلك ، فإن بروتوكول FRI (Fast Reed-Solomon Interactive Oracle Proofs) لا يعادل إعداد الثقة. وبدلاً من ذلك ، فإن بروتوكول FRI عبارة عن تقنية لتوليد والتحقق من براهين zk-STARKs. يسمح للمثقف بأن يثبت للمحقق أن معاملات كثير الحدود منخفضة الدرجة دون الكشف عن المحتوى المحدد لكثير الحدود. تتمثل الخاصية الرئيسية لبروتوكول FRI في أنه يعتمد فقط على معلمات عامة محددة مسبقًا ولا يتطلب أي معلومات سرية. هذا يجعله مفيدًا لبناء أنظمة إثبات عدم المعرفة مثل zk-STARKs التي لا تتطلب إعداد ثقة. بروتوكول FRI هو مكون رئيسي في zk-STARKs ، والذي يمكّن zk-STARKs من العمل دون الحاجة إلى إعداد ثقة. لكن بروتوكول FRI نفسه ليس عملية إعداد ثقة ، لأنه لا يتضمن توليد أو إتلاف أي معلومات سرية.
** كيف يعمل Starknet **
تشمل منتجات StarkWare StarkEx ، وهي خدمة مؤسسة ZKR مخصصة لأطراف المشروع ، و StarkNet الأكثر عمومية. يتكون StarkNet من خمسة أجزاء ، وهي: المُثبِت (المُصدق) ، والمتسلسل (فارز) والعقدة الكاملة (العقدة الكاملة) على Starknet ؛ والمدقق (المدقق) و Starknet core (الحالة الأساسية) المنتشرة على عقد Ethereum).
مبدأ عملها هو بدء معاملة على StarkNet ، والتي يتم قبولها وفرزها والتحقق منها بواسطة فارز الخادم خارج السلسلة ، وتجميعها في كتل ، وتنفيذ المعاملة ، ثم إعادة توجيه الحالة إلى عقد الحالة الأساسية starknet. على الفور ، يقوم المُثبِّت بإنشاء دليل على المعاملة وإرساله إلى مُدقق Ethereum للتحقق منه. يرسل المدقق نتيجة التحقق إلى عقد الدولة الأساسي لشركة Ethereum ، ويطلق مجموعة جديدة من معاملات Ethereum من عقد Starknet الأساسي لتحديث الحالة العالمية على السلسلة لحفظ السجلات. تلعب العقدة الكاملة (العقدة الكاملة) وظيفة تخزين ، بما في ذلك تغييرات الحالة ، والبيانات الوصفية ، والبراهين ، وتسجيل جميع المعاملات المنفذة في Starknet ، وتتبع الحالة العالمية الحالية للنظام.
الشكل 2-1 رسم تخطيطي لمبدأ عمل Starknet
** 3 نظام StarkNet البيئي **
الشكل 3-1 خريطة Starknet البيئية (من Twitterodin \ _free)
هناك العديد من المشاريع البيئية في Starknet ، بما في ذلك حاليًا أكثر من 100 تطبيق dapps وخدمة. من بينها ، هناك نوعان من المحافظ ، Braavos و Argent ، لكن فن الإستذكار بينهما غير قابل للتشغيل المتبادل. تم نشر أكثر من 60 بروتوكول Defi ، بما في ذلك DEXs مثل 10kswap و Jediswap و Myswap وبروتوكولات الإقراض مثل Zklend ؛ اعتبارًا من الآن ، وفقًا لبيانات Defilama ، يبلغ إجمالي TVL لـ StarkNet 17.36 مليون دولار فقط. في الارتفاع ، مقارنة بـ 189.21 مليون دولار من zkSync Era من نفس النوع ، لا تزال هناك فجوة تقارب عشر مرات.يمكن ملاحظة أن نظام StarkNet البيئي لا يزال في مرحلته المبكرة.
الشكل 3-2 StarkNet TVL من defilama
يشتمل الجسر المتقاطع على بوابة stargate الرسمية عبر السلسلة ، و Orbiter ، و Layerswap ، وما إلى ذلك ؛ ولدى Did StarknetID ومنصة المهمة StarQuest. في الوقت الحالي ، تجري أنشطة NFT Odyssey لبروتوكولات Starknet المختلفة على قدم وساق. سواء أكانت البيئة المستقبلية لـ StarkNet ستستمر في الازدهار أم أنها قصيرة العمر ، لا يسعنا سوى الانتظار ونرى ...