replace keccakf1600 - with significant performance improvements for r…

…ef (#24) comparison basis (left side): https://github.com/formosa-crypto/libjade/tree/bb8569c01597338148800210de5aa2b512f783c6 new cycles for ref: formosa-crypto/libjade@b53d837 new cycles avx2: formosa-crypto/libjade@7046ee9 ### ref ``` keypair, 302134 -> 220474 enc , 351866 -> 267840 dec , 424384 -> 339360 ``` ### avx2 ``` keypair, 85284 -> 83438 enc , 82856 -> 80916 dec , 83982 -> 82122 ``` --------- Co-authored-by: Vincent Laporte <[email protected]>
formosa-crypto · Feb 21, 2024 · 2a441f8 · 2a441f8
1 parent 26219aa
commit 2a441f8
Show file tree

Hide file tree

Showing 11 changed files with 848 additions and 602 deletions.
diff --git a/.github/workflows/extract-and-prove.yml b/.github/workflows/extract-and-prove.yml
@@ -0,0 +1,23 @@
+name: "Extract & Check proofs"
+on:
+  pull_request:
+  push:
+
+env:
+  NIXPKGS_ALLOW_UNFREE: 1
+
+jobs:
+  tests:
+    name: Build & Prove
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        submodules: recursive
+    - uses: cachix/install-nix-action@v25
+      with:
+        nix_path: nixpkgs=channel:nixos-unstable
+    - uses: DeterminateSystems/magic-nix-cache-action@v3
+    - run: nix-shell --run "echo Dependencies OK…"
+    - run: nix-shell --run 'easycrypt why3config'
+    - run: nix-shell --run make