Clone repos:
$ git clone https://github.com/anonymoussubmission001/reDeco.git
$ cd reDeco
Create a Docker image. You only have to do this once.
$ docker build -t redeco_image .
Spin up a Docker container from the image.
$ docker run --name redeco_container -it redeco_image
Please note that any changes you make in the container are not persistent.
Execute the same docker container in another two seperate consoles.
$ docker exec -it redeco_container /bin/bash
Change directory to app folder.
$ cd ~/reDeco/app
Change to the corresponding directory, first start the server, then the verifier, then the prover
$ cd ~/reDeco/app/server
Always run server first
$ go run ./server.go
Then run verifier
$ cd ~/reDeco/app/verifier
$ go run ./verifier.go
Run prover at last
$ cd ~/reDeco/app/prover
$ go run prover.go