> 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/ko/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 `선지급` | 사이드카의 응답, 부모, 다음 블록 번호, 가스 한도 및 레그가 사용한 계약을 확인합니다. 레그를 정산하고 다음 헤드와 블록 기록을 생성합니다. |
| Canton     | 체인의 단일 상태 계약을 소비함으로써 블록을 순서대로 처리하고 거래의 변경 사항을 함께 커밋합니다. 서로 다른 외부 호출 응답은 거부합니다.   |
| 빌더         | 트랜잭션을 선택하고, 볼 수 있는 Canton 계약을 확인한 뒤, 증명을 얻어 블록을 제출합니다. 스스로 블록을 최종 확정할 수는 없습니다.   |

운영자의 참가자를 포함하여 각 확인 참가자 옆에서 하나의 사이드카가 실행됩니다. 각 사이드카는 외부 호출에서 전달된 입력만으로 응답을 계산합니다. Daml은 그 응답들을 비교하며, 암호학적 증명 검사는 직접 수행하지 않습니다. 그 [사이드카 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) 검사 및 권한 요구 사항을 제시합니다.

## 증명이 고정하는 것

고정된 프로그램 키는 게스트와 그 체인 규칙을 식별합니다. 증명은 블록 해시에 커밋됩니다. 헤더를 확인하면 상태 루트와 트랜잭션 루트가 연결됩니다. 그런 다음 계정 및 스토리지 증명은 게이트웨이에 기록된 레그 해시를 해당 상태 루트에 연결합니다.

첨부된 레그는 게이트웨이가 기록한 것과 동일한 필드와 순서를 가져야 합니다. 레그를 제거하거나 추가하거나, 수신자, 금액, 토큰 또는 ID를 변경하면 해시 비교에 실패합니다. 레그가 없는 블록은 그 부재 또한 증명해야 합니다. 레그 비교는 Keccak-256의 충돌 저항성에도 의존합니다.

체인 기록의 제네시스 상태 루트가 게이트웨이 코드를 고정합니다. 게이트웨이 계약에는 소유자, 관리자 키, 업그레이드 또는 일시 중지가 없습니다. 그러나 Canton 당사자는 자신이 보유한 토큰에 대한 보관 권한을 여전히 가집니다.

## 운영자, 확인자 및 게이트웨이 권한

운영자와 게이트웨이가 체인의 제네시스, 핀, 가스 한도 및 빌더를 제안합니다. 확인자는 제안을 수락합니다. 핀과 제네시스 게이트웨이 코드를 자신의 빌드와 비교해야 합니다. 제공된 로컬 스크립트는 일치하는 값을 제안하고 확인자를 대신해 즉시 제안을 수락합니다.

운영자, 확인자 및 게이트웨이가 서명함 `ZkChain`. 이들은 체인의 신뢰 루트입니다. 입금 및 출금 정산 선택에는 세 명 모두가 필요합니다. 지급 정산에는 운영자와 확인자가 필요합니다. `선지급` Daml 설계 하에서 이들의 공동 권한을 제공합니다. 빌더만으로는 정산 선택을 행사할 수 없습니다.

게이트웨이 당사자는 EVM의 래핑된 토큰을 뒷받침하는 Canton 토큰을 보유합니다. 이는 운영자의 참가자에 호스팅됩니다. 그 참가자를 실행하는 사람은 누구나 출금 규칙 밖에서 잠긴 토큰을 이동할 수 있습니다. 게이트웨이 계약에 관리자 키가 없다는 점은 해당 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`: 저장소의 Security 탭을 열고 선택하세요 **취약점 신고**. 보안 문제에 대해 공개 이슈를 열지 마십시오.

영향을 받는 구성 요소, 커밋, 재현 단계 및 관찰된 결과를 포함하세요. 발견 사항의 일부라면 증명 또는 블록을 첨부하세요. 그 [보안 정책](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/ko/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.