Cumulative changes to stwo

change mix_nonce to be consistent update sha256 channel impl: Modify lookup poly evaluator for the convenience of verification in plonk example (#15) * Cumulative changes to stwo Co-authored-by: PayneJoe <[email protected]> * temp change: flip the sign on mul in plonk; this temp change may be discarded * allow small blowup * add tiny blowup * parallel sha256 * change publicity of sampled_values_to_mask * add evaluation hint on PointEvaluator * three constraints (batched) * fix publicity of alpha_powers in lookup elements * remove bws sha256 files * Update sha256.rs * Update sha256.rs * Update mod.rs * Update mod.rs * Update mod.rs * Update crates/prover/src/constraint_framework/point.rs * Apply suggestions from code review --------- Co-authored-by: Weikeng Chen <[email protected]>
Bitcoin-Wildlife-Sanctuary · Sep 13, 2024 · bf8ed0c · bf8ed0c
1 parent e86b7c1
commit bf8ed0c
Show file tree

Hide file tree

Showing 76 changed files with 1,784 additions and 6,752 deletions.
diff --git a/.github/workflows/benchmarks-pages.yaml b/.github/workflows/benchmarks-pages.yaml
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -67,59 +67,6 @@ jobs:
           CARGO_TARGET_WASM32_WASI_RUNNER: "wasmtime run --"
           RUSTFLAGS: -C target-feature=+simd128
 
-  run-neon-tests:
-    runs-on: macos-latest-xlarge
-    steps:
-      - uses: actions/checkout@v4
-      - uses: dtolnay/rust-toolchain@master
-        with:
-          toolchain: nightly-2024-01-04
-      - uses: Swatinem/rust-cache@v2
-      - run: cargo +nightly-2024-01-04 test
-        env:
-          RUSTFLAGS: -C target-feature=+neon
-
-  run-avx-tests:
-    strategy:
-      matrix:
-        target-feature: [avx512f, avx2]
-    runs-on: avx
-    steps:
-      - uses: actions/checkout@v4
-      - uses: dtolnay/rust-toolchain@master
-        with:
-          toolchain: nightly-2024-01-04
-      - uses: Swatinem/rust-cache@v2
-      - run: cargo +nightly-2024-01-04 test
-        env:
-          RUSTFLAGS: -C target-cpu=native -C target-feature=+${{ matrix.target-feature }}
-
-  run-avx512-bench:
-    runs-on: avx
-    steps:
-      - uses: actions/checkout@v4
-      - uses: dtolnay/rust-toolchain@master
-        with:
-          toolchain: nightly-2024-01-04
-      - name: Run benchmark
-        run: ./scripts/bench.sh -- --output-format bencher | tee output.txt
-      - name: Download previous benchmark data
-        uses: actions/cache@v4
-        with:
-          path: ./cache
-          key: ${{ runner.os }}-benchmark
-      - name: Store benchmark result
-        uses: benchmark-action/github-action-benchmark@v1
-        with:
-          tool: "cargo"
-          output-file-path: output.txt
-          external-data-json-path: ./cache/benchmark-data.json
-          fail-on-alert: true
-          summary-always: true
-          github-token: ${{ secrets.GITHUB_TOKEN }}
-          comment-on-alert: true
-          alert-comment-cc-users: "@spapinistarkware"
-
   run-tests:
     runs-on: ubuntu-latest
     steps:
@@ -153,7 +100,7 @@ jobs:
       - if: ${{ steps.cache-cargo.outputs.cache-hit != 'true' }}
         name: "Download and run cargo-udeps"
         run: |
-          wget -O - -c https://github.com/est31/cargo-udeps/releases/download/v0.1.35/cargo-udeps-v0.1.35-x86_64-unknown-linux-gnu.tar.gz | tar -xz
+          wget -O - -c https://github.com/est31/cargo-udeps/releases/download/v0.1.49/cargo-udeps-v0.1.49-x86_64-unknown-linux-gnu.tar.gz | tar -xz
           cargo-udeps-*/cargo-udeps udeps
         env:
           RUSTUP_TOOLCHAIN: nightly-2024-01-04
@@ -164,8 +111,6 @@ jobs:
       - clippy
       - format
       - run-tests
-      - run-avx-tests
-      - run-neon-tests
       - run-wasm32-wasi-tests
       - run-slow-tests
       - udeps

diff --git a/.github/workflows/coverage.yaml b/.github/workflows/coverage.yaml
diff --git a/.gitignore b/.gitignore
@@ -9,3 +9,4 @@ target*
 flamegraph.svg
 perf.data
 perf.data.old
+Cargo.lock