verify and assert correct t-parameter for Poseidon hasher when constr… #495
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: C++/CUDA | |
on: | |
pull_request: | |
branches: | |
- main | |
push: | |
branches: | |
- main | |
concurrency: | |
group: ${{ github.workflow }}-${{ github.ref }} | |
cancel-in-progress: true | |
jobs: | |
check-changed-files: | |
uses: ./.github/workflows/check-changed-files.yml | |
check-format: | |
name: Check Code Format | |
runs-on: ubuntu-22.04 | |
needs: check-changed-files | |
steps: | |
- name: Checkout | |
uses: actions/checkout@v4 | |
- name: Check clang-format | |
if: needs.check-changed-files.outputs.cpp == 'true' | |
run: if [[ $(find ./ \( -path ./icicle/build -prune -o -path ./**/target -prune -o -path ./examples -prune \) -iname *.h -or -iname *.cuh -or -iname *.cu -or -iname *.c -or -iname *.cpp | xargs clang-format --dry-run -ferror-limit=1 -style=file 2>&1) ]]; then echo "Please run clang-format"; exit 1; fi | |
extract-cuda-backend-branch: | |
uses: ./.github/workflows/extract-backends.yml | |
with: | |
pr-number: ${{ github.event.pull_request.number }} | |
test-linux-curve: | |
name: Test on Linux | |
runs-on: [self-hosted, Linux, X64, icicle] | |
needs: [check-changed-files, check-format, extract-cuda-backend-branch] | |
strategy: | |
matrix: | |
curve: | |
- name: bn254 | |
build_args: -DG2=ON -DECNTT=ON | |
- name: bls12_381 | |
build_args: -DG2=ON -DECNTT=ON | |
- name: bls12_377 | |
build_args: -DG2=ON -DECNTT=ON | |
- name: bw6_761 | |
build_args: -DG2=ON -DECNTT=ON | |
- name: grumpkin | |
build_args: | |
steps: | |
- name: Checkout Repo | |
uses: actions/checkout@v4 | |
- name: Checkout CUDA Backend | |
if: needs.check-changed-files.outputs.cpp == 'true' | |
uses: actions/checkout@v4 | |
with: | |
repository: ingonyama-zk/icicle-cuda-backend | |
path: ./icicle/backend/cuda | |
ssh-key: ${{ secrets.CUDA_PULL_KEY }} | |
ref: ${{ needs.extract-cuda-backend-branch.outputs.cuda-backend-branch }} | |
- name: Build curve | |
working-directory: ./icicle | |
if: needs.check-changed-files.outputs.cpp == 'true' | |
run: | | |
mkdir -p build && rm -rf build/* | |
cmake -DCMAKE_BUILD_TYPE=Release -DBUILD_TESTS=ON -DCURVE=${{ matrix.curve.name }} ${{ matrix.curve.build_args }} -DCUDA_BACKEND=local -S . -B build | |
cmake --build build -j | |
- name: Run C++ curve Tests | |
working-directory: ./icicle/build/tests | |
if: needs.check-changed-files.outputs.cpp == 'true' | |
run: ctest | |
test-linux-field: | |
name: Test on Linux | |
runs-on: [self-hosted, Linux, X64, icicle] | |
needs: [check-changed-files, check-format, extract-cuda-backend-branch] | |
strategy: | |
matrix: | |
field: | |
- name: babybear | |
build_args: -DEXT_FIELD=ON | |
- name: stark252 | |
build_args: -DEXT_FIELD=OFF | |
- name: m31 | |
build_args: -DEXT_FIELD=ON | |
steps: | |
- name: Checkout Repo | |
uses: actions/checkout@v4 | |
- name: Checkout CUDA Backend | |
if: needs.check-changed-files.outputs.cpp == 'true' | |
uses: actions/checkout@v4 | |
with: | |
repository: ingonyama-zk/icicle-cuda-backend | |
path: ./icicle/backend/cuda | |
ssh-key: ${{ secrets.CUDA_PULL_KEY }} | |
ref: ${{ needs.extract-cuda-backend-branch.outputs.cuda-backend-branch }} | |
- name: Build field | |
working-directory: ./icicle | |
if: needs.check-changed-files.outputs.cpp == 'true' | |
run: | | |
mkdir -p build && rm -rf build/* | |
cmake -DCMAKE_BUILD_TYPE=Release -DBUILD_TESTS=ON -DFIELD=${{ matrix.field.name }} ${{ matrix.field.build_args }} -DCUDA_BACKEND=local -S . -B build | |
cmake --build build -j | |
- name: Run C++ field Tests | |
working-directory: ./icicle/build/tests | |
if: needs.check-changed-files.outputs.cpp == 'true' | |
run: ctest |