تشهد عملات الخصوصية ارتفاعًا كبيرًا، وتقوم حلول ZK rollups بمعالجة مليارات المعاملات أسبوعيًا، في حين تُقدِّم البنوك الكبرى بهدوء طلبات براءات اختراع تتعلق بـ التشفير عديم المعرفة.
مع ذلك فإن معظم حاملي العملات المشفرة لم يتوقفوا قط ليسألوا أنفسهم ما هو البرهان عديم المعرفة فعليًا. هذه الفجوة أصبحت أهم مما كانت عليه.
فهم براهين ZK لم يعد معرفة متخصصة بالمشفِّرين فقط. بل صار بشكل متزايد الإطار الذي تعتمد عليه كيفية توسّع سلاسل الكتل، وكيف تعمل الخصوصية على السلسلة، ولماذا يتداول زي كاش (ZEC) وفق نموذج أمني مختلف جوهريًا عن أي أصل خصوصية آخر في السوق.
خلاصة سريعة
- يتيح البرهان عديم المعرفة لطرف ما إثبات أنه يعرف معلومة من دون كشف تلك المعلومة نفسها، فيحمي البيانات مع الإبقاء على التحقق بلا ثقة.
- تشكل براهين ZK الأساس لكلٍّ من أدوات الخصوصية على السلسلة مثل زي كاش، وحلول التوسّع مثل ZK rollups، ما يجعلها من أوسع البدائيات التشفيرية استخدامًا في عالم الكريبتو اليوم.
- معرفة كيفية عمل براهين ZK تساعدك على تقييم ما إذا كانت ادعاءات أي مشروع «خصوصية» أو «توسّع» مبنية رياضيًا أم مجرد تسويق.
الفكرة الجوهرية وراء البراهين عديمة المعرفة
البرهان عديم المعرفة هو أسلوب تشفيري يتيح للمُثبِت إقناع المُتحقِّق بأن عبارةً ما صحيحة من دون مشاركة أي معلومات أخرى تتجاوز حقيقة صحة تلك العبارة. وُصِف هذا المفهوم رسميًا لأول مرة بواسطة الباحثين شافي غولدواسر وسيلفيو ميكالي وتشارلز راكوف في ورقة نُشرت عام 1985 في مجلة SIAM للحوسبة. قدم عملهم فكرة أن المعرفة يمكن فصلها عن الدليل المستخدم لإثباتها.
المثال الكلاسيكي غير التقني هو صديق مصاب بعمى الألوان وكرتان للبلياردو. تريد أن تثبت أن الكرتين بلونين مختلفين من دون أن تخبر صديقك أيهما أي لون. تعطيه الكرتين خلف ظهره، فيختار إمّا تبديلهما أو عدم تبديلهما، ثم تتنبأ أنت بشكل صحيح ما إذا كان قد تم التبديل. بتكرار التجربة مرات كافية، تنخفض احتمالية أن تكون إجاباتك الصحيحة مجرد حظ إلى ما يقارب الصفر. لقد أثبتّ أن الكرتين مختلفتان من دون كشف ألوانهما.
يحقق البرهان عديم المعرفة ثلاث خصائص في آنٍ واحد: الكمال (العبارة الصحيحة تنجح دائمًا)، والسلامة (العبارة الخاطئة لا يمكن أن تنجح)، وانعدام المعرفة (لا يتعلم المتحقق شيئًا سوى صحة الادعاء).
في سياق سلسلة الكتل، قد تكون «العبارة» شيئًا مثل: «أنا أعرف المفتاح الخاص الذي يتحكم في هذا العنوان»، أو «هذه المعاملة صالحة وفقًا لقواعد البروتوكول»، أو «رصيد هذا المستخدم أعلى من الحد المطلوب». تتيح براهين ZK التحقق من هذه الحقائق على السلسلة من دون بث المفتاح أو تفاصيل المعاملة أو الرصيد.
اطلع أيضًا على: Venice Token Surges 21% And Reaches $518M Market Cap On AI Privacy Momentum
نظاما البراهين الرئيسيان: zk-SNARKs و zk-STARKs
الإطار النظري لبراهين ZK جرى تطبيقه في نظامين عمليين مهيمنين، لكل منهما تنازلات مختلفة، وفهم هذه التنازلات أساسي عند قراءة أي ادعاءات تقنية لمشروع ما.
zk-SNARKs (حجج معرفة موجزة ولا تفاعلية) هي الأقدم بين النظامين. كانت زي كاش رائدة استخدامها في سلسلة كتل حيّة عام 2016، بالاستناد إلى أبحاث بن-ساسون وزملائه في التخنيون. تُنتج SNARKs براهين صغيرة للغاية، غالبًا أقل من كيلوبايت، وتُتحقَّق بسرعة. كلمة «موجزة» هنا جوهرية: يمكن للمتحقق التثبت من صحة SNARK في أجزاء من الألف من الثانية بغض النظر عن مدى تعقيد الحساب الأساسي.
التحدي في SNARKs المبكرة هو الحاجة إلى إعداد موثوق. قبل أن يُستخدم النظام، يجب توليد مجموعة من المعاملات التشفيرية في «مراسم»، وإذا احتفظ أي مشارك في تلك المراسم بمدخله السرّي، يمكنه نظريًا تزوير براهين. أجرت زي كاش مراسم حسابٍ متعدد الأطراف معقدة تُسمى «Powers of Tau» لتقليل هذا الخطر. أنقصت تراكيب SNARK الحديثة، مثل PLONK و Groth16، لكن لم تُلغِ تمامًا، متطلبات الإعداد الموثوق في جميع التهيئات.
zk-STARKs (حجج معرفة قابلة للتوسع وشفافة) قُدِّمت بواسطة إيلي بن-ساسون في StarkWare عام 2018. لا تتطلب STARKs أي إعداد موثوق، إذ تستبدل تلك المراسم بعشوائية يمكن التحقق منها علنًا. وهي أيضًا مقاومة للحوسبة الكمية، لكونها تعتمد على دوال التجزئة بدلًا من الاقترانات على المنحنيات البيضوية. التنازل هنا هو حجم البرهان: برهان STARK أكبر بكثير من برهان SNARK، ما يرفع تكلفة نشره على السلسلة.
zk-STARKs شفافة ومقاومة للحوسبة الكمية لكن تنتج براهين أكبر. zk-SNARKs مدمجة وسريعة التحقق لكنها تطلبت تاريخيًا مراسم إعداد موثوقة.
تستخدم معظم مشاريع ZK اليوم نُظمًا هجينة أو مُحسَّنة. تعتمد StarkWare في StarkEx و Polygon في zkEVM على نظم قائمة على STARK. تُشغِّل SNARKs من نوع Groth16 التجمع المحمي لزي كاش. يستخدم Aztec Network و zkSync أنظمة مشتقة من PLONK تقلل التعرّض لمتطلبات الإعداد الموثوق. التصنيف يتطور بسرعة، لكن يظل التوازن بين حجم البرهان وشفافية الإعداد هو المحور الذي تدور حوله خيارات التصميم.
اطلع أيضًا على: Solana Outpaces Bitcoin And Ethereum With 3.4% Gain, $4.9B Daily Volume
كيف تستخدم زي كاش براهين ZK لحجب المعاملات
زي كاش هي أقدم وأشد تطبيقات براهين ZK اختبارًا في سلسلة كتل عامة حيّة. عندما ترسل عملة ZEC عبر التجمع المحمي لزي كاش، تكون المعاملة مشفَّرة من الطرف إلى الطرف. يظل المرسِل والمستقبِل والمبلغ جميعًا مخفيين. ومع ذلك، يمكن للشبكة أن تتحقق، من دون رؤية أي من تلك التفاصيل، من أنه لم تُنشأ عملات من لا شيء وأن المرسِل يملك فعلًا الأموال المُنفَقة.
هنا يقوم برهان ZK بدوره. يُنشئ المُثبِت (برنامج محفظتك) برهانًا يقول: «هناك ملاحظة غير منفقة صالحة بهذا المبلغ، وأنا أعرف مفتاح الإنفاق لتلك الملاحظة، ومجموع المدخلات يساوي مجموع المخرجات زائد الرسوم.» تتحقق الشبكة من هذا البرهان في أجزاء من الثانية من دون أن تعلم أبدًا أي ملاحظة أو أي مفتاح أو أي مبلغ يتعلق به الأمر.
تستخدم زي كاش بروتوكول Sapling المعتمد على SNARK والذي رُقِّي عام 2018، ومؤخرًا Orchard الذي قُدِّم في ترقية الشبكة NU5 عام 2022، والذي يستخدم نظام البراهين Halo 2 الذي طورته Electric Coin Company. ما يميز Halo 2 هو تحقيق تركيب براهين تكراري (recursive) من دون إعداد موثوق، وهو تقدّم تشفيري مهم مقارنة بالإصدارات السابقة من زي كاش.
النتيجة هي ضمان خصوصية مفروض رياضيًا لا سياسيًا. لا يعتمد على خلاطات أو منسِّق أو تصميم سلسلة يعتمد على الغموض. تنشأ الخصوصية مباشرة من نظام البرهان نفسه.
اطلع أيضًا على: Terra Luna Classic Holds Top-100 Rank While LUNC Burn Narrative Keeps Traders Watching
براهين ZK كأداة للتوسّع، لا للخصوصية فقط
يتعرّف كثيرون لأول مرة على براهين ZK عبر عملات الخصوصية، لكن أسرع تطبيق نموًا للتقنية في 2026 هو التوسّع. تستخدم ZK rollups البراهين لضغط آلاف المعاملات في ملخص تشفيري واحد يُنشَر على طبقة أساس مثل إيثريوم (ETH).
منطق التوسّع يعمل على النحو التالي: يعالج مشغّل الـ rollup دفعة من المعاملات خارج السلسلة. وبعد اكتمال الدفعة، يُولِّد برهان ZK يثبت أن جميع هذه المعاملات نُفِّذت بشكل صحيح وفقًا لقواعد البروتوكول.
يُنشَر هذا البرهان، إلى جانب تحديث حالة مضغوط، على إيثريوم. لا تحتاج شبكة إيثريوم إلا إلى التحقق من البرهان، بدلًا من إعادة تنفيذ كل معاملة. التحقق رخيص. قد يكون الحساب المضغوط داخل البرهان استهلك آلاف وحدات الغاز لكل معاملة، لكن تكلفة التحقق من البرهان لا تمثل سوى جزء بسيط من ذلك.
تختلف نسبة الضغط باختلاف النظام. أفادت zkSync Era و Polygon zkEVM بأنهما حققتا زيادات فعالة في القدرة الاستيعابية تبلغ 100 مرة أو أكثر مقارنة بنشر بيانات المعاملات الخام. يستخدم StarkNet براهين STARK تكرارية يمكنها تعشيش براهين داخل براهين، مما يضغط أكثر.
الفارق الجوهري عن optimistic rollups هو النهايّة (finality). تفترض optimistic rollups مثل Arbitrum و Optimism أن المعاملات صحيحة وتسمح بفترة طعن قد تصل إلى سبعة أيام. أما ZK rollups فتُنتج برهانًا تشفيريًا على الصحة فورًا، لذا تكون النهايّة بالسرعة التي يمكن بها التحقق من البرهان على السلسلة، عادةً في دقائق بدلًا من أيام.
تحقق ZK rollups نهايّة أسرع من optimistic rollups لأن صحة المعاملات تُثبَت مسبقًا بدل افتراضها ثم الطعن فيها لاحقًا.
يجعل هذا ZK rollups جذابة ليس فقط من ناحية القدرة الاستيعابية، بل أيضًا لتطبيقات مثل التداول على السلسلة، والمدفوعات، وأي استخدام لا يستطيع فيه المستخدمون تحمّل الانتظار أسبوعًا قبل اعتبار السحب نهائيًا.
اطلع أيضًا على: Bitget Pay Rolls Out Scan To Pay Feature For Instant USDT Spending
البراهين التكرارية والحدود التالية
أحد أهم التطورات التقنية في أنظمة براهين ZK خلال السنوات الثلاث الماضية هو التكرار (recursion). البرهان التكراري هو برهان يتحقق من برهان آخر. يبدو هذا دائريًا، لكنه تقدّم تشفيري حقيقي ذو تبعات عملية عميقة.
تخيّل سلسلة من ألف معاملة. بدلًا من توليد برهان واحد ضخم لكل الألف مرة واحدة، وهو ما يكون مكلفًا حسابيًا، يمكنك توليد برهان لأول عشر معاملات، ثم برهان يتحقق من ذلك البرهان بالإضافة إلى العشر التالية، وهكذا. في النهاية، يكون لديك برهان واحد مدمج يمثّل جميع المعاملات الألف.
يقوم المُدقّق بالتحقق من برهان واحد ثابت الحجم، بغضّ النظر عن عدد المعاملات المضمَّنة داخله.
يستخدم بروتوكول مينا (Mina Protocol) إثباتات SNARK العودية للحفاظ على حالة سلسلة الكتل بالكامل مضغوطة في برهان بحجم يقارب 22 كيلوبايت، أي بحجم بضع تغريدات، بغضّ النظر عن مدى طول السلسلة. يحقق Halo 2، الذي تستخدمه Zcash الآن في شبكة Orchard، العودية بدون إعداد موثوق (trusted setup) لأول مرة على نطاق إنتاجي. ويَعِد Nova، وهو نظام إثبات قائم على مخطط "الطي" (folding scheme) من مايكروسوفت ريسيرش وجهات أخرى، بدفع إثباتات العودية إلى مستويات جديدة من الكفاءة.
النتيجة العملية هي أن إثباتات المعرفة الصفرية تنتقل من كونها أدوات مكلفة ومخصّصة تُستخدم فقط في السياقات عالية القيمة إلى كونها رخيصة بما يكفي لتشغيلها على عتاد المستهلكين ودمجها في مجموعة واسعة من التطبيقات.
Also Read: Exclusive: Anchorage Says Federal Crypto Rules Will Unlock Next Phase of Tokenized Finance Growth
من الذي يحتاج فعلياً إلى فهم إثباتات المعرفة الصفرية ولماذا؟
الإجابة أوسع مما يتوقعه معظم الناس. لست بحاجة إلى فهم الاقترانات على المنحنيات البيضاوية (elliptic curve pairings) أو التزامات كثيرات الحدود الكامنة في الرياضيات. لكن الفهم المفاهيمي لما تفعله إثباتات المعرفة الصفرية، وما الذي لا يمكنها فعله، أصبح جزءاً أساسياً من الثقافة العامة اللازمة لتقييم نسبة متزايدة من مشاريع العملات المشفّرة.
إذا كنت تقيّم عملة خصوصية، فاسأل عمّا إذا كان ضمان الخصوصية مبنياً على إثباتات معرفة صفرية أو يعتمد على الإخفاء (obfuscation) أو الخلط (mixing) أو العناوين المتخفية (stealth addresses).
الخصوصية المبنية على إثباتات المعرفة الصفرية مفروضة رياضياً على مستوى البروتوكول. كل ما عدا ذلك يعتمد على اختيارات تنفيذية يمكن التراجع عنها أو استغلالها.
إذا كنت تقارن بين حلول Layer 2، فإن التمييز بين الـ optimistic rollups والـ ZK rollups له عواقب مباشرة على وقت السحب الخاص بك وعلى افتراضات الأمان التي تقبل بها. إن ZK rollup الذي يولّد برهاناً صالحاً يمنحك نهائية تشفيرية (cryptographic finality). أما optimistic rollup الذي لم يُطعَن فيه بنجاح من قبل فقد لا يزال يُخفي حالة غير صالحة لم تُكتشف لمدة ستة أيام.
إذا كنت تنظر في تطبيقات الهوية أو الاعتماد، مثل درجات الائتمان على السلسلة، أو إثبات الشخص (proof of personhood)، أو بروتوكولات DeFi خفيفة المتطلبات في KYC، فإن إثباتات المعرفة الصفرية هي الآلية التي تمكّن تلك الأنظمة من التحقق من حقيقة عنك من دون تخزين أو كشف البيانات الأساسية. Worldcoin و Polygon ID وعدة طبقات هوية موجهة للمؤسسات تبني بالفعل على هذا الأساس.
إذا كنت تحتفظ بعملة ZEC، فإن فهم Halo 2 وترقية Orchard يساعدك على تقييم ما إذا كانت ادعاءات خصوصية Zcash تصمد أمام تصاميم الخصوصية الأحدث، وليس فقط أمام دفتر Bitcoin (BTC) الشفاف.
Also Read: Bitcoin Tops $82,000 As 67-Day Funding Slump Hints At Short Squeeze
الخلاصة
إثباتات المعرفة الصفرية هي واحدة من الأدوات التشفيرية النادرة التي تحل في الوقت نفسه مشكلتين مختلفتين مهمتين للغاية لعالم الكريبتو: الخصوصية وقابلية التوسع. الفكرة الرياضية نفسها التي تتيح لـ Zcash إخفاء مبلغ معاملة معيّنة هي نفسها التي تمكّن ZK rollup من ضغط عشرة آلاف معاملة على شبكة إيثيريوم في عملية تحقق واحدة على السلسلة. هذه الفائدة المزدوجة هي السبب في أن تكنولوجيا المعرفة الصفرية جذبت في السنوات الأربع الماضية اهتماماً بحثياً جاداً ورأس مال مخاطر أكثر من أي مجال آخر تقريباً في علم التشفير التطبيقي.
المفاهيم ليست سهلة. لكن الحدس الأساسي، أي إثبات أن شيئاً ما صحيح من دون كشف سبب كونه صحيحاً، متاح لأي شخص على استعداد لقضاء ثلاثين دقيقة في استيعابه. ومع نضوج التكنولوجيا، تصبح الإثباتات العودية أرخص، وتتقلص متطلبات الإعداد الموثوق، وتتحسّن قابلية التوافق مع zkEVM، وستظهر بصمات إثباتات المعرفة الصفرية في مزيد ومزيد من البنية التحتية التي تستخدمها، سواء ذُكرت هذه المصطلحات في الواجهة أم لا.
المشاريع والأصول التي تفهم هذه التكنولوجيا بعمق، وتطبّقها بشكل صحيح، تحمل ملف مخاطر وقدرات مختلفاً جذرياً عن تلك التي لا تفعل ذلك. من المفيد إدراك هذا الفارق.
Read Next: LUNC Returns To The Spotlight With 8.7% Gain And $253M In Daily Trading Volume