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

cargo fmt 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-09-01 14:11:08 +01:00
parent f2400baa01
commit c24c67d5f0
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/circuit/gadget/sinsemilla/note_commit.rs
View File

@ -309,9 +309,8 @@ impl NoteCommitConfig {
};
// b3_c_prime = b_3 + (2^4)c + 2^140 - t_P
let b3_c_prime_check = b_3 + (c * two_pow_4) + two_pow_140.clone()
- t_p.clone()
- b3_c_prime;
let b3_c_prime_check =
b_3 + (c * two_pow_4) + two_pow_140.clone() - t_p.clone() - b3_c_prime;
// The pkd_x_canonicity_checks are enforced if and only if `d_0` = 1.
// `x(pk_d)` = `b_3 (4 bits) || c (250 bits) || d_0 (1 bit)`