ما هي Zero Knowledge VM (zkVM)؟

تُعتبر Zero Knowledge VM آلة افتراضية تقوم بتشغيل الكود وتصدر دليلاً يثبت صحة التشغيل، دون الكشف عن المدخلات. فكر فيها كحَكَم يؤكد النتيجة مع الحفاظ على سرية دفتر اللعب. نفس النتائج، مع تقليل التفاصيل المفتوحة.

Myth

“zkVM يجعل كل شيء مجهولاً.” ليس تماماً. إنه يثبت التشغيل الصحيح. ما يبقى خاصاً يحدده التطبيق، لا تُفرضه الآلة.

كيف تعمل Zero Knowledge VM (zkVM)

تخيل برنامجاً يعمل خارج السلسلة، ثم يرسل إيصالاً رياضياً صغيراً داخل السلسلة يقول “تم ذلك بشكل صحيح.” شرح موجز أدناه.

الخطوة 1: يكتب المطور أو يترجم الشفرة لتشغيلها داخل zkVM.
الخطوة 2: يعمل البرنامج خارج السلسلة ويولد دليلاً، على سبيل المثال إثبات أن سعر الصفقة كان صحيحاً دون عرض مدخلات المتداول.
الخطوة 3: يتم إرسال ذلك الدليل مع الحد الأدنى من البيانات إلى مُصدِّق على السلسلة.
الخطوة 4: يتحقق المُصدِّق من الدليل بسرعة ويسجل نعم أو لا.
الخطوة 5: تثق العقود الأخرى والمستخدمون في النتيجة دون إعادة تنفيذ الحسابات الثقيلة.

تحت الغطاء، يعتمد على أدلة المعرفة الصفرية للشهادة على التشغيل. نعم، الرياضيات كشاهد.

لماذا تهم Zero Knowledge VM (zkVM)

تهم بسبب أنها تغيّر نموذج التكلفة. حوسبة كبيرة خارج السلسلة، فحوصات صغيرة داخل السلسلة.

الفائدة: تتحسن السرعة والرسوم لأن التحقق رخيص بينما يتم العمل الشاق في مكان بعيد.
وجهة النظر: يمكنك keeping البيانات الحساسة مخفية مع توفير الشفافية للنتيجة.
الأهمية: توقعه في DeFi، الألعاب، الهوية، وأكثر حيث يهم كلا من الخصوصية والرياضيات القابلة للتحقق.

Tip

عند مقارنة zkVMs، اسأل عن شيئين أولاً: أي لغة يدعمونها وكم سرعة عمل المُصدِّق على السلسلة المستهدفة.

السمات الأساسية لـ Zero Knowledge VM (zkVM)

إليك السمات التي يتحقق منها الناس فعلاً:

عمومي: يشغّل العديد من أنواع البرامج بدلاً من دارة استخدام واحدة.
قابل للنقل: يمكن التحقق من الدلائل عبر سلاسل بواسطة عقدة عقد ذكي.
اختصاصي: يتيح للتطبيقات اختيار أي المدخلات تظل مخفية وأي المخرجات تكون علنية.
فعال: التحقق من الدليل سريع حتى لو كان التشغيل الأصلي ثقيلًا.
تركيبي: يمكن تجميع الدلائل أو تكديسها بحيث تتوسع الأنظمة مع تقليل الضوضاء.

الت Variations

ليس كل zkVMs تبدو كما هي. النكهات الشائعة التي ستراها:

EVM: يهدف إلى تشغيل منطق أسلوب Solidity وإثباته، جيد لإعادة استخدام التطبيق مباشرة.
LLVM: يترجم من لغات عامة مثل Rust أو C إلى صيغة قابلة للإثبات.
Rollup: مستخدم داخل validity rollups حيث تُرسل الدلائل إلى سلسلة أساسية.
سيادي: يتحقق على سلسلته الخاصة مع جسر الدلائل للخارج.

Reminder

التحقق رخيص، لكن الإثبات قد يكون ثقيلًا ويستغرق وقتاً. هذا هو جوهر المقايضة.

مثال

تحدد تطبيق الإقراض الضمان داخل zkVM، ثم يرسل فقط الدليل على السلسلة بحيث يتم التنبيه بالتصفية بشكل عادل دون الكشف عن بيانات المقترض.

معلومة ممتعة

الفكرة الأساسية تعود إلى أبحاث الثمانينيات حيث أظهر العلماء التشفير أنه يمكنك إثبات أنك تعرف سراً دون إ昀ضاحه. فقط جعلت Crypto Twitter هذا الأمر أكثر أناقة.

الختام

في سطر واحد، Zero Knowledge VM (zkVM) هي حاسوب إثباتي يتيح للسلاسل التحقق من العمل بسرعة مع إبقاء المدخلات الحساسة بعيداً عن الأنظار.

Zero Knowledge VM (zkVM)