---
title: "⁦zkEVM⁩ للتحقق من كتلة الطبقة 1 (⁦L1⁩)"
description: "تعرف على كيف يمكن لإثباتات المعرفة الصفرية التحقق من تنفيذ كتلة إيثيريوم، مما يتيح قدرة معالجة أعلى ومتطلبات أقل للمُدَقِّقين."
lang: ar
template: roadmap
---

<span dir="ltr">zkEVM</span> هي تقنية تستخدم [إثباتات المعرفة الصفرية](/zero-knowledge-proofs/) للتحقق من تنفيذ كتلة إيثيريوم. بدلاً من مطالبة كل [مُدَقِّق](/glossary/#validator) بإعادة تنفيذ جميع المعاملات في الكتلة، يقوم فاعل متخصص واحد (يُسمى "المُثبِت") بتنفيذ الكتلة وإنشاء إثبات تشفيري بأن التنفيذ كان صحيحاً. يمكن لأي عقدة بعد ذلك التحقق من هذا الإثبات—وهي عملية أرخص بكثير من إعادة تنفيذ جميع المعاملات.

<Alert variant="info">
<AlertEmoji text="💡" />
<AlertContent>
<AlertTitle>لا تخلط بينها وبين تجميعات <span dir="ltr">zkEVM</span></AlertTitle>
<AlertDescription>
تناقش هذه الصفحة استخدام <span dir="ltr">zkEVM</span> للتحقق من تنفيذ كتلة إيثيريوم في الطبقة 1 (<span dir="ltr">L1</span>). بالنسبة لتجميعات <span dir="ltr">zkEVM</span> التي تستخدم إثباتات المعرفة الصفرية (<span dir="ltr">ZK</span>) لتوسيع نطاق إيثيريوم كحلول طبقة 2 (<span dir="ltr">L2</span>)، راجع [تجميعات المعرفة الصفرية](/developers/docs/scaling/zk-rollups/).
</AlertDescription>
</AlertContent>
</Alert>

## مشكلة إعادة التنفيذ {#reexecution-problem}

اليوم، تستخدم إيثيريوم نموذج تحقق "<span dir="ltr">N-of-N</span>": يجب على كل مُدَقِّق إعادة تنفيذ كل معاملة في كل كتلة بشكل مستقل للتحقق من أن تغييرات الحالة المقترحة صحيحة. في حين أن هذا النهج منزوع الثقة إلى أقصى حد، فإنه يخلق عنق زجاجة أساسي.

المشكلة هي أن قدرة المعالجة في إيثيريوم محدودة بما يمكن للمُدَقِّق العادي معالجته. إن رفع [حد الغاز](/glossary/#gas-limit) سيسمح بمزيد من المعاملات لكل كتلة، ولكنه سيرفع أيضاً من متطلبات الأجهزة للمُدَقِّقين. هذا يهدد اللامركزية—إذا كان تشغيل المُدَقِّق يتطلب أجهزة باهظة الثمن، فسيتمكن عدد أقل من الأشخاص من المشاركة في تأمين الشبكة.

تقدم <span dir="ltr">zkEVM</span> مخرجاً من هذه المقايضة. من خلال التحول من "الجميع يعيد التنفيذ" إلى "واحد يُثبِت، والجميع يتحقق"، يمكن لإيثيريوم زيادة حد الغاز بأمان دون رفع متطلبات الأجهزة للمُدَقِّقين.

## كيف يعمل التحقق من <span dir="ltr">zkEVM</span> في الطبقة 1 (<span dir="ltr">L1</span>) {#how-it-works}

يحول التحقق من <span dir="ltr">zkEVM</span> تدقيق الكتلة إلى نموذج "<span dir="ltr">1-of-N</span>":

1. **التنفيذ**: يقوم مُثبِت بتنفيذ جميع المعاملات في الكتلة، متتبعاً كل تغيير في الحالة
2. **الإثبات**: يقوم المُثبِت بإنشاء إثبات تشفيري ([<span dir="ltr">SNARK</span> أو <span dir="ltr">STARK</span>](/zero-knowledge-proofs/#types-of-zero-knowledge-proofs)) يشهد على صحة التنفيذ
3. **التحقق**: يتحقق المُدَقِّقون من الإثبات بدلاً من إعادة تنفيذ المعاملات—وهذا أرخص بكثير من إعادة التنفيذ الكاملة

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

### <span dir="ltr">zkEVMs</span> من النوع 1 {#type-1-zkevm}

تُصنف <span dir="ltr">zkEVMs</span> إلى أنواع بناءً على توافقها مع إيثيريوم:

- **النوع 1**: مكافئ تماماً لإيثيريوم. لا توجد تعديلات على آلة إيثيريوم الافتراضية (<span dir="ltr">EVM</span>)، لذلك يمكن إثبات أي كتلة إيثيريوم كما هي تماماً
- **النوع 2-4**: إجراء مقايضات مختلفة، وتعديل سلوك آلة إيثيريوم الافتراضية (<span dir="ltr">EVM</span>) لجعل الإثبات أسهل

بالنسبة للتحقق في الطبقة 1 (<span dir="ltr">L1</span>)، يعد النوع 1 ضرورياً. يجب أن تكون <span dir="ltr">zkEVM</span> قادرة على إثبات أي كتلة إيثيريوم صالحة، بما في ذلك الحالات الاستثنائية والكتل التاريخية. أي انحراف عن سلوك إيثيريوم الدقيق من شأنه أن يخلق مشاكل في الإجماع.

تركز أبحاث <span dir="ltr">zkEVM</span> التابعة لمؤسسة إيثيريوم على تطبيقات النوع 1 المتوافقة تماماً مع تنفيذ إيثيريوم الحالي.

## فوائد لإيثيريوم {#benefits}

### قدرة معالجة أعلى {#higher-throughput}

عندما يكون التحقق رخيصاً، يمكن زيادة حد الغاز بأمان. هذا يوسع سعة الشبكة ويساعد على استقرار الرسوم خلال فترات ارتفاع الطلب. حد الغاز الحالي مقيد جزئياً بأجهزة المُدَقِّق—وتزيل <span dir="ltr">zkEVM</span> هذا القيد.

### لامركزية أقوى {#stronger-decentralization}

مع التحقق من <span dir="ltr">zkEVM</span>، يحتاج المُدَقِّقون فقط إلى التحقق من الإثباتات بدلاً من تنفيذ المعاملات. هذا يقلل بشكل كبير من متطلبات الأجهزة لتشغيل مُدَقِّق، مما يتيح لمزيد من الأشخاص المشاركة في تأمين الشبكة. يعزز التنوع الأكبر للمُدَقِّقين من مقاومة إيثيريوم للرقابة ومرونتها.

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

### نهائية يمكن التنبؤ بها {#predictable-finality}

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

## تحديات الإثبات في الوقت الفعلي {#realtime-proving}

التحدي الرئيسي للتحقق من <span dir="ltr">zkEVM</span> في الطبقة 1 (<span dir="ltr">L1</span>) هو السرعة. يتم إنتاج كتل إيثيريوم كل <span dir="ltr">12 ثانية</span>، مما يعني أنه يجب إنشاء الإثباتات ضمن إطار زمني مماثل لتكون مفيدة للإجماع.

يمكن أن تستغرق تطبيقات <span dir="ltr">zkEVM</span> الحالية من دقائق إلى ساعات لإثبات كتلة واحدة. تركز الأبحاث على سد هذه الفجوة من خلال:

- **التوازي**: توزيع عمل الإثبات عبر أجهزة متعددة
- **أجهزة متخصصة**: تصميم دوائر وأجهزة محسنة لإثبات المعرفة الصفرية (<span dir="ltr">ZK</span>)
- **تحسينات خوارزمية**: أنظمة إثبات وتصميمات دوائر أكثر كفاءة
- **الإثبات التدريجي**: إنشاء الإثباتات أثناء تنفيذ المعاملات، بدلاً من بعده

## الأبحاث والتطبيقات الحالية {#current-research}

تمول مؤسسة إيثيريوم أبحاث <span dir="ltr">zkEVM</span> من خلال فريق [رعاة الخصوصية في إيثيريوم (<span dir="ltr">PSE</span>)](https://pse.dev/). تشمل مسارات البحث الرئيسية ما يلي:

- **الإثبات في الوقت الفعلي**: إنشاء إثباتات كتلة كاملة ضمن خانات مدتها <span dir="ltr">12 ثانية</span>
- **تكامل العميل**: توحيد الواجهات بين عملاء التنفيذ والمُثبِتين
- **الحوافز الاقتصادية**: تصميم أسواق مُثبِتين وهياكل رسوم مستدامة

### حالة التطبيق {#implementations}

يتم تطوير واختبار العديد من تطبيقات <span dir="ltr">zkVM</span> لإثبات كتلة إيثيريوم:

| التطبيق | البنية |
|----------------|--------------|
| [<span dir="ltr">OpenVM</span>](https://github.com/openvm-org/openvm) | <span dir="ltr">rv32im</span> |
| [<span dir="ltr">RISC Zero</span>](https://github.com/risc0/risc0) | <span dir="ltr">rv32im</span> |
| [<span dir="ltr">Airbender</span>](https://github.com/matter-labs/zksync-airbender) | <span dir="ltr">rv32im</span> |
| [<span dir="ltr">Jolt</span>](https://github.com/a16z/jolt) | <span dir="ltr">rv32im</span> |
| [<span dir="ltr">Zisk</span>](https://github.com/0xPolygonHermez/zisk) | <span dir="ltr">rv64ima</span> |

تستخدم هذه الأجهزة الافتراضية القائمة على <span dir="ltr">RISC-V</span> لتنفيذ رمز البايت الخاص بآلة إيثيريوم الافتراضية (<span dir="ltr">EVM</span>)، ثم تقوم بإنشاء إثباتات المعرفة الصفرية (<span dir="ltr">ZK</span>) للتنفيذ الصحيح. يتم تتبع نتائج الاختبارات والتقدم المحدث في [متتبع <span dir="ltr">zkVM</span> التابع لمؤسسة إيثيريوم](https://zkevm.ethereum.foundation/zkvm-tracker).

## كيف تتناسب <span dir="ltr">zkEVM</span> مع الترقيات الأخرى {#related-upgrades}

يرتبط التحقق من <span dir="ltr">zkEVM</span> في الطبقة 1 (<span dir="ltr">L1</span>) بالعديد من عناصر خارطة طريق إيثيريوم الأخرى:

- **[أشجار فيركل](/roadmap/verkle-trees/)**: تتيح شهوداً أصغر للتحقق من انعدام الحالة، مما يقلل من البيانات التي يحتاج المُثبِتون للعمل معها
- **[انعدام الحالة](/roadmap/statelessness/)**: تعد <span dir="ltr">zkEVM</span> عامل تمكين رئيسي—مع إثباتات المعرفة الصفرية (<span dir="ltr">ZK</span>) للتنفيذ، لا تحتاج العقد إلى حالة كاملة للتحقق من الكتل
- **[فصل المقترح عن الباني (PBS)](/roadmap/pbs/)**: يمكن لبناة الكتل دمج إنشاء الإثباتات، أو قد يظهر سوق مُثبِتين منفصل
- **[نهائية الخانة الواحدة](/roadmap/single-slot-finality/)**: يمكن أن يتيح إنشاء الإثباتات بشكل أسرع نهائية الخانة الواحدة مع ضمانات تشفيرية

<Alert variant="warning">
<AlertEmoji text="🧪" />
<AlertContent>
<AlertDescription>
التحقق من <span dir="ltr">zkEVM</span> في الطبقة 1 (<span dir="ltr">L1</span>) قيد البحث النشط ولم يتم دمجه بعد في عملاء إيثيريوم في مرحلة الإنتاج.
</AlertDescription>
</AlertContent>
</Alert>

## قراءة إضافية {#further-reading}

- [مؤسسة <span dir="ltr">zkEVM</span>](https://zkevm.ethereum.foundation) - مركز أبحاث <span dir="ltr">zkEVM</span> الرسمي التابع لمؤسسة إيثيريوم
- [<span dir="ltr">Ethproofs</span>](https://ethproofs.org/) - تتبع السباق لإثبات إيثيريوم في الوقت الفعلي
- [<span dir="ltr">zkevm.fyi</span>](https://zkevm.fyi) - كتاب تقني حول <span dir="ltr">zkEVM</span> للطبقة 1 (<span dir="ltr">L1</span>)
- [مواصفات <span dir="ltr">zkEVM</span> من <span dir="ltr">PSE</span>](https://github.com/privacy-scaling-explorations/zkevm-specs) - المواصفات التقنية
- [<span dir="ltr">The Verge</span>](https://vitalik.eth.limo/general/2024/10/23/futures4.html) - نظرة عامة من فيتاليك على تحسينات التحقق
- [مدونة <span dir="ltr">zkEVM</span> التابعة لمؤسسة إيثيريوم](https://zkevm.ethereum.foundation/blog) - تحليل الأداء من فريق مؤسسة إيثيريوم