feat(fflonk): non-default allocator feature (#61)

matter-labs · Jan 10, 2025 · debf9a3 · debf9a3
1 parent b241b29
commit debf9a3
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/crates/fflonk/Cargo.toml b/crates/fflonk/Cargo.toml
@@ -11,7 +11,7 @@ categories.workspace = true
 description = "Reference implementation of fflonk prover and verifier"
 
 [dependencies]
-franklin-crypto = { workspace = true, features = ["allocator"] }
+franklin-crypto = { workspace = true, optional = true, default-features = true}
 num-bigint = { version = "0.4", features = ["serde"] }
 num-traits = "0.2"
 rand = "0.4"
@@ -22,5 +22,6 @@ bincode = "1.3"
 byteorder = "1"
 
 [features]
-default = ["sanity"]
+default = ["franklin-crypto"]
 sanity = []
+allocator  = ["franklin-crypto/allocator"]
diff --git a/crates/fflonk/src/lib.rs b/crates/fflonk/src/lib.rs
@@ -44,4 +44,7 @@ mod test;
 pub const L1_VERIFIER_DOMAIN_SIZE_LOG: usize = 23;
 pub const MAX_COMBINED_DEGREE_FACTOR: usize = 9;
 pub(crate) const SANITY_CHECK: bool = true;
+#[cfg(feature = "allocator")]
 pub type FflonkAssembly<E, S, A = std::alloc::Global> = Assembly<E, PlonkCsWidth3Params, NaiveMainGate, S, A>;
+#[cfg(not(feature = "allocator"))]
+pub type FflonkAssembly<E, S> = Assembly<E, PlonkCsWidth3Params, NaiveMainGate, S>;