zec
/
orchard
mirror of https://github.com/zcash/orchard.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

chip::add_incomplete.rs: Remove superfluous check. 

Co-authored-by: Jack Grigg <jack@electriccoin.co>
This commit is contained in:
therealyingtong 2021-06-11 11:27:23 +08:00
parent aff56e6763
commit f655e38e3e
1 changed files with 0 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/circuit/gadget/ecc/chip/add_incomplete.rs
View File

@ -140,19 +140,6 @@ impl<C: CurveAffine> Config<C> {
y: CellValue::<C::Base>::new(y_r_var, y_r), y: CellValue::<C::Base>::new(y_r_var, y_r),
}; };
#[cfg(test)]
// Check that the correct sum is obtained.
{
let p = p.point();
let q = q.point();
let real_sum = p.zip(q).map(|(p, q)| p + q);
let result = result.point();
if let (Some(real_sum), Some(result)) = (real_sum, result) {
assert_eq!(real_sum.to_affine(), result);
}
}
Ok(result) Ok(result)
} }
} }