تعريف zk-snark
لطالما كانت الخصوصية هدفًا مركزيًا وخاصية عملات التشفير. ومع ذلك ، فإن ما كان يمكن اعتباره خاصًا في وقت سابق من تاريخ الصناعة لم يعد يُنظر إليه على هذا النحو. على سبيل المثال ، يتم في الغالب دحض ادعاءات أن bitcoin مجهول ، حيث أن كتل البيانات الشفافة مفتوحة ومفتوحة: على الرغم من أن عنوان البيتكوين الفردي غير مرتبط بشخص واحد في الشبكة ، يمكن تتبع جميع المعاملات التي تجري في عالم البيتكوين وتعيينها. كان تحليل Blockchain من هذا النوع سمة أساسية لجهود الحكومة وإنفاذ القانون لقمع مختلف الجرائم المرتبطة بالعملات المشفرة والقضايا المماثلة ، وفقا ل Blockonomi. نظرًا لنقص خصوصية بعض العملات المشفرة الأصلية ، بما في ذلك عملة البيتكوين ، كانت هناك في السنوات الأخيرة موجة جديدة من الرموز والعملات التي تركز على الخصوصية. واحدة من هذه ، zcash ، مدعومة بتقنية تعرف باسم zk-SNARKs.
كسر أسفل zk-snark
تستخدم zk-SNARK ("حجة المعرفة الصفرية غير التفاعلية غير المعرفة") مفهومًا يُعرف باسم "دليل المعرفة الصفرية". الفكرة وراء هذه البراهين هي في الواقع راسخة ، حيث تم تصورها لأول مرة في الثمانينات. وببساطة ، فإن إثبات عدم المعرفة هو موقف يكون فيه كل طرف من الطرفين في معاملة ما قادرًا على التحقق لبعضهم البعض من أن لديهم مجموعة معينة من المعلومات ، مع عدم الكشف في الوقت نفسه عن تلك المعلومات. بالنسبة لمعظم أنواع الإثبات الأخرى ، يجب أن يكون لدى أحد الطرفين على الأقل إمكانية الوصول إلى جميع المعلومات ، مما يعني أن دليل المعرفة الصفرية هو انحراف عن القاعدة.
للحصول على مثال لإثبات تقليدي ، خذ بعين الاعتبار كلمة المرور المستخدمة للوصول إلى شبكة عبر الإنترنت. يقوم المستخدم بإرسال كلمة المرور ، وتقوم الشبكة نفسها بالتحقق من محتويات كلمة المرور للتحقق من صحتها. للقيام بذلك ، يجب أن تتمتع الشبكة أيضًا بحق الوصول إلى محتويات كلمة المرور. قد يتضمن إصدار إثبات عدم المعرفة لهذا الموقف المستخدم الذي يوضح للشبكة (عبر إثبات رياضي) أنه لديه كلمة المرور الصحيحة دون الكشف عن كلمة المرور نفسها بالفعل. تكون ميزات الخصوصية والأمان في هذا الموقف واضحة: إذا لم يكن لدى الشبكة كلمة المرور المخزنة في مكان ما لأغراض التحقق ، فلا يمكن سرقة كلمة المرور.
الأساس الرياضي ل zk-SNARKS معقد. ومع ذلك ، فإن الأدلة من هذا النوع تسمح لطرف واحد ليس فقط بإثبات وجود جزء معين من المعلومات ، ولكن أيضًا أن الطرف المعني لديه وعي بهذه المعلومات. في حالة zcash ، يمكن التحقق من zk-SNARKs على الفور تقريبًا ، ولا يتطلب البروتوكول أي تفاعل بين Prover والمدقق.
هناك ، بطبيعة الحال ، المخاوف المتعلقة zk-SNARKs كذلك. على سبيل المثال ، إذا كان شخص ما قادرًا على الوصول إلى العشوائية السرية التي تم استخدامها لإنشاء معلمات بروتوكول الإثبات ، فيمكنه / أو هي إنشاء أدلة كاذبة تبدو مع ذلك صحيحة بالنسبة إلى المحققين. سيسمح ذلك للشخص بإنشاء رموز جديدة من zcash من خلال عملية التزوير. من أجل منع حدوث ذلك ، تم تصميم zcash بطريقة تجعل بروتوكولات الإثبات تتوسع وتنتشر على أطراف متعددة.
في حين تم الانتهاء من بناء عملية إثبات zcash بطريقة تقلل إلى الحد الأدنى من إمكانية تزوير الرموز المميزة من خلال البراهين الخاطئة ، فهناك قلق واحد على الأقل يتعلق بالعملات المشفرة أيضًا. تم إنشاء Zcash بفرض "ضريبة" بنسبة 20٪ على جميع الكتل التي تم إنشاؤها على مدار السنوات القليلة الأولى من الرمز المميز. تُعرف هذه الضريبة باسم "ضريبة المؤسس" ، ويتم استخدامها لتعويض مطوري العملة المشفرة. اقترح النقاد أنه يمكن للمؤسسين استخدام هذا الجانب من النظام لإنشاء عدد لا حصر له من الرموز zcash دون أن يدرك أي شخص آخر وجود هذه الرموز. لهذا السبب ، ليس من الممكن تمامًا معرفة العدد الدقيق لرموز zcash الموجودة في هذه المرحلة.
