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

mul_fixed::base_field_elem: Add constraint alpha_2 = 0 => alpha_1 = 0. 

Co-authored-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
therealyingtong 2021-07-07 18:38:43 +08:00
parent 72e469ee10
commit ae72501b70
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/circuit/gadget/ecc/chip/mul_fixed/base_field_elem.rs
View File

@ -126,7 +126,7 @@ impl Config {
let alpha_2_range_check = range_check(alpha_2.clone(), 1 << 1);
// Check that α_1 + 2^2 α_2 = z_84_alpha
let z_84_alpha_check = z_84_alpha.clone()
- (alpha_1 + alpha_2.clone() * pallas::Base::from_u64(1 << 2));
- (alpha_1.clone() + alpha_2.clone() * pallas::Base::from_u64(1 << 2));
// Check that the witnessed α_0 fulfils the constraint α_0 = α - z_84_alpha * 2^252
let two_pow_252 = pallas::Base::from_u128(1 << 126).square();
@ -166,6 +166,7 @@ impl Config {
//
let canon_checks = {
std::iter::empty()
.chain(Some(("MSB = 1 => alpha_1 = 0", alpha_2.clone() * alpha_1)))
.chain(Some((
"MSB = 1 => z_13_alpha_0 = 0",
alpha_2.clone() * z_13_alpha_0,