Provers

A guide on obtaining proof binaries for your prover node.

Prover Nodes need local access to installed binaries corresponding to proof systems supported. These binaries are installed to ~/.fermah/[prover]/bin.

Provers can have their configuration customized through the Prover Node configuration, see Configuration.

Currently, only ZkSync binaries are being distributed.

ZkSync

After the release installation, this prover is available under ~/.fermah/zksync .

There are three folders to note:

• bin contains the executables

• etc contains necessary keys for proving and verification

• var contains application-specific files, such as the unix socket and logs.

Configuration

This is the top level config regardless of the mode running. Please check that root_path points to the right user.

[zksync]
storage_bucket = "fermah-testnet"
root_path = "/home/fermah/.fermah/zksync"

Storage configuration will change in the future.

Modes

Currently, this prover can be ran in two modes:

WGC

Witness Generator and Compressor

Configuration

[[zksync.mode.WGC]]
round = ["all"]

Minimum requirements for a ZkSync CPU witness generator.

Round	RAM	vCPUs
all	128 GB	32
basic_circuits	32 GB	16
leaf_aggregation	80 GB	16
node_aggregation	4 GB	8
recursion_tip	1 GB	4
scheduler	1 GB	4

Suggested Cloud Instance Types

AWS g6.8xlarge GCP g2-standard-32

This mode also runs the proof compressor, which needs a GPU with at least 24GB of memory.

CP

Circuit Prover

Configuration

[zksync.mode.CP]
num_workers = 16
max_gpu_vram_allocation = 1024

Minimum requirements for a ZkSync circuit prover.

vCPUs	RAM	VRAM	Storage
32	128 GB	24 GB	375 GB SSD

Suggested Cloud Instance Types

AWS g6.8xlarge GCP g2-standard-32

This prover is automatically installed with our latest release.