Hack around edge-case in proof-systems temporarily

MinaProtocol · Nov 3, 2023 · 5a97274 · 5a97274
1 parent a83df4a
commit 5a97274
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/lib/pickles/fix_domains.ml b/src/lib/pickles/fix_domains.ml
@@ -43,10 +43,15 @@ let domains (type field gates) ?feature_flags
           in
           let combined_lookup_table_length =
             let range_check_table_used =
-              range_check0 || range_check1 || foreign_field_mul || rot
+              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