Submission

Proof requests are submitted to Fermah using SEEK, our Rust CLI. Make sure you’ve already installed SEEK by following the steps in the Installation.

---

Quick Start

There are pre-made configurations to make it simpler to use the CLI. However, to create a custom-made configuration with your own image:

1. Create an Image (see Images for details on prover and verifier images).

2. Prepare a configuration file for the proof request (see Configuration) and take note of the Name field. We'll use this Name in our CLI command to send the proof request.

Submit Proof

Groth16

In the following command, we assume a configuration named groth16 and a key named ecdsa.seeker are already present and have been created in the ~/.fermah/config/devnet directory.

CONFIG=groth16
KEY=ecdsa.seeker

fermah-seek proof send -k dev -n $CONFIG --key $KEY

After sending a proof request, take note of the ID generated. It will be used to check the status of the proof (see Status).

Valid for Devnet.