chore: update snark-verifier
git tag in zkevm-hashes
#423
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: Tests | |
on: | |
push: | |
branches: ["main"] | |
pull_request: | |
branches: ["main", "develop", "community-edition", "release-*"] | |
env: | |
CARGO_TERM_COLOR: always | |
jobs: | |
build: | |
runs-on: ubuntu-latest-64core-256ram | |
steps: | |
- uses: actions/checkout@v3 | |
- name: Build | |
run: cargo build --verbose | |
- name: Run halo2-base tests | |
working-directory: "halo2-base" | |
run: | | |
cargo test | |
- name: Run halo2-ecc tests (mock prover) | |
working-directory: "halo2-ecc" | |
run: | | |
cargo test --lib -- --skip bench | |
- name: Run halo2-ecc tests (real prover) | |
working-directory: "halo2-ecc" | |
run: | | |
mv configs/bn254/bench_fixed_msm.t.config configs/bn254/bench_fixed_msm.config | |
mv configs/bn254/bench_msm.t.config configs/bn254/bench_msm.config | |
mv configs/bn254/bench_pairing.t.config configs/bn254/bench_pairing.config | |
mv configs/secp256k1/bench_ecdsa.t.config configs/secp256k1/bench_ecdsa.config | |
cargo test --release -- --nocapture bench_secp256k1_ecdsa | |
cargo test --release -- --nocapture bench_fixed_base_msm | |
cargo test --release -- --nocapture bench_msm | |
cargo test --release -- --nocapture bench_pairing | |
- name: Run zkevm tests | |
working-directory: "hashes/zkevm" | |
run: | | |
cargo test packed_multi_keccak_prover::k_14 | |
cargo test bit_sha256_prover::k_10 | |
cargo t test_vanilla_keccak_kat_vectors | |
lint: | |
name: Lint | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v2 | |
- name: Install toolchain | |
uses: actions-rs/toolchain@v1 | |
with: | |
profile: minimal | |
override: false | |
components: rustfmt, clippy | |
- uses: Swatinem/rust-cache@v1 | |
with: | |
cache-on-failure: true | |
- name: Run fmt | |
run: cargo fmt --all -- --check | |
- name: Run clippy | |
run: cargo clippy --all --all-targets -- -D warnings | |
- name: Generate Cargo.lock | |
run: cargo generate-lockfile | |
- name: Run cargo audit | |
uses: actions-rs/audit-check@v1 | |
with: | |
token: ${{ secrets.GITHUB_TOKEN }} |