Skip to content

Introduce async Prover #1136

Introduce async Prover

Introduce async Prover #1136

Workflow file for this run

name: CI
on:
workflow_dispatch:
pull_request:
push:
branches:
- main
jobs:
light-checks:
name: Light checks
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@main
- name: Clippy
run: |
rustup update --no-self-update nightly
rustup +nightly component add clippy
# Specifically, don't enable `async` feature in winter-prover crate
cargo +nightly clippy --workspace --all-targets --features std,concurrent -- -D clippy::all -D warnings
- name: Rustfmt
run: |
rustup +nightly component add rustfmt
cargo +nightly fmt --all --check
# Note: the examples won't compile when the prover is built with the `async` feature, since they're designed to be sync only.
# Hence, we avoid this scenario explicitly.
check:
name: Check all features and all targets against the MSRV, except for winter-prover
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@main
- name: Perform checks
run: |
rustup update --no-self-update stable
cargo +stable install cargo-hack --locked
RUSTFLAGS=-Dwarnings cargo +stable hack -p winter-utils -p winter-maybe-async -p winter-rand-utils -p winter-math -p winter-crypto -p winter-fri -p winter-air -p winter-verifier -p examples --no-private --feature-powerset --keep-going check --rust-version --verbose --all-targets
# Check prover alone; specifically, that the `async` feature builds correctly
check-prover:
name: Check prover
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@main
- name: Perform check
run: |
rustup update --no-self-update stable
cargo +stable install cargo-hack --locked
RUSTFLAGS=-Dwarnings cargo +stable hack --package winter-prover --no-private --feature-powerset --keep-going check --rust-version --verbose
test:
name: Test Rust ${{matrix.toolchain}} on ${{matrix.os}}
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
toolchain: [stable, nightly]
steps:
- uses: actions/checkout@main
- name: Run test
run: |
rustup update --no-self-update ${{ matrix.toolchain }}
cargo +${{ matrix.toolchain }} test
no-std:
name: Build for no-std
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
toolchain: [stable, nightly]
steps:
- uses: actions/checkout@main
- name: Build for no-std
run: |
rustup update --no-self-update ${{ matrix.toolchain }}
rustup +${{ matrix.toolchain }} target add wasm32-unknown-unknown
cargo +${{ matrix.toolchain }} build --verbose --no-default-features --target wasm32-unknown-unknown