Merge branch 'main' into morgan/bazel-macos-cleanup

Author: morgangibbs87

zirgen/bootstrap/src/main.rs

@@ -678,6 +678,8 @@ impl Bootstrap {
         self.copy_file(&src_path, &rsa_path, "modpow65537_4096.blob");
         self.copy_file(&src_path, &ec_path, "ec_add_256.blob");
         self.copy_file(&src_path, &ec_path, "ec_double_256.blob");
+        self.copy_file(&src_path, &ec_path, "ec_add_384.blob");
+        self.copy_file(&src_path, &ec_path, "ec_double_384.blob");
         self.copy_file(&src_path, &zkos_bigint_v1compat, "modmul_256.blob");
         self.copy_file(&src_path, &zkos_bigint_v1compat, "mul_256.blob");
     }

zirgen/circuit/bigint/BUILD.bazel

@@ -59,6 +59,8 @@ BLOBS = [
     "modpow65537_4096",
     "ec_double_256",
     "ec_add_256",
+    "ec_double_384",
+    "ec_add_384",
     "extfield_deg2_add_256",
     "extfield_deg2_add_384",
     "extfield_deg2_mul_256",
@@ -99,6 +101,20 @@ genrule(
     cmd = "$(location //zirgen/circuit/bigint:bigint2c) --program=ec_add --bitwidth 256 > $(OUTS)"
 )
 
+genrule(
+    name = "ec_double_384",
+    outs = ["ec_double_384.blob"],
+    exec_tools = [":bigint2c"],
+    cmd = "$(location //zirgen/circuit/bigint:bigint2c) --program=ec_double --bitwidth 384 > $(OUTS)"
+)
+
+genrule(
+    name = "ec_add_384",
+    outs = ["ec_add_384.blob"],
+    exec_tools = [":bigint2c"],
+    cmd = "$(location //zirgen/circuit/bigint:bigint2c) --program=ec_add --bitwidth 384 > $(OUTS)"
+)
+
 genrule(
     name = "extfield_deg2_add_256",
     outs = ["extfield_deg2_add_256.blob"],