> 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/ja/canton-zk-evm/trust-model.md).

# 信頼モデルと制限

Ostia早期リリースのチェック、権限、保管に関する前提、制限。

Ostia はローカルのテストネットワーク上の初期リリースです。ビルダーが 1 つ、オペレーターが 1 つ、コンファーマーが 1 つあります。コードおよび 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、証明済みブロックハッシュ、ヘッダー、トランザクション一覧をチェックします。                    |
| サイドカー `レッグ` | ゲートウェイのアカウント証明とストレージ証明をチェックし、順序付けられた添付レッグを証明済みのゲートウェイハッシュと比較します。                    |
| Daml `進行`   | サイドカーの応答、親、次のブロック番号、gas 上限、およびレッグで使用されるコントラクトをチェックします。レッグを決済し、次のヘッドとブロックレコードを作成します。 |
| Canton      | チェーンの 1 つの状態コントラクトの消費を通じてブロックを順序付け、トランザクションの変更をまとめてコミットします。外部呼び出しの応答が異なるものは拒否します。   |
| ビルダー        | トランザクションを選択し、参照できる Canton コントラクトをチェックし、証明を取得してブロックを送信します。自力ではブロックを確定できません。          |

各確認参加者の横で 1 つのサイドカーが動作します。これにはオペレーターの参加者も含まれます。各サイドカーは、外部呼び出しで送信された入力だけから応答を計算します。Daml はそれらの応答を比較します。暗号学的証明のチェック自体は行いません。その [sidecar の README](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/sidecar/README.md) および [Daml の README](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/daml/README.md) チェックと権限要件を示します。

## 証明が固定するもの

固定された program キーは、ゲストとそのチェーンルールを識別します。証明はブロックハッシュにコミットします。ヘッダーをチェックすると、state root と transaction root が結び付けられます。アカウント証明とストレージ証明によって、ゲートウェイに記録されたレッグハッシュがその state root に結び付けられます。

添付されたレッグは、ゲートウェイが記録したものと同じフィールドと順序でなければなりません。レッグの削除、追加、または受取人・金額・トークン・ID の変更は、ハッシュ比較に失敗します。レッグのないブロックは、その不存在も証明しなければなりません。レッグ比較は Keccak-256 の衝突耐性にも依存します。

チェーンレコードの genesis state root がゲートウェイコードを固定します。ゲートウェイコントラクトには所有者、管理キー、アップグレード、停止がありません。それでも Canton パーティは、自身が保有するトークンに対する保管権限を持ちます。

## オペレーター、コンファーマー、およびゲートウェイの権限

オペレーターとゲートウェイがチェーンの genesis、pin、gas 上限、ビルダーを提案します。コンファーマーがその提案を承認します。pin と genesis gateway コードを自分のビルドと比較することが想定されています。提供されたローカルスクリプトは一致する値を提案し、コンファーマーの代わりにただちに提案を受け入れます。

オペレーター、コンファーマー、およびゲートウェイが署名します `ZkChain`。これらはチェーンの信頼の根幹です。入金および出金の決済の選択には 3 者すべてが必要です。支払いの決済にはオペレーターとコンファーマーが必要です。 `進行` Daml 設計の下で、彼らの共同権限を提供します。ビルダーだけでは決済の選択を実行できません。

ゲートウェイパーティは、EVM 上のラップトークンを裏付ける Canton トークンを保有します。それはオペレーターの参加者上でホストされています。その参加者を運用する者は、出金ルールの外でロックされたトークンを移動できます。ゲートウェイコントラクトに管理キーがないことは、その Canton パーティが自分の参加者を通じて行動する能力を制約しません。

トークン登録も別の信頼判断です。オペレーターとゲートウェイが Canton インストゥルメントから EVM ラップトークンへの対応付けを提案し、コンファーマーがそれを受け入れます。ゲートウェイは、自身の権限で登録済みトークンの Daml 転送コードを実行します。その [network の README](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/network/README.md#the-canton-network) 参加者のホスティングと登録チェックについて説明します。

## ブロックを止めるもの

レッグを含めるには、ビルダーはその要求、条件、受諾、割当、トークン登録、およびゲートウェイの保有資産への読み取りアクセスが必要です。参照できない Canton コントラクトを含むトランザクションは除外します。

割当は、ビルダーがそれをチェックした後、または証明後に取り消すことができます。トークン登録簿も、自身のルールに従って決済を拒否できます。その場合、Canton はブロックを拒否し、何もコミットされません。登録簿による拒否をビルダーが予測できなかった場合、次の実行には `--exclude`; ビルダーはその拒否を実行間で記憶しません。

各ビルダー実行は 1 つのブロックを処理します。連続するブロックをループ処理しません。ビルダーは証明前に実行ステップを制限しません。プロバーがブロックを完了できない場合、ビルダー実行は停止します。その [builder README](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/builder/README.md#not-here) これらの制限を記録します。

## このリリースで提供しないもの

ローカルネットワークは実行間で状態を保持しません。Ledger API の認証も TLS もなく、1 台のマシン向けです。ネットワークは固定された Canton 3.6 スナップショットと、外部呼び出し用のスナップショット Daml コンパイラを使用します。それらのバージョンとハッシュは [PINS](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/PINS).

複数のビルダー、強制的な取り込み、公開 Canton 展開、オペレーターの参加者を超える範囲を要するプライバシーと保管は、このリリースの対象外です。スループットやブロック時間の目標はありません。記録済みのデモでは、Canton と同じマシン上の両方の確認参加者で同じサイドカー実装を使用しました。

読者はブロック証明を再チェックできますが、 `BlockRecord` 決済済みレッグは含まれません。ブラウザの Verify ボタンは、証明、ヘッダー、およびトランザクションをチェックします。Canton のレッグ決済チェックは繰り返しません。

## セキュリティ問題を報告する

GitHub の非公開脆弱性報告を使用してください `canton-zk-evm`: リポジトリの Security タブを開き、選択してください **脆弱性を報告する**。セキュリティ問題について公開 issue を立てないでください。

影響を受けるコンポーネント、コミット、再現手順、観測された結果を含めてください。発見内容の一部であれば、証明またはブロックを添付してください。その [セキュリティポリシー](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/ja/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.