لماذا قد تصبح «البراهين عديمة المعرفة» أهم تقنية في عالم الكريبتو

زي كاش (ZEC) قفز بأكثر من 13% خلال الأربع والعشرين ساعة الماضية، ليعيد عملة الخصوصية إلى صدارة عناوين أسواق الكريبتو.

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

هذا النظام هو ما يُعرف بـ«برهان عديم المعرفة». إذا سبق أن تساءلت كيف يمكن لعملة مشفرة أن تضمن رياضياً صحة معاملة من دون كشف هوية المرسل أو المستلم أو قيمة العملية، فهذا هو الشرح الذي تحتاجه.

خلاصة سريعة

• البرهان عديم المعرفة يسمح لطرفٍ «المُثبِت» أن يقنع طرفاً آخر «المُتحقِّق» بأن عبارة ما صحيحة، من دون أن يكشف أي معلومة إضافية عن البيانات الكامنة وراءها.
• تستخدم Zcash بناءً تشفيرياً محدداً يدعى zk-SNARKs لإخفاء بيانات العمليات على سلسلة كتل عامة، مع استمرار قدرة الشبكة على التأكد من عدم إنشاء عملات من العدم.
• التقنية نفسها أصبحت اليوم أساساً لحلول الطبقة الثانية، وبروتوكولات DeFi الخاصة، وأنظمة الهوية، ما يجعلها أحد أهم اللبنات التشفيرية في Web3.

ما هو «البرهان عديم المعرفة» فعلياً؟

البرهان عديم المعرفة هو أسلوب يَقدر من خلاله طرف يسمى «المُثبِت» على إقناع طرف آخر يسمى «المُتحقِّق» بصحة ادعاء محدد، مع شرط أساسي: ألا يكشف البرهان أي شيء عن البيانات التي بُني عليها هذا الادعاء.

طُرِح المفهوم لأول مرة في بحث أكاديمي عام 1985 لشافي غولدواسر، سيلفيو ميكالي، وتشارلز راكوف بعنوان «تعقيد المعرفة في أنظمة البراهين التفاعلية».

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

يجب أن يحقق البرهان عديم المعرفة ثلاث خصائص: الإكمالية (المُثبِت الصادق يقنع المُتحقِّق الصادق دائماً)، والصوتية أو الموثوقية (المُثبِت المخادع لا ينجح في التضليل إلا باحتمال ضئيل جداً)، وانعدام المعرفة (المُتحقِّق لا يتعلم شيئاً سوى صحة الادعاء).

المثال الكلاسيكي في الكتب هو «كهف علي بابا» ببابه السحري. تخيّل كهفاً دائرياً له مدخل واحد وباب مقفل في عمقه لا يُفتح إلا بكلمة سر. يريد المُثبِت إقناع المُتحقِّق بأنه يعرف كلمة السر من دون أن يكشفها. يدخل المُثبِت الكهف ويختار الممر الأيسر أو الأيمن. بعدها يصرخ المُتحقِّق معلناً أي طريق يريد أن يخرج منه المُثبِت. إذا كان المُثبِت يعرف كلمة السر، يمكنه دائماً الظهور من الجهة المطلوبة بالمرور عبر الباب إن لزم الأمر. تكرار هذه العملية مرات كثيرة يجعل من المستحيل عملياً على شخص لا يعرف السر أن ينجح في التخمين كل مرة.

اقرأ أيضاً: ارتفاع توكن Pudgy Penguins بعد صفقة 5.3 مليارات دولار مع مانشستر سيتي

براهين تفاعلية مقابل براهين غير تفاعلية: لماذا الفارق حاسم لسلاسل الكتل؟

قصة الكهف تمثّل برهاناً تفاعلياً عديم المعرفة؛ فالمُتحقِّق يشارك فعلياً عبر إرسال «تحدٍّ» في كل جولة. من الناحية الرياضية هذا أنيق، لكنه لا يناسب سلاسل الكتل: فلا يوجد مُتحقِّق حي يتفاعل مع كل معاملة ويرسل لها تحديات في الزمن الحقيقي.

شبكات البلوك تشين تحتاج إلى براهين عديمة المعرفة «غير تفاعلية». في هذا النمط ينتج المُثبِت «كائناً» واحداً مكتفياً بذاته من البرهان يمكن لأي طرف التحقق منه بشكل مستقل، في أي وقت، ومن دون أي تبادل رسائل. حل هذه المعضلة أصعب بكثير رياضياً.

الانطلاقة جاءت عبر تقنية تسمى «تخمين فيات–شامير» (Fiat-Shamir heuristic)، طُوّرت عام 1986؛ إذ تقوم بتحويل البراهين التفاعلية إلى غير تفاعلية من خلال استبدال التحديات العشوائية التي يرسلها المُتحقِّق بدالة «تجزئة» تشفيرية. يقوم المُثبِت نفسه بتوليد «التحدي» عبر تجزئة نص الادعاء، بما يمنع التلاعب من دون نسف صحة البرهان.

بفضل البراهين غير التفاعلية أصبح بالإمكان «تغليف» ضمانات الصحة التشفيرية داخل المعاملة نفسها. فعقدة الشبكة التي تستقبل معاملة مظللة لا تحتاج إلى سؤال أحد؛ يكفي أن تشغّل خوارزمية التحقق محلياً لتحصل على جواب «نعم» أو «لا».

اقرأ أيضاً: Hyperliquid يقفز 17% مع تسجيل صناديق HYPE تدفقات قياسية بـ25.5 مليون دولار في يوم واحد

كيف تشغّل zk-SNARKs المعاملات المظللة في Zcash؟

أدخلت زي كاش أول تطبيق عملي واسع النطاق لـ zk-SNARKs على سلسلة كتل عامة عند إطلاقها في أكتوبر 2016. الاختصار يعني: «براهين عديمة المعرفة موجزة، غير تفاعلية، وحجج معرفة». وكل كلمة هنا لها وزن تقني.

«موجزة» تعني أن حجم البرهان صغير وزمن التحقق منه سريع جداً، بغض النظر عن تعقيد الحساب الأصلي. «غير تفاعلية» تعني عدم الحاجة لأي تبادل رسائل بين المُثبِت والمُتحقِّق كما شرحنا أعلاه. أما «حجج معرفة» فتعني أن المُثبِت لا يمكنه توليد برهان صحيح إلا إذا كان يمتلك بالفعل «الشاهد السري» (مثل المفتاح الخاص، أو مفتاح الإنفاق، أو تفاصيل المعاملة). التخمين الرياضي مستبعد عملياً.

عندما يرسل مستخدم Zcash معاملة مظللة، يقوم برنامج المحفظة على جهازه بحساب برهان يثبت في الوقت نفسه عدة أمور، من دون كشف أي منها: يثبت أن المرسل يملك الرصيد الذي ينفقه، وأن مجموع المدخلات يساوي مجموع المخرجات مضافاً إليه العمولة (أي لا توجد عملات تُنشأ من العدم)، وأن المرسل يعرف مفتاح الإنفاق الخاص بالعنوان المصدِر. يُضمَّن هذا البرهان داخل المعاملة نفسها قبل بثها على الشبكة، ثم تتحقق كل عُقدة كاملة منه بشكل مستقل، غالباً في جزء من الثانية.

تعتمد المعاملات المظللة في Zcash على بنية تشفيرية تدعى «دائرة Sapling» (طُوِّرت عن دائرة Sprout الأصلية عام 2018) والتي خفّضت زمن توليد البرهان من نحو 40 ثانية إلى أقل من ثانيتين، وقلّصت متطلبات الذاكرة من 3 جيجابايت إلى نحو 40 ميجابايت، ما جعل محافظ Zcash المظللة على الهواتف المحمولة عملية لأول مرة.

تُشغّل Zcash نوعين من العناوين: العناوين الشفافة (t-addresses) التي تعمل بطريقة مشابهة لعناوين بيتكوين (BTC)، حيث تكون البيانات مرئية بالكامل على السلسلة؛ والعناوين المظللة (z-addresses) التي تستخدم zk-SNARKs لتشفير المرسل والمستلم والمبلغ. يمكن للمستخدمين التحويل بين النوعين، لكن الانتقال من عنوان شفاف إلى مظلل يكشف قيم المبالغ على حدود التحويل.

اقرأ أيضاً: غولدمان ساكس يبتعد عن XRP وسولانا في إعادة تموضع حادة بسوق الكريبتو في الربع الأول

إشكالية «الإعداد الموثوق» في zk-SNARKs: نقطة الجدل الكبرى في Zcash

أكثر الجوانب إثارة للجدل في تطبيق Zcash الأصلي لـ zk-SNARKs هو ما يسمى «مراسم الإعداد الموثوق». تحتاج zk-SNARKs إلى مجموعة من المعاملات العامة – أو «سلسلة مرجعية مشتركة» – تُنشأ مسبقاً قبل أن يعمل النظام. وتُشتق هذه المعاملات من قيمة عشوائية سرية. إذا أُعيد تجميع هذه السرية يوماً ما، يمكن لفاعل خبيث أن يزوّر براهين وينشئ عملات Zcash من لا شيء من دون أن يلحظها أحد.

لمواجهة ذلك، نظّم فريق Zcash المؤسس مراسم حساب متعددة الأطراف عام 2016 شارك فيها ستة أشخاص، تولّى كل واحد منهم توليد جزء من السر. تبقى المعاملات آمنة طالما دمّر مشارك واحد على الأقل الجزء الخاص به بأمان. أُعيدت المراسم مع تحسينات كبيرة في ترقية Sapling عام 2018 بمشاركة 90 شخصاً، ما جعل احتمال الاختراق الكامل شبه معدوم.

مع ذلك يبقى «الإعداد الموثوق» نقطة ضعف نظرية ومثار جدل فلسفي داخل مجتمع عملات الخصوصية؛ فالمعارضون يرون أن تقبّل احتمال – ولو ضئيلاً جداً – لعملية تضخم غير قابلة للاكتشاف أمر غير مقبول. في المقابل يشير المؤيدون إلى عدد المشاركين الكبير والتصميم القابل للتحقق للمراسم كتخفيف كافٍ للمخاطر.

هذا الجدل كان دافعاً رئيسياً لابتكار zk-STARKs، الفرع الآخر الكبير في عائلة البراهين عديمة المعرفة، كما سنرى في القسم التالي.

اقرأ أيضاً: Bitget تطلق مسابقة Gold Fast Or Go Home لمتداولي الكريبتو

zk-SNARKs مقابل zk-STARKs: المفاضلات الأساسية

ظهرت zk-STARKs – اختصاراً لـ «براهين عديمة المعرفة، قابلة للتوسع، شفافة، وحجج معرفة» – في بحث عام 2018 لإيلي بن ساسون وزملائه في معهد التخنيون وشركة StarkWare. هذه البنية تتجاوز مشكلة الإعداد الموثوق كلياً بالاعتماد على عشوائية علنية يمكن للجميع التحقق منها، مشتقة من دوال تجزئة مقاومة للتصادم، من دون أي معاملات سرية.

المفاضلات بين البُنيتين حقيقية وحاسمة أمام المطورين الذين يختارون التقنية الأنسب.

• zk-SNARKs تنتج براهين صغيرة جداً – غالباً أقل من 300 بايت – وتتحقق بسرعة هائلة. لكنها تتطلب إعداداً موثوقاً وتعتمد على تشفير المنحنيات الإهليلجية، ما يجعلها معرضة نظرياً للحواسيب الكمية فائقة القدرة.
• zk-STARKs لا تحتاج إلى إعداد موثوق وتُعد مقاومة للحوسبة الكمية لأنها تعتمد فقط على دوال التجزئة. غير أن براهينها أكبر بكثير حجماً، عادة في نطاق عشرات إلى مئات الكيلوبايت، مع بقاء زمن التحقق سريعاً.
• بُنى PLONK وأنواع الـ SNARKs «العالمية» الأخرى تمثل جيلاً وسطياً؛ إذ تحتاج إلى إعداد موثوق واحد فقط يُجرى لمرة واحدة، بدلاً من إعداد منفصل لكل دائرة حسابية. مشاريع مثل Aztec وPolygon اعتمدت أنظمة مبنية على PLONK لتقليص عبء الإعدادات الموثوقة من دون التخلي عن كفاءة SNARK. تهيمن هذه التقنية على بروتوكولات الطبقة الأولى المعنية بالخصوصية مثل Zcash، بينما تسيطر zk-STARKs على مشهد حلول التوسّع في الطبقة الثانية المعروفة بالـRollups، خصوصاً تلك المطوَّرة من StarkWare، حيث تقل أهمية حجم الدليل مقارنة بتقليل الثقة المطلوبة وتعظيم القدرة الاستيعابية للشبكة.

اطلع أيضاً: فيتاليك بوترين يريد من إيثيريوم أن تتوقف عن “التجسس من فوق كتفك”

أين تُستخدم براهين عدم المعرفة خارج نطاق عملات الخصوصية؟

كان الاستخدام الأولي لبراهين عدم المعرفة هو تحقيق الخصوصية المالية، كما قدّمته Zcash. لكن التقنية تطورت سريعاً في منظومة البلوكشين الأوسع، والنشاط المتصاعد حول Nexus وشبكته القائمة على براهين عدم المعرفة يُعد من أوضح المؤشرات على أن بنية ZKP التحتية أصبحت تياراً رئيسياً في الصناعة.

الـ ZK Rollups ربما تكون التطبيق التجاري الأهم خارج نطاق عملات الخصوصية. شبكات الطبقة الثانية مثل zkSync وStarkNet وPolygon zkEVM تستخدم براهين عدم المعرفة لتجميع مئات أو آلاف معاملات إيثيريوم (ETH) في دليل واحد يُرسل إلى السلسلة الرئيسية. شبكة إيثيريوم الرئيسية لا تحتاج سوى إلى التحقق من دليل مدمج واحد بدلاً من تنفيذ كل معاملة على حدة، ما يرفع القدرة الاستيعابية بشكل جذري مع الإبقاء على كامل مستوى أمان إيثيريوم.

التمويل اللامركزي الخاص (Private DeFi) فئة ناشئة تستخدم فيها البروتوكولات براهين عدم المعرفة لتمكين المستخدمين من الإقراض والتداول والدخول في استراتيجيات العائد دون كشف أرصدة محافظهم أو استراتيجياتهم على السلسلة. شبكة Venice Token، التي تشهد زخماً مماثلاً لـ Zcash، تطبق فلسفة تشفيرية قريبة على عمليات استدلال الذكاء الاصطناعي، بحيث تتيح للمستخدمين الاستعلام عن النماذج دون أن يرى المزوّد بيانات مدخلاتهم.

أنظمة الهوية والاعتمادات تمثل الموجة الثالثة. تمكّن براهين عدم المعرفة المستخدم من إثبات أنه تجاوز 18 عاماً، أو أنه مقيم في دولة معينة، أو أنه اجتاز فحص KYC، من دون كشف اسمه أو تاريخ ميلاده أو رقم جواز سفره. مشاريع مثل Polygon ID وSismo بنت أطر اعتماد متكاملة حول هذه القدرة.

سوق براهين عدم المعرفة مرشح للارتفاع من نحو 243 مليون دولار في 2023 إلى أكثر من 12 مليار دولار بحلول 2030، وفقاً لبيانات Grand View Research، مدفوعاً بتبنّي التقنية في مجالات التمويل والهوية وسلاسل الإمداد.

اطلع أيضاً: حصري: أزمة صامتة تضرب DeFi ولا أحد يتحدث عنها وتفتك بالعوائد: الرئيس التنفيذي لـ Katana يوضح

مَن الذي يحتاج فعلاً إلى فهم هذه التقنية؟

براهين عدم المعرفة باتت ذات صلة بعدة شرائح في سوق العملات المشفّرة، حتى لو أن الغالبية لن تتعامل مباشرة مع التشفير نفسه.

المتداولون والمستثمرون المتابعون لعملات الخصوصية مثل Zcash يستفيدون من إدراك أن موجات الصعود السعرية ليست مضاربات خالصة. التقنية التي تدعم ZEC تمتلك استخدامات حقيقية ومتنامية عبر ZK Rollups وDeFi الخاص، ما يخلق طلباً هيكلياً يتجاوز المضاربة. وعندما يشتد الضغط التنظيمي على البلوكشينات الشفافة، كما يحدث دورياً، تصبح خصائص الحفاظ على الخصوصية في الأنظمة المبنية على ZKP أكثر إلحاحاً.

مستخدمو ومطوّرو DeFi الذين يختارون بين شبكات الطبقة الثانية ينبغي أن يفهموا الفارق بين الـ Optimistic Rollups (التي تعتمد آلية “إثبات الاحتيال” وفترة طعن تصل إلى 7 أيام) وبين الـ ZK Rollups (التي تستند إلى براهين رياضية ويمكن أن تُنجز التسوية خلال دقائق). هذا الاختيار ينعكس مباشرة على أزمنة السحب، وافتراضات الثقة، وكفاءة استخدام رأس المال.

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

مُصمّمو البروتوكولات الذين يدرسون بناء أنظمة اعتماد، أو تصويتاً سرياً، أو إثباتاً للاحتياطات دون كشف الأرصدة، يحتاجون إلى فهم نموذج “الدائرة الحسابية” في براهين عدم المعرفة، لأن تصميم نظام ZKP يعني تصميم الدائرة الحسابية التي تُمثّل المسألة، لا مجرد كتابة كود تقليدي.

اطلع أيضاً: سبيس إكس تكشف عن حيازة 18,712 بيتكوين في مفاجأة ملف الـ IPO القياسي، وتُصنّف كأحد أكبر 7 حيتان بيتكوين

الخلاصة

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

تظل Zcash أبرز تطبيق حيّ لبراهين عدم المعرفة في الخصوصية المالية. بنية zk-SNARK التي تعتمدها، رغم الجدل المستمر حول “الإعداد الموثوق”، أثبتت صلابتها، وألهمت مباشرة كل تصاميم الـ ZK Rollups الرئيسية التي جاءت بعدها.

تمدد التقنية إلى توسيع قدرات DeFi عبر شبكات مثل zkSync وStarkNet، وإلى طبقات خصوصية في الذكاء الاصطناعي مثل Venice، يشير إلى أن براهين عدم المعرفة لم تعد خاصية هامشية لعملات الخصوصية، بل أصبحت لبنة أساسية في الجيل التالي من الأنظمة التشفيرية.

في المرة المقبلة التي تقفز فيها عملة خصوصية سعرياً، أو تعلن فيها شبكة ZK Rollup عن أرقام قياسية في المعاملات، سيكون لديك الإطار التحليلي لتقييم ما تفعله التقنية فعلياً في الخلفية، وليس فقط ما يعرضه الرسم البياني للسعر.

اقرأ أيضاً: عملات الخصوصية تعود للواجهة: الفائدة المفتوحة على Dash تقفز 49% بين ليلة وضحاها