Skip to content

call for verify proofs #3

call for verify proofs

call for verify proofs #3

name: Verify circuit proof
on:
workflow_call:
jobs:
produce-proofs:
name: "Produce and verify proofs"
runs-on: [self-hosted, Linux, X64, aws_autoscaling]
steps:
- name: Clean up after previous checkout
run: chmod +w -R ${GITHUB_WORKSPACE}; rm -rf ${GITHUB_WORKSPACE}/*;
- name: Checkout
uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Configure
run: echo "exec script" && cd crypto3 && mkdir build && cd build && cmake ../ -DCMAKE_BUILD_TYPE=Release -DBUILD_TESTS=TRUE -G Ninja && pwd && ls -l -a
shell: nix develop .#crypto3-tests --command bash -e {0}
- name: Build
run: pwd && ls -l -a && cd crypto3/build && ninja transpiler_evm_test
shell: nix develop .#crypto3-tests --command bash -e {0}
- name: Execute
run: cd crypto3/build && ./libs/transpiler/test/transpiler_evm_test -- --save-proof-data
shell: nix develop .#crypto3-tests --command bash -e {0}
- name: Publish Proofs
uses: actions/upload-artifact@v4
with:
name: proofs
path: |
crypto3/build/circuit*
if-no-files-found: error
- name: Verify Proofs
uses: NilFoundation/zkllvm-transpiler/.github/workflows/verify-proof.yml@4943de42c8157e49fb84ce7edb4f496e9e6ceedc