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

mul::complete: Replace k_minus_one with one_minus_k.

This commit is contained in:
therealyingtong 2021-11-18 15:03:40 -05:00
parent 303bdc3f65
commit 409bbf36a0
2 changed files with 26 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/circuit/gadget/ecc/chip/mul/complete.rs
View File

@ -70,8 +70,8 @@ impl Config {
// k_i = 0 => y_p = -base_y // k_i = 0 => y_p = -base_y
// k_i = 1 => y_p = base_y // k_i = 1 => y_p = base_y
let y_switch = { let y_switch = {
let k_minus_one = k.clone() - Expression::Constant(pallas::Base::one()); let one_minus_k = Expression::Constant(pallas::Base::one()) - k.clone();
k_minus_one * (base_y.clone() + y_p.clone()) + k * (base_y - y_p) one_minus_k * (base_y.clone() + y_p.clone()) + k * (base_y - y_p)
}; };
std::array::IntoIter::new([("bool_check", bool_check), ("y_switch", y_switch)]) std::array::IntoIter::new([("bool_check", bool_check), ("y_switch", y_switch)])

48
src/circuit_description
View File

@ -7524,32 +7524,32 @@ PinnedVerificationKey {
Sum( Sum(
Product( Product(
Sum( Sum(
Sum( Constant(
Advice { 0x0000000000000000000000000000000000000000000000000000000000000001,
query_index: 10,
column_index: 9,
rotation: Rotation(
1,
),
},
Negated(
Product(
Constant(
0x0000000000000000000000000000000000000000000000000000000000000002,
),
Advice {
query_index: 11,
column_index: 9,
rotation: Rotation(
-1,
),
},
),
),
), ),
Negated( Negated(
Constant( Sum(
0x0000000000000000000000000000000000000000000000000000000000000001, Advice {
query_index: 10,
column_index: 9,
rotation: Rotation(
1,
),
},
Negated(
Product(
Constant(
0x0000000000000000000000000000000000000000000000000000000000000002,
),
Advice {
query_index: 11,
column_index: 9,
rotation: Rotation(
-1,
),
},
),
),
), ),
), ),
), ),