> For the complete documentation index, see [llms.txt](https://docs.rome.builders/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.rome.builders/ar/canton-zk-evm/prover-host.md).

# مضيف المُثبِت

متطلبات مضيف المُثبِت، والعامل الدائم، وبناء الضيف المثبّت.

يقوم المُثبِت بتشغيل ZisK مع عامل GPU واحد. يظل المنسق والعامل قيد التشغيل بين الطلبات، مع كون مفتاح PLONK محمّلًا مسبقًا. لكل كتلة، يرسل المنشئ المدخلات ويتلقى إثباتًا ملفوفًا.

تصف هذه الصفحة الالتزام `a84e84e439a5cc669c0ae61facf7c8c995d9d564`. اقرأ ملف [README الخاص بالمُثبِت](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/prover/README.md) و [القياسات](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/docs/METRICS.md).

## متطلبات المضيف

يستهدف المُثبّت Linux x86-64 مع `apt`, `sudo`، مع برنامج تشغيل NVIDIA مثبت وحوالي 100 غيغابايت من المساحة الحرة على القرص. يثبت حزم النظام ويغيّر حدود قفل الذاكرة.

استخدم معيار 2026-10-03 بطاقة NVIDIA RTX PRO 6000 Blackwell Server Edition واحدة مع 96 غيغابايت من ذاكرة GPU، و48 vCPU على AMD EPYC 9B45، و176 غيغابايت من ذاكرة RAM للمضيف. وقد شغّل Ubuntu 22.04.5 مع التعريف 580.178.04. تصف هذه المواصفات الآلة المختبَرة؛ ولا تحدد الحد الأدنى من العتاد اللازم لتشغيل المُثبّت.

سجّل المعيار 22.9 غيغابايت من الذاكرة المشتركة للمحاكي. وقد أبلغت طبقة PLONK wrap وحدها عن متطلب GPU قدره 30,054,767,337 بايت، أي نحو 28.0 غيغابايت. بلغ ذروة استخدام ذاكرة GPU 93.2 غيغابايت، لكن المُثبّت يحجّم مخزنًا مؤقتًا كبيرًا على البطاقة. تعكس تلك الذروة تخصيص المخزن المؤقت ولا تُظهر مقدار ذاكرة GPU الذي يحتاجه المُثبّت بالكامل كحد أدنى. انظر [القياسات](/ar/canton-zk-evm/measurements.md) لنطاق كل رقم.

## البناء والتشغيل

تستخدم البرامج النصية الإصدارات الموجودة في [PINS](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/PINS). يستخدم المُثبّت ZisK 1.3.1-alpha وNode 20.20.2 وsnarkjs 0.7.6. إصدار Node الخاص بالمستكشف منفصل.

| السكربت                 | ما الذي يفعله                                                                                |
| ----------------------- | -------------------------------------------------------------------------------------------- |
| `prover/install.sh`     | تحقق من قيمة التحقق المثبتة للمُثبّت، ثم ثبّت بناء GPU ومفتاح الإثبات وإعداد PLONK.          |
| `prover/build-guest.sh` | ابنِ ELF الخاص بالضيف واطبع SHA-256 وprogramVK وrootC وتجزئة rules.                          |
| `prover/start.sh`       | ابدأ المنسق وعامل GPU واحدًا مع تحميل مفتاح PLONK.                                           |
| `prover/make-input.sh`  | حوّل كتلة محفوظة وشاهد التنفيذ والجنيسيس إلى مدخلات المُثبّت.                                |
| `prover/prove-one.sh`   | أثبت مدخلاً واحدًا، وتحقق من الإثبات باستخدام `cargo-zisk`، واكتب الإثبات الملفوف بصيغة hex. |

`ZISK_COORDINATOR_URL` يحدد المنسق. والقيمة الافتراضية هي المنسق على الجهاز نفسه. `network/up.sh` يبني الضيف ويبدأ المُثبّت كجزء من الشبكة المحلية؛ اتبع [شغّله محليًا](/ar/canton-zk-evm/run-it-locally.md) لهذه السلسلة.

يعيّن المُنشئ افتراضيًا إلى `prover/prove-one.sh` من خلال `CZE_PROVE_CMD`. يتلقى ذلك الأمر ملف إدخال ومجلد إخراج، ويجب أن يترك `wrapped-proof.hex`. وفحصه المحلي `cargo-zisk` لا يفرض programVK وrootC المثبّتين في السلسلة. وتفرض sidecars الخاصة بالمؤكّدين تلك القيم المثبتة. انظر [إعدادات المُنشئ](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/builder/README.md#settings).

## إعادة إنتاج مفتاح الضيف

تستخدم نصية البناء مجلد بناء ثابتًا واحدًا وترفض ملف ELF لا يزال يحتوي على مسار بناء. شغّل بناء ضيف واحدًا في كل مرة لأن كل بناء يفرغ ذلك المجلد المشترك.

في 2026-10-04، أَنتجت عمليتا checkout جديدتان، بُنيتا بالتتابع بواسطة مستخدم واحد على جهاز واحد، نفس ملف ELF ونفس programVK. استغرق البناءان 133 ثانية و126 ثانية. ولإعادة إنتاج البناء كمستخدم آخر أو على جهاز آخر، تحقّق من أن programVK الناتج يطابق القيمة المسجّلة. `network/up.sh` يتوقف إذا اختلفت تثبيتات البناء. الـ [README الخاص بالضيف](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/guest/README.md#building) يصف البناء وحدوده.

## مخرجات الإثبات

صيغة السلك هي 1,344 بايت: 768 بايت من إثبات PLONK، و32 بايت من programVK، و32 بايت من rootC، و512 بايت من القيم العامة. `prover/prove-one.sh` يكتب الصيغة السداسية والـJSON الناتجة عن `cargo-zisk-dev export-solidity-calldata`.


---

# Agent Instructions
This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com.

## Querying This Documentation
If you need additional information that is not directly available in this page, you can query the documentation by asking a question.

Perform an HTTP GET request on the following URL with the `ask` and `goal` query parameters:

```
GET https://docs.rome.builders/ar/canton-zk-evm/prover-host.md?ask=<question>&goal=<user_goal>
```

`ask` is the immediate question: it should be specific, self-contained, and written in natural language.
`goal` is what the user is ultimately trying to achieve, the reason they need the answer. Sharing it helps GitBook give you a better, more relevant answer. A goal is most helpful when it describes the outcome the user wants rather than restating the question. For example, with `ask=how do I create an API token`, a goal like `automate deployments from our CI pipeline` lets GitBook tailor the answer to that use case.

The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.