- لقد كانت إثباتات المعرفة الصفرية فكرة شائعة في علم التشفير منذ الثمانينيات.
- ظلت Blockchain مرتبطة بالتشفير منذ ظهورها.
- تمثل إثباتات المعرفة الصفرية تقنية تشفير حيث لا يتم الكشف عن أي معلومات أثناء المعاملة باستثناء تبادل بعض القيمة المعروفة لكل من المثبت والمتحقق.
كما ارتفع نطاق الأنشطة الاحتيالية مع مرور الوقت مع تقدم التكنولوجيا. وبالتالي، يظل الحفاظ على بروتوكولات الأمان أحد أهم جوانب عملية المعاملة. على الرغم من ظهور تقنية Blockchain كواحدة من أكثر الابتكارات الواعدة، إلا أن معايير الأمان الإضافية تظل ضرورية للحفاظ على أمان المعاملات.
ظلت Blockchain مرتبطة بالتشفير منذ ظهورها. ومع ذلك، فإن تكامل Blockchain والتشفير قد استحوذ مؤخرًا على اهتمام الجمهور. في نظام blockchain، تساعد تقنيات التشفير في حماية المعاملة. بمعنى آخر، أدى الجمع بين تقنية blockchain والتشفير إلى طريقة آمنة للمعاملات المالية.
لقد كانت إثباتات المعرفة الصفرية فكرة شائعة في علم التشفير منذ الثمانينيات. ومع ذلك، فإن وظيفتها في العملات المشفرة قد سلطت الضوء عليها مؤخرًا. يجد سكان العالم أنفسهم وسط نظام بيئي مترابط بشكل متزايد للعملات المشفرة والتكنولوجيا المالية. ونتيجة لذلك، نشأت مخاوف بشأن الحفاظ على تعهد أيديولوجية العملات المشفرة بعدم الكشف عن هوية المستخدم وخصوصيته.
يهدف مشروع التشفير Worldcoin الطموح مؤخرًا إلى إنشاء نظام تعريف رقمي عالمي للمستخدمين. يستخدم مشروع التشفير الجديد و"المثير للجدل" براهين المعرفة الصفرية للدفاع عن الخصوصية أثناء التحقق من المستخدمين والمطالبات والمعاملات.
ما هو دليل المعرفة صفر
تمثل إثباتات المعرفة الصفرية تقنية تشفير حيث لا يتم الكشف عن أي معلومات أثناء المعاملة باستثناء تبادل بعض القيمة المعروفة لكل من المُثبت والمتحقق، طرفي العملية.
إثبات المعرفة الصفرية هو وسيلة لإثبات ما إذا كانت عبارة معينة صحيحة دون الكشف عنها. "المثبت" هنا هو الطرف الذي يحاول إثبات المطالبة، بينما "المحقق" هو المسؤول عن التحقق من صحة المطالبة.
بعبارات أبسط، تمكن إثباتات المعرفة الصفرية (ZKP) أحد الأطراف من إثبات معرفته لطرف آخر دون مشاركة المعلومات مع طرف آخر لإثبات معرفته.
اعرف المزيد: الرؤية اللامركزية: يدعم Ethereum تكنولوجيا المعرفة الصفرية
تاريخ إثباتات المعرفة الصفرية في Blockchain
بدأت نظرية Zero Knowledge Proofs في عام 1985 عندما نشر باحثون من معهد ماساتشوستس للتكنولوجيا (MIT). التعقيد المعرفي لأنظمة الإثبات التفاعلية. حددت الورقة المفاهيم الأساسية، بما في ذلك التسلسل الهرمي للإثبات التفاعلي (IP). بالإضافة إلى ذلك، قدمت الورقة فكرة التعقيد المعرفي، والتي تحدد كمية الإثبات المنقولة من المُبرهن إلى المتحقق. عرضت الورقة بناء ZKPs لأي مجموعة NP مع أي مخطط التزام، مما يثبت قابلية تطبيق النتائج التي توصل إليها الباحثون.
توحيد الجهود مرة أخرى في عام 1989، ونشر جولدفاسر وميكالي وراكوف التعقيد المعرفي لأنظمة الإثبات التفاعلية. طورت هذه الورقة مفهوم تعقيد المعرفة، الذي يقيم كمية المعلومات التي يجب أن يمتلكها المُثبِّت لإقناع المتحقق بصحة البيان. أثبت المؤلفون أن براهين المعرفة الصفرية يمكن أن تساعد في تقليل تعقيد المعلومات في أنظمة البرهان التفاعلية.
في عام 1993، نشر باحثون من جامعتي شيكاغو وبودابست ألعاب آرثر-ميرلين: نظام إثبات عشوائي وتسلسل هرمي لفئات التعقيدحيث قدموا مفهوم البراهين العشوائية التي تجمع بين نظرية إثبات المعرفة الصفرية ونظرية الإثبات التقليدية. لقد استخدموا لعبة اندماجية حيث قام أحد المشاركين (آرثر) بحركات عشوائية، وقام الآخر (ميرلين) بحركات مثالية.
في عام 2013، كتب إيلي بن ساسون، وأليساندرو كييزا، ودانييل جينكين، وإيران ترومر، ومادارس فيرزا المعرفة الصفرية غير التفاعلية الموجزة لهندسة فون نيومان. قدمت هذه الورقة ZK-SNARKS أو براهين المعرفة الصفرية الموجزة وغير التفاعلية. هذه هي شكل من أشكال إثباتات المعرفة الصفرية التي يمكن التحقق منها بموارد حسابية محدودة. أثبت المؤلفون أن نظامهم يمكنه التحقق من صحة الحسابات بشكل خاص وآمن.
أصدر مؤلفو ZK-SNARK سلامة حسابية قابلة للتطوير وشفافة وآمنة بعد الكم في عام 2018. ZK-STARK هو نظام مقاوم للمعرفة الصفرية يوفر ضمانات أمنية قوية مع الحفاظ على قابلية التوسع والشفافية بدرجة كبيرة.
كثيرًا ما واجهت أنظمة إثبات المعرفة الصفرية الحالية مشكلات في قابلية التوسع أو كانت تتطلب تكوينًا موثوقًا به، مما يجعلها عرضة للهجوم. وهكذا، قدموا ZK-STARK، استنادًا إلى بنية رياضية جديدة تُعرف باسم نظام القيد متعدد الحدود (PCS). تمثل PCS بنية معادلة متعددة الحدود تستخدم لتوضيح المشكلات الحسابية المعقدة.
أثبتت العديد من الأبحاث الأخرى أهميتها في تاريخ إثباتات المعرفة الصفرية، لكن تلك المذكورة أعلاه لعبت دورًا حاسمًا. قامت الأجيال الأخيرة من أجهزة التصويت الإلكترونية (L2s) وZK القائمة على إنشاء لوحة فارغة لتطبيق هذه الابتكارات لتوسيع نطاق أوقات تشغيل blockchain.
أنواع إثباتات المعرفة الصفرية
هناك نوعان أساسيان من ZKPs على النحو التالي:
- البراهين المعرفية التفاعلية الصفرية: في Interactive ZKP، يتحدى المدقق المثبت الذي يرد على هذه التحديات حتى يقتنع المدقق. يجب أن يكونوا متصلين بالإنترنت في نفس الوقت، ويجب على المُثبت إكمال سلسلة من الإجراءات لإقناع المُحقق بحقيقة معينة.
- إثباتات المعرفة الصفرية غير التفاعلية (NIZKP): لا تتطلب إثباتات المعرفة الصفرية غير التفاعلية عملية تفاعلية بين المُثبت والمتحقق. يقوم المُبرهن بتسليم الدليل إلى المدقق، مع إجراء التحقق من الإثبات مرة واحدة فقط في أي وقت. يمكن أن يكون NIZKP أكثر كفاءة وملاءمة من IZKP لأنه لا يشترط أن يكون المثبت والمتحقق متصلين بالإنترنت. ومع ذلك، يتطلب المزيد من القوة الحسابية بالمقارنة مع دليل المعرفة التفاعلي الصفري.
للوفاء بدور عملية التحقق الفعالة التي تحمي البيانات أيضًا، يجب أن يكون إثبات المعرفة الصفرية:
- كامل: سيقبل المدقق الدليل إذا كانت المطالبة صحيحة وكان الطرفان يتبعان البروتوكول.
- : إذا كان الادعاء كاذبا، فإن إقناع المتحقق بصحته سيكون شبه مستحيل.
- المعرفة الصفرية: لا يجوز للمحقق معرفة أو اكتشاف أية معلومات سوى حقيقة الدعوى.
عناصر إثباتات المعرفة الصفرية
في صيغته الأساسية، يتكون إثبات المعرفة الصفرية من ثلاثة عناصر:
- الشاهد: ببرهان المعرفة الصفرية، يريد المثل إثبات المعرفة ببعض المعلومات المخفية. فالمعلومات السرية هي "الشاهد" على الإثبات، والمعرفة المفترضة للشاهد بالشاهد تنشئ مجموعة من الأسئلة التي لا يمكن الإجابة عليها إلا من قبل من لديه علم بالمعلومة. ومن ثم، يبدأ المُثبِّت عملية الإثبات عن طريق اختيار سؤال عشوائيًا، وحساب الإجابة، وإرسالها إلى المُحقق.
- تحدي: يختار المدقق سؤالاً آخر بشكل عشوائي من المجموعة ويطلب من المثبت الإجابة عليه.
- استجابة: يقبل المُثبت السؤال، ويحسب الإجابة، ويعيده إلى المُحقق. تسمح استجابة المثبت للمدقق بالتحقق مما إذا كان بإمكانه الوصول إلى الشاهد. يختار المدقق المزيد من الأسئلة لطرحها للتأكد من أن المثبت لا يخمن بشكل أعمى ويحصل على الإجابات الصحيحة عن طريق الصدفة. ومن خلال تكرار هذا التفاعل عدة مرات، فإن احتمالية تزييف المثبت معرفة الشاهد تنخفض بشكل كبير إلى حد إرضاء المتحقق.
تطبيق إثباتات المعرفة الصفرية في Blockchain
تحسين الأداء
يتم تنفيذ كود التطبيق خارج السلسلة أو عن طريق عقدة واحدة على شبكة blockchain، ويتم نشر إثبات التنفيذ الصحيح فقط على Blockchain للأطراف الأخرى للتحقق من صحته. ومن الأمثلة على ذلك ZK Rollups، حيث يتم تنفيذ المعاملات خارج السلسلة، ويتم تقديم ملخص لجميع المعاملات عبر السلسلة.
المعاملات الخاصة في Blockchain
يتم تشفير بيانات المعاملة، ويتم نشر الدليل لإثبات أنه تم حسابها بشكل صحيح. تنطبق ZKPs أيضًا على المعاملات الخاصة التي لا تكشف عن البيانات النقدية ومعلومات المتلقي والمرسل. ومن الأمثلة على ذلك تورنادو كاش، وهي خدمة لا مركزية وغير وصائية تتيح للمستخدمين إجراء معاملات خاصة على إيثريوم.
خصوصية البيانات وأمنها
يجب على المنظمات التي تتحكم في البيانات الحساسة، مثل البنوك والمستشفيات، أن تبقيها خالية من وصول أي طرف ثالث. يمكن أن تجعل ZKPs وBlockchain معًا الوصول إلى البيانات أمرًا مستحيلًا. يمكن أن تساعد ZKPs في إضافة طبقات متعددة من الأمان إلى الملفات وعمليات تسجيل الدخول. ونتيجة لذلك، يمكن أن تمثل ZKP عقبات ملحوظة أمام المتسللين أو المتلاعبين لتغيير البيانات واسترجاعها.
تحويلات معاملات blockchain الخاصة:
إن أكثر ما يثير القلق في معاملات blockchain الخاصة هو الثغرات العديدة الواضحة في الإجراءات التقليدية. يمكن أن يؤدي التكامل الإنتاجي لـ ZKP مع معاملات blockchain الخاصة إلى إنشاء عملية قوية مقاومة للاختراق.
رسل على Blockchain
على الرغم من أن برامج المراسلة في الوقت الحاضر تحمل وعود التشفير، إلا أن تقنية البلوكشين غير المشفرة يمكن أن تصبح الشيء الكبير التالي في عالم التكنولوجيا. مع ضمان وجود حل غير مشفر ولكنه قوي، يمكن لـ ZKPs وBlockchain إنشاء منصة مراسلة ذات قيمة مضافة آمنة للجميع.
تتمتع إثباتات المعرفة الصفرية بإمكانيات كبيرة في توفير التكاليف والحفاظ على خصوصية المستخدمين في عالم blockchain والعملات المشفرة. علاوة على ذلك، فإن هذا المفهوم سهل الاستخدام، كما أن التقنيات التي تدعم ZKPs تتسم أيضًا بالكفاءة الرائعة. ومن خلال الاستفادة من أحدث جيل من ZKP، يمكن للمستخدمين الاستفادة بشكل كبير دون إنفاق الكثير من المال.
اقرأ أكثر: آليات الإجماع في عالم البلوكشين ومدى أهميتها
- محتوى مدعوم من تحسين محركات البحث وتوزيع العلاقات العامة. تضخيم اليوم.
- PlatoData.Network Vertical Generative Ai. تمكين نفسك. الوصول هنا.
- أفلاطونايستريم. ذكاء Web3. تضخيم المعرفة. الوصول هنا.
- أفلاطون السيارات / المركبات الكهربائية ، كربون، كلينتك ، الطاقة، بيئة، شمسي، إدارة المخلفات. الوصول هنا.
- أفلاطون هيلث. التكنولوجيا الحيوية وذكاء التجارب السريرية. الوصول هنا.
- تشارت بريم. ارفع مستوى لعبة التداول الخاصة بك مع ChartPrime. الوصول هنا.
- BlockOffsets. تحديث ملكية الأوفست البيئية. الوصول هنا.
- المصدر https://web3africa.news/2023/08/14/industry-talk/zero-knowledge-proofs-in-blockchain/
- :لديها
- :يكون
- :ليس
- :أين
- 1985
- 2013
- 2018
- a
- من نحن
- فوق
- استمر
- يقبل
- الوصول
- الوصول
- الإجراءات
- أنشطة
- مضيفا
- إضافي
- وبالإضافة إلى ذلك
- تقدم
- دعاة
- التابعة
- وتهدف
- الكل
- كل الحركات المالية
- يسمح
- أيضا
- طموح
- وسط
- كمية
- an
- و
- الغفلية
- آخر
- إجابة
- الأجوبة
- أي وقت
- التقديم
- تطبيق
- هندسة معمارية
- هي
- أرثر
- AS
- الجوانب
- يفترض
- At
- مهاجمة
- اهتمام
- الكتاب
- البنوك
- على أساس
- الأساسية
- BE
- أصبح
- كان
- بدأ
- تستفيد
- ما بين
- كبير
- عمياء
- سلسلة كتلة
- شبكة blockchain
- نظام blockchain
- بلوكشين التكنولوجيا
- المعاملات blockchain
- على حد سواء
- كلا الطرفين
- جلبت
- بودابست
- لكن
- by
- تحسب
- حساب
- CAN
- القبض
- النقد
- التحديات
- فرصة
- التحقق
- شيكاغو
- اختيار
- مطالبة
- مطالبات
- الكود
- دمج
- الجمع بين
- التزام
- مشترك
- مقارنة
- إكمال
- مجمع
- تعقيد
- القوة الحسابية
- الحسابات
- مفهوم
- تصور
- المفاهيم
- قلق
- اهتمامات
- مختصرا
- إدارة
- الاعداد
- بناء على ذلك
- إنشاء
- مراقبة
- مناسب
- تقليدي
- إقناع
- مقتنع
- تصحيح
- التكاليف
- استطاع
- خلق
- خلق
- حرج
- التشفير
- العملات الرقمية
- التشفير
- التشفير
- دانيال
- البيانات
- اللامركزية
- يسلم
- تظاهر
- المتقدمة
- رقمي
- do
- قطرات
- أثناء
- سهل
- النظام الإيكولوجي
- الطُرق الفعّالة
- فعال
- إلكتروني
- عناصر
- ايلي بن ساسون
- ظهرت
- يعمل
- توظف
- تمكين
- مشفرة
- التشفير
- ينتهي
- ضمان
- أساسي
- إنشاء
- يؤسس
- تأسيس
- ethereum
- واضح
- مثال
- إلا
- أعدم
- حقيقة
- زائف
- ملفات
- مالي
- النتائج
- ويرى
- FINTECH
- اتباع
- متابعات
- في حالة
- القوات
- النموذج المرفق
- سابق
- محتال
- مجانا
- كثيرا
- تبدأ من
- الوفاء
- وظيفة
- أساسي
- لعبة
- ألعاب
- أجيال
- الحصول على
- العالمية
- الرقمية العالمية
- عظيم
- ضمان
- قراصنة
- كان
- حدث
- يملك
- مساعدة
- هنا
- مخفي
- تسلسل
- جدا
- تاريخ
- عقد
- المستشفيات
- كيفية
- لكن
- HTTPS
- بشكل هائل
- فكرة
- هوية
- if
- أهمية
- مستحيل
- in
- في أخرى
- بما فيه
- على نحو متزايد
- معلومات
- الابتكارات
- التكامل
- سلامة
- تفاعل
- التفاعلية
- مترابطة
- إلى
- أدخلت
- IP
- مسائل
- IT
- انها
- نفسها
- انضمام
- احتفظ
- علم
- المعرفة
- معروف
- طبقات
- الاستفادة من
- الأضواء
- محدود
- الثغرات
- الآلات
- صنع
- المحافظة
- جعل
- القيام ب
- كثير
- رياضي
- آليات
- المذكورة
- رسول
- طريقة
- معهد ماساتشوستس للتكنولوجيا
- نقدي
- مال
- الأكثر من ذلك
- أكثر فعالية
- علاوة على ذلك
- أكثر
- الحركات
- التحركات
- كثيرا
- متعدد
- يجب
- ضروري
- شبكة
- جديد
- التالي
- لا
- العقدة
- غير الاحتجازية
- جدير بالذكر
- كثير
- العقبات
- of
- عروض
- on
- على السلسلة
- مرة
- ONE
- منها
- online
- فقط
- الأمثل
- or
- أخرى
- أوجز
- ورق
- أوراق
- خاص
- الأحزاب
- حفلة
- أجهزة الكمبيوتر
- مختارات
- المنصة
- أفلاطون
- الذكاء افلاطون البيانات
- أفلاطون داتا
- لعبت
- تعهد
- البوينت
- سكان
- تملك
- إمكانية
- نشر
- محتمل
- قوة
- يقدم
- قدم
- الحفاظ على
- خصوصية
- خاص
- مشاكل
- الإجراءات
- عملية المعالجة
- مثمر
- تنفيذ المشاريع
- وعد
- واعد
- دليل
- البراهين
- بروتوكول
- البروتوكولات
- إثبات
- ثبت
- نشرت
- يحسب
- كمية
- سؤال
- الأسئلة المتكررة
- عشوائي
- الأخيرة
- مؤخرا
- تخفيض
- بخصوص
- صدر
- لا تزال
- بقي
- بقايا
- مثل
- يمثل
- تطلب
- مطلوب
- المتطلبات
- يتطلب
- الباحثين
- الموارد
- استجابة
- مسؤول
- نتيجة
- عائدات
- كشف
- أظهرت
- كاشفا
- ارتفع
- قوي
- النوع
- تراكمات
- إنقاذ
- التدرجية
- تحجيم
- التحجيم
- مخطط
- نطاق
- سيكريت
- تأمين
- مضمون
- آمن
- أمن
- مرسل
- إرسال
- حساس
- مسلسلات
- الخدمة
- طقم
- مشاركة
- ينبغي
- هام
- بشكل ملحوظ
- بساطة
- معا
- منذ
- عزباء
- حل
- بعض
- شيء
- محدد
- الإنفاق
- المعايير
- يبدأ
- ملخص الحساب
- بناء
- المقدمة
- هذه
- ملخص
- الدعم
- عرضة
- نظام
- أنظمة
- تقنيات
- التكنولوجية
- التكنولوجيا
- تكنولوجيا
- سياسة الحجب وتقييد الوصول
- من
- أن
- •
- المعلومات
- من مشاركة
- منهم
- نظرية
- تشبه
- هم
- شيء
- طرف ثالث
- ثلاثة
- وهكذا
- الوقت
- مرات
- إلى
- سويا
- إعصار
- تورنادو كاش
- صفقة
- المعاملات
- التحويلات
- شفاف
- صحيح
- افضل
- حقيقة
- اثنان
- أنواع
- الجامعات
- حتى
- تستخدم
- مستعمل
- مستخدم
- المستخدمين
- التحقق من صحة
- التحقق
- قيمنا
- يمكن التحقق منها
- التحقق
- تحقق من
- التحقق
- رؤيتنا
- من
- تصويت
- يريد
- وكان
- طريق..
- متى
- سواء
- التي
- في حين
- من الذى
- سوف
- مع
- بدون
- الشاهد
- كلمات
- العالم
- كتب
- حتى الآن
- زفيرنت
- صفر
- صفر المعرفة
- دليل على عدم المعرفة
- البراهين صفر المعرفة
- ZK
- القائمة على ZK
- ZK-SNARKS