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 <tyshko1@gmail.com>
Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

.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

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:

rust-toolchain.toml

@@ -0,0 +1,3 @@
+[toolchain]
+channel = "stable"
+version = "1.67.0"