Switch to Montgomery representation #1509
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: Rust | |
| 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 rustfmt | |
| if: needs.check-changed-files.outputs.rust == 'true' || needs.check-changed-files.outputs.cpp == 'true' | |
| working-directory: ./wrappers/rust | |
| # "-name target -prune" removes searching in any directory named "target" | |
| # Formatting by single file is necessary due to generated files not being present | |
| # before building the project. | |
| # e.g. icicle-cuda-runtime/src/bindings.rs is generated and icicle-cuda-runtime/src/lib.rs includes that module | |
| # causing rustfmt to fail. | |
| run: if [[ $(find . -path ./icicle-curves/icicle-curve-template -prune -o -name target -prune -o -iname *.rs -print | xargs cargo fmt --check --) ]]; then echo "Please run cargo fmt"; exit 1; fi | |
| extract-cuda-backend-branch: | |
| uses: ./.github/workflows/extract-backends.yml | |
| with: | |
| pr-number: ${{ github.event.pull_request.number }} | |
| test-linux: | |
| name: Test on Linux | |
| runs-on: [self-hosted, Linux, X64, icicle] | |
| needs: [check-changed-files, check-format, extract-cuda-backend-branch] | |
| steps: | |
| - name: Checkout Repo | |
| uses: actions/checkout@v4 | |
| - name: Checkout CUDA Backend | |
| if: needs.check-changed-files.outputs.rust == 'true' || 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: Run tests | |
| working-directory: ./wrappers/rust | |
| if: needs.check-changed-files.outputs.rust == 'true' || needs.check-changed-files.outputs.cpp == 'true' | |
| # tests are split to phases since NTT domain is global but tests have conflicting requirements | |
| run: | | |
| cargo build --workspace --release --features=cuda_backend | |
| cargo test --workspace --release --verbose --features=cuda_backend -- --skip phase | |
| cargo test phase2 --workspace --release --features=cuda_backend | |
| cargo test phase3 --workspace --release --features=cuda_backend |