Bump Risc0 Version to v2.3.1, risc0-ethereum to v2.2.2, bump RM spec

RM Changes:

- Introduce compliance circuit changes
- Introduce Payloads into AppData
- Change expected forward call info
- Simplify the logic instance
- Change Digest Computations
- Change Resource field types
- Change commitment computations
- Change nullifier compitations

Author: heueristik

.github/workflows/ci.yml

@@ -56,3 +56,50 @@ jobs:
         with:
           name: contract-artifacts
           path: ./contracts/out
+
+  bindings:
+    name: Bindings
+    runs-on: ubuntu-latest
+    needs: contracts
+    env:
+      PROTOCOL_ADAPTER_ADDRESS_SEPOLIA: ${{ vars.PROTOCOL_ADAPTER_ADDRESS_SEPOLIA }}
+      API_KEY_INFURA: ${{ secrets.API_KEY_INFURA }}
+      API_KEY_ALCHEMY: ${{ secrets.API_KEY_ALCHEMY }}
+      PRIVATE_KEY: ${{ secrets.PRIVATE_KEY }}
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      - name: Download Contract Artifacts
+        uses: actions/download-artifact@v4
+        with:
+          name: contract-artifacts
+          path: ./contracts/out
+
+      - name: Install Rust
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+          override: true
+
+      - name: Show Rust version
+        run: rustc --version
+
+      - name: Cache Rust toolchain and dependencies
+        uses: actions/cache@v3
+        with:
+          path: |
+            ~/.cargo
+            ./bindings/target
+          key: rust-build-${{ hashFiles('bindings/Cargo.toml') }}
+          restore-keys: |
+            rust-build-
+
+      - name: Build Bindings
+        run: cargo build --release
+        working-directory: ./bindings
+
+      - name: Run Tests
+        run: cargo test --verbose
+        working-directory: ./bindings

README.md

@@ -30,9 +30,12 @@ For more information on the EVM protocol adapter, find the related
 └── README.md
 ```
 
-The `contracts` folder contains the contracts written in [Solidity](https://soliditylang.org/) contracts as well as [Foundry forge](https://book.getfoundry.sh/forge/) tests and deploy scripts.
+The `contracts` folder contains the contracts written in [Solidity](https://soliditylang.org/) contracts as well
+as [Foundry forge](https://book.getfoundry.sh/forge/) tests and deploy scripts.
 
-The `bindings` folder contains bindings in [Rust](https://www.rust-lang.org/) to convert [Rust](https://www.rust-lang.org/) and [RISC Zero](https://risczero.com/) types into EVM types using the [`alloy-rs` library](https://github.com/alloy-rs).
+The `bindings` folder contains bindings in [Rust](https://www.rust-lang.org/) to
+convert [Rust](https://www.rust-lang.org/) and [RISC Zero](https://risczero.com/) types into EVM types using the [
+`alloy-rs` library](https://github.com/alloy-rs).
 
 ## Prerequisites
 
@@ -57,6 +60,14 @@ forge install
 
 ### Usage
 
+#### Build
+
+Build the contracts with following flags: //TODO! confirm this is needed
+
+```sh
+forge build --ast
+```
+
 #### Tests
 
 Run

bindings/.env-example

@@ -0,0 +1,14 @@
+## RPC Providers
+
+API_KEY_INFURA=<API_KEY_INFURA_KEY>
+API_KEY_ALCHEMY=<API_KEY_ALCHEMY>
+
+## Block Explorers
+
+BONSAI_API_URL="https://api.bonsai.xyz/"
+BONSAI_API_KEY=<BONSAI_API_KEY>
+
+## Calling Wallet
+
+PROTOCOL_ADAPTER_ADDRESS_SEPOLIA="0xaf21c8a4d489610f42aabc883e66be3d651e5d52"
+PRIVATE_KEY="0xdeafbeefdeafbeefdeafbeefdeafbeefdeafbeefdeafbeefdeafbeefdeafbeef"