تفريغ zk-SNARKs و zk-STARKs

مجهول الهوية رائع في العملات الرقمية. حقًا. إنه يساعد على القابلية للتداول - وهو أمر ضروري لأي عملة جادة. معظم الأشخاص الذين يحتفظون بأصول العملات الرقمية ليسوا بالضبط متحمسين لعرض شؤونهم المالية على الملأ. من بين تقنيات الخصوصية للكتل، يبدو أن zk-SNARKs و zk-STARKs مميزتان جدًا.

zk-SNARK تعني الحجة غير التفاعلية المختصرة للمعرفة ذات المعرفة الصفرية. إنه اسم طويل بعض الشيء. zk-STARK؟ هذا يعني الحجة الشفافة القابلة للتوسع للمعرفة ذات المعرفة الصفرية. تستخدم Zcash zk-SNARKs. كما تفعل JP Morgan Chase في بعض المشاريع. إنهم في كل مكان الآن. zk-STARKs هم الجدد في السوق، ويفترض أنهم يصلحون ما هو خاطئ في البروتوكول الأقدم.

قصة الكهف

في عام 1990، سرد بعض علماء التشفير الذين يُدعون جان-جاك كيسكواتير قصة عن كهف علي بابا لشرح إثباتات عدم المعرفة. يحب الناس إعادة سردها.

تخيل كهف دائري. مدخل واحد. باب سحري داخل. تحتاج إلى كلمة مرور لذلك الباب.

تريد أليس أن تثبت لبوب أنها تعرف هذه الكلمة السرية. لكنها لن تخبره بذلك. مستحيل.

بوب ينتظر في الخارج. أليس تدخل. تأخذ المسار 1.

لاحقًا، يظهر بوب ويصرخ: "اخرجوا من المسار 2!"

إذا كانت أليس تعرف الكلمة السرية، فإنها تفتح الباب السحري وتظهر حيث طلب بوب. سحر.

افعل ذلك عدة مرات. ليس مجرد حظ.

تظهر هذه القصة الصغيرة ما تدور حوله إثباتات المعرفة الصفرية. إثبات أنك تعرف شيئًا دون الإفضاء بما هو عليه فعليًا.

zk-SNARK عن قرب

زكاش رائدة في zk-SNARKs على نطاق واسع. مونيرو تتعامل مع الخصوصية بشكل مختلف - دخان ومرايا مع توقيعات حلقة. لكن zk-SNARKs؟ إنها تغير اللعبة تمامًا. معاملات مشفرة لا تزال يتم التحقق منها. مذهل. لا يحتاج المدققون في الشبكة إلى جميع التفاصيل المشوقة. فقط إثبات. ومع ذلك، بطريقة غريبة، ميزات الخصوصية في زكاش ليست مفعلّة حتى بشكل افتراضي. عليك أن تقوم بتبديل هذا الزر بنفسك.

تتيح إثباتات المعرفة الصفرية لشخص ما إثبات صحة شيء ما دون الكشف عن معلومات إضافية. لديك مُثبت ومُحقق. يتم الاحتفاظ ببعض الأدلة سراً. فما الهدف من ذلك؟ تقليل مشاركة البيانات. أقل بكثير.

جزء "الموجز" يعني أن هذه الإثباتات سريعة للتحقق. "غير تفاعلي" يعني الحد الأدنى من التبادل. الأشياء القديمة المتعلقة بالمعرفة الصفرية كانت تحتاج إلى محادثة. ليست هذه.

بحلول عام 2025 (على ما يبدو)، zk-SNARKs تتفوق في العمليات البسيطة. إثبات سريع. أحجام إثبات صغيرة. هم يفوزون في سباق الاعتماد بفضل جميع الأدوات ودعم Ethereum.

هناك مشكلة، مع ذلك. هذه الإثباتات تحتاج إلى "إعداد موثوق" - معلمات عامة يتم تحديدها مسبقًا. إنه مثل وضع قواعد اللعبة. المشكلة؟ لا يشارك الكثير من الناس في إنشاء هذه المعلمات. خطر المركزية. يikes.

يعمل الباحثون على حل مشكلة الثقة هذه. مرحلة الإعداد مهمة لأن أي شخص يعرف القيم العشوائية المستخدمة يمكنه تزوير إثباتات تبدو صالحة. هذا أمر سيء.

حول جزء "الجدل" - تعتبر zk-SNARKs آمنة في الغالب ما لم يكن لديك قوة حوسبة هائلة. وهذا يجعل بعض الناس يشعرون بالتوتر بشأن الحواسيب الكمومية. يبدو المستقبل هناك غير مؤكد.

"المعرفة" تعني أن المُثبت يحتاج فعلاً إلى معرفة الشيء الذي يثبتونه. لا يُسمح بالتزوير.

هذه الإثباتات تتحقق بسرعة ولا تأخذ مساحة كبيرة من البيانات. جيدة للخصوصية والتوسع. ليست سيئة.

دورة تعليمية سريعة عن zk-STARKs

ظهرت zk-STARKs كبديل أكثر برودة وسرعة. لا حاجة لإعداد موثوق! هذا ما تعنيه "T" للشفافية.

إنهم يستخدمون تشفيرًا متماثلًا أبسط من خلال تصادمات دالة التجزئة. هذه الطريقة تتخلى عن الافتراضات الرياضية المعقدة لـ zk-SNARKs - التي قد تكون عرضة للهجمات الكمية على أي حال.

ميزة كبيرة؟ التواصل بين المُثبت والمُحقق يبقى ثابتًا بغض النظر عن مدى تعقيد الحساب. مع zk-SNARKs، يعني المزيد من الحسابات المزيد من الرسائل التي تتنقل ذهابًا وإيابًا. المزيد من البيانات بشكل عام.

تشير الأبحاث من عام 2025 إلى أن zk-STARKs لديها أحجام إثبات أكبر ولكنها تتعامل مع الحسابات الأكبر بشكل أفضل. يبدو أنها تمثل مستقبل هذه التقنية - قابلة للتوسع، شفافة، ومقاومة للكمبيوترات الكمومية. ومع ذلك، لا تزال zk-SNARKs تهيمن اليوم بسبب بنيتها التحتية المعمول بها.

كلتا التقنيتين تكتسبان الانتباه في عالم الخصوصية. في عالم التشفير، يمكن أن تكونا مغيرتين للعبة. ثورية، حتى. سنرى.