من الضروري جعل البراهين الصفرية المعرفة (ZKPs) "مفهومة وسهلة الوصول" للناس للحفاظ على النظام البيئي Ethereum "مفتوحًا ومرحبًا" بالأشخاص الذين ليس لديهم شهادة في الرياضيات ، حسبما غرد المؤسس المشارك لشركة Ethereum فيتاليك بوتيرين في 26 أكتوبر.
غالبًا ما يُشار إلى ZKPs باسم "رياضيات القمر" نظرًا لتعقيدها.
أنا سعيد جدًا لأن Ethereum لديها مثل هذه الثقافة القوية في محاولة جاهدة لجعل جميع حسابات القمر لدينا مفهومة ومتاحة للناس قدر الإمكان. https://t.co/o9n2Xms4Zw
- vitalik.eth (VitalikButerin) 26 أكتوبر 2022
وأضاف بوتيرين أن "اللامركزية تتطلب عدم الاستسلام والتلويح بشهادة الدكتوراه قائلة" إنه صندوق أسود ، نحن أذكياء ، ثق بنا ".
التمرير ، حل تحجيم إيثيريوم لطبقة المعرفة الصفرية 2 ، موضح في أ مدونة كيف تعمل مخططات الالتزام متعدد الحدود ، وهي جزء مهم من العديد من ZKPs ، وكيف يمكن أن تساعد في توسيع نطاق Ethereum.
كثيرات الحدود هي تعبيرات رياضية تمثل أكثر من مصطلحين جبريين. وفقًا لمدونة Scroll ، يمكن أن تساعد كثيرات الحدود في تمثيل البيانات الكبيرة بكفاءة.
مخطط الالتزام هو بروتوكول تشفير يلتزم فيه الشخص برسالة ويبقيها مخفية ولكن يمكنه الكشف عن الرسالة لاحقًا. ومع ذلك ، لا يمكن للمتعهد تغيير الرسالة بمجرد التزامه بها ، مما يجعل مخططات الالتزام ملزمة.
في نظام الالتزام متعدد الحدود ، يلتزم المرء بكثير الحدود بدلاً من الرسالة. يفي مخطط الالتزام متعدد الحدود بجميع خصائص خطط الالتزام العادية. لكن لها ميزة إضافية تمكن الملتزم من إثبات أنه ملتزم بتعدد حدود معين يفي بالخصائص المطلوبة دون الكشف عن كثير الحدود نفسه.
KZG في تحجيم الإيثريوم
في حين أن هناك خطط التزام متعددة الحدود مختلفة ، كيت زافروشا غولدبرغ (KZG) تحظى بشعبية في مجال blockchain وتستخدمها أنظمة دليل Scroll. من المقرر أيضًا دمج KZG في Ethereum مع Proto-Danksharding ، ليتم تنفيذها من خلال EIP-4844، الذي تم اقتراحه في فبراير 2022.
يعد Proto-Danksharding حلاً مؤقتًا حتى يمكن تنفيذ Danksharding ، مما قد يجعل استخدام المجموعات الإضافية أرخص. تقدم Proto-Danksharding نوعًا جديدًا من المعاملات يسمى "معاملة حاملة البيانات". تحمل هذه المعاملات كتلة بيانات بحجم 128 كيلوبايت ، والتي لا يمكن الوصول إليها من طبقة تنفيذ Ethereum. بدلاً من ذلك ، سيتم الوصول إلى الالتزام بنقطة البيانات فقط من Ethereum.
يتم تمثيل البيانات الثنائية الكبيرة على أنها كثيرة الحدود ويتم استخدام مخطط الالتزام متعدد الحدود KZG لإنشاء التزام بالبيانات. يسمح هذا بالتحقق من خصائص البيانات الثنائية الكبيرة بدون الكشف عن كتلة البيانات بالكامل.
وبالتالي ، يمكن أن يؤدي استخدام KZG إلى تمكين أخذ عينات توفر البيانات (DAS) ، والتي سيتم تنفيذها على الطريق إلى Danksharding الكامل. يمكّن DAS المدققين بشكل أساسي من التأكد من أن كتلة البيانات متوفرة وصحيحة ، دون الحاجة إلى قراءة كتلة البيانات بالكامل.
هذا ، بدوره ، يمكن أن يساعد بشكل كبير في تعزيز قابلية التوسع في Ethereum لأن المدققين يحتاجون إلى التعامل مع بيانات أقل.
المصدر: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/