fix(gpu): many minor fixes to the rust bindings

Author: pdroalves

Cargo.toml

@@ -40,7 +40,10 @@ serde = { version = "1.0", default-features = false }
 wasm-bindgen = "0.2.101"
 getrandom = "0.2.8"
 # The project maintainers consider that this is the last version of the 1.3 branch, any newer version should not be trusted
+bindgen = "0.71"
 bincode = "=1.3.3"
+cmake = "0.1"
+pkg-config = "0.3"
 
 [profile.bench]
 lto = "fat"

backends/tfhe-cuda-backend/Cargo.toml

@@ -12,9 +12,9 @@ readme = "README.md"
 keywords = ["fully", "homomorphic", "encryption", "fhe", "cryptography"]
 
 [build-dependencies]
-cmake = { version = "0.1" }
-pkg-config = { version = "0.3" }
-bindgen = "0.71"
+cmake.workspace = true
+pkg-config.workspace = true
+bindgen.workspace = true
 
 [features]
 experimental-multi-arch = []

backends/zk-cuda-backend/Cargo.toml

@@ -2,6 +2,7 @@
 name = "zk-cuda-backend"
 version = "0.1.0"
 edition = "2021"
+rust-version.workspace = true
 authors = ["Zama team"]
 license = "BSD-3-Clause-Clear"
 description = "Cuda implementation of TFHE-rs' ZK primitives."
@@ -16,9 +17,9 @@ name = "zk_cuda_backend"
 crate-type = ["rlib"]
 
 [build-dependencies]
-cmake = { version = "0.1" }
-pkg-config = { version = "0.3" }
-bindgen = "0.71"
+cmake.workspace = true
+pkg-config.workspace = true
+bindgen.workspace = true
 
 [dependencies]
 ark-ec.workspace = true

backends/zk-cuda-backend/build.rs

@@ -113,8 +113,11 @@ fn main() {
                 .allowlist_type("Scalar")
                 .allowlist_type("BigInt")
                 .allowlist_type("cudaStream_t")
-                // Derive Default for all types (needed by Rust code)
+                // Derive Default, PartialEq and Eq for all types so wrapper
+                // types can use derive macros instead of manual impls
                 .derive_default(true)
+                .derive_partialeq(true)
+                .derive_eq(true)
                 .clang_arg("-x")
                 .clang_arg("c++")
                 .clang_arg("-std=c++17")

backends/zk-cuda-backend/src/README.md

@@ -7,7 +7,7 @@ pub struct CUstream_st {
 }
 pub type cudaStream_t = *mut CUstream_st;
 #[repr(C)]
-#[derive(Debug, Default, Copy, Clone)]
+#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
 pub struct Fp {
     pub limb: [u64; 7usize],
 }
@@ -18,7 +18,7 @@ const _: () = {
     ["Offset of field: Fp::limb"][::std::mem::offset_of!(Fp, limb) - 0usize];
 };
 #[repr(C)]
-#[derive(Debug, Default, Copy, Clone)]
+#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
 pub struct Fp2 {
     pub c0: Fp,
     pub c1: Fp,
@@ -31,7 +31,7 @@ const _: () = {
     ["Offset of field: Fp2::c1"][::std::mem::offset_of!(Fp2, c1) - 56usize];
 };
 #[repr(C)]
-#[derive(Debug, Default, Copy, Clone)]
+#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
 pub struct BigInt {
     pub limb: [u64; 5usize],
 }
@@ -43,7 +43,7 @@ const _: () = {
 };
 pub type Scalar = BigInt;
 #[repr(C)]
-#[derive(Debug, Default, Copy, Clone)]
+#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
 pub struct G1Point {
     pub x: Fp,
     pub y: Fp,
@@ -58,7 +58,7 @@ const _: () = {
     ["Offset of field: G1Point::infinity"][::std::mem::offset_of!(G1Point, infinity) - 112usize];
 };
 #[repr(C)]
-#[derive(Debug, Default, Copy, Clone)]
+#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
 pub struct G2Point {
     pub x: Fp2,
     pub y: Fp2,
@@ -73,7 +73,7 @@ const _: () = {
     ["Offset of field: G2Point::infinity"][::std::mem::offset_of!(G2Point, infinity) - 224usize];
 };
 #[repr(C)]
-#[derive(Debug, Default, Copy, Clone)]
+#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
 pub struct G1ProjectivePoint {
     pub X: Fp,
     pub Y: Fp,
@@ -91,7 +91,7 @@ const _: () = {
         [::std::mem::offset_of!(G1ProjectivePoint, Z) - 112usize];
 };
 #[repr(C)]
-#[derive(Debug, Default, Copy, Clone)]
+#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
 pub struct G2ProjectivePoint {
     pub X: Fp2,
     pub Y: Fp2,