zkFold Prover API

REST API server for zkFold proof generation. Leverages the zkFold Base building blocks.

In collaboration with Maestro!

Build

Source

The package compiles with GHC 9.12.1 and Cabal 3.14.1.1.

make build

Run

Host

make run

Example query

curl -X POST -H "Content-Type: application/json" -d @examples/simple-witness.json localhost:8080/prove

Tests

On the way!