Feat/role assignment

Cargo.toml

@@ -47,6 +47,7 @@ mpc-algebra = { path = "mpc-algebra", version = "0.1.0" }
 mpc-net = { path = "mpc-net", version = "0.1.0" }
 mpc-trait = { path = "mpc-trait", version = "0.1.0" }
 itertools = "0.13.0"
+nalgebra = "0.33.0"
 
 [dev-dependencies]
 criterion = { version = "0.4", features = ["html_reports"] }

arkworks/nonnative/src/reduce.rs

@@ -3,7 +3,7 @@ use crate::{overhead, AllocatedNonNativeFieldVar};
 use ark_ff::{biginteger::BigInteger, fields::FpParameters, BitIteratorBE, One, PrimeField, Zero};
 use ark_r1cs_std::eq::EqGadget;
 use ark_r1cs_std::fields::fp::FpVar;
-use ark_r1cs_std::fields::FieldVar;
+// use hark_r1cs_std::fields::FieldVar;
 use ark_r1cs_std::{alloc::AllocVar, boolean::Boolean, R1CSVar};
 use ark_relations::{
     ns,

arkworks/r1cs-std/src/fields/fp/mod.rs

@@ -15,7 +15,7 @@ mod cmp;
 
 /// Represents a variable in the constraint system whose
 /// value can be an arbitrary field element.
-#[derive(Debug, Clone)]
+#[derive(Debug, Clone, PartialEq)]
 #[must_use]
 pub struct AllocatedFp<F: PrimeField> {
     pub(crate) value: Option<F>,
@@ -38,7 +38,7 @@ impl<F: PrimeField> AllocatedFp<F> {
 }
 
 /// Represent variables corresponding to a field element in `F`.
-#[derive(Clone, Debug)]
+#[derive(Clone, Debug, PartialEq)]
 #[must_use]
 pub enum FpVar<F: PrimeField> {
     /// Represents a constant in the constraint system, which means that
@@ -644,6 +644,25 @@ impl<F: PrimeField> AllocVar<F, F> for AllocatedFp<F> {
     }
 }
 
+impl<F: PrimeField> ark_std::Zero for FpVar<F> {
+    fn zero() -> Self {
+        Self::Constant(F::zero())
+    }
+
+    fn is_zero(&self) -> bool {
+        match self {
+            Self::Constant(c) => c.is_zero(),
+            Self::Var(v) => v.value.expect("value is None").is_zero(),
+        }
+    }
+}
+
+impl<F: PrimeField> ark_std::One for FpVar<F> {
+    fn one() -> Self {
+        Self::Constant(F::one())
+    }
+}
+
 impl<F: PrimeField> FieldVar<F, F> for FpVar<F> {
     fn constant(f: F) -> Self {
         Self::Constant(f)