نظام إثبات المعرفة الصفرية ينشأ من ورقة Goldwasser وMicali وRackoff عام 1985، والتي تستكشف كمية المعرفة المطلوبة لتبادلها لإثبات صحة بيان في الأنظمة التفاعلية. إذا كان من الممكن القيام بتبادل المعرفة صفرية، فإنه يسمى إثبات المعرفة الصفرية. كانت أنظمة الإثبات المعرفة الصفرية المبكرة تعاني من ضعف الكفاءة وقابلية الاستخدام، وكانت تقتصر إلى حد كبير على المستوى النظري. على مدار العقد الماضي، مع ظهور علم التشفير في مجال العملات المشفرة، شهدت إثبات المعرفة الصفرية تطوراً سريعاً.
كان الاختراق الرئيسي في إثبات المعرفة الصفرية هو نظرية zk-SNARK التي قدمها غروث في عام 2010. في عام 2015، قامت Zcash بتطبيق إثبات المعرفة الصفرية لحماية خصوصية المعاملات، مما فتح مجالاً أوسع للاستخدامات. تشمل التطورات المهمة الأخرى ما يلي:
بروتوكول بينوكيو 2013: ضغط وقت الإثبات والتحقق
2016 Groth16: تقليل حجم الإثبات، وزيادة كفاءة التحقق
2017 Bulletproofs: تم تقديم zk-SNARKs قصيرة وغير تفاعلية
2018 zk-STARKs: بروتوكول بدون إعداد موثوق
بالإضافة إلى ذلك، قدمت PLONK وHalo2 تحسينات هامة على zk-SNARKs.
٢. التطبيقات الرئيسية لـ zk-SNARKs
zk-SNARKs تستخدم حالياً بشكل رئيسي في مجال حماية الخصوصية وتوسيع النطاق.
حماية الخصوصية
حظيت مشاريع التداول الخاصة المبكرة مثل Zcash و Monero باهتمام كبير، ولكن مع تراجع الطلب، تراجعت تدريجياً إلى الصف الثاني. تشمل المشاريع الرئيسية للتداول الخاص:
Zcash: استخدام zk-SNARKs
مونيرو: استخدم مضاد للرصاص
Tornado Cash: حوض خلط قائم على الإيثيريوم
توسيع
تطبيقات zk-SNARKs في توسيع نطاق الشبكة تتركز بشكل أساسي حول zk-rollup. تتضمن zk-rollup نوعين من الأدوار: Sequencer وAggregator.
Sequencer مسؤول عن تجميع المعاملات
يجمع المجمع المعاملات وينتج zk-SNARKs
مزايا zk-rollup هي تكاليف منخفضة، سرعة في النهائيات، والعيوب هي حجم الحسابات الكبير، والحاجة إلى إعداد موثوق وما إلى ذلك.
المشاريع الرئيسية للـ zk-rollup تشمل: StarkNet، zkSync، Aztec Connect، Polygon Hermez، Loopring، Scroll وغيرها. تختلف فيما بينها في اختيار SNARK / STARK وتوافق EVM.
ثلاثة، المبادئ الأساسية للـ zk-SNARKs
zk-SNARKs تمثل إثبات المعرفة غير التفاعلية الموجزة للمعرفة، وتتميز بما يلي:
Zero Knowledge: عملية الإثبات لا تكشف معلومات إضافية
Succinct: تحقق بإيجاز
غير تفاعلي:非交互
حجج المعرفة: يجب على المدعي معرفة المعلومات الصحيحة
تتمثل عملية إثبات zk-SNARKs لـ Groth16 كما يلي:
تحويل المشكلة إلى دائرة
تحويل الدائرة إلى شكل R1CS
تحويل R1CS إلى شكل QAP
إنشاء معلمات الإعدادات الموثوقة
إنشاء والتحقق من الإثبات
zk-SNARKs لا تزال تتطور بسرعة، ومن المتوقع أن تلعب دورًا مهمًا في المزيد من المجالات في المستقبل.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 7
أعجبني
7
5
مشاركة
تعليق
0/400
OnchainUndercover
· منذ 7 س
أعطني مثالاً، لم تفهم حقًا
شاهد النسخة الأصليةرد0
EthMaximalist
· منذ 7 س
أليس هو zk-snark فقط؟ لقد شاهدت الكثير.
شاهد النسخة الأصليةرد0
NftRegretMachine
· منذ 7 س
لا أستطيع مواكبة طريقة تفكير الاحترافيين
شاهد النسخة الأصليةرد0
LiquidatedAgain
· منذ 7 س
مرة أخرى تحاول استغلالي لتحقيق الربح، أليس كذلك؟ تراقب سعر تصفيتي.
شاهد النسخة الأصليةرد0
MoneyBurnerSociety
· منذ 7 س
درسنا تقنية zero proof لمدة عشر سنوات، والحساب لا يزال لديه رصيد صفر...
تحليل شامل لثلاث مجالات من zk-SNARKs: التاريخ، التطبيقات والمبادئ التقنية
تاريخ zk-SNARKs وتطبيقاته ومبادئه
١. تاريخ تطور zk-SNARKs
نظام إثبات المعرفة الصفرية ينشأ من ورقة Goldwasser وMicali وRackoff عام 1985، والتي تستكشف كمية المعرفة المطلوبة لتبادلها لإثبات صحة بيان في الأنظمة التفاعلية. إذا كان من الممكن القيام بتبادل المعرفة صفرية، فإنه يسمى إثبات المعرفة الصفرية. كانت أنظمة الإثبات المعرفة الصفرية المبكرة تعاني من ضعف الكفاءة وقابلية الاستخدام، وكانت تقتصر إلى حد كبير على المستوى النظري. على مدار العقد الماضي، مع ظهور علم التشفير في مجال العملات المشفرة، شهدت إثبات المعرفة الصفرية تطوراً سريعاً.
كان الاختراق الرئيسي في إثبات المعرفة الصفرية هو نظرية zk-SNARK التي قدمها غروث في عام 2010. في عام 2015، قامت Zcash بتطبيق إثبات المعرفة الصفرية لحماية خصوصية المعاملات، مما فتح مجالاً أوسع للاستخدامات. تشمل التطورات المهمة الأخرى ما يلي:
بالإضافة إلى ذلك، قدمت PLONK وHalo2 تحسينات هامة على zk-SNARKs.
٢. التطبيقات الرئيسية لـ zk-SNARKs
zk-SNARKs تستخدم حالياً بشكل رئيسي في مجال حماية الخصوصية وتوسيع النطاق.
حماية الخصوصية
حظيت مشاريع التداول الخاصة المبكرة مثل Zcash و Monero باهتمام كبير، ولكن مع تراجع الطلب، تراجعت تدريجياً إلى الصف الثاني. تشمل المشاريع الرئيسية للتداول الخاص:
توسيع
تطبيقات zk-SNARKs في توسيع نطاق الشبكة تتركز بشكل أساسي حول zk-rollup. تتضمن zk-rollup نوعين من الأدوار: Sequencer وAggregator.
مزايا zk-rollup هي تكاليف منخفضة، سرعة في النهائيات، والعيوب هي حجم الحسابات الكبير، والحاجة إلى إعداد موثوق وما إلى ذلك.
المشاريع الرئيسية للـ zk-rollup تشمل: StarkNet، zkSync، Aztec Connect، Polygon Hermez، Loopring، Scroll وغيرها. تختلف فيما بينها في اختيار SNARK / STARK وتوافق EVM.
ثلاثة، المبادئ الأساسية للـ zk-SNARKs
zk-SNARKs تمثل إثبات المعرفة غير التفاعلية الموجزة للمعرفة، وتتميز بما يلي:
تتمثل عملية إثبات zk-SNARKs لـ Groth16 كما يلي:
zk-SNARKs لا تزال تتطور بسرعة، ومن المتوقع أن تلعب دورًا مهمًا في المزيد من المجالات في المستقبل.