> 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/tr/rome-zk-evm/prover-host.md).

# Prover sunucusu

Rome ZK EVM batch'lerini ZisK 1.3.1-alpha ile ispatlayan GPU ana makinesini boyutlandırın ve hazırlayın.

Düğüm, bir GPU olmadan işlemleri sıralayabilir ve paketleri gönderebilir. Solana üzerinde herhangi bir kökü kesinleştirmek için bir kanıtlayıcıya ihtiyaç duyar. v0.3.0'da kanıtlayıcı, zincirinizin genesis'i için derlenmiş guest ile ZisK 1.3.1-alpha'yı çalıştırır. Gelen kutusu paketlerini birer birer kanıtlar, her kanıtı yerel olarak doğrular, ardından bunları uzlaşmaya gönderir.

Bu [tam kanıtlayıcı barındırma rehberi](https://github.com/rome-protocol/solana-zk-evm/blob/v0.3.0/docs/PROVER-HOST.md) kurulum ve kurtarma adımlarını içerir. Bunu şu belgeyle kullanın: [devnet çalışma kılavuzu](https://github.com/rome-protocol/solana-zk-evm/blob/v0.3.0/docs/RUN-ON-DEVNET.md).

## Barındırıcıyı boyutlandırın

x86-64 Ubuntu 22.04 veya daha yeni bir sürüm ve 30 GB'tan fazla belleğe sahip bir NVIDIA GPU kullanın. Kurulum betiği yaklaşık 32,2 GB veya daha fazla belleğe sahip bir GPU'yu kabul eder. Nihai kanıt adımı yaklaşık 30 GB ister, bu yüzden 24 GB'lık bir kart yetersizdir. NVIDIA sürücüsü en az 525.60.13 olmalıdır.

En az şunları sağlayın: **128 GB RAM** ve **125 GB boş disk alanı** ZisK kurulum konumunda. 1.3.1-alpha kanıt anahtarı arşivi 5,1 GB ve PLONK anahtarı arşivi 21,9 GB'dir. Kurulum sabit dosyalarını oluşturduktan sonra, iki anahtar dizini 21 GiB ve 26 GiB ölçüldü. İlk kanıt önbellek dosyaları ekler. Bir CPU barındırıcısı, bir kanıttan sonra toplam 102,1 GB ölçtü ve GPU önbellek büyümesi ölçülmemiştir.

1.3.1-alpha kanıtlama kitaplığı, yaklaşık 3 milyon adımlık bir toplu işte ana çalışma arabelleği için 24,7 GB ve yineleme için 5,6 GB bildirdi. Bu sürümde tüm süreç için en yüksek bellek kullanımı kaydedilmedi. Devnet GPU çalıştırması, 176 GB RAM'e sahip bir barındırıcı kullandı; en yüksek RAM kullanımı da kaydedilmedi. Boyutlandırma tahmini olarak 128 GB kullanın, ölçülmüş en yüksek değer olarak değil.

## Ölçülenler

Neredeyse boş bir toplu iş yaklaşık **17 saniye**, PLONK sarmalama dahil, tek bir **96 GB RTX PRO 6000**, 48 CPU çekirdeği ve 176 GB RAM bulunan bir barındırıcıda. Yaklaşık 95 GB GPU belleği kullanımda olarak görünüyordu. Bu, bu çalışmanın kullandığı miktardır; her toplu iş için gereken asgari GPU belleği değildir. Daha büyük toplu işler bir GPU üzerinde zamanlanmadı.

Rome, o GPU'da yaklaşık 35 dakikada 116 neredeyse boş devnet toplu işini temizledi. Bu, bir zincir doğrulama anahtarını beklerken boş bloklar üretmişse önemlidir: kanıtlayıcı, daha yeni duruma ulaşmadan önce bunların üzerinden sırayla geçmek zorundadır.

## Kurulum betiğini çalıştırın

NVIDIA sürücüsünü yükleyin ve gerekirse yeniden başlatın. Depo kökünden, sürümün betiğini root olarak çalıştırın. Şunu ayarlayın `ZISK_HOME` ZisK'nin ve anahtarlarının bulunacağı dizine. Rollup'ınızda da aynı değeri kullanın `.env`:

```sh
sudo ZISK_HOME=/opt/zisk bash deploy/rollup/prover/setup-prover-host.sh
sudo ZISK_HOME=/opt/zisk bash deploy/rollup/prover/setup-prover-host.sh --check
```

Betik, ZisK GPU derlemesini, kanıtlama ve PLONK anahtarlarını, ihtiyaç duyduğu sistem kütüphanelerini ve Docker'ın NVIDIA çalışma zamanını yükler. Kilitli bellek sınırını sınırsız olarak ayarlar. Bu sınırın kabuğunuz için geçerli olması için oturumu kapatıp yeniden açın. Ardından GPU ve sürücüyü, yüklü ikili dosyaları, anahtarları, bellek sınırını ve kapsayıcı çalışma zamanını denetler.

Yükleyiciyi çalıştırmadan önce, kurulumcunun SHA-256'sını denetler. Her iki anahtar arşivini de açmadan önce denetler ve betik çalıştırmadan önce yüklü `cargo-zisk` ve `cargo-zisk-dev` GPU ikililerini betik çalıştırmadan önce doğrular. Toplama ve PLONK kanıtlama için gereken sabit dosyalarını üretir. Bir çalıştırma başarısız olursa betiği yeniden çalıştırın. Yüklü anahtarlar sabit manifestle zaten eşleşiyorsa anahtar indirmesini atlar.

Betik, ZisK kurulumunun her parçasını denetlemez. Yükleyici bir ikili paket indirir ve betik iki yüklü GPU ikilisini denetlemeden önce araç zinciri yükleyicisini çalıştırır. O paketteki diğer çalıştırılabilir dosyalar ve kaynak dosyalar bu betik tarafından karma denetiminden geçirilmez. Tam kılavuz bu sınırlamayı açıklar ve her indirmeyi ayrı ayrı denetlemek için komutları içerir.

## Bunu zincirine bağla

Kanıtlayıcının eşleşen guest ELF'e, doğrulama meta verisine ve aynı 1.3.1-alpha kanıt anahtarlarına ihtiyacı vardır. Rollup yapılandırmasında `PROVER=on` ve guest ile ZisK ayarlarını belirleyin, ardından `./rollup init` ve `./rollup up`. İlk çalıştırma, kanıtlayıcı imajını v0.3.0 kaynak kodundan oluşturur. Yalnızca düğüm imajı kanıtlayıcıyı içermez.

Her başlangıçtan önce, kanıtlayıcı yüklü kanıtlama anahtarlarını sabitlenmiş SHA-256 manifestiyle karşılaştırır. Bu denetim dosya adlarını ve içerikleri kapsar. Oluşturulan sabit-ağaç ve GPU sabit dosyaları, barındırıcıya göre farklılık gösterdikleri için hariç tutulur. Bir uyuşmazlık kanıtlayıcıyı şu hatayla durdurur `KeysShaMismatch`. Manifeste yalnızca uyumsuz bir kurulumu başlatmak için değişiklik yapmayın; zincirin guest'i ve kayıtlı anahtarıyla eşleşen sürümü kurun.

Çalıştırın `./rollup check` başladıktan sonra. Kanıtlayıcı hizmetini, etkin doğrulama anahtarını ve uzlaşma ile kanıtlayıcı gecikmesini denetler.  [izleme kılavuzu](https://github.com/rome-protocol/solana-zk-evm/blob/v0.3.0/docs/MONITORING.md) yerel metrikleri ve yararlı uyarı koşullarını listeler.


---

# 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/tr/rome-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.
