CI: improve linting and setup ci in opt mode

.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",
-]
+    "-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",
+]

.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

.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

.gitignore

@@ -1,2 +1,3 @@
 target
-Cargo.lock
+Cargo.lock
+.vscode

Cargo.toml

@@ -13,3 +13,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

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();