Point inequality hash

.github/workflows/ci.yml

@@ -53,8 +53,12 @@ jobs:
         with:
           beta-features: ${{ matrix.stage == 'beta' }}
           nightly-features: ${{ matrix.stage == 'nightly' }}
+      - name: Update apt repositories
+        run: |
+          sudo apt-get update --fix-missing || true
+          sudo apt-get update
       - name: Install cross-platform support dependencies
-        run: sudo apt install gcc-multilib
+        run: sudo apt-get install -y gcc-multilib
       - run: rustup target add i686-unknown-linux-gnu
       - name: Run tests
         run: >
@@ -97,13 +101,18 @@ jobs:
 
     steps:
       - uses: actions/checkout@v3
-      - run: sudo apt-get -y install libfontconfig1-dev
+      # Update package lists and retry on failure
+      - name: Update apt repositories
+        run: |
+          sudo apt-get update --fix-missing || true
+          sudo apt-get update
+      - name: Install dependencies
+        run: sudo apt-get install -y libfontconfig1-dev
       # Check bitrot with stable (as we don't need benchmarks or the test-dev-graph
       # feature flag to work with MSRV).
       - uses: ./.github/actions/prepare
         with:
           toolchain: stable
-      - run: sudo apt-get -y install libfontconfig1-dev
       # Build benchmarks and all-features to prevent bitrot
       - name: Build benchmarks
         uses: actions-rs/cargo@v1

halo2_proofs/Cargo.toml

@@ -67,6 +67,7 @@ criterion = "0.3"
 gumdrop = "0.8"
 proptest = "1"
 rand_core = { version = "0.6", default-features = false, features = ["getrandom"] }
+halo2_poseidon = {path = "../halo2_poseidon"}
 
 # Indirect dev-dependencies that we pin to preserve MSRV in CI checks.
 dashmap = ">=5, <5.5.0" # dashmap 5.5.0 has MSRV 1.64
@@ -106,3 +107,6 @@ bench = false
 [[example]]
 name = "circuit-layout"
 required-features = ["test-dev-graph"]
+[[example]]
+name = "point-inequality"
+required-features = ["test-dev-graph"]