khaled barakat
khaled barakat

@barakat539

20 تغريدة 22 قراءة Apr 23, 2022
أطلقت حوالي ٣٠ شركة رائدة في صناعة التشفير ومطورة ل Web3 مسابقة تعليمية بقيمة 7 ملايين دولار لتطوير تكنولوجيا المعرفة الصفرية
Zero knowledge proof
سلسلة توضيحية لهذه الطفرة من التكنولوجيا القادمة ومدى تأثيرها على المشاريع الاقتصادية والحياة اليومية على الشبكات
اطلق التحالف الذي يضم 32 شركة ومؤسسة وصناديق رائدة مايسمى ZPrize ، وهي مسابقة ترعاها الصناعة تقدم جوائز بقيمة 7 ملايين دولار لتسريع معرفة مايطلق عليه
تشفير المعرفة الصفرية.zkp
تم إنشاء ZPrize لتوسيع مستقبل blockchain واستيعاب حالات الاستخدام الأكثر شيوعًا للتكنولوجيا.
الجهات الراعية للمسابقة
#algo و #celo و Consensys و #ETH و #one و #MATIC .
تذهب تكنولوجيا المعرفة الصفرية إلى ما هو أبعد من صناعة Web3. لقد أدركت شركات التكنولوجيا القديمة أهمية أنظمة مثل هذه وبدأت في القيام بدور أكثر نشاطًا في دعم القطاع وتطويره.
AMD ، الشركة الرائدة في تصنيع الرقائق في العالم ، هي إحدى هذه الشركات القديمة وستوفر الأجهزة للمسابقة.
واليكم تعريف شامل لهذه التكنولوجيا وسبب الإقبال الهائل عليها والتي على ما أظن شيكون هناك اقبال هائل على مشاريعها في المستقبل القريب
برهان المعرفة الصفرية
zero knowledge proof
تقنية حديثة تتبع الblockchain تقوم على أساس الحفاظ على خصوصية الأطراف وبياناتهم بشكل أكبر
برهان المعرفة الصفرية هو أسلوب تحقق قائم على الاحتمالية، يتضمن "بيانات تشبه الحقائق" و "بيانات حول المعرفة الشخصية". يطلب المحقق (أو verifier) من الموثق (أو prover) بناءً على عشوائية معينة. إذا قُدّمت الإجابة الصحيحة، فإن لدى الموثق احتمال كبير لامتلاك ما يدعي أنه "معرفة".
بإمكان برهان المعرفة الصفرية التحقق من أنك أنفقت المال دون الكشف عن العملة التي تم إنفاقها.
حيث يعتبر القدرة على الإجابة عن "هل لدى المستخدم ما يكفي من المال لإرساله إلى مستخدم آخر" دون معرفة من هو ، هي واحدة من حالات الاستخدام الأساسية لـبرهان المعرفة الصفرية في الـ blockchain.
تعد خصوصية البيانات أهم الموضوعات في وقتنا الحاضر.
حيث استفادت Google وFacebook من بياناتنا لتصبح عمالقة تكنولوجيين يهيمنون على العالم. ومع ذلك، فإن التطورات الحديثة في التشفير و الـ blockchain تتيح طريقة جديدة للمساعدة في حماية بياناتنا، ببساطة برهان المعرفة الصفرية هو الحل.
مبدأ برهان المعرفة الصفرية
هذا البرهان هو نظام تشفير اقترحه باحثو معهد ماساتشوستس للتكنولوجيا في الأصل في الثمانينات. اتفاقية برهان المعرفة الصفرية هي طريقة يمكن من خلالها لطرف واحد (الطرف الموثَّق أو prover) أن يثبت أن هناك شيئًا ما صحيحًا للطرف الآخر (الطرف المُحقق أو verifier)
على سبيل المثال، تخزن مواقع الويب الحالية قيمة تجزئة (hash value) لكلمة مرور المستخدم في خوادم الويب الخاصة بهم. فعند التحقق من أن العميل يعرف كلمة المرور بالفعل، تستخدم معظم مواقع الويب حاليًا طريقة تجزئة (hashing) إدخال كلمة المرور من قبل العميل ومقارنتها بالنتيجة المخزنة.
يمكن لـبرهان المعرفة الصفرية حماية حساب المستخدم من التسرب. إذا كان بالإمكان تحقيق برهان المعرفة الصفرية فكلمة مرور العميل ستصبح غير معروفة لأي شخص مع إمكانيته لتوثيق تسجيل دخول العميل. وعند مهاجمة أحد الخوادم، سيظل حساب المستخدم آمنًا لأن كلمة مرور العميل ليست مخزنة في الخادم
إن برهان المعرفة الصفرية أساسه تفاعلي؛ إذ لا بد من المُحقق أو verifier أن يطرح باستمرار سلسلة من الأسئلة حول "المعرفة" التي يمتلكها الموثَّق أو prover.
هناك برهان المعرفة الصفرية الغير تفاعلي
كما هو الاسم، هذا البرهان لا يتطلب تفاعل الأطراف، تجنبا لاحتمالية التواطؤ، ولكن قد يتطلب آلات وبرامج إضافية لتحديد تسلسل التجارب.
تطبيق برهان المعرفة الصفرية في الـblockchain
تستخدم كل من شبكتي Bitcoin و Ethereum عناوين عامة لاستبدال الهوية الحقيقية للطرف، مما يجعل المعاملات مجهولة جزئيًا؛ فقط عناوين الإرسال والاستقبال والمبلغ معروف للعامة.
ومع ذلك، فمن الممكن معرفة الهوية الحقيقية للعنوان من خلال أنواع مختلفة من المعلومات المتاحة على blockchain مثل سجلات التفاعل، وبالتالي هناك خطر خفي من كشف الخصوصية.
يمكن لبرهان المعرفة الصفرية، والمرسل، والمستلم، وتفاصيل أخر للمعاملات أن تظل مجهولة الهوية مع ضمان صلاح المعاملات.
قد يكون ZCash واحدًا من أكثر مشاريع blockchain المعروفة التي طبقت برهان المعرفة الصفرية بنجاح. تطبق Zcash نسخة معدلة من ZKP تدعى zk-SNARKS ، والتي تختصر ‘Zero-Knowledge Succinct Non-Interactive Argument of Knowledge’.
تقوم zk-SNARK بتحويل محتوى المعاملة الذي يجب التحقق منه إلى برهان. ويمكن وصفها بإيجاز بأنها:
1. تقوم بفك الشفرة إلى خطوات تحقق منطقية يمكن التحقق منها، ثم تفك هذه الخطوات في دائرة حسابية تتكون من الجمع والطرح والضرب والقسمة.
2. تقوم بإجراء سلسلة من التحويلات لتحويل الشفرة المراد التحقق منها إلى معادلة متعددة الحدود، مثل t (x) h (x) = w (x) v (x).
3. تجعل الدليل أكثر إيجازاً، وذلك بأن يقوم المحقق باختيار عدة نقاط تفتيش بشكل عشوائي مقدماً للتحقق من صحة المعادلات في هذه النقاط.
4. من خلال التشفير المتماثل، لا يعرف المحقق قيمة الإدخال الفعلية عند حساب المعادلة، ولكن لا يزال بإمكانه التحقق.
من المشاريع الجديدة لهذا التطور
Panther protocol #ZKP
ومن الشركات الاي تتوجه حاليا لهذه التقنية #imx #lrc #ckb #boba #ctsi #zks

جاري تحميل الاقتراحات...