المؤلف: مايكل بلاو، شريك فريق الاستثمار a16zcrypto؛ الترجمة: Golden Finance xiaozou
لا يمكن تمييز أي تكنولوجيا متقدمة بما فيه الكفاية عن السحر، وأحد هذه المجالات التي تشبه الخيال العلمي هي براهين المعرفة الصفرية (ZKP)، وهي أداة تشفير تحل تحديين رئيسيين في عالم Web3: قابلية التوسع والخصوصية. على وجه الخصوص، قد يكون ZKP المفتاح لفتح رسوم المعاملات المنخفضة وتصميم تطبيقات جديدة للحفاظ على الخصوصية. ونتيجة لذلك، من المتوقع أن نرحب بالمليارات القادمة من مستخدمي العملات المشفرة. حتى خارج عالم العملات المشفرة، قد يساعد ZKP يومًا ما في النقل الآمن للبيانات الحساسة، أو مكافحة التمويل غير المشروع، أو مكافحة المعلومات المضللة.
ولكن ما هو ZKP؟ هناك العديد من التفسيرات الجيدة المتاحة للمهندسين والباحثين ومجتمع العملات المشفرة، لكنها غير منطقية بالنسبة للجماهير ذات الخبرة الأقل في التشفير أو علوم الكمبيوتر. حتى مع وجود عدد كبير من الاستعارات المتاحة - من والدو إلى كهف علي بابا - ليس من السهل العثور على تفسير دقيق ومفهوم يوضح القوى الخارقة لـ ZKP بشكل كامل.
لذلك، في هذه المقالة، قمت بدمج خلفيتي في العملات المشفرة والسحر لاستكشاف ومحاولة إنشاء استعارة جديدة: فكر في ZKP كخدعة سحرية رائعة.
**ولكن أولاً، دعونا نفهم: ما هو دليل المعرفة الصفرية؟ **
أود أولاً أن أشارك تعريفًا عالي المستوى لـ ZKP (خاصة فيما يتعلق بـ zk-SNARKs)، بالإضافة إلى خصائصه المختلفة، قبل تعيين تلك الخصائص في استعارة سحرية.
دعونا نتوسع في تعريف جاستن ثالر، شريك أبحاث العملات المشفرة في a16z، لـ SNARK: "يسمح zk-SNARK لشخص ما (المُثبِّت) أن يثبت لطرف غير موثوق به (المُحقق) أنه يعرف بعض البيانات دون الكشف عن أي معلومات حول البيانات نفسها. . " أو كما تقول دورة AIP ZK في معهد ماساتشوستس للتكنولوجيا، "تسمح لي بروتوكولات المعرفة الصفرية أن أثبت لك أنني أعرف شيئًا ما دون أن أخبرك ما هو."
يعد هذا أمرًا مثيرًا في سياق سلاسل الكتل العامة لأن ZKP يمكنه حماية المعلومات الخاصة مع السماح لأي شخص بالتحقق (دون أدنى شك) من صحة المعلومات. zk-SNARK أيضًا بسيط جدًا وفعال: "بسيط" يعني أن حجم الدليل أصغر من البيانات التي تثبتها. تعني "الكفاءة" أن المدققين يتحققون من الإثبات بشكل أسرع من تحليل البيانات الأولية (في إيثريوم، يعني هذا بيانات أقل تتم معالجتها بواسطة العقد الذكي وانخفاض تكاليف الغاز للمستخدم). يمكن لـ L2 blockchain الاستفادة من بساطة وكفاءة zk-SNARK، مما يسمح للتطبيقات اللامركزية بمعالجة المزيد من البيانات بتكلفة أقل.
باختصار، يحتوي zk-SNARK على خاصيتين رئيسيتين:
· الخصوصية: لا يتم الكشف عن أي معلومات حول البيانات (أو الحقائق أو "المعرفة") التي تثبتها للمدقق.
· بسيط وفعال: أثبت التحقق أنه أكثر كفاءة من التحقق المباشر من البيانات الأصلية.
وحتى هذا الوصف الرفيع المستوى يبدو أشبه باللغز: كيف يمكن للمرء أن يثبت أنه يعرف شيئًا ما دون مشاركة المعلومات؟
دعونا نلقي نظرة على التعريف مرة أخرى، ولكن هذه المرة، دعونا نستخدم بعض الخدع السحرية.
** صفر دليل على المعرفة السحرية **
ببساطة، السحر هو دليل على عدم المعرفة. في السحر، يدعي الساحر أنه يعرف سرًا يمكنه من أداء الخدع السحرية. لكنهم لا يريدون الكشف عن هذا السر للجمهور - فهذا من شأنه أن يفسد خدعتهم.
توسيع هذا ليشمل ZKP: فكر في السحرة على أنهم "مثبتون" وجمهورهم على أنهم "محققون". العرض السحري الناجح (الذي نأمل أن يؤدي إلى رهبة لا تصدق وتصفيق حماسي) يشبه الدليل "الصحيح": لقد نجحت الخدعة، لذا يجب على الساحر أن يعرف سر العرض السحري. بالطبع، إذا لم ينجح الوهم، وثبت أنه "غير فعال"، فسيصاب الجمهور بخيبة أمل، وقد لا يعرف الساحر الطريقة السرية فعليًا.
يوضح السحر إحدى خصائص ZKP: الخصوصية. ولكن ماذا عن البساطة والكفاءة؟ لنعد إلى هذا التشبيه..
يمكن للجمهور تخطي العرض بالكامل والطلب من الساحر مشاركة الأسرار الكامنة وراء السحر. لكن أسرار السحر يمكن أن تكون معقدة ودقيقة. حتى مجرد شرح طريقة الخدعة السحرية، بكل تفاصيلها وفروقها الدقيقة، يستغرق وقتًا طويلاً للحصول على الفكرة العامة، ناهيك عن فهم الألغاز. في بعض الأحيان، عندما يُطلب من الساحر الكشف عن أسراره، قد يكشف عمدًا عن حل "خاطئ" للجمهور، مما يؤدي بهم إلى المسار الخاطئ. لا يمكن للمشاهدين التأكد من أن التقنية السرية تعمل بالفعل دون إتقانها بأنفسهم، الأمر الذي قد يستغرق أيامًا أو شهورًا أو حتى سنوات.
لذلك، تمامًا كما أن التحقق المباشر من صحة التقنية السرية يستغرق وقتًا طويلاً ويستهلك الكثير من الطاقة - حتى لو كان الساحر على استعداد لكشف السر للجمهور - فإن الشيء نفسه ينطبق على ZKP. من الأسرع بكثير أن يتحقق الجمهور من صحة الأركانا بمجرد الاستمتاع بالأداء.
استئناف
لإعطاء مثال بسيط: أدعي أنني أعرف طريقة سرية تسمح لي باستعادة مجموعة من البطاقات المختلطة لأعلى ولأسفل على الفور إلى بطاقات أحادية الجانب. أريد أن أثبت لك أن لدي هذه القدرة، لكني لا أريد أن أكشف كيف. كان عرض مجموعة أوراق اللعب ذات الوجه الواحد للجميع في نهاية السحر دليلاً صالحًا على أنني يجب أن أعرف الطريقة السرية "لاستعادة" البطاقات. وعندما أعرض عليك بطاقة ذات وجه واحد، يمكنك على الفور التحقق من بياني بشكل أسرع بكثير من تعلم الخدع السحرية شخصيًا.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
كيفية إثبات السر: دليل الساحر لإثباتات المعرفة الصفرية
المؤلف: مايكل بلاو، شريك فريق الاستثمار a16zcrypto؛ الترجمة: Golden Finance xiaozou
لا يمكن تمييز أي تكنولوجيا متقدمة بما فيه الكفاية عن السحر، وأحد هذه المجالات التي تشبه الخيال العلمي هي براهين المعرفة الصفرية (ZKP)، وهي أداة تشفير تحل تحديين رئيسيين في عالم Web3: قابلية التوسع والخصوصية. على وجه الخصوص، قد يكون ZKP المفتاح لفتح رسوم المعاملات المنخفضة وتصميم تطبيقات جديدة للحفاظ على الخصوصية. ونتيجة لذلك، من المتوقع أن نرحب بالمليارات القادمة من مستخدمي العملات المشفرة. حتى خارج عالم العملات المشفرة، قد يساعد ZKP يومًا ما في النقل الآمن للبيانات الحساسة، أو مكافحة التمويل غير المشروع، أو مكافحة المعلومات المضللة.
ولكن ما هو ZKP؟ هناك العديد من التفسيرات الجيدة المتاحة للمهندسين والباحثين ومجتمع العملات المشفرة، لكنها غير منطقية بالنسبة للجماهير ذات الخبرة الأقل في التشفير أو علوم الكمبيوتر. حتى مع وجود عدد كبير من الاستعارات المتاحة - من والدو إلى كهف علي بابا - ليس من السهل العثور على تفسير دقيق ومفهوم يوضح القوى الخارقة لـ ZKP بشكل كامل.
لذلك، في هذه المقالة، قمت بدمج خلفيتي في العملات المشفرة والسحر لاستكشاف ومحاولة إنشاء استعارة جديدة: فكر في ZKP كخدعة سحرية رائعة.
**ولكن أولاً، دعونا نفهم: ما هو دليل المعرفة الصفرية؟ **
أود أولاً أن أشارك تعريفًا عالي المستوى لـ ZKP (خاصة فيما يتعلق بـ zk-SNARKs)، بالإضافة إلى خصائصه المختلفة، قبل تعيين تلك الخصائص في استعارة سحرية.
دعونا نتوسع في تعريف جاستن ثالر، شريك أبحاث العملات المشفرة في a16z، لـ SNARK: "يسمح zk-SNARK لشخص ما (المُثبِّت) أن يثبت لطرف غير موثوق به (المُحقق) أنه يعرف بعض البيانات دون الكشف عن أي معلومات حول البيانات نفسها. . " أو كما تقول دورة AIP ZK في معهد ماساتشوستس للتكنولوجيا، "تسمح لي بروتوكولات المعرفة الصفرية أن أثبت لك أنني أعرف شيئًا ما دون أن أخبرك ما هو."
يعد هذا أمرًا مثيرًا في سياق سلاسل الكتل العامة لأن ZKP يمكنه حماية المعلومات الخاصة مع السماح لأي شخص بالتحقق (دون أدنى شك) من صحة المعلومات. zk-SNARK أيضًا بسيط جدًا وفعال: "بسيط" يعني أن حجم الدليل أصغر من البيانات التي تثبتها. تعني "الكفاءة" أن المدققين يتحققون من الإثبات بشكل أسرع من تحليل البيانات الأولية (في إيثريوم، يعني هذا بيانات أقل تتم معالجتها بواسطة العقد الذكي وانخفاض تكاليف الغاز للمستخدم). يمكن لـ L2 blockchain الاستفادة من بساطة وكفاءة zk-SNARK، مما يسمح للتطبيقات اللامركزية بمعالجة المزيد من البيانات بتكلفة أقل.
باختصار، يحتوي zk-SNARK على خاصيتين رئيسيتين:
· الخصوصية: لا يتم الكشف عن أي معلومات حول البيانات (أو الحقائق أو "المعرفة") التي تثبتها للمدقق.
· بسيط وفعال: أثبت التحقق أنه أكثر كفاءة من التحقق المباشر من البيانات الأصلية.
وحتى هذا الوصف الرفيع المستوى يبدو أشبه باللغز: كيف يمكن للمرء أن يثبت أنه يعرف شيئًا ما دون مشاركة المعلومات؟
دعونا نلقي نظرة على التعريف مرة أخرى، ولكن هذه المرة، دعونا نستخدم بعض الخدع السحرية.
** صفر دليل على المعرفة السحرية **
ببساطة، السحر هو دليل على عدم المعرفة. في السحر، يدعي الساحر أنه يعرف سرًا يمكنه من أداء الخدع السحرية. لكنهم لا يريدون الكشف عن هذا السر للجمهور - فهذا من شأنه أن يفسد خدعتهم.
توسيع هذا ليشمل ZKP: فكر في السحرة على أنهم "مثبتون" وجمهورهم على أنهم "محققون". العرض السحري الناجح (الذي نأمل أن يؤدي إلى رهبة لا تصدق وتصفيق حماسي) يشبه الدليل "الصحيح": لقد نجحت الخدعة، لذا يجب على الساحر أن يعرف سر العرض السحري. بالطبع، إذا لم ينجح الوهم، وثبت أنه "غير فعال"، فسيصاب الجمهور بخيبة أمل، وقد لا يعرف الساحر الطريقة السرية فعليًا.
يوضح السحر إحدى خصائص ZKP: الخصوصية. ولكن ماذا عن البساطة والكفاءة؟ لنعد إلى هذا التشبيه..
يمكن للجمهور تخطي العرض بالكامل والطلب من الساحر مشاركة الأسرار الكامنة وراء السحر. لكن أسرار السحر يمكن أن تكون معقدة ودقيقة. حتى مجرد شرح طريقة الخدعة السحرية، بكل تفاصيلها وفروقها الدقيقة، يستغرق وقتًا طويلاً للحصول على الفكرة العامة، ناهيك عن فهم الألغاز. في بعض الأحيان، عندما يُطلب من الساحر الكشف عن أسراره، قد يكشف عمدًا عن حل "خاطئ" للجمهور، مما يؤدي بهم إلى المسار الخاطئ. لا يمكن للمشاهدين التأكد من أن التقنية السرية تعمل بالفعل دون إتقانها بأنفسهم، الأمر الذي قد يستغرق أيامًا أو شهورًا أو حتى سنوات.
لذلك، تمامًا كما أن التحقق المباشر من صحة التقنية السرية يستغرق وقتًا طويلاً ويستهلك الكثير من الطاقة - حتى لو كان الساحر على استعداد لكشف السر للجمهور - فإن الشيء نفسه ينطبق على ZKP. من الأسرع بكثير أن يتحقق الجمهور من صحة الأركانا بمجرد الاستمتاع بالأداء.
استئناف
لإعطاء مثال بسيط: أدعي أنني أعرف طريقة سرية تسمح لي باستعادة مجموعة من البطاقات المختلطة لأعلى ولأسفل على الفور إلى بطاقات أحادية الجانب. أريد أن أثبت لك أن لدي هذه القدرة، لكني لا أريد أن أكشف كيف. كان عرض مجموعة أوراق اللعب ذات الوجه الواحد للجميع في نهاية السحر دليلاً صالحًا على أنني يجب أن أعرف الطريقة السرية "لاستعادة" البطاقات. وعندما أعرض عليك بطاقة ذات وجه واحد، يمكنك على الفور التحقق من بياني بشكل أسرع بكثير من تعلم الخدع السحرية شخصيًا.