Retire Lurk alpha proving + benchmarks

.github/workflows/bench-deploy.yml

@@ -35,7 +35,7 @@ jobs:
       - name: Install criterion
         run: cargo install cargo-criterion
       - name: Run benchmarks
-        run: just --dotenv-filename bench.env gpu-bench fibonacci_lem
+        run: just --dotenv-filename bench.env gpu-bench fibonacci
         working-directory: ${{ github.workspace }}/benches
       # TODO: Prettify labels for easier viewing
       # Compress the benchmark file and metadata for later analysis

.github/workflows/bench-pr-comment.yml

@@ -44,7 +44,7 @@ jobs:
       - uses: boa-dev/criterion-compare-action@v3
         with:
           # Optional. Compare only this benchmark target
-          benchName: "fibonacci_lem"
+          benchName: "fibonacci"
           # Needed. The name of the branch to compare with
           branchName: ${{ github.ref_name }}
 
@@ -93,7 +93,7 @@ jobs:
         with:
           # Note: Removing `benchName` causes `criterion` errors: https://github.com/boa-dev/criterion-compare-action#troubleshooting
           # Optional. Compare only this benchmark target
-          benchName: "fibonacci_lem"
+          benchName: "fibonacci"
           # Optional. Features activated in the benchmark
           features: "cuda"
           # Needed. The name of the branch to compare with

.github/workflows/gpu-bench-workflow-dispatch.yml

@@ -33,7 +33,7 @@ jobs:
       - name: Set bench output format type
         run: echo "LURK_BENCH_OUTPUT=commit-comment" | tee -a $GITHUB_ENV
       - name: Run GPU bench on branch
-        run: just --dotenv-filename bench.env gpu-bench fibonacci_lem
+        run: just --dotenv-filename bench.env gpu-bench fibonacci
         working-directory: ${{ github.workspace }}/benches
       - name: copy the benchmark template and prepare it with data
         run: |

.github/workflows/merge-tests.yml

@@ -104,15 +104,15 @@ jobs:
       - name: Set bench output format type
         run: echo "LURK_BENCH_OUTPUT=commit-comment" | tee -a $GITHUB_ENV
       - name: Run GPU bench on base branch
-        run: just --dotenv-filename bench.env gpu-bench fibonacci_lem
+        run: just --dotenv-filename bench.env gpu-bench fibonacci
         working-directory: ${{ github.workspace }}/master/benches
       - name: Copy bench output to PR branch
         run: |
           mkdir -p target
           cp -r master/target/criterion target
           cp master/${{ env.BASE_REF }}.json .
       - name: Run GPU bench on PR branch
-        run: just --dotenv-filename bench.env gpu-bench fibonacci_lem
+        run: just --dotenv-filename bench.env gpu-bench fibonacci
         working-directory: ${{ github.workspace }}/benches
       - name: copy the benchmark template and prepare it with data
         run: |

Cargo.toml

@@ -165,34 +165,18 @@ debug-assertions = false
 name = "end2end"
 harness = false
 
-[[bench]]
-name = "end2end_lem"
-harness = false
-
 [[bench]]
 name = "fibonacci"
 harness = false
 
-[[bench]]
-name = "fibonacci_lem"
-harness = false
-
 [[bench]]
 name = "synthesis"
 harness = false
 
-[[bench]]
-name = "synthesis_lem"
-harness = false
-
 [[bench]]
 name = "sha256"
 harness = false
 
-[[bench]]
-name = "sha256_lem"
-harness = false
-
 [[bench]]
 name = "public_params"
 harness = false