Skip to content

fix: bind opening point in ZK evaluation proofs #113

fix: bind opening point in ZK evaluation proofs

fix: bind opening point in ZK evaluation proofs #113

Workflow file for this run

name: Build and Test Dory
on:
push:
branches: [main]
pull_request:
branches: ["**", main]
env:
RUSTFLAGS: -D warnings
CARGO_TERM_COLOR: always
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.ref || github.run_id }}
cancel-in-progress: true
jobs:
fmt:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions-rust-lang/setup-rust-toolchain@v1
with:
components: rustfmt
- name: cargo fmt
run: cargo fmt --all --check
clippy:
runs-on: ubuntu-latest
strategy:
matrix:
include:
- name: transparent
features: backends,parallel,cache,disk-persistence
- name: zk
features: backends,parallel,cache,disk-persistence,zk
name: Clippy (${{ matrix.name }})
steps:
- uses: actions/checkout@v4
- uses: actions-rust-lang/setup-rust-toolchain@v1
with:
components: clippy
- name: cargo clippy --features ${{ matrix.features }}
run: cargo clippy --all --all-targets --features ${{ matrix.features }}
- name: cargo clippy --no-default-features
run: cargo clippy --all --all-targets --no-default-features
doc:
runs-on: ubuntu-latest
name: Documentation
steps:
- uses: actions/checkout@v4
- uses: actions-rust-lang/setup-rust-toolchain@v1
- name: cargo doc
run: cargo doc --no-deps --all-features
env:
RUSTDOCFLAGS: -D warnings
test:
runs-on: ubuntu-latest
strategy:
matrix:
include:
- name: transparent
features: backends,parallel,cache,disk-persistence
- name: zk
features: backends,parallel,cache,disk-persistence,zk
name: Test (${{ matrix.name }})
steps:
- uses: actions/checkout@v4
- uses: actions-rust-lang/setup-rust-toolchain@v1
- name: Install nextest
uses: taiki-e/install-action@nextest
- name: Run tests
run: cargo nextest run --features ${{ matrix.features }}
examples:
runs-on: ubuntu-latest
name: Examples
steps:
- uses: actions/checkout@v4
- uses: actions-rust-lang/setup-rust-toolchain@v1
- name: Run basic_e2e example
run: cargo run --example basic_e2e --features backends
- name: Run homomorphic example
run: cargo run --example homomorphic --features backends
- name: Run non_square example
run: cargo run --example non_square --features backends
- name: Run homomorphic_mixed_sizes example
run: cargo run --example homomorphic_mixed_sizes --features backends
- name: Run zk_e2e example
run: cargo run --example zk_e2e --features backends,zk
- name: Run zk_statistical example
run: cargo run --release --example zk_statistical --features backends,zk,parallel