Skip to content



  • A Linux-based OS (e.g., Ubuntu Server 22.04 LTS).
  • At least 16GB RAM with a 4-core CPU.
  • An AMD64 architecture system.

Computing resources

  • Running a full prover is an enterprise level installation and extremely resource-heavy.
  • These instructions run the mock prover instead.


The commands on the install dependencies page fulfill all software requirements.

Mock prover requirements


The mock prover is a light resource by skipping validation and instead adding a Valid ✅ checkmark to every batch.

  • 4-core CPU
  • 8GB RAM (16GB recommended)

Miscellaneous requirements

Last update: February 15, 2024
Authors: kmurphypolygon