📝 Replace todo into unimplemnted. and delete some comments.

mpc-algebra/src/crh/pedersen/pedersen.rs

@@ -171,7 +171,7 @@ impl<C: ProjectiveCurve, W: Window> TwoToOneCRH for CRH<C, W> {
         //     .for_each(|(b, l_b)| *b = *l_b);
 
         // <Self as CRHTrait>::evaluate(parameters, &buffer)
-        todo!()
+        unimplemented!()
     }
 }
 

mpc-algebra/src/r1cs_helper/groups/curves/twisted_edwards/mod.rs

@@ -1052,7 +1052,7 @@ where
         // let y_bytes = self.y.to_bytes()?;
         // x_bytes.extend_from_slice(&y_bytes);
         // Ok(x_bytes)
-        todo!()
+        unimplemented!()
     }
 
     #[tracing::instrument(target = "r1cs")]
@@ -1064,6 +1064,6 @@ where
         // x_bytes.extend_from_slice(&y_bytes);
 
         // Ok(x_bytes)
-        todo!()
+        unimplemented!()
     }
 }

mpc-algebra/src/r1cs_helper/mpc_boolean.rs

@@ -29,7 +29,6 @@ pub struct MpcAllocatedBool<F: PrimeField> {
 }
 
 pub(crate) fn bool_to_field<F: PrimeField>(val: impl Borrow<bool>) -> F {
-    // TODO: MPC Fieldの元として返す
     if *val.borrow() {
         F::one()
     } else {
@@ -42,10 +41,8 @@ impl<F: PrimeField> MpcAllocatedBool<F> {
     pub fn value(&self) -> Result<bool, SynthesisError> {
         let value = self.cs.assigned_value(self.variable).get()?;
         if value.is_zero() {
-            println!("ZEROZEROZERO.");
             Ok(false)
         } else if value.is_one() {
-            println!("ONEONEONE");
             Ok(true)
         } else {
             unreachable!("Incorrect value assigned: {:?}", value);

mpc-algebra/src/r1cs_helper/mpc_fp.rs

@@ -23,8 +23,6 @@ use crate::{
     Reveal,
 };
 
-// TODO: MpcAllocatedFp is required?
-
 /// Represents a variable in the constraint system whose
 /// value can be an arbitrary field element.
 #[derive(Debug, Clone)]