From 1bf9ae719c89add616e119e6a7ec30a327e0eff3 Mon Sep 17 00:00:00 2001 From: Aleksandr Cherenkov Date: Fri, 16 Feb 2024 16:39:19 +0000 Subject: [PATCH] update readme and use run.sh in the CI --- .github/workflows/main.yml | 2 ++ README.md | 7 +++++++ 2 files changed, 9 insertions(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index a6b129d..2642500 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -70,6 +70,8 @@ jobs: - name: Generate main.cpp proof run: proof-generator-single-threaded --circuit="template.crct" --assignment-table="template.tbl" --proof="proof.bin" + - name: Run run.sh + run: bash scripts/run.sh - name: Compile arithmetics example run: make -C ${ZKLLVM_BUILD:-build} arithmetics_cpp_example diff --git a/README.md b/README.md index 137e14d..79a6d75 100644 --- a/README.md +++ b/README.md @@ -120,6 +120,13 @@ proof-generator-multi-threaded --version proof-generator-single-threaded --version ``` +## Steps 1-3: Use script to do everything + +```bash +bash scripts/run.sh +``` +or + ## Step 1: Configure the project and compile the circuit In `./src/main.cpp`, we have a function starting with `[[circuit]]`.