Merge pull request #57 from zhiqiangxu/fix_comment_of_add_and_add_wit…

…h_constant fix comment of add/add_with_constant
privacy-scaling-explorations · Dec 26, 2022 · 52d5f25 · 52d5f25
2 parents 66b4a90 + 8ed1daf
commit 52d5f25
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/maingate/src/instructions.rs b/maingate/src/instructions.rs
@@ -866,7 +866,7 @@ pub trait MainGateInstructions<F: FieldExt, const WIDTH: usize>: Chip<F> {
     }
 
     /// Assigns a new witness `r` as:
-    /// `r = a * b`
+    /// `r = a + b`
     fn add(
         &self,
         ctx: &mut RegionCtx<'_, F>,
@@ -877,7 +877,7 @@ pub trait MainGateInstructions<F: FieldExt, const WIDTH: usize>: Chip<F> {
     }
 
     /// Assigns a new witness `r` as:
-    /// `r = a * b + constant`
+    /// `r = a + b + constant`
     fn add_with_constant(
         &self,
         ctx: &mut RegionCtx<'_, F>,