diff --git a/src/lib/crypto/proof-systems b/src/lib/crypto/proof-systems
index b3690493bc5..ea3f1c9e28f 160000
--- a/src/lib/crypto/proof-systems
+++ b/src/lib/crypto/proof-systems
@@ -1 +1 @@
-Subproject commit b3690493bc50476bb81a25af183bda52a278144f
+Subproject commit ea3f1c9e28f1ea3a066684149c7f924634143125
diff --git a/src/lib/pickles/fix_domains.ml b/src/lib/pickles/fix_domains.ml
index 32348ea46e9..7f79905ce0c 100644
--- a/src/lib/pickles/fix_domains.ml
+++ b/src/lib/pickles/fix_domains.ml
@@ -42,11 +42,14 @@ let domains (type field gates) ?feature_flags
             feature_flags
           in
           let combined_lookup_table_length =
-            let range_check_table_used =
-              range_check0 || range_check1 || foreign_field_mul || rot
+            let range_check_table_used = range_check0 || range_check1 || rot in
+            let range_check_table_used_again =
+              (* FIXME: This is a hack around a bug in proof-systems. *)
+              foreign_field_mul
             in
             let xor_table_used = xor in
             (if range_check_table_used then Int.pow 2 12 else 0)
+            + (if range_check_table_used_again then Int.pow 2 12 else 0)
             + (if xor_table_used then Int.pow 2 8 else 0)
             + ( if lookup then (
                 Kimchi_backend_common.Plonk_constraint_system
diff --git a/src/lib/snarkyjs b/src/lib/snarkyjs
index 29144ff3e5c..2fefe982a5e 160000
--- a/src/lib/snarkyjs
+++ b/src/lib/snarkyjs
@@ -1 +1 @@
-Subproject commit 29144ff3e5cd9ac8f5137da7083706ca2d0e209e
+Subproject commit 2fefe982a5e22f537b278eaca550d5032cdad607