bigint bootstrap embeds zipped bibc files along with zkrs

risc0 · Oct 16, 2024 · d058ea4 · d058ea4
1 parent 55adcd8
commit d058ea4
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 0 deletions.
diff --git a/zirgen/bootstrap/src/main.rs b/zirgen/bootstrap/src/main.rs
@@ -54,6 +54,7 @@ const RECURSION_ZKR_ZIP: &str = "recursion_zkr.zip";
 
 const BIGINT_OUTPUTS: &[&str] = &["bigint.rs.inc"];
 const BIGINT_ZKR_ZIP: &str = "bigint_zkr.zip";
+const BIGINT_BIBC_ZIP: &str = "bigint_bibc.zip";
 
 const ZIRGEN_RUST_OUTPUTS: &[&str] = &[
  "defs.rs.inc",
@@ -330,6 +331,7 @@ impl Args {
  let src_path = bazel_bin.join("zirgen/circuit/bigint");
 
  copy_file(&src_path, &out, BIGINT_ZKR_ZIP);
+ copy_file(&src_path, &out, BIGINT_BIBC_ZIP);
  copy_group(
  circuit,
  &src_path,

diff --git a/zirgen/circuit/BUILD.bazel b/zirgen/circuit/BUILD.bazel
@@ -6,6 +6,7 @@ filegroup(
  name = "circuit",
  srcs = [
  "//zirgen/circuit/bigint:bigint_zkr",
+ "//zirgen/circuit/bigint:bigint_bibc",
  "//zirgen/circuit/bigint:gen_bigint",
  "//zirgen/circuit/fib",
  "//zirgen/circuit/keccak",

diff --git a/zirgen/circuit/bigint/BUILD.bazel b/zirgen/circuit/bigint/BUILD.bazel
@@ -92,3 +92,8 @@ pkg_zip(
  name = "bigint_zkr",
  srcs = [x + ".zkr" for x in ZKRS],
 )
+
+pkg_zip(
+ name = "bigint_bibc",
+ srcs = [x + ".bibc" for x in ZKRS],
+)