Fix CI by fixing version + add toolchain file (#52)

* Fix CI by fixing version + add toolchain file * readme comment * Tweak README message * typo --------- Co-authored-by: tyshkor <[email protected]> Co-authored-by: Pratyush Mishra <[email protected]>
arkworks-rs · Jul 24, 2023 · 507aa4f · 507aa4f
1 parent f97ac2b
commit 507aa4f
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -16,7 +16,7 @@ jobs:
         uses: actions-rs/toolchain@v1
         with:
           profile: minimal
-          toolchain: stable
+          toolchain: 1.67.0
           override: true
 
       # Install for Anvil
@@ -48,7 +48,7 @@ jobs:
         uses: actions-rs/toolchain@v1
         with:
           profile: minimal
-          toolchain: stable
+          toolchain: 1.67.0
           override: true
           components: rustfmt, clippy
       - name: cargo fmt

diff --git a/README.md b/README.md
@@ -65,6 +65,10 @@ Tests require the following installed:
 - [x] Proof generations and verification using Arkworks
 - [ ] CLI for common operations
 
+## Known limitations
+
+Currently, due to an issue in our upstream (https://github.com/wasmerio/wasmer/issues/4072), this crate works as expected only up to Rust version `1.67.0`; in newer Rust versions, `wasmer` is currently unsound.
+
 ## Acknowledgements
 
 This library would not have been possibly without the great work done in:

diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -0,0 +1,3 @@
+[toolchain]
+channel = "stable"
+version = "1.67.0"