غالبًا ما يبدو الأدلة على معرفة الصفر غامضة لأن الرياضيات خلفها متقدمة للغاية. ونحن نريد إزالة هذه الفوضى وتساعد الجميع على فهم ما يفعله الأدلة على المعرفة النووية في الواقع، على الرغم من أنها لا تزال تشعر بالغرابة، ونحن نؤمن أن المجتمع يجب أن يفهم الأفكار التقنية خلف عملنا. في هذه المقالة ، نحن نقدم جزءا مهما من البناء المستخدم في العديد من أنظمة الأدلة على المعرفة النووية: ثم بعد ذلك ، سنشرح ، واحدة من أنواع الأكثر شعبية وفعالة من برامج التزام البولييناميكية. polynomial commitment schemes KZG ثم نرى كيف و كيف وفي النهاية، نرى كيف يمكن أن تعمل zk-rollups وProto-Danksharding معاً بشكل عاجل وفعال - شيء ما يمكن أن يكون ممكنًا بشكل خاص لأن . KZG is used inside zk-rollups Ethereum also uses KZG in Proto-Danksharding both systems use polynomial commitment schemes Why are we talking about polynomials? فهناك العديد من الأدوات الرياضية القوية لأنها تتيح لنا أن نتمثّل الأشياء الكبيرة أو المعقدة بشكل فعال. واحدة من الأمثلة الشائعة هي أن نتمثّل نطاق نطاق نطاق من عناصر الفضاء v باستخدام نطاق نطاق واحد. نحن نفعله من خلال بناء φ(x) نطاق نطاق الذي يمر عبر الأرقام (i, v_i) لكل مؤشر i = 1, 2, ..., n. على سبيل المثال، نطاق نطاق نطاق 3 v = [2, 0, 6] يمكن تصفية النطاق نطاق نطاق. لأن التفكير في القيم يعطي ، و و بشكل عام ، مع أي نقطة n ، هناك دائمًا مزيج فريد من الدرجة في حد أقصى n − 1 الذي يمر عبر جميعها. φ(x) = 4x² − 14x + 12 φ(1) = 2 φ(2) = 0 φ(3) = 6 يتم تسمية عملية إنشاء هذا التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل التعديل ، والذي يوفر نموذجًا مباشرًا لإنشاء الكوليوم من النقاط المخصصة. باستخدام هذه الطريقة، ونحن الآن نعرف كيفية إنشاء الكوليوم من الدرجة في أعلى . إرسال لغرانغ n − 1 from exactly n constraints في القسم السابق، علمت أنك إذا كنت تعرف ، يمكنك دائمًا تحديد فصيلة واحدة فريدة من نوعها تتراوح أعلى الآن، نريد أن نذهب خطوة أوسع وأيضًا أن نتفهم في الواقع ، يمكنك العثور على هذا الكمبيوتر من تقييمات هذه النقطة. n points n − 1 كيف واحدة من الأساليب الأكثر شيوعًا وسهولة للقيام بذلك تسمى تداخل لغانغ. على الرغم من أن النماذج الرسمية قد تبدو معقدة، فإن الفكرة الأساسية هي بسيطة جدا. تبادل لغانغ يمنحنا طريقة مباشرة لتصنيع التعديل الذي يمر عبر جميع النقاط المذكورة. على سبيل المثال، دعونا نقول إننا نريد العثور على مجموعة من الدرجة إلى حد ما 2 (أي فصيلة مربع). للقيام بذلك ، نحتاج إلى 3 نقاط بالضبط ، ويتعين على الفصيلة أن تلبية كل ثلاثة من هذه القيود. باستخدام الترتيبات من هذه 3 نقاط ، ستقوم تلسكوب لغانغز بتصنيع الفصيلة الحقيقية التي تتوافق معها بشكل مثالي. P φ(1) = 2 φ (2) = 0 φ(3) = 6 للقيام بذلك ، سنقوم بتصنيع 3 فصائل ثانوية ( واحد لكل ضغط) , و في المرتبة الأكبر . P₁ P₂ P₃ 2 يجب أن تتبع هذه الثلاثة التعديلات الثلاثة هذه التعديلات الثلاثة: x P₁(x) P₂(x) P₃(x) 1 2 0 0 2 0 0 0 3 0 0 6 1 2 0 0 2 0 0 0 3 0 0 6 كل فصيلة من الفصائل تقييمها في كل نقطة، إلا واحدة. 0 وفي النهاية نضع: P(x) = P₁(x) + P₂(x) + P₃(x) دعونا نتحقق بسرعة، مع التركيز على القائمة السابقة، أن يجب أن تتحمل كل التحديات: P P(1) = P₁(1) + P₂(1) + P₃(1) = 2 + 0 + 0 = 2 P(2) = P₁(2) + P₂(2) + P₃(2) = 0 + 0 + 0 = 0 P(3) = P₁(3) + P₂(3) + P₃(3) = 0 + 0 + 6 = 6 لقد اختبرنا هذا احرص على تلبية احتياجاتك ثلاثية الأبعاد، الآن، دعونا نكون ، و . P P₁ P₂ P₃ Building P₁ Using the , we can define P₁ as: factorised form P₁(x) = A(x − 2)(x − 3) ويجب أن تتوافق مع التحديات: P₁ P₁(2) = P₁(3) = 0 الآن دعونا نجد مثل مثل : A P₁(1) = 2 لدينا التوازن التالي: P₁(1) = A(1 - 2)(1 - 3) = 2 الذي يمنحنا: A = 2 وأخيراً : P₁(x) = 2(x − 2)(x − 3) الآن يلغي 3 ضوابطه. P₁ بناء P2 باستخدام يمكننا تحديد مثل : شكل مصنع P2 P₂(x) = B(x - 1)(x − 3) ويجب أن تتوافق مع التحديات: P2 P₂(1) = P₂(3) = 0 الآن دعونا نجد مثل مثل : B P₂(2) = 0 We have the following equation: P₂(2) = B(2 − 1)(2 − 3) = 0 Which gives us: B = 0 وأخيراً : P₁(x) = 0(x − 1)(x − 3) = 0 الآن يلغي 3 ضوابطه. P₂ بناء P3 باستخدام يمكننا تحديد مثل : شكل مصنع P3 P₃(x) = C(x − 1)(x − 2) ويجب أن تتوافق مع التحديات: P₃ P₃(1) = P₃(2) = 0 الآن دعونا نجد مثل مثل : C P₃(3) = 6 لدينا التوازن التالي: P₃(3) = C(3 - 1)(3 - 2) = 6 الذي يمنحنا: C = 3 وأخيراً : P₃(x) = 3(x - 1)(x - 2) الآن يلغي 3 ضوابطه. P₃ Building P As previously seen, P(x) = P₁(x) + P₂(x) + P₃(x) Replacing , and by their respective expression, we get: P₁ P₂ P₃ P(x) = (x - 2)(x - 3) + 0 + 3(x - 1)(x - 2) P(x) = (x² - 5x + 6) + 3(x² - 3x + 2) P(x) = x² - 5x + 6 + 3x² - 9x + 6 P(x) = 4x² - 14x + 12 After expansion and simplification, we obtain: P(x) = 4x² - 14x + 12 التحقق من p دعونا نتحقق بسرعة هذا يجب أن تتوافق مع الثلاثة القيود: P P(1) = 4(1²) - 14(1) + 12 = 4 - 14 + 12 = 2 P(2) = 4(2²) - 14(2) + 12 = 16 - 28 + 12 = 0 P(3) = 4(3²) - 14(3) + 12 = 36 - 48 + 12 = 6 What are polynomial commitment schemes, and why are they useful? تشكيلات التزام متعددة الأغراض هي الأدوات الخاصة التي تسمح لأي شخص بالتزام بأغراض متعددة الأغراض بأكملها دون إظهار ما هو الأغراض متعددة الأغراض في الواقع. وهذا يعني أنك لا تستطيع تغيير الرسالة بعد التزامها. يعني لا أحد يمكن أن يتعلم الرسالة من التزام وحدها.التزام التعددية تتبع نفس القواعد، ولكن بدلاً من التزام الرسالة واحدة، يمكنك التزام التعددية بأكملها مع العديد من الكوادر. binding hiding الجزء القوي من الالتزامات الكلاسيكية هو أنه يمكنك بعد ذلك التأكيد على قيمة الكلاسيكية في نقاط معينة دون اكتشاف الكلاسيكية بأكملها. has the value في يمكن أن تفعل ذلك دون إظهار بقية البلاستيك، فهي ببساطة تقدم دليل قصير يظهر هذا هو الحقيقة، ويمكن للتحقق من ذلك من خلال التزام السابق. لا تعلم التحقق من أي شيء آخر عن الفلسفة نفسها. هذه الميزة مفيدة للغاية في الأدلة على المعرفة الحقيقية، حيث الهدف هو إثبات شيء ما هو الحقيقة دون إظهار معلومات إضافية. ϕ(x) 66 x = 4 “ϕ(4) = 66” دليل آخر على أن التزامات التعديلات متعددة الأغراض مفيدة هو أن التزامات التعديلات أقل بكثير من التعديلات متعددة الأغراض. قد يكون لها مئات أو آلاف القيمة، ولكن التزامات التعديلات يمكن أن تكون عن بعض عناصر مجموعة صغيرة، مثل 48 بيتا. و يمكن أن تخزين الكثير من المساحة وتقليل التكاليف. zk-rollups Proto-Danksharding من أجل جعل هذا أسهل فهمًا، تخيل أن أليس لديه فصلي غامض، مثل φ(x) = 3x2 + 5x + 2. لا تريد أن تظهر الفصلي، ولكن بوب يريد دليلًا أن φ(4) = 66. تعتزم أليس إلى الفصلي باستخدام نظام التزام الفصلي ويترسل بوب التزامًا. في وقت لاحق، فإنه يظهر فقط القيمة 66 ويقدم دليلًا قصيرًا يظهر أن هذا القيمة صحيح ل x = 4. بوب يحاول التحقق من الأدلة ضد التزامك ويصبح متأكدًا، دون أن يعرف أي شيء آخر عن الفصلي. هذا هو السبب في أن التزام الفصلي هو أداة قوية في الكمبيوتر الحديث وتكون ضرورية للأنظمة blockchain المتوسطة. KZG Polynomial Commitment KZG التزام متعدد التخصصات 1. Commitment وَقَالَ أَبُو حَنِيفَةَ وَالشَّافِعِيُّ وَأَحْمَدُ وَالْحَاكِمُ وَالْبَيْهَقِيُّ وَالْبَيْهَقِيُّ وَغَيْرُهُمَا: لَا يَجُوزُ أَنْ يَكُونَ الْمُرَادُ بِهِ الْمُرَادُ بِهِ الْمُرَادُ بِهِ الْمُرَادُ بِهِ الْمُرَادُ بِهِ الْمُرَادُ. (وفي هذا المقال نستطيع أن نفهم معنى ( ) binding hiding 2. Evaluation بعد ذلك ، يريد المختبر أن يثبت شيئاً عن التعديل لذلك فانهم يختارون نقطة x ، وملءها في الكلاسيوم ، وبالتالي حساب الإجابة. إنها ترسل فقط هذا القيمة y ، بالإضافة إلى دليل صغير يظهر أن القيمة جاءت من الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة الفلسفة. دون إظهارها y=P(x) 3. Verification في نهاية المطاف ، يتم التحقق من ما إذا كان القيمة حقا يتوافق مع التزامات التعديل في النقطة باستخدام الالتزامات والمقارنة، يقوم المؤشر بإجراء التحقق الرقمي.إذا كان كل شيء صحيح، فإن المؤشر يعرف يجب أن يكون صحيحاً - حتى لو لم تكن قد شاهدت نفس التعديلات.إذا حاولت المختبر الكذب أو التحريك، فإن خطوة التحقق ستتلقى ذلك.هذا يجعل التعديلات التعديلية آمنة ومفيدة للغاية في التقنيات مثل الأدلة على المعرفة النووية والتوسع في إثيوبيا. y x P(x)=y KZG Polynomial Commitment Scheme KZG Polynomial Commitment Scheme KZG لديه . four main steps Step 1 - Trusted Setup إنشاء مرة واحدة قبل أن يتم تشغيل النظام. Choose a generator of an elliptic-curve group (supports pairings). g G Choose the maximum degree of the polynomial. l اختر قيمة سرية عشوائية: τ ∈ Fp Compute and publish: (g, g^τ, g^(τ^2), ...., g^(τ^l)) Only these powers of are public. gᵗ The value τ must remain secret forever. If someone knows τ, they can forge proofs. Step 2 - Commit to a Polynomial Suppose we have the polynomial: ϕ(x) = ∑ᵢ₌₀ˡ ϕᵢ xⁱ We want to compute the commitment: C = g^{ϕ(τ)} Although the committer cannot compute directly since he doesn’t know , he can compute it using the output of the setup g^{ϕ(τ)} τ τ Step 3 - Create a Proof for Evaluation ϕ(a)=b لإثبات ذلك: ϕ(a)=b تحديد عدد الكوادر البولندية: q(x) = ϕ(x) - b / x - a هذا صحيح فقط إذا كان التقييم صحيح. ثم اكتب الأدلة: π = g^{q(τ)} هذا هو دليل تقييم KZG. Step 4 - Verification Given: الخصائص C = g^{φ(τ)} ثقة π = g^{q(τ)} قاعدة التقييم φ(a) = b التحقق من التحقق: e(c/g^b,g) = e(π,g^τ/g^a) هنا e ( ⋅ , ⋅ ) هو . كومبريدج هذا التوازن يساوي في التحقق من: q(τ) = ϕ(τ) - b /τ - a إذا قمت بتحقيق التوازن، يتم قبول التقييم كحق. شرح مختصر عن التحقق المساواة تعني ، يتم تقييم الهوية المزدوجة في التي تفرض if تم تصميمه بشكل صحيح. ( ) ϕ(τ)−b = q(τ)(τ−a) τ ϕ(a)=b q(x) q(x) = ϕ(x) - b / x - a شرح مختصر عن التحقق LHS: = e(C/g^b, g) e(g,g)ϕ المساواة تعني ، يتم تقييم الهوية المزدوجة في التي تفرض إذا تم تصميمه بشكل صحيح. ( ) ϕ(τ)−b = q(τ)(τ−a) τ ϕ(a)=b q(x) q(x) = ϕ(x) - b / x - a Use Cases: Zk-Rollups In zk-rollups, we must prove that the work done on Layer 2 (L2) is correct. To do this, all the steps of the computation are converted into a big table (a 2D matrix). This happens during a process called كل قنبلة من هذا القسم يمثل جزءًا من الحساب، ويمكن تحويل كل قنبلة إلى مجموعة متعددة. لذلك بدلاً من التعامل مع مادة كبيرة مباشرة، نحن نعمل مع قائمة من المجموعات متعددة. ويمكن بعد ذلك وصف صحيحية الحساب باستخدام قواعد الرياضيات بين هذه المجموعات. على سبيل المثال، تخيل ثلاثة قنبلات من القائمة تشكل ثلاثة المجموعات متعددة: أجيال شهود a(x) ب ( x ) c(x) قد يقول قاعدة a(x)⋅b(x)−c(x)=0 وهذا يعني أن "المتعدد الأول المرتب على الثاني يجب أن يساوي المتعدد الثالث". لغة 1 × لغة 2 يجب أن تنتج لغة 3. بدلا من التحقق من هذه القاعدة لكل قيمة ممكنة من x (الذي سيكون خفيا)، zk-rollups تحقق من ذلك فقط في بضع نقاط عشوائية. إذا كنت ترغب في التحقق من ما إذا كانت قائمة طويلة تتوافق مع قاعدة، لا تحتاج إلى مقارنة كل عنصر - التحقق من بعض العناصر العشوائية عادة ما تقول لي إذا كان العلاقة بأكملها صحيح. Example: Polynomial commitment schemes—such as KZG—are perfect for this. The rollup commits to all the polynomials that describe the L2 computation (something like locking them inside a cryptographic box). Later, the verifier can ask for the values of these polynomials at specific random points. With those values and the commitments, the verifier checks whether the correctness rules hold. If they do, the verifier knows the entire computation is valid. إعلانات Ethereum (EIP-4844) هو تحديث تم تصميمه لجعله أقل تكلفة للعديد من المشترين نشر بياناتهم على طبقة Ethereum 1. . This type of transaction includes a large piece of data called a (around 128 kB). However, this blob is يمكن الوصول إلى الاتفاقيات الذكية أو طبقة التنفيذ. على اللوحة وليس على اللوحة نفسها. الدعوات الشكر تداول البلوك تشغيل البلوي not commitment الآن السؤال هو: الخيار الوحيد هو الحصول على البلوكشين و فقط ولكن التخزين محدود: إذا قمنا بتخزين التخزين فقط، فلن نتمكن بعد ذلك من إثبات أي شيء عن البيانات داخل التخزين دون اكتشاف كل التخزين. كيف ينبغي أن يخلق Ethereum هذا الالتزام إلى البلوب؟ hash it بدلاً من ذلك، يمكننا معالجة البلوب كوسيلة متعددة. (في وقت سابق، علينا تفسير كيف يمكن أن تكون المركبات أو البيانات ممثلة كوسيلة متعددة). مثل KZG ، يمكن Ethereum أن تتعهد بالخداع بطريقة لا تمنع البيانات فقط ، ولكن أيضًا يسمح للتحقق من خصائص معينة. . polynomial commitment scheme بدون تنزيل كل بلاستيكي هذه القدرة مهمة بالنسبة إلى ما يسمى ويسمح DAS بإجراء التحقق من ما إذا كان اللوحة متوفرة أو صحيحة. بدلاً من ذلك، يمكن للتحققين تحميل فقط أجزاء صغيرة عشوائية.لكن بفضل الرياضيات الخاضعة لالتزامات البوليينوم، إذا كان هناك كمية كافية من العينات عشوائية صحيحة، يمكن للتحققين أن تكون متأكدة تماماً من أن كل شيء متوفر. (على الرغم من أن DAS لا يشمل النسخة الأولى من Proto-Danksharding، فإنه سيتم إضافة كلما استمر Ethereum نحو "Dankharding الكامل.") (DAS) الحصول على البيانات نموذج لا تنزيل جميع 128 KB الحصول على البيانات نموذج Ethereum يختار as the polynomial commitment scheme for Proto-Danksharding and future sharding upgrades. Researchers compared several schemes, and concluded that KZG provides the best balance of efficiency, proof size, and simplicity for Ethereum’s roadmap in the short and medium term. KZG How zk-rollups and Ethereum’s Proto-Danksharding interact zk-rollups and Ethereum’s Proto-Danksharding may seem like separate systems, but they both use KZG commitments in ways that allow them to work together smoothly. Scroll uses KZG to commit to the computations performed on Layer 2, while Ethereum uses KZG to commit to large data blobs posted on Layer 1. Surprisingly, these two uses can interact in a very elegant way. عندما ينتهي Scroll من معالجة مجموعة من المعاملات L2 وتحديد مصير جديد ، يجب أن نشر ثلاثة أشياء على L1 من Ethereum: T - قائمة المعاملات L2, — the new state root after those transactions are applied, Sᵢ π - دليل على أن الجذور الجديدة هي صحيحة. Ethereum must verify two things: أن الجذور الجديدة للكون Si صحيح (أي أن المعاملات قد تم تنفيذها بشكل صحيح)، و أن قائمة المعاملات T هي بالضبط واحدة المستخدمة لإنتاج هذا الحالة الجذري.لكن يجب أن يكون هناك طريقة للاتصال على قائمة المعاملاتT مع الأدلة π. متاجر Ethereum مثل A وهذا يعني أن المخترع لديه الوصول فقط إلى إلى هذا البلوغ - دعونا نسمع هذا التزام وفي الوقت نفسه، فإن الأدلة ويحتوي أيضا على التزامات KZG للعديد من الفلسفات المتعددة المستخدمة أثناء الحساب، بما في ذلك الفلسفات المتعددة التي تشكل قائمة المعاملات. . T data blob KZG commitment Cₜ π Cₚ Now we have two different KZG commitments ( من اللوحة و من الأدلة على ذلك) يجب أن نتأكد من أن الفلسفة هي نفس الفلسفة الفلسفية (فلسفة الفلسفة الفلسفية). و إنها حقا تتحدث عن نفس البيانات. Cₜ Cₚ should Cₜ Cₚ في هذه الحالة، نستخدم تقنية تسمى . The idea is simple: إثبات المساواة إثبات المساواة اختر تقييم مثير للجدل = الحشيش(Ct Cp) هذا يجعل z غير متوقعة ومميزة لهذه الالتزامات. Both commitments are then “opened” at the point z, each producing a value . That is, prove that: a ϕₜ(z) = a under commitment , and Cₜ ϕₜ(z) = a under commitment . Cₚ إذا كانت كل الالتزامات تؤدي إلى نفس القيمة في نفس النقطة العشوائية ، ففي حالة احتمال كبير جداً ، فإنها تؤدي إلى نفس النقطة العشوائية. على سبيل المثال: تخيل اثنين من الأشخاص، كل منهما يطالبون بأن لديهم نفس الكلية السرية. بدلاً من اكتشاف الكلية السرية بأكملها، كل منهما يقيسها في نقطة عشوائية، بحسب x = 103. : تخيل اثنين من الأشخاص، كل منهم يدعي أنه لديه نفس الكلية السرية. بدلاً من اكتشاف الكلية السرية بأكملها، كل منهما يقيسها في نقطة عشوائية، بحسب x = 103. Example This same logic lets Ethereum verify that the transaction list used in the proof is exactly the same as the transaction list published in the blob. π A nice bonus is that this equivalence check works even if the two commitments use على سبيل المثال، يمكن أن يكون أحد KZG والآخر FRI. طالما أن كل من الالتزامات تدعم فتح في نقطة معينة، يمكن للتحقق من مقارنةها، مما يجعل هذا النهج مرونة للغاية. مختلف مختلف Erasure Coding With Polynomials فكرة أخرى قوية تستخدم في KZG و PeerDAS هي تتيح هذه التقنية استرداد البيانات حتى لو كان جزءًا منها مفقودًا.إذا استخدمنا الفلسفات، يمكننا أخذ مجموعة صغيرة من القيم الأصلية وتطويرها إلى مجموعة أطول من خلال تقييم الفلسفات في نقاط إضافية. هذا هو بالضبط كيف يعمل نموذج توفر البيانات (DAS) من Ethereum: لا تحتاج القنوات إلى كل قطعة من البيانات، ولكن فقط نموذج عشوائي يسمح لهم بإعادة بناء المعلومات الأصلية مع احتمال كبير. erasure coding if the degree stays the same, the original data can be recovered from subset of enough points أي أي لماذا تحتاج إلى التزامات متعددة الجنسيات؟ لماذا تحتاج إلى التزامات متعددة الجنسيات؟ Using polynomials and erasure codes solves many problems, but creates a new one: How do we prove that a piece of data truly belongs to the committed polynomial? هذا هو المكان الذي اقرأ أيضاً: برنامج KZG يتيح: KZG polynomial commitments التزام بمجموعة كبيرة من عناصر مجموعة صغيرة واحدة إثبات أن نقطة البيانات هي واحدة من تقييمات الفلسفة التحقق من الأدلة دون تنزيل الكليوم أو إعادة بناءها هذه الخصائص ضرورية لخطة التوسع لـ Ethereum لأن المؤهلين يجب عليهم التحقق من توفر البيانات بشكل فعال دون قراءة ميغابايت من البيانات. and تعتمد على الفلسفات الفلسفية لتقسيم البيانات إلى , و و يتم معالجة كل بلوب كبلومبي الذي يملكه تقييمات البيانات.عندما يتم توسيع البيانات وتصميمها إلى القوائم ، يتم الحصول على مكونات صغيرة فقط ، ولكن هيكل البولومبي يضمن أن جميع الأجزاء متوافقة.لتحقق هذا التوافق دون تحميل بلومبيات كاملة ، يستخدم Ethereum كل إثبات يؤكد أن الخلية المحددة تتوافق مع الكلدانيوم المشتبه فيه في العلامة الخلفية. بيريز الدعوات الشكر columns cells blobs KZG proofs وبفضل التزامات متعددة الأبعاد ، يمكن Ethereum بسهولة توسيع توفر البيانات في الوقت الذي يقلل بشكل كبير من الضغط على الأقراص الفردية. و الفنانة EIP-4844 بعد ذلك ، سنقوم بعرض كيف يعمل PeerDAS ، وكيف تلعب التزامات KZG دورا هاما في ذلك ، وكيف تتيح تشفير إزالة شبكة استرداد البيانات المفقودة. بعد ذلك ، سنقوم بعرض كيف يعمل PeerDAS ، وكيف تلعب التزامات KZG دورا هاما في ذلك ، وكيف تتيح تشفير إزالة شبكة استرداد البيانات المفقودة.
