Sync with upstream and halo2curves v0.4.0

.github/workflows/ci.yml

@@ -21,6 +21,21 @@ jobs:
           command: test
           args: --verbose --release --all --all-features
 
+  example:
+    name: Examples on ubuntu
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v3
+      - uses: actions-rs/toolchain@v1
+        with:
+          override: false
+      - name: Run examples
+        run:
+          cargo run --example serialization
+          cargo run --example shuffle
+          cargo run --example shuffle_api
+
   fmt:
     name: Rustfmt
     timeout-minutes: 30

.github/workflows/lints-stable.yml

@@ -5,7 +5,7 @@ on: pull_request
 
 jobs:
   clippy:
-    name: Clippy (1.56.1)
+    name: Clippy (1.73.0)
     timeout-minutes: 30
     runs-on: ubuntu-latest
 
@@ -18,6 +18,6 @@ jobs:
       - name: Run clippy
         uses: actions-rs/clippy-check@v1
         with:
-          name: Clippy (1.56.1)
+          name: Clippy (1.73.0)
           token: ${{ secrets.GITHUB_TOKEN }}
           args: --all-features --all-targets -- -D warnings

Cargo.toml

@@ -2,9 +2,8 @@
 members = [
     "halo2",
     "halo2_proofs",
-    "arithmetic/curves",
-    "primitives/poseidon"
 ]
+resolver = "2"
 
 [profile.dev]
 opt-level = 3