Support BigUint plaintext moduli in BFV (#358)

Author: tlepoint

.github/workflows/lint-fmt.yml

@@ -20,7 +20,7 @@ jobs:
       - uses: actions-rs/toolchain@v1
         with:
           profile: minimal
-          toolchain: nightly
+          toolchain: stable
           override: true
           components: rustfmt
       - uses: actions-rs/cargo@v1
@@ -35,13 +35,15 @@ jobs:
       CARGO_TERM_COLOR: always
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v6
+      - name: Install protoc
+        run: sudo apt-get update && sudo apt-get install -y protobuf-compiler libprotobuf-dev
       - uses: actions-rs/toolchain@v1
         with:
           profile: minimal
           toolchain: stable
           override: true
           components: clippy
+      - uses: actions/checkout@v6
       - uses: actions-rs/cargo@v1
         with:
           command: clippy

.github/workflows/rust.yml

@@ -21,12 +21,14 @@ jobs:
       CARGO_TERM_COLOR: always
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v6
+      - name: Install protoc
+        run: sudo apt-get update && sudo apt-get install -y protobuf-compiler libprotobuf-dev
       - uses: actions-rs/toolchain@v1
         with:
           profile: minimal
           toolchain: stable
           override: true
+      - uses: actions/checkout@v6
       - uses: actions-rs/cargo@v1
         with:
           command: check
@@ -38,12 +40,14 @@ jobs:
       CARGO_TERM_COLOR: always
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v6
+      - name: Install protoc
+        run: sudo apt-get update && sudo apt-get install -y protobuf-compiler libprotobuf-dev
       - uses: actions-rs/toolchain@v1
         with:
           profile: minimal
           toolchain: stable
           override: true
+      - uses: actions/checkout@v6
       - uses: actions-rs/cargo@v1
         with:
           command: test

Cargo.lock

@@ -21,22 +21,22 @@ tfhe-ntt = "^0.7.0"
 console = "^0.16.2"
 criterion = "^0.8.1"
 doc-comment = "^0.3.4"
-env_logger = "^0.11.3"
-ethnum = "^1.5.0"
+env_logger = "^0.11.8"
+ethnum = "^1.5.2"
 indicatif = "^0.18.3"
 itertools = "^0.14.0"
 log = "^0.4.29"
 ndarray = "^0.17.2"
-num-bigint = "^0.4.4"
+num-bigint = "^0.4.6"
 num-bigint-dig = "^0.9.1"
-num-traits = "^0.2.18"
-num-complex = { version = "^0.4.6", features = ["libm"] }
+num-traits = "^0.2.19"
 proptest = "^1.9.0"
 prost = "^0.14.3"
+prost-build = "^0.14.3"
 pulp = "^0.22.2"
 rand = "^0.9.2"
 rand_chacha = "^0.9.0"
-sha2 = "^0.10.8"
+sha2 = "^0.10.9"
 thiserror = "^2.0.18"
 zeroize = "^1.8.2"
 zeroize_derive = "^1.4.3"

Cargo.toml

@@ -28,8 +28,8 @@ To install, add the following to your project's `Cargo.toml` file:
 
 ```toml
 [dependencies]
-fhe = "0.1.1"
-fhe-traits = "0.1.1"
+fhe = "0.2"
+fhe-traits = "0.2"
 ```
 
 ## Minimum supported version / toolchain

README.md

@@ -6,7 +6,7 @@ edition.workspace = true
 license.workspace = true
 repository.workspace = true
 rust-version.workspace = true
-version = "0.1.1"
+version = "0.2.0"
 
 [lints]
 workspace = true
@@ -21,8 +21,8 @@ tfhe-ntt = []
 fhe-traits = { version = "=0.1.1", path = "../fhe-traits" }
 fhe-util = { version = "=0.1.1", path = "../fhe-util" }
 
-tfhe-ntt.workspace = true
 ethnum.workspace = true
+tfhe-ntt.workspace = true
 itertools.workspace = true
 ndarray.workspace = true
 num-bigint.workspace = true
@@ -35,12 +35,14 @@ rand_chacha.workspace = true
 thiserror.workspace = true
 zeroize.workspace = true
 sha2.workspace = true
-num-complex.workspace = true
 
 [dev-dependencies]
 criterion.workspace = true
 proptest.workspace = true
 
+[build-dependencies]
+prost-build.workspace = true
+
 [[bench]]
 name = "zq"
 harness = false

crates/fhe-math/Cargo.toml

@@ -15,7 +15,7 @@ Add the following to your `Cargo.toml`:
 
 ```toml
 [dependencies]
-fhe-math = "0.1.1"
+fhe-math = "0.2.0"
 ```
 
 ## Testing

crates/fhe-math/README.md

@@ -0,0 +1,12 @@
+#![allow(missing_docs)]
+
+fn main() -> Result<(), Box<dyn std::error::Error>> {
+    let proto_path = "src/proto/rq.proto";
+    let proto_dir = "src/proto";
+
+    println!("cargo:rerun-if-changed={proto_path}");
+
+    let mut config = prost_build::Config::new();
+    config.compile_protos(&[proto_path], &[proto_dir])?;
+    Ok(())
+}