diff --git a/.cargo/config b/.cargo/config
index 6e294f9..2cb7d14 100644
--- a/.cargo/config
+++ b/.cargo/config
@@ -3,9 +3,27 @@
 # clippy doesn't currently allow for specifiying project-wide lints in a
 # configuration file. This is a similar workaround to the ones presented here:
 # <https://github.com/EmbarkStudios/rust-ecosystem/issues/59>
-# TODO: add support for --all-features
 xclippy = [
-    "clippy", "--all-targets", "--",
+    "clippy", "--workspace", "--all-targets", "--",
     "-Wclippy::all",
+    "-Wclippy::match_same_arms",
+    "-Wclippy::cast_lossless",
+    "-Wclippy::dbg_macro",
     "-Wclippy::disallowed_methods",
-]
\ No newline at end of file
+    "-Wclippy::derive_partial_eq_without_eq",
+    "-Wclippy::enum_glob_use",
+    "-Wclippy::filter_map_next",
+    "-Wclippy::flat_map_option",
+    "-Wclippy::inefficient_to_string",
+    "-Wclippy::large_types_passed_by_value",
+    "-Wclippy::manual_assert",
+    "-Wclippy::manual_ok_or",
+    "-Wclippy::map_flatten",
+    "-Wclippy::map_unwrap_or",
+    "-Wclippy::needless_borrow",
+    "-Wclippy::checked_conversions",
+    "-Wclippy::trait_duplication_in_bounds",
+    "-Wrust_2018_idioms",
+    "-Wtrivial_numeric_casts",
+    "-Wunused_lifetimes",
+]
diff --git a/.config/nextest.toml b/.config/nextest.toml
index d79bd47..f461c2b 100644
--- a/.config/nextest.toml
+++ b/.config/nextest.toml
@@ -6,5 +6,5 @@ failure-output = "immediate-final"
 status-level = "skip"
 # Do not cancel the test run on the first failure.
 fail-fast = false
-# Mark tests as slow after 5mins, kill them after 50
-slow-timeout = { period = "300s", terminate-after = 10 }
+# Mark tests as slow after 5mins, kill them after 10
+slow-timeout = { period = "300s", terminate-after = 2 }
diff --git a/.github/workflows/licenses-audits.yml b/.github/workflows/licenses-audits.yml
new file mode 100644
index 0000000..c99321e
--- /dev/null
+++ b/.github/workflows/licenses-audits.yml
@@ -0,0 +1,19 @@
+name: cargo-deny
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    types: [opened, synchronize, reopened, ready_for_review]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  cargo-deny:
+    name: cargo-deny (advisories, licenses, bans, ...)
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: EmbarkStudios/cargo-deny-action@v1
\ No newline at end of file
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 4ce3e51..6f30b31 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -57,7 +57,7 @@ jobs:
       - name: cargo test
         # TODO: --all-features
         run: |
-          cargo nextest run --release --profile ci
+          cargo nextest run --profile ci --cargo-profile dev-ci
       - name: Doctests
         run: |
           cargo test --doc
diff --git a/Cargo.toml b/Cargo.toml
index 738965a..66e4521 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,8 +1,8 @@
 [workspace]
 resolver = "2"
 members = [
-    "crates/bellpepper-emulated",
-    "crates/bellpepper-ed25519",
+    "crates/emulated",
+    "crates/ed25519",
     "crates/bellpepper-sha512",
 ]
 
@@ -14,3 +14,11 @@ repository = "https://github.com/lurk-lab/bellpepper-gadgets"
 bellpepper-core = { version="0.2.0", default-features = false }
 bellpepper = { version="0.2.0", default-features = false }
 ff = "0.13.0"
+
+[profile.dev-ci]
+inherits = "dev"
+# By compiling dependencies with optimizations, performing tests gets much faster.
+opt-level = 3
+lto = "thin"
+incremental = false
+codegen-units = 16
\ No newline at end of file
diff --git a/crates/bellpepper-ed25519/Cargo.toml b/crates/ed25519/Cargo.toml
similarity index 89%
rename from crates/bellpepper-ed25519/Cargo.toml
rename to crates/ed25519/Cargo.toml
index ae50231..b2b8b82 100644
--- a/crates/bellpepper-ed25519/Cargo.toml
+++ b/crates/ed25519/Cargo.toml
@@ -14,7 +14,7 @@ repository.workspace = true
 bellpepper-core = { workspace = true }
 bellpepper = { workspace = true }
 ff = { workspace = true }
-bellpepper-emulated = { version = "0.2.0", path = "../bellpepper-emulated" }
+bellpepper-emulated = { version = "0.2.0", path = "../emulated" }
 num-bigint = { version = "0.4.3", features = ["rand"] }
 num-integer = "0.1.45"
 num-traits = "0.2.15"
diff --git a/crates/bellpepper-ed25519/LICENSE-APACHE b/crates/ed25519/LICENSE-APACHE
similarity index 100%
rename from crates/bellpepper-ed25519/LICENSE-APACHE
rename to crates/ed25519/LICENSE-APACHE
diff --git a/crates/bellpepper-ed25519/LICENSE-MIT b/crates/ed25519/LICENSE-MIT
similarity index 100%
rename from crates/bellpepper-ed25519/LICENSE-MIT
rename to crates/ed25519/LICENSE-MIT
diff --git a/crates/bellpepper-ed25519/README.md b/crates/ed25519/README.md
similarity index 100%
rename from crates/bellpepper-ed25519/README.md
rename to crates/ed25519/README.md
diff --git a/crates/bellpepper-ed25519/src/circuit.rs b/crates/ed25519/src/circuit.rs
similarity index 100%
rename from crates/bellpepper-ed25519/src/circuit.rs
rename to crates/ed25519/src/circuit.rs
diff --git a/crates/bellpepper-ed25519/src/curve.rs b/crates/ed25519/src/curve.rs
similarity index 100%
rename from crates/bellpepper-ed25519/src/curve.rs
rename to crates/ed25519/src/curve.rs
diff --git a/crates/bellpepper-ed25519/src/field.rs b/crates/ed25519/src/field.rs
similarity index 100%
rename from crates/bellpepper-ed25519/src/field.rs
rename to crates/ed25519/src/field.rs
diff --git a/crates/bellpepper-ed25519/src/lib.rs b/crates/ed25519/src/lib.rs
similarity index 100%
rename from crates/bellpepper-ed25519/src/lib.rs
rename to crates/ed25519/src/lib.rs
diff --git a/crates/bellpepper-emulated/Cargo.toml b/crates/emulated/Cargo.toml
similarity index 100%
rename from crates/bellpepper-emulated/Cargo.toml
rename to crates/emulated/Cargo.toml
diff --git a/crates/bellpepper-emulated/LICENSE-APACHE b/crates/emulated/LICENSE-APACHE
similarity index 100%
rename from crates/bellpepper-emulated/LICENSE-APACHE
rename to crates/emulated/LICENSE-APACHE
diff --git a/crates/bellpepper-emulated/LICENSE-MIT b/crates/emulated/LICENSE-MIT
similarity index 100%
rename from crates/bellpepper-emulated/LICENSE-MIT
rename to crates/emulated/LICENSE-MIT
diff --git a/crates/bellpepper-emulated/README.md b/crates/emulated/README.md
similarity index 100%
rename from crates/bellpepper-emulated/README.md
rename to crates/emulated/README.md
diff --git a/crates/bellpepper-emulated/src/field_element.rs b/crates/emulated/src/field_element.rs
similarity index 100%
rename from crates/bellpepper-emulated/src/field_element.rs
rename to crates/emulated/src/field_element.rs
diff --git a/crates/bellpepper-emulated/src/field_hints.rs b/crates/emulated/src/field_hints.rs
similarity index 100%
rename from crates/bellpepper-emulated/src/field_hints.rs
rename to crates/emulated/src/field_hints.rs
diff --git a/crates/bellpepper-emulated/src/field_ops.rs b/crates/emulated/src/field_ops.rs
similarity index 98%
rename from crates/bellpepper-emulated/src/field_ops.rs
rename to crates/emulated/src/field_ops.rs
index 37add51..9b31fad 100644
--- a/crates/bellpepper-emulated/src/field_ops.rs
+++ b/crates/emulated/src/field_ops.rs
@@ -290,13 +290,11 @@ where
     where
         CS: ConstraintSystem<F>,
     {
-        if self.overflow + 2 > Self::max_overflow() {
-            panic!(
+        assert!(self.overflow + 2 <= Self::max_overflow(),
                 "Not enough bits in native field to accomodate a subtraction operation which is performed during reduce: {} > {}",
                 self.overflow + 2,
                 Self::max_overflow(),
             );
-        }
 
         self.enforce_width_conditional(&mut cs.namespace(|| "ensure bitwidths in input"))?;
         if self.overflow == 0 {
@@ -528,13 +526,12 @@ where
     }
 
     fn mul_precondition(a: &Self, b: &Self) -> Result<usize, OverflowError> {
-        if 2 * P::bits_per_limb() > F::CAPACITY as usize {
-            panic!(
-                "Not enough bits in native field to accomodate a product of limbs: {} < {}",
-                F::CAPACITY,
-                2 * P::bits_per_limb(),
-            );
-        }
+        assert!(
+            2 * P::bits_per_limb() <= F::CAPACITY as usize,
+            "Not enough bits in native field to accomodate a product of limbs: {} < {}",
+            F::CAPACITY,
+            2 * P::bits_per_limb(),
+        );
         let reduce_right = a.overflow < b.overflow;
         let max_carry_bits = (a.len().min(b.len()) as f32).log2().ceil() as usize;
         let next_overflow = P::bits_per_limb() + a.overflow + b.overflow + max_carry_bits;
@@ -793,9 +790,7 @@ where
         }
 
         let pseudo_mersenne_params = P::pseudo_mersenne_params().unwrap();
-        if P::num_limbs() * P::bits_per_limb() < pseudo_mersenne_params.e as usize {
-            panic!("The number of bits available is too small to accommodate the non-native field elements");
-        }
+        assert!(P::num_limbs() * P::bits_per_limb() >= pseudo_mersenne_params.e as usize, "The number of bits available is too small to accommodate the non-native field elements");
 
         let mut acc = chunks[0].clone();
 
diff --git a/crates/bellpepper-emulated/src/lib.rs b/crates/emulated/src/lib.rs
similarity index 100%
rename from crates/bellpepper-emulated/src/lib.rs
rename to crates/emulated/src/lib.rs
diff --git a/crates/bellpepper-emulated/src/util.rs b/crates/emulated/src/util.rs
similarity index 100%
rename from crates/bellpepper-emulated/src/util.rs
rename to crates/emulated/src/util.rs
diff --git a/deny.toml b/deny.toml
new file mode 100644
index 0000000..d476689
--- /dev/null
+++ b/deny.toml
@@ -0,0 +1,276 @@
+# This template contains all of the possible sections and their default values
+
+# Note that all fields that take a lint level have these possible values:
+# * deny - An error will be produced and the check will fail
+# * warn - A warning will be produced, but the check will not fail
+# * allow - No warning or error will be produced, though in some cases a note
+# will be
+
+# The values provided in this template are the default values that will be used
+# when any section or field is not specified in your own configuration
+
+# Root options
+
+# If 1 or more target triples (and optionally, target_features) are specified,
+# only the specified targets will be checked when running `cargo deny check`.
+# This means, if a particular package is only ever used as a target specific
+# dependency, such as, for example, the `nix` crate only being used via the
+# `target_family = "unix"` configuration, that only having windows targets in
+# this list would mean the nix crate, as well as any of its exclusive
+# dependencies not shared by any other crates, would be ignored, as the target
+# list here is effectively saying which targets you are building for.
+targets = [
+    # The triple can be any string, but only the target triples built in to
+    # rustc (as of 1.40) can be checked against actual config expressions
+    #{ triple = "x86_64-unknown-linux-musl" },
+    # You can also specify which target_features you promise are enabled for a
+    # particular target. target_features are currently not validated against
+    # the actual valid features supported by the target architecture.
+    #{ triple = "wasm32-unknown-unknown", features = ["atomics"] },
+]
+# When creating the dependency graph used as the source of truth when checks are
+# executed, this field can be used to prune crates from the graph, removing them
+# from the view of cargo-deny. This is an extremely heavy hammer, as if a crate
+# is pruned from the graph, all of its dependencies will also be pruned unless
+# they are connected to another crate in the graph that hasn't been pruned,
+# so it should be used with care. The identifiers are [Package ID Specifications]
+# (https://doc.rust-lang.org/cargo/reference/pkgid-spec.html)
+#exclude = []
+# If true, metadata will be collected with `--all-features`. Note that this can't
+# be toggled off if true, if you want to conditionally enable `--all-features` it
+# is recommended to pass `--all-features` on the cmd line instead
+all-features = false
+# If true, metadata will be collected with `--no-default-features`. The same
+# caveat with `all-features` applies
+no-default-features = false
+# If set, these feature will be enabled when collecting metadata. If `--features`
+# is specified on the cmd line they will take precedence over this option.
+#features = []
+# When outputting inclusion graphs in diagnostics that include features, this
+# option can be used to specify the depth at which feature edges will be added.
+# This option is included since the graphs can be quite large and the addition
+# of features from the crate(s) to all of the graph roots can be far too verbose.
+# This option can be overridden via `--feature-depth` on the cmd line
+feature-depth = 1
+
+# This section is considered when running `cargo deny check advisories`
+# More documentation for the advisories section can be found here:
+# https://embarkstudios.github.io/cargo-deny/checks/advisories/cfg.html
+[advisories]
+# The path where the advisory database is cloned/fetched into
+db-path = "~/.cargo/advisory-db"
+# The url(s) of the advisory databases to use
+db-urls = ["https://github.com/rustsec/advisory-db"]
+# The lint level for security vulnerabilities
+vulnerability = "deny"
+# The lint level for unmaintained crates
+unmaintained = "warn"
+# The lint level for crates that have been yanked from their source registry
+yanked = "warn"
+# The lint level for crates with security notices. Note that as of
+# 2019-12-17 there are no security notice advisories in
+# https://github.com/rustsec/advisory-db
+notice = "warn"
+# A list of advisory IDs to ignore. Note that ignored advisories will still
+# output a note when they are encountered.
+ignore = [
+    #"RUSTSEC-0000-0000",
+]
+# Threshold for security vulnerabilities, any vulnerability with a CVSS score
+# lower than the range specified will be ignored. Note that ignored advisories
+# will still output a note when they are encountered.
+# * None - CVSS Score 0.0
+# * Low - CVSS Score 0.1 - 3.9
+# * Medium - CVSS Score 4.0 - 6.9
+# * High - CVSS Score 7.0 - 8.9
+# * Critical - CVSS Score 9.0 - 10.0
+#severity-threshold =
+
+# If this is true, then cargo deny will use the git executable to fetch advisory database.
+# If this is false, then it uses a built-in git library.
+# Setting this to true can be helpful if you have special authentication requirements that cargo-deny does not support.
+# See Git Authentication for more information about setting up git authentication.
+#git-fetch-with-cli = true
+
+# This section is considered when running `cargo deny check licenses`
+# More documentation for the licenses section can be found here:
+# https://embarkstudios.github.io/cargo-deny/checks/licenses/cfg.html
+[licenses]
+# The lint level for crates which do not have a detectable license
+unlicensed = "deny"
+# List of explicitly allowed licenses
+# See https://spdx.org/licenses/ for list of possible licenses
+# [possible values: any SPDX 3.11 short identifier (+ optional exception)].
+allow = [
+    "MIT",
+    "0BSD",
+    "BSD-2-Clause",
+    "BSD-3-Clause",
+    "CC0-1.0",
+    "Apache-2.0",
+    "Apache-2.0 WITH LLVM-exception",
+    "Unicode-DFS-2016",
+    "ISC",
+]
+# List of explicitly disallowed licenses
+# See https://spdx.org/licenses/ for list of possible licenses
+# [possible values: any SPDX 3.11 short identifier (+ optional exception)].
+deny = [
+    #"Nokia",
+]
+# Lint level for licenses considered copyleft
+copyleft = "deny"
+# Blanket approval or denial for OSI-approved or FSF Free/Libre licenses
+# * both - The license will be approved if it is both OSI-approved *AND* FSF
+# * either - The license will be approved if it is either OSI-approved *OR* FSF
+# * osi-only - The license will be approved if is OSI-approved *AND NOT* FSF
+# * fsf-only - The license will be approved if is FSF *AND NOT* OSI-approved
+# * neither - This predicate is ignored and the default lint level is used
+allow-osi-fsf-free = "neither"
+# Lint level used when no other predicates are matched
+# 1. License isn't in the allow or deny lists
+# 2. License isn't copyleft
+# 3. License isn't OSI/FSF, or allow-osi-fsf-free = "neither"
+default = "deny"
+# The confidence threshold for detecting a license from license text.
+# The higher the value, the more closely the license text must be to the
+# canonical license text of a valid SPDX license file.
+# [possible values: any between 0.0 and 1.0].
+confidence-threshold = 0.8
+# Allow 1 or more licenses on a per-crate basis, so that particular licenses
+# aren't accepted for every possible crate as with the normal allow list
+exceptions = [
+    # Each entry is the crate and version constraint, and its specific allow
+    # list
+    # inferno is only imported under the flamegraph feature
+    { allow = ["CDDL-1.0"], name = "inferno" },
+]
+
+# Some crates don't have (easily) machine readable licensing information,
+# adding a clarification entry for it allows you to manually specify the
+# licensing information
+#[[licenses.clarify]]
+# The name of the crate the clarification applies to
+#name = "ring"
+# The optional version constraint for the crate
+#version = "*"
+# The SPDX expression for the license requirements of the crate
+#expression = "MIT AND ISC AND OpenSSL"
+# One or more files in the crate's source used as the "source of truth" for
+# the license expression. If the contents match, the clarification will be used
+# when running the license check, otherwise the clarification will be ignored
+# and the crate will be checked normally, which may produce warnings or errors
+# depending on the rest of your configuration
+#license-files = [
+    # Each entry is a crate relative path, and the (opaque) hash of its contents
+    #{ path = "LICENSE", hash = 0xbd0eed23 }
+#]
+
+[licenses.private]
+# If true, ignores workspace crates that aren't published, or are only
+# published to private registries.
+# To see how to mark a crate as unpublished (to the official registry),
+# visit https://doc.rust-lang.org/cargo/reference/manifest.html#the-publish-field.
+ignore = false
+# One or more private registries that you might publish crates to, if a crate
+# is only published to private registries, and ignore is true, the crate will
+# not have its license(s) checked
+registries = [
+    #"https://sekretz.com/registry
+]
+
+# This section is considered when running `cargo deny check bans`.
+# More documentation about the 'bans' section can be found here:
+# https://embarkstudios.github.io/cargo-deny/checks/bans/cfg.html
+[bans]
+# Lint level for when multiple versions of the same crate are detected
+multiple-versions = "warn"
+# Lint level for when a crate version requirement is `*`
+wildcards = "allow"
+# The graph highlighting used when creating dotgraphs for crates
+# with multiple versions
+# * lowest-version - The path to the lowest versioned duplicate is highlighted
+# * simplest-path - The path to the version with the fewest edges is highlighted
+# * all - Both lowest-version and simplest-path are used
+highlight = "all"
+# The default lint level for `default` features for crates that are members of
+# the workspace that is being checked. This can be overriden by allowing/denying
+# `default` on a crate-by-crate basis if desired.
+workspace-default-features = "allow"
+# The default lint level for `default` features for external crates that are not
+# members of the workspace. This can be overriden by allowing/denying `default`
+# on a crate-by-crate basis if desired.
+external-default-features = "allow"
+# List of crates that are allowed. Use with care!
+allow = [
+    #{ name = "ansi_term", version = "=0.11.0" },
+]
+# List of crates to deny
+deny = [
+    # Each entry the name of a crate and a version range. If version is
+    # not specified, all versions will be matched.
+    #{ name = "ansi_term", version = "=0.11.0" },
+    #
+    # Wrapper crates can optionally be specified to allow the crate when it
+    # is a direct dependency of the otherwise banned crate
+    #{ name = "ansi_term", version = "=0.11.0", wrappers = [] },
+]
+
+# List of features to allow/deny
+# Each entry the name of a crate and a version range. If version is
+# not specified, all versions will be matched.
+#[[bans.features]]
+#name = "reqwest"
+# Features to not allow
+#deny = ["json"]
+# Features to allow
+#allow = [
+#    "rustls",
+#    "__rustls",
+#    "__tls",
+#    "hyper-rustls",
+#    "rustls",
+#    "rustls-pemfile",
+#    "rustls-tls-webpki-roots",
+#    "tokio-rustls",
+#    "webpki-roots",
+#]
+# If true, the allowed features must exactly match the enabled feature set. If
+# this is set there is no point setting `deny`
+#exact = true
+
+# Certain crates/versions that will be skipped when doing duplicate detection.
+skip = [
+    #{ name = "ansi_term", version = "=0.11.0" },
+]
+# Similarly to `skip` allows you to skip certain crates during duplicate
+# detection. Unlike skip, it also includes the entire tree of transitive
+# dependencies starting at the specified crate, up to a certain depth, which is
+# by default infinite.
+skip-tree = [
+    #{ name = "ansi_term", version = "=0.11.0", depth = 20 },
+]
+
+# This section is considered when running `cargo deny check sources`.
+# More documentation about the 'sources' section can be found here:
+# https://embarkstudios.github.io/cargo-deny/checks/sources/cfg.html
+[sources]
+# Lint level for what to happen when a crate from a crate registry that is not
+# in the allow list is encountered
+unknown-registry = "warn"
+# Lint level for what to happen when a crate from a git repository that is not
+# in the allow list is encountered
+unknown-git = "warn"
+# List of URLs for allowed crate registries. Defaults to the crates.io index
+# if not specified. If it is specified but empty, no registries are allowed.
+allow-registry = ["https://github.com/rust-lang/crates.io-index"]
+# List of URLs for allowed Git repositories
+allow-git = []
+
+[sources.allow-org]
+# 1 or more github.com organizations to allow git sources for
+github = [""]
+# 1 or more gitlab.com organizations to allow git sources for
+gitlab = [""]
+# 1 or more bitbucket.org organizations to allow git sources for
+bitbucket = [""]