ما هو إثبات المعرفة الصفرية القابلية للتوسع والشفافية (zk-STARK)؟
إثبات المعرفة الصفرية القابلية للتوسع والشفافية (zk-STARK) هو نظام إثبات يتيح لشخص ما إثبات أن عملية حسابية أُجريت بشكل صحيح دون كشف المدخلات أو الإجراء الكامل. إنه قابل للتوسع وشفاف لأنه يتجنب مراسم الثقة ويعتمد على حساب بسيط بالدالة التجريبية، وهو ما يتلاءم أيضًا مع أفكار ما بعد الكم. فكر فيه كتذكرة صغيرة قابلة للتحقق تقول إن الواجب المنزل قد أُنجز، دون عرض الواجب نفسه.
“zk-STARK هو نفس الشيء تقريبا مثل SNARK.” ليس تمامًا. إنه نوع من إثبات المعرفة الصفرية (ZKP)، ولكنه يتجنب الإعداد الموثوق، ويهدف إلى المقاومة لما بعد الكم، ويتبادل بعض الأحجام الأكبر من الإثباتات من أجل تحقق سريع علني.
كيف يعمل إثبات المعرفة الصفرية القابلية للتوسع والشفافية (zk-STARK)
تخيل إطار تحويل يثبت أن آلاف التداولات قد عُدّت بشكل صحيح. باستخدام إثبات المعرفة الصفرية القابلية للتوسع والشفافية (zk-STARK)، لا يعيد السلسلة تنفيذ كل شيء. فقط يتحقق من دليل مركّب ويتقدم.
- الخطوة 1: يختار مقدم الإثبات ادعاءً ليثبت، مثل «هذه الدفعة من المعاملات اتبعت القواعد.»
- الخطوة 2: يتم تحويل الحساب إلى أثر مُهيكل. يلتزم المقدم بهذا الأثر باستخدام التجزئات حتى لا يمكن تغيير شيء لاحقاً.
- الخطوة 3: رياضيات متقدمة، مخفية وراء كود ودود. يبني المقدم دليلًا صغيرًا سيكون من الصعب تزويره.
- الخطوة 4: يُرسل الدليل إلى أناسي/مصادق، غالبًا عقد ذكي. يجري المصادق فحوصاً خفيفة.
- الخطوة 5: إذا اجتاز، يتم قبول النتيجة على السلسلة وتتجدد الحالة. التأثير الصافي: سلاسة أعلى العبور والأداء مع بيانات بيانات أقل.
هذه هي الخطة، بدون غبار الطباشير.
لماذا يهم إثبات المعرفة الصفرية القابلية للتوسع والشفافية (zk-STARK)
يهمك لأن هذا يغيّر كيفية وصول سلاسل الكتل إلى السرعة والخصوصية دون التخلي عن الثقة.
- الفائدة: تصبح الحسابات الكبيرة فحوصات صغيرة، وهذا يوفر الرسوم والوقت.
- وجهة نظر: يمكنك إثبات الصحيحة مع الحفاظ على الخصوصية للمدخلات. شارك الدليل، لا الأسرار.
- الأهمية: ستراه في الـrollups، الألعاب، NFTs، والمدفوعات، حيث السرعة واليقين مهمان.
عند رؤية مشروع يستخدم zk-STARK، تحقق من أمرين: هل يتجنب الإعداد الموثوق، وهل يحافظ على calldata صغير من خلال التكرار أو توفر البيانات بذكاء. هذه الخيارات تشكّل الرسوم وراحة المستخدم.
الخصائص الأساسية لإثبات المعرفة الصفرية القابلية للتوسع والشفافية (zk-STARK)
إليك ما يجعلها تبرز:
- شفاف: لا مراسم إعداد موثوقة، لذا لا يوجد مجموعة خاصة عليك أن تصدّق بها.
- قابلة للتوسع: مصممة لسلاسل القدرة على التوسع، وتجمّع أحمال كبيرة إلى أدلة صغيرة.
- بعد الكم: تعتمد على دوال التجزئة، والتي تعتبر أكثر صداقة ضد حيل الكم المستقبلية.
الأنواع
نُكهات ذات صلة ستسمع عنها:
- SNARKs: أدلة أصغر وتحقق سريع، لكنها غالبًا ما تحتاج لإعداد موثوق. فروقات تفاوتية مختلفة عن zk-STARK.
- دلائل الصحة: مصطلح عام يشمل SNARKs و STARKs. تثبت أن تحديث الحالة صحيح.
- دلائل الاحتيال: مستخدمة في الـoptimistic rollups. افترض الصحة حتى يثبت أحدهم خطأ، ثم يتم الطعن.
يثبت إثبات المعرفة الصفرية القابلية للتوسع والشفافية (zk-STARK) الصحة، وليس الشرعية أو العدالة. يمكن أن يخفي المدخلات، ولكن بشكل افتراضي لا يخفي كل قطعة بيانات التعريف ما لم يُبنَ التطبيق لهذا الغرض.
مثال
تبادل DeFi على Starknet دفعات التداول ويُنشر دليل zk-STARK واحد على Ethereum حتى تتحقق السلسلة من الدفعة كاملةً بأقل غاز.
حقائق ممتعة
اختصار المصطلحات صاغه باحثون بمن فيهم إيلي بن ساسون، ونعم، STARK تعني أيضًا قوي في الألمانية. وهذا مناسب، لأن التصميم يعتمد على دوال تجزئة قوية بدلاً من مراسم مفاتيح عامة ثقيلة.
الخلاصة
الإصدار المختصر: zk-STARK يمنحك دلائل صغيرة بأن عملًا كبيرًا قد حدث، حتى يمكنك الوثوق بالنتائج دون الاطلاع على البيانات.