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

# Model kepercayaan dan batasan

Pemeriksaan, otoritas, asumsi kustodi, dan batasan rilis awal Ostia.

Ostia adalah rilis awal pada jaringan uji lokal. Rilis ini memiliki satu builder, satu operator, dan satu confirmer. Kode dan ZisK 1.3.1-alpha belum diaudit. tROME adalah koin uji tanpa nilai. Jangan gunakan rilis ini untuk hal yang bernilai apa pun.

Halaman ini menjelaskan commit `a84e84e439a5cc669c0ae61facf7c8c995d9d564`. Baca selengkapnya [desain](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/docs/DESIGN.md) dan [kebijakan keamanan](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/SECURITY.md).

## Siapa yang memeriksa apa

| Bagian               | Pemeriksa atau otoritas                                                                                                                                                                           |
| -------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| Tamu                 | Memvalidasi blok EVM dan menolak konfigurasi rantai selain aturan yang dikompilasi oleh Ostia.                                                                                                    |
| Sidecar `verifikasi` | Memeriksa bukti, programVK yang dipin dan rootC, hash blok yang terbukti, header, dan daftar transaksi.                                                                                           |
| Sidecar `bagian`     | Memeriksa bukti akun dan penyimpanan gateway dan membandingkan bagian-bagian terpasang yang diurutkan dengan hash gateway yang terbukti.                                                          |
| Daml `Maju`          | Memeriksa jawaban sidecar, induk, nomor blok berikutnya, batas gas, dan kontrak yang digunakan oleh bagian-bagian. Ia menyelesaikan bagian-bagian dan membuat head berikutnya serta catatan blok. |
| Canton               | Mengurutkan blok melalui konsumsi satu kontrak status rantai dan menerapkan perubahan transaksi secara bersama. Ia menolak jawaban panggilan eksternal yang berbeda.                              |
| Builder              | Memilih transaksi, memeriksa kontrak Canton yang dapat dilihatnya, memperoleh bukti, dan mengirimkan blok. Ia tidak dapat memfinalisasi blok sendiri.                                             |

Satu sidecar berjalan di samping setiap peserta yang mengonfirmasi, termasuk peserta milik operator. Setiap sidecar menghitung jawabannya semata-mata dari input yang dikirim dalam panggilan eksternal. Daml membandingkan jawaban mereka; ia tidak melakukan pemeriksaan bukti kriptografis itu sendiri. Itu [README sidecar](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/sidecar/README.md) dan [README Daml](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/daml/README.md) memberikan pemeriksaan dan persyaratan otoritas.

## Apa yang dipastikan oleh bukti

Kunci program yang dipin mengidentifikasi tamu dan aturan rantainya. Bukti berkomitmen pada hash blok. Memeriksa headernya mengikat root status dan root transaksi. Bukti akun dan penyimpanan kemudian mengikat hash kaki gateway yang tercatat ke root status itu.

Bagian-bagian yang dilampirkan harus memiliki field dan urutan yang sama seperti yang dicatat gateway. Menghapus satu bagian, menambah satu bagian, atau mengubah penerima, jumlah, token, atau id akan gagal dalam perbandingan hash. Sebuah blok tanpa bagian juga harus membuktikan ketiadaan itu. Perbandingan bagian juga bergantung pada resistensi tabrakan Keccak-256.

Root status genesis catatan rantai menetapkan kode gateway. Kontrak gateway tidak memiliki pemilik, kunci admin, peningkatan, atau jeda. Partai Canton tetap memiliki otoritas kustodi atas token yang dipegangnya.

## Otoritas operator, confirmer, dan gateway

Operator dan gateway mengusulkan genesis rantai, pin, batas gas, dan builder. Confirmer menerima usulan tersebut. Diharapkan ia membandingkan pin dan kode gateway genesis dengan hasil build-nya sendiri. Skrip lokal yang disediakan mengusulkan nilai yang cocok dan segera menerima usulan atas nama confirmer.

Operator, confirmer, dan gateway menandatangani `ZkChain`. Mereka adalah akar kepercayaan rantai. Opsi penyelesaian setoran dan penarikan memerlukan ketiganya. Penyelesaian pembayaran memerlukan operator dan confirmer. `Maju` memberikan otoritas gabungan mereka di bawah desain Daml. Builder sendiri tidak dapat menjalankan opsi penyelesaian.

Partai gateway memegang token Canton yang mendukung token terbungkus di EVM. Ia di-host pada participant operator. Siapa pun yang menjalankan participant itu dapat memindahkan token yang terkunci di luar aturan penarikan. Tidak adanya kunci admin pada kontrak gateway tidak membatasi kemampuan partai Canton itu untuk bertindak melalui participant-nya.

Pendaftaran token adalah keputusan kepercayaan lainnya. Operator dan gateway mengusulkan pemetaan dari instrumen Canton ke token terbungkus EVM, dan confirmer menerimanya. Gateway menjalankan kode transfer Daml dari token yang terdaftar dengan otoritasnya sendiri. Itu [README jaringan](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/network/README.md#the-canton-network) menjelaskan hosting participant dan pemeriksaan pendaftaran.

## Apa yang dapat menghentikan blok

Untuk menyertakan sebuah bagian, builder memerlukan akses baca ke permintaan, syarat, penerimaan, alokasi, pendaftaran token, dan kepemilikan gateway. Ia mengabaikan transaksi yang kontrak Cantonnya tidak dapat dilihat.

Sebuah alokasi dapat ditarik kembali setelah builder memeriksanya atau setelah pembuktian. Registri token juga dapat menolak penyelesaian menurut aturannya sendiri. Canton kemudian menolak blok dan tidak ada yang dicatat. Untuk penolakan registri yang tidak dapat diprediksi oleh builder, proses berikutnya membutuhkan `--exclude`; builder tidak mengingat penolakan itu antar proses.

Setiap proses builder menangani satu blok; ia tidak berulang atas blok-blok berikutnya. Builder tidak membatasi langkah eksekusi sebelum pembuktian. Jika prover tidak dapat menyelesaikan sebuah blok, proses builder berhenti. Itu [README builder](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/builder/README.md#not-here) mencatat batas-batas ini.

## Apa yang tidak disediakan oleh rilis ini

Jaringan lokal tidak menyimpan status apa pun di antara proses. Jaringan ini tidak memiliki autentikasi Ledger API atau TLS dan ditujukan untuk satu mesin. Jaringan ini menggunakan snapshot Canton 3.6 yang dipin dan kompiler Daml snapshot untuk panggilan eksternal. Versi dan hash-nya ada di [PINS](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/PINS).

Beberapa builder, forced inclusion, deployment Canton publik, privasi, dan kustodi yang memerlukan lebih dari participant operator berada di luar rilis ini. Tidak ada target throughput atau waktu blok. Demo yang dicatat menggunakan implementasi sidecar yang sama pada kedua participant yang mengonfirmasi, pada mesin yang sama dengan Canton.

Pembaca dapat memeriksa ulang bukti blok, tetapi `BlockRecord` tidak membawa bagian-bagian yang diselesaikan. Tombol Verify pada browser memeriksa bukti, header, dan transaksi; tombol itu tidak mengulangi pemeriksaan penyelesaian bagian Canton.

## Laporkan masalah keamanan

Gunakan pelaporan kerentanan pribadi GitHub untuk `canton-zk-evm`: buka tab Security repositori dan pilih **Laporkan kerentanan**. Jangan buka isu publik untuk masalah keamanan.

Sertakan komponen yang terdampak, commit, langkah untuk mereproduksi, dan hasil yang diamati. Lampirkan bukti atau blok jika itu bagian dari temuan. Itu [kebijakan keamanan](https://github.com/rome-protocol/canton-zk-evm/blob/a84e84e439a5cc669c0ae61facf7c8c995d9d564/SECURITY.md) menentukan cakupannya. Tidak ada bug bounty.


---

# 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/id/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.