Skip to content

Commit

Permalink
Preserve spartan
Browse files Browse the repository at this point in the history
  • Loading branch information
matthiasgoergens committed Jan 24, 2025
1 parent b7a4e64 commit 4c1b2f9
Show file tree
Hide file tree
Showing 3 changed files with 21 additions and 86 deletions.
94 changes: 14 additions & 80 deletions circ_blocks/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

11 changes: 6 additions & 5 deletions circ_blocks/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,10 @@ edition = "2018"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]
spartan_parallel = { path = "../spartan_parallel", default-features = false, features = [
"multicore",
"profile",
], optional = true }
circ_fields = { path = "circ_fields" }
circ_opt = { path = "circ_opt" }
circ_hc = { path = "circ_hc", default-features = false, features = [
Expand Down Expand Up @@ -51,10 +55,6 @@ from-pest = { version = "0.3", optional = true }
itertools = "0.10"
petgraph = { version = "0.6", optional = true }
spartan = { version = "0.8", default-features = false, optional = true }
spartan_parallel = { path = "../spartan_parallel", default-features = false, features = [
"multicore",
"profile",
] }
merlin = { version = "3.0.0" }
curve25519-dalek = { version = "4", features = ["serde"], optional = true }
# TODO: kill
Expand All @@ -74,7 +74,8 @@ approx = "0.5"
ff = { path = "../ff" }

[features]
default = ["bellman", "r1cs", "smt", "zok"]
default = ["default_without_spartan", "dep:spartan_parallel"]
default_without_spartan = ["bellman", "r1cs", "smt", "zok"]
# frontends
c = ["lang-c"]
zok = ["smt", "zokrates_parser", "zokrates_pest_ast", "typed-arena", "petgraph"]
Expand Down
2 changes: 1 addition & 1 deletion circ_blocks/src/target/r1cs/spartan.rs
Original file line number Diff line number Diff line change
Expand Up @@ -177,7 +177,7 @@ pub fn r1cs_to_spartan(
}

fn int_to_scalar(i: &Integer) -> Scalar {
let mut accumulator = Scalar::zero();
let mut accumulator = Scalar::ZERO;
let limb_bits = (std::mem::size_of::<limb_t>() as u64) << 3;
assert_eq!(limb_bits, 64);

Expand Down

0 comments on commit 4c1b2f9

Please sign in to comment.