Repository updated after toolchain distribution way update #293
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: tutorial_check | |
| on: | |
| push: | |
| branches: [ master ] | |
| pull_request: | |
| concurrency: | |
| group: ${{ | |
| ( github.ref == 'refs/heads/master' && | |
| format('{0}/{1}', github.run_id, github.run_attempt) ) | |
| || | |
| format('{0}/{1}', github.workflow, github.ref) }} | |
| cancel-in-progress: true | |
| env: | |
| TOOLCHAIN_VERSION: 0.1.8 | |
| CONTAINER_TMP: /opt/ | |
| BOOST_VERSION: "1.80.0" | |
| jobs: | |
| test-zkllvm-workflow: | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: recursive | |
| - name: Install boost | |
| uses: MarkusJx/[email protected] | |
| id: install-boost | |
| with: | |
| # A list of supported versions can be found here: | |
| # https://github.com/MarkusJx/prebuilt-boost/blob/main/versions-manifest.json | |
| boost_version: ${{ env.BOOST_VERSION }} | |
| boost_install_dir: ${{ env.CONTAINER_TMP }} | |
| platform_version: 22.04 | |
| toolset: gcc | |
| arch: x86 | |
| - name: Install deb packages | |
| run: | | |
| echo 'deb [trusted=yes] http://deb.nil.foundation/ubuntu/ all main' | sudo tee -a /etc/apt/sources.list > /dev/null | |
| sudo apt update | |
| sudo apt install -y zkllvm proof-producer | |
| - name: Print versions | |
| run: | | |
| assigner --version | |
| clang-zkllvm --version | |
| - name: Configure CMake | |
| env: | |
| BOOST_ROOT: "${{ steps.install-boost.outputs.BOOST_ROOT }}" | |
| run: cmake -G "Unix Makefiles" -B ${ZKLLVM_BUILD:-build} -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_COMPILER=clang-zkllvm -DCI_RUN=TRUE . | |
| - name: Compile main.cpp circuit | |
| run: make -C ${ZKLLVM_BUILD:-build} template | |
| - name: Build main.cpp circuit file and assignment table | |
| run: assigner -b build/src/template.ll -i src/public-input.json -p src/private-input.json --circuit template.crct --assignment-table template.tbl -e pallas | |
| - name: Generate main.cpp proof | |
| run: proof-generator-single-threaded --circuit="template.crct" --assignment-table="template.tbl" --proof="proof.bin" | |
| - name: Generate main.cpp proof | |
| run: proof-generator-single-threaded --circuit="template.crct" --assignment-table="template.tbl" --proof="proof.bin" | |
| - name: Clone zkllvm repository | |
| run: git clone https://github.com/NilFoundation/zkLLVM.git | |
| - name: Compile arithmetics example | |
| run: make -C ${ZKLLVM_BUILD:-build} arithmetics_cpp_example | |
| - name: Build arithmetics circuit file and assignment table | |
| run: assigner -b build/src/arithmetics_cpp_example.ll -i zkLLVM/examples/inputs/arithmetics.inp --circuit arithmetics_cpp_example.crct --assignment-table arithmetics_cpp_example.tbl -e pallas | |
| - name: Generate arithmetics proof | |
| run: proof-generator-single-threaded --circuit="arithmetics_cpp_example.crct" --assignment-table="arithmetics_cpp_example.tbl" --proof="arithmetics_cpp_example.bin" | |
| # - name: Build circuit parameters for EVM verifier endpoint | |
| # run: scripts/run.sh --verbose --docker build_circuit_params |