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

mul::incomplete.rs: Make offsets more intuitive

This commit is contained in:
therealyingtong 2021-07-02 19:30:04 +08:00
parent 4d69dec00f
commit e75c176181
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/circuit/gadget/ecc/chip/mul/incomplete.rs
View File

@ -261,8 +261,9 @@ impl Config {
|| Ok(pallas::Base::one()),
)?;
let offset = offset + 1;
// q_mul = 2 on all rows after offset 0, excluding the last row.
for idx in 1..(self.num_bits) {
for idx in 0..(self.num_bits - 1) {
region.assign_fixed(
|| "q_mul = 2",
self.q_mul,
@ -275,7 +276,7 @@ impl Config {
region.assign_fixed(
|| "q_mul = 3",
self.q_mul,
offset + self.num_bits + 1,
offset + self.num_bits,
|| Ok(pallas::Base::from_u64(3)),
)?;
}