Ecosystem/serai
Ecosystem/serai
1
0
Fork 0
mirror of https://github.com/serai-dex/serai.git synced 2025-01-09 20:39:29 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Save an inversion on AOS verification

Browse source 
Incredibly minor, just nagged me
This commit is contained in:
Luke Parker 2022-07-07 08:27:20 -04:00
parent 44e0a41ca1
commit c3a0e0375d
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
crypto/dleq/src/cross_group/aos.rs
View file

@ -79,7 +79,7 @@ impl<
A: (G0, G1), A: (G0, G1),
e: (G0::Scalar, G1::Scalar) e: (G0::Scalar, G1::Scalar)
) -> (Vec<(G0::Scalar, G0)>, Vec<(G1::Scalar, G1)>) { ) -> (Vec<(G0::Scalar, G0)>, Vec<(G1::Scalar, G1)>) {
(vec![(s.0, generators.0.alt), (-e.0, A.0)], vec![(s.1, generators.1.alt), (-e.1, A.1)]) (vec![(-s.0, generators.0.alt), (e.0, A.0)], vec![(-s.1, generators.1.alt), (e.1, A.1)])
} }
#[allow(non_snake_case)] #[allow(non_snake_case)]
@ -167,9 +167,8 @@ impl<
*ring.last().unwrap(), *ring.last().unwrap(),
e e
); );
// TODO: Make something else negative to speed up vartime statements.0.push((G0::Scalar::one(), R0_0));
statements.0.push((-G0::Scalar::one(), R0_0)); statements.1.push((G1::Scalar::one(), R1_0));
statements.1.push((-G1::Scalar::one(), R1_0));
batch.0.queue(&mut *rng, (), statements.0); batch.0.queue(&mut *rng, (), statements.0);
batch.1.queue(&mut *rng, (), statements.1); batch.1.queue(&mut *rng, (), statements.1);
}, },