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-mainnet"
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

This prover is automatically installed with our latest release.