zkFold Smart Wallet Prover server

This repository houses the server for generating zero-knowledge proofs for ZK based smart wallet by zkFold.

Configuration

Smart Wallet Prover server is defined as a symbolic-prover-api instance. You can see how to configure the server at startup here

For example:

cabal run smart-wallet-prover -- 
    \ --port 8083 
    \ --db-file sqlite.db
    \ --mode encrypted
    \ --n-workers 2
    \ --proof-lifetime 30
    \ --keys-lifetime 86400
    \ --config config.yaml

Docker

Required dependencies

You need docker for run Smart Wallet Prover server

Start server

For first running you need to build docker image:

docker build -t smart-wallet-prover:latest .

After that, you will be able to run the Docker container and the server inside it simply by using next command. Specify the ports you need instead of 8083

docker run -p 8083:8083 smart-wallet-prover:latest

Example query

You can send a request to get keys by specifying the port and host

curl -X 'GET' localhost:8083/v0/keys

API documentation

Endpoints made available by server are specified here.