إثباتات المعرفة الصفرية: التكنولوجيا التي تعيد تشكيل البلوكتشين

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

ما هو إثبات المعرفة الصفرية؟

إثبات المعرفة الصفرية (ZKP) هو طريقة تشفيرية يمكن من خلالها لطرف واحد (المُثبِت) أن يقنع طرفًا آخر (المُتحقِق) بأن بيان ما صحيح، دون الكشف عن أي معلومات تتجاوز صحة البيان نفسه. يعود المفهوم إلى ورقة بحثية من معهد ماساتشوستس للتكنولوجيا عام 1985 من تأليف Goldwasser و Micali و Rackoff، لكن استغرق الأمر عقودًا لتصبح الرياضيات عملية بما يكفي للاستخدام في العالم الحقيقي.

التشبيه الكلاسيكي: تخيل كهفًا يحتوي على مسارين يلتقيان عند باب مقفول في المنتصف. تريد إثبات أنك تعرف كلمة المرور للباب دون إخبار أي شخص بكلمة المرور. ينتظر صديقك عند المدخل. تدخل من جانب واحد، ويصرخ بأي جانب تخرج منه، وأنت تفعل ذلك - بشكل متكرر. بعد جولات كافية، تنخفض احتمالية أنك تتظاهر إلى ما يقرب من الصفر. صديقك مقتنع الآن، لكنه لم يتعلم كلمة المرور.

من حيث البلوكتشين، تتيح إثباتات ZK لك ضغط الحسابات والتحقق من المعاملات والحفاظ على الخصوصية — كل ذلك دون الثقة في طرف ثالث أو الكشف عن البيانات الحساسة.

عائلتان: SNARKs مقابل STARKs

ليست جميع إثباتات المعرفة الصفرية متطابقة. العائلتان الرائدتان في مجال العملات المشفرة هما SNARKs و STARKs، والاختلافات مهمة.

SNARKs أكثر نضجًا وتُنتج إثباتات أصغر، مما يعني تحققًا أرخص على السلسلة. لكنها عادة ما تتطلب حفل "إعداد موثوق" — عملية لمرة واحدة يتم فيها توليد المعاملات السرية ثم (آمل) تدميرها. إذا تسربت تلك المعاملات، ينكسر سلامة النظام. تتجنب STARKs هذا تماميًا، مما يجعلها "شفافة"، وإن كان ذلك على حساب أحجام الإثبات الأكبر. كلاهما جاري تحسينه بنشاط، والفجوة تتضاءل.

ZK-Rollups: توسيع نطاق إيثيريوم بدون تنازلات

التطبيق الأكثر فورية وتأثيرًا عالي لتكنولوجيا ZK هو ZK-rollups. هذه حلول توسيع Layer 2 التي تنفذ المعاملات خارج السلسلة، ثم تنشر إثباتًا مضغوطًا مرة أخرى إلى إيثيريوم ETH$2,200ETH$2,20024h+0.46%7d+6.96%30d+8.02%1y+31.82%MCap: N/AVol: N/Avia Statility لتأكيد الصحة. على عكس optimistic rollups (التي تفترض أن المعاملات صحيحة وتعتمد على فترة تحدي)، توفر ZK-rollups تأكيدًا تشفيريًا في اللحظة التي يتم التحقق من الإثبات فيها على السلسلة.

هذا يعني نهاية أسرع، وتكاليف أقل، وأمان إيثيريوم الموروث — دون نافذة السحب لمدة 7 أيام التي تفرضها optimistic rollups.

إليك كيف أدت رموز ZK Layer 2 الرئيسية أداءً بالنسبة لبعضها البعض على مدار العام الماضي:

المقارنة المفهرسة تزيل السعر المطلق وتُظهر العوائد النسبية البحتة، مما يسهل رؤية أي الأنظمة البيئية فضل السوق.

المشاريع الرائدة في ZK

zkSync (ZK Stack)

تم بناء zkSync Era بواسطة Matter Labs وهي عبارة عن ZK-rollup تم إطلاق شبكتها الرئيسية في 2023. تستخدم SNARKs وتتوافق مع EVM، مما يعني أن المطورين يمكنهم نشر عقود Solidity الذكية الموجودة بتغييرات طفيفة. أدخلت zkSync أيضًا ZK Stack — إطار عمل مفتوح المصدر يسمح لأي شخص بإطلاق سلسلة خاصة به مدعومة بـ ZK (تُسمى "hyperchain") التي تحتل مكانها إلى إيثيريوم. الرؤية هي شبكة من سلاسل ZK القابلة للتشغيل البيني التي تشارك السيولة والأمان.

StarkNet

تم تطوير StarkNet بواسطة StarkWare وتتبع نهج STARK. ذهب رمزها الأصلي STRK STRK$0.0342STRK$0.034224h+3.64%7d+1.48%30d-13.64%1y-75.18%MCap: N/AVol: N/Avia Statility مباشرة في أوائل 2024. Starknet★★★★☆3.8Starknetbrand★★★★☆3.8/51 AI reviewStarknet is an Ethereum Layer 2 scaling network developed by StarkWare that uses STARK (Scalable Transparent ARgument...via Rexiew تستخدم StarkNet Cairo، وهي لغة برمجة مخصصة محسنة لإثباتات STARK. هذا يجعلها أقل ألفة لمطوري Solidity ولكن من المحتمل أن تكون أكثر كفاءة للتطبيقات الأصلية لـ ZK. قامت StarkWare أيضًا ببناء StarkEx، وهي محرك ZK مرخص يشغل dYdX و Immutable X IMX$0.1473IMX$0.147324h+4.39%7d+10.59%30d-7.24%1y-64.84%MCap: N/AVol: N/Avia Statility و Sorare.

Polygon zkEVM

راهنت Polygon MATIC$0.1995MATIC$0.199524h-4.59%7d-15.72%30d-26.38%1y-46.93%MCap: N/AVol: N/Avia Statility بشكل كبير على تكنولوجيا ZK، ومطورة ما يسمونه "الكأس المقدسة" — zkEVM حقيقي يمكنه إثبات تنفيذ bytecode إيثيريوم دون تعديل. هذا هو التوافق الأصعب من الناحية التقنية. تتطلب معظم ZK-rollups الأخرى درجة معينة من تعديل الكود أو استخدام آلة افتراضية مختلفة. Polygon★★★★★4.4Polygonbrand★★★★★4.4/55 AI reviewsPolygon Technology provides a layer-2 scaling framework for Ethereum, enhancing transaction speed and cost-efficiency...via Rexiew تهدف Polygon zkEVM إلى تكافؤ EVM من النوع 2 الكامل، مما يعني أنه يجب أن يعمل أي تطبيق Ethereum دون تغييرات. استحوذت Polygon أيضًا على Hermez (ZK-rollup) واستثمرت في Plonky2، وهو نظام إثبات متكرر يسرع بشكل كبير من توليد الإثبات.

Scroll

Scroll هو مشروع zkEVM آخر يركز على التوافق على مستوى bytecode مع إيثيريوم. اتخذت نهجًا أكثر تنظيمًا وفتح المصدر للتطوير، مع العمل الوثيق مع فريق Privacy and Scaling Explorations التابع لمؤسسة إيثيريوم. أطلقت Scroll شبكتها الرئيسية في أواخر 2023 وكانت تنمو بثبات نظام DeFi الخاص بها.

Mina Protocol

تتخذ Mina زاوية مختلفة تماما. بدلاً من توسيع Layer 2، فإنها تستخدم إثباتات ZK (على وجه التحديد SNARKs العودية) لضغط مجمل البلوكتشين في إثبات حجم ثابت بحوالي 22 KB — بغض النظر عن عدد المعاملات التي حدثت. هذا يجعل من الممكن تشغيل عقدة كاملة على الهاتف. المقابل هو قدرات العقود الذكية المحدودة مقارنة بـ إيثيريوم، على الرغم من أن إطار عمل o1js الخاص بـ Mina يوسع نطاق ما يمكن للمطورين بناؤه.

إليك لقطة سريعة لمكان وقوف مشاريع ZK الرئيسية:

ما وراء التوسيع: الخصوصية والهوية والامتثال

حصل ZK-rollups على أكثر اهتمام، لكن قابلية التوسع هي حالة استخدام واحدة فقط. تفتح إثباتات ZK قدرات كانت مستحيلة سابقًا في نظام شفاف وبدون إذن.

الخصوصية. البلوكتشين العام شفاف بشكل جذري — كل معاملة مرئية للجميع. بالنسبة للعديد من حالات الاستخدام (كشوف الرواتب والسجلات الطبية وبيانات سلسلة التوريد والتمويل الشخصي)، هذا يعتبر أمر حاسم. تتيح إثباتات ZK للمستخدمين إثبات أن لديهم أموالاً كافية أو يلبون متطلبات الامتثال أو يمتلكون بيانات اعتماد معينة دون الكشف عن أرصدتهم أو هوياتهم أو سجلات المعاملات. المشاريع مثل Aztec Network تبني طبقات خصوصية على إيثيريوم باستخدام إثباتات ZK، بهدف إحضار تنفيذ العقود الذكية الخاصة إلى DeFi.

الهوية والامتثال. إثباتات ZK مناسبة بشكل طبيعي للتحقق من الهوية. تخيل إثبات أنك تبلغ من العمر 18 عامًا دون إظهار هويتك، أو إثبات أنك لست على قائمة العقوبات دون الكشف عن اسمك. هذا ليس افتراضيًا — أطلقت كل من Polygon ID و Worldcoin (الآن World) أنظمة هوية قائمة على ZK. بالنسبة للمؤسسات المهتمة بامتثال الأنظمة، توفر إثباتات ZK طريقة لتلبية متطلبات KYC/AML دون إنشاء مستودعات البيانات الشخصية.

التحقق عبر السلاسل. يمكن لإثباتات ZK أيضًا التحقق من الحالة عبر البلوكتشينات المختلفة دون الاعتماد على الجسور الموثوقة (التي كانت مصدر مليارات الاختراقات). مشاريع مثل Succinct Labs و Herodotus تبني جسور وإثباتات تخزين مدعومة بـ ZK تسمح لسلسلة واحدة بالتحقق بشكل تشفيري مما حدث على سلسلة أخرى.

المقابلات والأسئلة المفتوحة

تكنولوجيا ZK مثيرة للإعجاب حقًا، لكنها ليست رصاصة فضية. التقييم الصادق للتحديات:

• توليد الإثبات مكلف. إنشاء إثباتات ZK يتطلب موارد حسابية كبيرة. تصبح الأجهزة المتخصصة (مثبتات GPU و ASIC) ضرورية، مما يثير مخاوف المركزية. إذا كان بإمكان عدد قليل فقط من الكيانات تحمل تكاليف تشغيل المثبتات، فستعيد إدخال افتراض الثقة.
• تعقيد المطورين. كتابة دوائر ZK أو كود Cairo أصعب من كتابة Solidity. الأدوات تتحسن بسرعة، لكن هناك منحنى تعليمي أكثر حدة. تهدف مشاريع zkEVM إلى تجريد هذا بعيدًا، لكن التكافؤ الكامل لا يزال هدفًا متحركًا مع حالات خاصة.
• صعوبة المراجعة. يتم بناء أنظمة ZK على رياضيات متقدمة يفهمها بالكامل عدد قليل من الأشخاص في العالم. هذا يجعل المراجعة أصعب والأخطاء أكثر عواقب. قد يؤدي الخطأ في دائرة ZK إلى السماح بإثباتات مزيفة — بشكل فعال تزييف المال — دون أن يلاحظ أحد.
• مخاطر الإعداد الموثوق. أنظمة قائمة على SNARK التي تتطلب إعدادات موثوقة تحمل مخاطر ملازمة، حتى مع احتفالات متعددة الأطراف. تتجنب STARKs هذا ولكن لها مقابلات خاصة بها من حيث حجم وتكلفة الإثبات.
• النظم البيئية الناشئة. أطلقت معظم ZK-rollups شبكتها الرئيسية خلال السنتين الماضيتين. النظم البيئية تنمو لكن لا تزال جزء صغير من حجم optimistic rollups مثل Arbitrum ARB$0.1075ARB$0.107524h+1.99%7d+18.26%30d+9.25%1y-63.35%MCap: N/AVol: N/Avia Statility و Optimism OP$0.1148OP$0.114824h-0.17%7d+7.89%30d-3.37%1y-82.68%MCap: N/AVol: N/Avia Statility من حيث TVL ونشاط المطورين.

النظر إلى حركة سعر StarkNet على مدار آخر 90 يوم يعطي إحساسًا بموضع السوق:

لماذا يهم ZK على المدى الطويل

رغم التحديات، تُعتبر إثباتات ZK على نطاق واسع النهاية المثالية لتوسيع البلوكتشين والخصوصية. كرر Vitalik Buterin عدة مرات أن ZK-rollups ستهيمن على منظر Ethereum L2 على المدى الطويل، بمجرد نضج التكنولوجيا. التفكير مباشر: توفر إثباتات ZK تأكيدًا رياضيًا بدلاً من نظرية اللعبة الاقتصادية، والنهاية الفورية بدلاً من نوافذ التحدي، والخصوصية دون التضحية بالتحقق.

وتيرة التحسين تتسارع أيضًا. انخفضت أوقات توليد الإثبات من ساعات إلى دقائق إلى ثوان على مدار السنوات القليلة الماضية. تواصل أنظمة الإثبات الجديدة مثل Plonky3 و Binius و Circle STARKs دفع حدود الكفاءة. تمكن مخططات الطي والإثباتات العودية من بناء معماريات جديدة تماما.

يركز جدول أعمال إيثيريوم نفسه، الذي يُطلق عليه أحيانًا "The Surge"، على التوسيع من خلال rollups — و ZK-rollups هي النسخة التي لا تحتاج إلى نافذة إثبات احتيال، ولا افتراض أقلية صادقة، وعدم وجود ثقة متفائلة. بحث ZK BTC$71,883BTC$71,88324h+1.12%7d+7.44%30d+2.75%1y-12.96%MCap: N/AVol: N/Avia Statility يرى أيضًا بحثًا متعلقًا بـ ZK، مع مشاريع تستكشف ZK-rollups وإثباتات الصحة لتوسيع BTC.

النقطة الأساسية

إثباتات المعرفة الصفرية ليست مجرد كلمة طنانة أخرى في العملات المشفرة. تمثل تقدمًا أساسيًا في ما يمكن للتشفير القيام به: إثبات الحقيقة دون الكشف عن المعلومات، ضغط الحسابات دون التضحية بالأمان، وتمكين الخصوصية دون التخلي عن الشفافية حيث تكون مهمة. التكنولوجيا لا تزال تنضج، والنظم البيئية لا تزال صغيرة، وأدوات المطورين لا تزال تلحق. لكن المسار واضح. كل فريق Layer 1 و Layer 2 رئيسي يستثمر بكثافة في أبحاث ZK. المشاريع التي تتقن هذه التكنولوجيا ستتمتع بميزة هيكلية يصعب تكرارها.

تحل إثباتات ZK ثالوث البلوكتشين ليس بالعثور على توازن بين المقابلات، بل بتغيير الرياضيات حتى لا تضطر إلى الاختيار.

تبحث عن منصات العملات المشفرة والبورصات وتطبيقات DeFi؟ تصفح دليلنا المنسق: