كلمة zk-SNARK هي إختصار لـ (zero-knowledge succinct non-interactive argument of knowledge) و zk-STARK هي إختصار لـ(zero-knowledge succinct transparent argument of knowledge). يتم بالفعل استخدام إستخدام براهين Zk-SNARK في Zcash على نظام دفع JP Morgan Chase القائم على البلوكشين كطريقة لمصادقة العملاء إلى الخوادم بشكل آمن. لكن في الوقت الذي حققت فيه SNKK-ZARK تقدمًا كبيرًا لكونها راسخة و مستخدمة، يتم الآن وصف بروتوكولات Zk-STARK باعتبارها النسخة الجديدة والمحسّنة من البروتوكول والتي تتصدى للعديد من العيوب السابقة لـ zk-SNARKs.
حكاية كهف على بابا
في عام 1990، تم نشر ورقة بعنوان "كيفية شرح بروتوكولات المعرفة الصفرية لأطفالك" من قِبل عالم التشفير Jean-Jacques Quisquater (مع متعاونين آخرين). تقدم هذه الورقة مفهوم برهان ZK مع المثل الذي ينطوي على كهف علي بابا. تم تعديل المثل عدة مرات ولدينا الآن اختلافات متعددة منذ إنشائه. ومع ذلك، فإن المعلومات الأساسية لا ذالت واحدة بشكل طبيعي.
دعنا نتخيل كهفًا على شكل حلقة مع مدخل واحد ومدخل سحري يفصل بين جانبي المسارين. من أجل المرور عبر المدخل السحري يحتاج المرء أن يهمس الكلمات السرية الصحيحة. لنعتبر أن أليس (الصفراء) تريد أن تثبت لبوب (الأزرق) أنها تعرف ما هي الكلمات السرية مع الاحتفاظ بها سراً. للقيام بذلك يوافق بوب على الانتظار في الخارج، بينما يدخل الكهف ويمشي حتى نهاية أحد المسارين المحتملين. في هذا المثال تقرر "أليس" الانتقال عبر المسار الأول.
بعد فترة يمشي بوب عند المدخل ويصيح الجانب الذي يريد أن تظهر فيه أليس من (المسار 2 في هذه الحالة).
إذا كانت أليس حقا تعرف الكلمات السرية، سوف تظهر عندما ينطق بوب أسماء الممرات
يمكن تكرار العملية برمتها عدة مرات كطريقة للتأكيد على أن أليس لم تختار المسار الصحيح عن طريق الحظ.
يوضح مثال كهف علي بابا مفهوم البراهين المعرفة الصفرية والتي هي جزء من بروتوكولات zk-SNARK و zk-STARK. يمكن أيضا استخدام براهين لإثبات معرفة بعض المعلومات دون الكشف عنها.
zk-SNARKs
تسمح البراهين الخالية من المعرفة لشخص واحد أن يثبت للآخر أن البيان صحيح دون الكشف عن أي معلومات تتجاوز صلاحية البيان. عادة ما يشار إلى الأطراف المعنية على أنهم مؤيد ومدقق والبيان الذي يحملونه سرا يسمى الشاهد. الهدف الرئيسي من هذه الأدلة هو كشف أقل قدر ممكن من البيانات بين الطرفين. بمعنى آخر، يمكن للمرء أن يستخدم برهان المعرفة الصفرية لإثبات أن لديه معرفة معينة دون الكشف عن أي معلومات عن المعرفة نفسها.
ضمن اختصار SNARK، تعني كلمة "succinct" أي "إيجاز" باللغة العربية أن هذه البراهين صغيرة الحجم ويمكن التحقق منها بسرعة. و “Non-interactive” أي "غير تفاعلية" باللغة العربية يعني أن هناك تفاعل بسيط أو ضئيل بين القائم بالتدقيق والمؤيد.
تتطلب الإصدارات القديمة من بروتوكولات المعرفة الصفرية عادةً أن يثبت المؤيد والمدقق الاتصال وهكذا يعتبر بروتوكولات zk تفاعلية / Interactive. ولكن في الإنشاءات تعتبر غير تفاعلية non-interactive حيث لا يتعين على المحرضين والمحقين سوى تبادل دليل واحد فقط.
حاليًا تعتمد براهين zk-SNARK على إعداد موثوق به مبدئيًا بين المدقق والمحقِق، مما يعني أن مجموعة من المعلمات العامة مطلوبة لإنشاء أدلة خالية من المعرفة وبالتالي معاملات خاصة. هذه المعلمات تقريبًا تشبه قواعد اللعبة ويتم تشفيرها في البروتوكول وتعد أحد العوامل الضرورية في إثبات إن المعاملة كانت صالحة. ومع ذلك، فإن هذا يخلق مشكلة مركزية محتملة لأن المعلمات غالباً ما تصاغ من قبل مجموعة صغيرة جداً.
بينما الجزء الأخير من اختصار الكلمة "of Knowledge" يعني أنه من غير الممكن أن يقوم القائم بالإثبات ببناء دليل دون أن يكون لديه بالفعل المعرفة (أو الشهادة) لدعم بيانهم.
zk-STARKs
تم إنشاء zk-STARKs كنسخة بديلة من براهين zk-SNARK وتعتبر بديل أسرع وأرخص للتكنولوجيا. ولكن الأهم من ذلك، لا يتطلب zk-STARKs الإعداد الأولي الموثوق به (وبالتالي فإن حرف "T" للـ transparent أي للشفافية).
من الناحية الفنية، لا تتطلب Zk-STARKs أي إعداد موثوق به أوليًا لأنها تعتمد على تشفير متماثل أكثر صعوبة من خلال وظائف هاش المقاومة للتعارض. هذا النهج أيضا يلغي الافتراضات النظرية العددية من ZK-SNARKs التي تكون مكلفة حسابيا ونظريا عرضة للهجوم من قبل أجهزة الكمبيوتر الكمومية (أجهزة الكم).
أحد الأسباب الرئيسية التي تجعل Zk-STARK تقدم تنفيذ أرخص وأسرع هو أن كمية جولات الاتصال بين المدقق و المؤيد تبقى ثابتة بالنسبة لأي زيادة في الحساب. على العكس، في zk-SNARKs كلما زادت الحاجة إلى الحساب زادت الأطراف من إرسال الرسائل هنا و هناك. لذلك يكون حجم البيانات الإجمالي لـ zk-SNARKs أكبر بكثير من البيانات الموجودة في أدلة zk-STARK.
من الواضح أن كلا من zk-SNARKS و zk-STARKs يعارض القلق المتزايد فيما يتعلق بالخصوصية. في إطار عالم العملات الرقمية تمتلك هذه البروتوكولات إمكانيات كبيرة وقد تكون سبيلاً رائداً نحو التبني السائد.