** العنوان الأصلي: "**** Is zkSNARK: A Beginner-Friendly Explainer ****" **
** بقلم: مساهم **
** تجميع: نار **
لفترة طويلة ، يمكن أن يكون المثلث المستحيل في blockchain (أي قابلية التوسع واللامركزية والأمان) هو الثاني فقط من الثلاثة) ، لذلك بعد أن تحقق Ethereum درجة أعلى من الأمان والخصوصية ، يصبح التوسع أولوية قصوى.
لذلك ، ظهرت الطبقة الثانية إلى حيز الوجود. حاليًا ، في خطة توسع الطبقة الثانية ، يعتبر فيتاليك بوتيرين (V God) ، المؤسس المشارك لـ Ethereum ، أن تقنية ZK هي الحل النهائي لمشكلة التوسع.
في 21 مايو ، في مؤتمر Ethereum العالمي السنوي غير الربحي EDCON 2023 الذي عقد في الجبل الأسود ، قال V God أنه في السنوات العشر القادمة ، سيكون zk-SNARK مع ZK مثل التكنولوجيا الأساسية بنفس أهمية blockchain.
إذن ما هي zk-SNARKs التي روجت لها V God مؤخرًا؟ ما هي مشاكل blockchain التي يمكن حلها؟ دعونا نلقي نظرة على مقدمة اليوم.
ما يلي هو النص:
01 ما هي zk-SNARKs؟
** 1. من الذي أنشأ zk-SNARKs؟ **
** صاغ مصطلح "zk-SNARKs" مجموعة من خبراء التشفير ** بما في ذلك Nir Bitansky و Alessandro Chiesa و Eran Tromer ، الذين نشروا في البداية الأساس المنطقي لـ zk-SNARKs في ورقة. نتيجة لذلك ، تم تطوير zk-SNARKs وتحسينها تدريجياً بواسطة العديد من المشاريع والفرق المختلفة.
** 2. ما الذي يرمز إليه zk-SNARK؟ **
** ZK: المعرفة الصفرية والمعرفة صفر **
تعني المعرفة الصفرية أن الشخص الذي يقوم بالتحقق من المطالبة لا يمكنه الحصول على أي معلومات جديدة من عملية التحقق. ** بعبارة أخرى ، في عملية إثبات عدم المعرفة ، يعرف المدقق فقط ما إذا كانت العبارة صحيحة أم خاطئة ، ولا شيء غير ذلك. **
** S: البساطة موجزة **
البراهين المختصرة zk-SNARKs هي أقصر البراهين ويمكن التحقق منها بسهولة. ** هذا على عكس براهين المعرفة الصفرية العادية ، والتي يمكن أن تكون طويلة جدًا ومعقدة. عادة ، يمكن التحقق من البراهين zk-SNARK بالمللي ثانية.
** N: غير تفاعلي وغير تفاعلي **
لا تتطلب براهين zk-SNARK غير التفاعلية أي تفاعل بين المُثبِت والمحقق. ** هذا يعني أنه يتم إرسال رسالة نتيجة واحدة فقط من المُثبِّت إلى المدقق. ** هذا على النقيض من البراهين التفاعلية ، حيث يتعين على المُثبِّت والمحقق التفاعل ذهابًا وإيابًا مع بعضهما البعض لإكمال الإثبات.
** AR: وسيطة الحجة **
الحجة هي سبب أو مجموعة من الأسباب لدعم وجهة نظر. في سياق zk-SNARKs ، الحجة عبارة عن سلسلة من العمليات الحسابية المستخدمة لإثبات صحة العبارة.
** ك: معرفة المعرفة **
تشير المعرفة إلى فكرة أن المُثبِت يعرف معلومات معينة مطلوبة لإكمال الإثبات. على سبيل المثال ، قد يكون هذا هو المفتاح الخاص للحساب.
** للتلخيص ، zk-SNARKs هو نظام ZK (نظام إثبات المعرفة الصفري) الذي يسمح للمستخدم ("المُثبِت") بإثبات شيء ما لطرف آخر ("المدقق") ، مثل هويته وملكيته للأموال ، وما إلى ذلك ، دون الكشف عن أي معلومات حول تلك الأصول. **على سبيل المثال:
يجب أن يكون المستخدم قادرًا على إثبات أن لديه رصيدًا كافيًا في حسابه لشراء منتج أو خدمة دون مشاركة المبلغ المحدد لديه ؛
يجب أن يكون المستخدم قادرًا على التحقق من هويته قبل الوصول إلى التطبيق دون الحاجة إلى مشاركة بياناته الشخصية.
** بأخذ كيفية "شرح zk-SNARKs لطفل يبلغ من العمر 5 سنوات" كمثال ، إليك لعبة لشرح ماهية zk-SNARKs: **
تخيل أنك تلعب "أين مدرس اللغة؟" مع ثلاثة أصدقاء ، والجائزة هي رهان بقيمة 1000 دولار تقسم بالتساوي بين الفائزين. تجلس أنت وأصدقاؤك حول طاولة ، ويحصل الجميع على صورة لمعلم صيني.
عليك أن تجد مدرس اللغة الصينية في الصورة ، بمجرد أن تجد مدرس اللغة الصينية عليك أن تثبت أنك وجدته ، لكن لا يمكنك الكشف عن موقعها أو أي معلومات أخرى. بمعنى آخر ، تريد إثبات معرفة الحقائق دون الكشف عن أي شيء يتجاوز صحة ادعاءاتك.
باستخدام zkSNARK ، يمكنك أن تأخذ قطعة من الورق من نفس الحجم وتضع علامة على موضع مدرس اللغة الصينية في الصورة. يمكن بعد ذلك إخفاء الورقة في صندوق ، وبمجرد أن يحل أصدقاؤك اللغز ، يمكنهم أن يروا بأنفسهم مكان المعلم الصيني الذي حددته.
بمعنى آخر ، تسمح لك zk-SNARKs بإثبات المعلومات التي تحتاج إلى التحقق منها دون الكشف عن القيمة الدقيقة لتلك المعلومات. ** في النظام البيئي الحالي عبر السلاسل ، يمكن أن يؤدي استخدام تقنية zk-SNARKs إلى الحفاظ على خصوصية blockchains و DApps المبنية على نظامها الأساسي. **
الفكرة الأساسية في ذلك هي أنه من المستحيل على المدقق الحصول على أي معلومات حول الإثبات (ومن هنا جاء اسم إثبات "المعرفة الصفرية").
02zk-SNARKs مبدأ التشغيل
تعتبر zk-SNARKs مهمة بشكل خاص في مجال التشفير ، حيث تصبح الخصوصية أكثر أهمية لأن العديد من سلاسل الكتل عامة بطبيعتها.
المثال الأكثر شهرة هو Zcash ، وهو أصل تشفير للخصوصية. عندما يتم تداول Zcash على سلاسل عامة مثل Bitcoin و Ethereum ، يتم استخدام تفاصيل مثل عناوين المرسل والمستقبل وقيم الإدخال والإخراج (أي المبلغ الذي تم إنفاقه وما لم يتم إنفاقه) للتحقق.
ولكن من خلال zk-SNARKs ، يمكن لـ Zcash إثبات صحة المعاملة دون الكشف عن معلومات مثل العنوان والقيمة.
كيف يستخدم Zcash zkSNARKS لتوفير طبقة خصوصية لمستخدمي التشفير *
المصدر: Blockchainhub.net *
كيف تعمل zk-SNARKs؟ ** التوقيعات الرقمية **** تشكل طريقة عمل zk-SNARKs **. تستخدم التوقيعات الرقمية خوارزميات التشفير لحماية المعلومات الحساسة من طرف آخر مع تزويد هذا الطرف بالأدلة اللازمة المطلوبة.
يقوم المُثبِّت بعد ذلك بترميز هذه المعاملة إلى zk-SNARKs ، وهي أدلة رياضية على صحة المعاملة.
يتم إرسال الإثبات إلى المحقق مع المفتاح العام. يستخدم المدقق بعد ذلك المفتاح العام للتحقق من صحة الصيغة دون معرفة أي شيء آخر عن المعاملة. نظرًا لأنه يتم التحقق من كمية صغيرة فقط من المعلومات ، يمكن إجراء هذا الفحص بسرعة كبيرة للتأكد من صحة المعاملة.
03 حالات استخدام محددة لـ zk-SNARKs
** 1. ما هي الرموز التي تستخدم zk-SNARKs؟ **
رمز SNARK المشفر هو أصل مشفر يستخدم zk-SNARKs لتحسين الخصوصية ، والمعروف أيضًا باسم رمز الخصوصية. أمثلة على رموز الخصوصية هذه هي:
Zcash (ZEC)
حواف (XVG)
مونيرو (XMR)
داش (داش)
شعاع (شعاع)
هوريزين (زين)
Bytecoin (BCN)
التحدي الرئيسي لـ zk-SNARKs هو أنه في حالة اختراق المفتاح الخاص ، يمكن إنشاء أدلة مزيفة. قد يسمح هذا لمنشئي البراهين المزيفة بارتكاب عمليات احتيال ، على سبيل المثال ، إنشاء واستخدام عملات خصوصية مزيفة.
** 2. تطبيقات أخرى لـ zk-SNARKS **
Filecoin هو مزود تخزين لامركزي ، ويشتمل تشغيله على العديد من الجوانب.
أولاً ، يجب على موفري التخزين (الذين يوفرون مساحة تخزين مقابل مكافآت الكتلة) على شبكة Filecoin و "المعتمدين" إثبات أنهم يخزنون البيانات بشكل صحيح على السلسلة.
من ناحية أخرى ، لدينا "مدققون" ، أي العقد ، الذين يجب عليهم التحقق من أن موفري التخزين يقومون بتخزين البيانات وتأمينها بشكل صحيح. يجب أن يكون المحققون راضين عن الشهادات التي قدمها موفر التخزين.
** يتطلب هذا التواصل بين موفري وعقد التخزين أثناء تغير البيانات. كما يمكنك أن تتخيل ، ستكون هذه العملية كثيفة الاستخدام للموارد. **
يوضح منشور مدونة Filecoin الرسمي: "كمية البيانات التي يجب على مزود التخزين الواحد إثباتها اليوم من أجل التحقق من صحة التخزين الخاصة به هائلة وسوف تنمو فقط بمرور الوقت. تتمتع شبكة Filecoin بوقت كتلة يبلغ 30 ثانية. من أجل الحفاظ عليها. ثبات الوقت وتمكين نهج قابل للتطوير ، تحتاج Filecoin إلى حل يسمح بالتحقق السريع والفعال والقوي ، "
باستخدام zk-SNARKs ، يمكن لشبكة Filecoin تحسين قابلية التوسع والكفاءة من خلال تقليل الوقت الذي تستغرقه الأطراف للتحقق من التخزين.
بالنسبة لموفري التخزين ، تقلل zk-SNARKs من كمية البيانات التي يحتاجون إليها لنقلها لإثبات تخزينهم ، مما يقلل من تكاليف التشغيل.
** 3. يمكن أيضًا استخدام zk-SNARKs لأشياء أخرى **
على سبيل المثال:
** المصادقة: ** مصادقة بيانات اعتماد المستخدم بدون كلمة مرور ، لا مزيد من المستندات مثل جوازات السفر وشهادات الميلاد لحماية المعلومات الحساسة مثل مكان وتاريخ الميلاد.
** نظام التصويت: ** يمكن التحقق من هويات الناخبين دون تحديد الهوية ، حتى لو تم تسريب بطاقات الاقتراع ، فلا يمكن تحديد هويات الناخبين ، وبالتالي حماية خصوصية الناخبين.
** ضغط البيانات: ** هذا استخدام مثير للاهتمام لـ zk-SNARKS ويستحق قسمًا خاصًا به.
04 ملخص
بشكل عام ، يحتوي zk-SNARKS على ثلاث نقاط رئيسية:
zkSNARKS هو نظام إثبات عدم المعرفة يسمح لأحد الأطراف بأن يثبت لطرف آخر أنه يعرف قيمة x دون إبلاغ أي معلومات أخرى حول x.
الفكرة الأساسية هي أنه من المستحيل أن يستنتج المحقق أي معلومات عن x فقط من حقيقة أن المُثبِت يمكنه إثبات معرفته بـ x. هذا يحمي خصوصية بيانات المُثبِت.
تُستخدم أنظمة إثبات المعرفة الصفرية في مجموعة متنوعة من التطبيقات ، بما في ذلك الاتصالات الآمنة والتشفير وتحليل البيانات الذي يحافظ على الخصوصية.
على الرغم من أن أنظمة إثبات المعرفة الصفرية هي مجال بحث جديد نسبيًا ، لا يزال هناك العديد من الأسئلة المفتوحة حول جدواها وعمليتها. ومع ذلك ، فقد تم استخدامها لإنشاء بعض المنتجات الرائعة.
شاهد النسخة الأصلية
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
تشرح هذه المقالة zk-SNARKs التي يعتقد فيتاليك أنها ستكون بنفس أهمية blockchain في السنوات العشر القادمة
** العنوان الأصلي: "**** Is zkSNARK: A Beginner-Friendly Explainer ****" **
** بقلم: مساهم **
** تجميع: نار **
لفترة طويلة ، يمكن أن يكون المثلث المستحيل في blockchain (أي قابلية التوسع واللامركزية والأمان) هو الثاني فقط من الثلاثة) ، لذلك بعد أن تحقق Ethereum درجة أعلى من الأمان والخصوصية ، يصبح التوسع أولوية قصوى.
لذلك ، ظهرت الطبقة الثانية إلى حيز الوجود. حاليًا ، في خطة توسع الطبقة الثانية ، يعتبر فيتاليك بوتيرين (V God) ، المؤسس المشارك لـ Ethereum ، أن تقنية ZK هي الحل النهائي لمشكلة التوسع.
في 21 مايو ، في مؤتمر Ethereum العالمي السنوي غير الربحي EDCON 2023 الذي عقد في الجبل الأسود ، قال V God أنه في السنوات العشر القادمة ، سيكون zk-SNARK مع ZK مثل التكنولوجيا الأساسية بنفس أهمية blockchain.
إذن ما هي zk-SNARKs التي روجت لها V God مؤخرًا؟ ما هي مشاكل blockchain التي يمكن حلها؟ دعونا نلقي نظرة على مقدمة اليوم.
ما يلي هو النص:
01 ما هي zk-SNARKs؟
** 1. من الذي أنشأ zk-SNARKs؟ **
** صاغ مصطلح "zk-SNARKs" مجموعة من خبراء التشفير ** بما في ذلك Nir Bitansky و Alessandro Chiesa و Eran Tromer ، الذين نشروا في البداية الأساس المنطقي لـ zk-SNARKs في ورقة. نتيجة لذلك ، تم تطوير zk-SNARKs وتحسينها تدريجياً بواسطة العديد من المشاريع والفرق المختلفة.
** 2. ما الذي يرمز إليه zk-SNARK؟ **
** ZK: المعرفة الصفرية والمعرفة صفر **
تعني المعرفة الصفرية أن الشخص الذي يقوم بالتحقق من المطالبة لا يمكنه الحصول على أي معلومات جديدة من عملية التحقق. ** بعبارة أخرى ، في عملية إثبات عدم المعرفة ، يعرف المدقق فقط ما إذا كانت العبارة صحيحة أم خاطئة ، ولا شيء غير ذلك. **
** S: البساطة موجزة **
البراهين المختصرة zk-SNARKs هي أقصر البراهين ويمكن التحقق منها بسهولة. ** هذا على عكس براهين المعرفة الصفرية العادية ، والتي يمكن أن تكون طويلة جدًا ومعقدة. عادة ، يمكن التحقق من البراهين zk-SNARK بالمللي ثانية.
** N: غير تفاعلي وغير تفاعلي **
لا تتطلب براهين zk-SNARK غير التفاعلية أي تفاعل بين المُثبِت والمحقق. ** هذا يعني أنه يتم إرسال رسالة نتيجة واحدة فقط من المُثبِّت إلى المدقق. ** هذا على النقيض من البراهين التفاعلية ، حيث يتعين على المُثبِّت والمحقق التفاعل ذهابًا وإيابًا مع بعضهما البعض لإكمال الإثبات.
** AR: وسيطة الحجة **
الحجة هي سبب أو مجموعة من الأسباب لدعم وجهة نظر. في سياق zk-SNARKs ، الحجة عبارة عن سلسلة من العمليات الحسابية المستخدمة لإثبات صحة العبارة.
** ك: معرفة المعرفة **
تشير المعرفة إلى فكرة أن المُثبِت يعرف معلومات معينة مطلوبة لإكمال الإثبات. على سبيل المثال ، قد يكون هذا هو المفتاح الخاص للحساب.
** للتلخيص ، zk-SNARKs هو نظام ZK (نظام إثبات المعرفة الصفري) الذي يسمح للمستخدم ("المُثبِت") بإثبات شيء ما لطرف آخر ("المدقق") ، مثل هويته وملكيته للأموال ، وما إلى ذلك ، دون الكشف عن أي معلومات حول تلك الأصول. **على سبيل المثال:
** بأخذ كيفية "شرح zk-SNARKs لطفل يبلغ من العمر 5 سنوات" كمثال ، إليك لعبة لشرح ماهية zk-SNARKs: **
بمعنى آخر ، تسمح لك zk-SNARKs بإثبات المعلومات التي تحتاج إلى التحقق منها دون الكشف عن القيمة الدقيقة لتلك المعلومات. ** في النظام البيئي الحالي عبر السلاسل ، يمكن أن يؤدي استخدام تقنية zk-SNARKs إلى الحفاظ على خصوصية blockchains و DApps المبنية على نظامها الأساسي. **
الفكرة الأساسية في ذلك هي أنه من المستحيل على المدقق الحصول على أي معلومات حول الإثبات (ومن هنا جاء اسم إثبات "المعرفة الصفرية").
02zk-SNARKs مبدأ التشغيل
تعتبر zk-SNARKs مهمة بشكل خاص في مجال التشفير ، حيث تصبح الخصوصية أكثر أهمية لأن العديد من سلاسل الكتل عامة بطبيعتها.
المثال الأكثر شهرة هو Zcash ، وهو أصل تشفير للخصوصية. عندما يتم تداول Zcash على سلاسل عامة مثل Bitcoin و Ethereum ، يتم استخدام تفاصيل مثل عناوين المرسل والمستقبل وقيم الإدخال والإخراج (أي المبلغ الذي تم إنفاقه وما لم يتم إنفاقه) للتحقق.
ولكن من خلال zk-SNARKs ، يمكن لـ Zcash إثبات صحة المعاملة دون الكشف عن معلومات مثل العنوان والقيمة.
كيف يستخدم Zcash zkSNARKS لتوفير طبقة خصوصية لمستخدمي التشفير *
المصدر: Blockchainhub.net *
كيف تعمل zk-SNARKs؟ ** التوقيعات الرقمية **** تشكل طريقة عمل zk-SNARKs **. تستخدم التوقيعات الرقمية خوارزميات التشفير لحماية المعلومات الحساسة من طرف آخر مع تزويد هذا الطرف بالأدلة اللازمة المطلوبة.
** إذن كيف يتم ذلك بالضبط؟ استكمل كما يلي:**
03 حالات استخدام محددة لـ zk-SNARKs
** 1. ما هي الرموز التي تستخدم zk-SNARKs؟ **
رمز SNARK المشفر هو أصل مشفر يستخدم zk-SNARKs لتحسين الخصوصية ، والمعروف أيضًا باسم رمز الخصوصية. أمثلة على رموز الخصوصية هذه هي:
التحدي الرئيسي لـ zk-SNARKs هو أنه في حالة اختراق المفتاح الخاص ، يمكن إنشاء أدلة مزيفة. قد يسمح هذا لمنشئي البراهين المزيفة بارتكاب عمليات احتيال ، على سبيل المثال ، إنشاء واستخدام عملات خصوصية مزيفة.
** 2. تطبيقات أخرى لـ zk-SNARKS **
Filecoin هو مزود تخزين لامركزي ، ويشتمل تشغيله على العديد من الجوانب.
أولاً ، يجب على موفري التخزين (الذين يوفرون مساحة تخزين مقابل مكافآت الكتلة) على شبكة Filecoin و "المعتمدين" إثبات أنهم يخزنون البيانات بشكل صحيح على السلسلة.
من ناحية أخرى ، لدينا "مدققون" ، أي العقد ، الذين يجب عليهم التحقق من أن موفري التخزين يقومون بتخزين البيانات وتأمينها بشكل صحيح. يجب أن يكون المحققون راضين عن الشهادات التي قدمها موفر التخزين.
** يتطلب هذا التواصل بين موفري وعقد التخزين أثناء تغير البيانات. كما يمكنك أن تتخيل ، ستكون هذه العملية كثيفة الاستخدام للموارد. **
يوضح منشور مدونة Filecoin الرسمي: "كمية البيانات التي يجب على مزود التخزين الواحد إثباتها اليوم من أجل التحقق من صحة التخزين الخاصة به هائلة وسوف تنمو فقط بمرور الوقت. تتمتع شبكة Filecoin بوقت كتلة يبلغ 30 ثانية. من أجل الحفاظ عليها. ثبات الوقت وتمكين نهج قابل للتطوير ، تحتاج Filecoin إلى حل يسمح بالتحقق السريع والفعال والقوي ، "
باستخدام zk-SNARKs ، يمكن لشبكة Filecoin تحسين قابلية التوسع والكفاءة من خلال تقليل الوقت الذي تستغرقه الأطراف للتحقق من التخزين.
بالنسبة لموفري التخزين ، تقلل zk-SNARKs من كمية البيانات التي يحتاجون إليها لنقلها لإثبات تخزينهم ، مما يقلل من تكاليف التشغيل.
** 3. يمكن أيضًا استخدام zk-SNARKs لأشياء أخرى **
على سبيل المثال:
04 ملخص
بشكل عام ، يحتوي zk-SNARKS على ثلاث نقاط رئيسية:
على الرغم من أن أنظمة إثبات المعرفة الصفرية هي مجال بحث جديد نسبيًا ، لا يزال هناك العديد من الأسئلة المفتوحة حول جدواها وعمليتها. ومع ذلك ، فقد تم استخدامها لإنشاء بعض المنتجات الرائعة.