> 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/trust-model.md).

# نموذج الثقة والقيود

الفحوصات والجهات المخوّلة وافتراضات الحفظ وحدود الإصدار المبكر لـ Ostia.

Ostia هو إصدار مبكر على شبكة اختبار محلية. لديه بنّاء واحد ومشغّل واحد ومؤكّد واحد. لم يتم تدقيق الشفرة وZisK 1.3.1-alpha. tROME عملة اختبار بلا قيمة. لا تستخدم هذا الإصدار لأي شيء ذي قيمة.

تصف هذه الصفحة الالتزام `a84e84e439a5cc669c0ae61facf7c8c995d9d564`. اقرأ ملف [التصميم](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/docs/DESIGN.md) و [سياسة الأمان](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/SECURITY.md).

## من يتحقق من ماذا

| الجزء            | التحقق أو السلطة                                                                                                                                        |
| ---------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------- |
| الضيف            | يتحقق من كتلة EVM ويرفض أي تهيئة للسلسلة غير القواعد المترجمة في Ostia.                                                                                 |
| سايدكار `التحقق` | يتحقق من البرهان، وprogramVK المثبّت وrootC، وتجزئة الكتلة المثبتة، والترويسة، وقائمة المعاملات.                                                        |
| سايدكار `الأرجل` | يتحقق من براهين حسابات البوابة والتخزين الخاصة بها ويقارن الأرجل المرفقة المرتبة مع تجزئة البوابة المثبتة.                                              |
| دامل `تقدُّم`    | يتحقق من إجابات السايدكار، والأصل، ورقم الكتلة التالية، وحدّ الغاز، والعقود المستخدمة من قبل الأرجل. يقوم بتسوية الأرجل وينشئ الرأس التالي وسجل الكتلة. |
| كانتون           | يرتّب الكتل من خلال استهلاك عقد الحالة الوحيد في السلسلة ويجمع تغييرات المعاملة معًا. ويرفض إجابات الاستدعاء الخارجي المختلفة.                          |
| البنّاء          | يختار المعاملات، ويتحقق من عقود Canton التي يمكنه رؤيتها، ويحصل على برهان ويقدّم الكتلة. لا يمكنه إنهاء كتلة بنفسه.                                     |

يعمل سايدكار واحد بجانب كل مشارك مؤكد، بما في ذلك مشارك المشغّل. يحسب كل سايدكار إجاباته حصريًا من الإدخال المرسل في الاستدعاء الخارجي. يقارن Daml إجاباتهم؛ فهو لا يجري بنفسه فحص البرهان التشفيري. الـ [README الخاص بالسايدكار](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/sidecar/README.md) و [README الخاص بـDaml](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/daml/README.md) يبيّن متطلبات التحقق والسلطة.

## ما الذي تثبته البصمة

المفتاح البرنامجي المثبّت يحدد الضيف وقواعد سلسلته. يلتزم البرهان بتجزئة كتلة. يربط فحص ترويسـته جذر الحالة وجذر المعاملات. ثم تربط براهين الحساب والتخزين تجزئة الأرجل المسجلة في البوابة بذلك الجذر للحالة.

يجب أن تكون الأرجل المرفقة بنفس الحقول والترتيب مثل تلك التي سجلتها البوابة. حذف رجل أو إضافة واحدة أو تغيير المستلم أو المبلغ أو الرمز أو المعرّف يفشل مقارنة التجزئة. يجب أن تثبت الكتلة التي لا تحتوي على أرجل هذا الغياب أيضًا. وتعتمد مقارنة الأرجل أيضًا على مقاومة Keccak-256 للاصطدامات.

يحدد جذر الحالة الابتدائية في سجل السلسلة شفرة البوابة. لا يملك عقد البوابة مالكًا أو مفتاحًا إداريًا أو ترقية أو إيقافًا مؤقتًا. ولا يزال لِـمشارك Canton سلطة الحضانة على الرموز التي يحتفظ بها.

## سلطة المشغّل والمؤكّد والبوابة

يقترح المشغّل والبوابة البداية الابتدائية للسلسلة، والتثبيتات، وحدّ الغاز، والبنّاء. ويقبل المؤكّد الاقتراح. ومن المتوقع أن يقارن التثبيتات وشفرة بوابة البداية الابتدائية مع بنيته الخاصة. البرامج المحلية المزوّدة تقترح قيماً متطابقة وتقبل الاقتراح فورًا نيابةً عن المؤكّد.

المشغّل والمؤكّد والبوابة يوقّعون `ZkChain` . إنهم جذر الثقة في السلسلة. تتطلب خيارات تسوية الإيداع والسحب الثلاثة جميعًا. وتتطلب تسوية المدفوعات المشغّل والمؤكّد. `تقدُّم` يوفّر سلطتهم المشتركة ضمن تصميم Daml. لا يستطيع البنّاء وحده ممارسة خيارات التسوية.

يمتلك طرف البوابة رموز Canton التي تدعم الرموز المغلفة على EVM. وهو مستضاف على مشارك المشغّل. ويمكن لأي شخص يشغّل ذلك المشارك أن ينقل الرموز المقفلة خارج قواعد السحب. إن غياب المفتاح الإداري عن عقد البوابة لا يقيّد قدرة ذلك الطرف في Canton على التصرف عبر مشاركه.

يعدّ تسجيل الرموز قرار ثقة آخر. يقترح المشغّل والبوابة الربط من أداة Canton إلى رمز مغلف على EVM، ويقبل المؤكّد ذلك. تنفذ البوابة شفرة تحويل Daml للرمز المسجل بسلطتها الخاصة. الـ [README الخاص بالشبكة](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/network/README.md#the-canton-network) يصف الاستضافة لدى المشارك وفحوصات التسجيل.

## ما الذي يمكنه إيقاف كتلة

لإدراج رجل، يحتاج البنّاء إلى حق القراءة على طلباتها وشروطها وقبولاتها وتخصيصاتها وتسجيلات الرموز وامتلاك البوابة. ويستبعد أي معاملة لا يستطيع رؤية عقود Canton الخاصة بها.

يمكن استرداد تخصيص بعد أن يتحقق منه البنّاء أو بعد الإثبات. ويمكن لسجل رموز أيضًا أن يرفض التسوية وفق قواعده الخاصة. عندئذٍ يرفض Canton الكتلة ولا يلتزم شيء. وبالنسبة لرفض سجل لا يستطيع البنّاء توقعه، تحتاج الجولة التالية إلى `--exclude`؛ لا يتذكر البنّاء ذلك الرفض عبر التشغيلات.

كل تشغيل للبنّاء يعالج كتلة واحدة؛ ولا يكرّر على كتل متتالية. لا يضع البنّاء حدًا لخطوات التنفيذ قبل الإثبات. إذا لم يستطع المثبت إنهاء كتلة، تتوقف عملية تشغيل البنّاء. الـ [README الخاص بالمنشئ](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/builder/README.md#not-here) يسجّل هذه الحدود.

## ما الذي لا يوفّره هذا الإصدار

لا تحتفظ الشبكة المحلية بأي حالة بين التشغيلات. لا تحتوي على مصادقة Ledger API أو TLS وهي مخصصة لجهاز واحد. تستخدم الشبكة لقطات Canton 3.6 المثبتة ومترجم Daml من لقطة للاستدعاء الخارجي. وتوجد إصداراتها وبصماتها في [PINS](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/PINS).

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

يمكن للقارئ إعادة التحقق من براهين الكتل، لكن `سجل الكتلة` لا يحمل الأرجل المسوّاة. يتحقق زر Verify في المتصفح من البرهان والترويسة والمعاملات؛ ولا يكرر فحوص تسوية أرجل Canton.

## الإبلاغ عن مشكلة أمنية

استخدم الإبلاغ الخاص عن الثغرات في GitHub لـ `canton-zk-evm`: افتح تبويب الأمان في المستودع واختر **الإبلاغ عن ثغرة أمنية**. لا تفتح مشكلة عامة بشأن مشكلة أمنية.

أدرج المكوّن المتأثر، والالتزام، وخطوات إعادة الإنتاج والنتيجة المرصودة. أرفق البرهان أو الكتلة إذا كان ذلك جزءًا من النتيجة. الـ [سياسة الأمان](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/SECURITY.md) يحدد النطاق. لا توجد مكافأة على الأخطاء.


---

# 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/trust-model.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.