saymrwulf/pasta_curves-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/pasta_curves-source.git synced 2026-09-06 20:20:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Move random scaling of MSM into multiopen verifier

Browse source 
Co-authored-by: Sean Bowe <ewillbefull@gmail.com>
This commit is contained in:
therealyingtong 2020-10-09 12:21:06 +08:00
parent 088118cc5d
commit 79cabb3d8d
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/poly/multiopen/verifier.rs
View file

@ -25,11 +25,16 @@ impl<'a, C: CurveAffine> Proof<C> {
transcript: &mut HBase, transcript: &mut HBase,
transcript_scalar: &mut HScalar, transcript_scalar: &mut HScalar,
queries: I, queries: I,
msm: MSM<'a, C>, mut msm: MSM<'a, C>,
) -> Result<Guard<'a, C>, Error> ) -> Result<Guard<'a, C>, Error>
where where
I: IntoIterator<Item = VerifierQuery<'a, C>> + Clone, I: IntoIterator<Item = VerifierQuery<'a, C>> + Clone,
{ {
// Scale the MSM by a random factor to ensure that if the existing MSM
// has is_zero() == false then this argument won't be able to interfere
// with it to make it true, with high probability.
msm.scale(C::Scalar::random());
// Sample x_4 for compressing openings at the same points together // Sample x_4 for compressing openings at the same points together
let x_4: C::Scalar = get_challenge_scalar(Challenge(transcript.squeeze().get_lower_128())); let x_4: C::Scalar = get_challenge_scalar(Challenge(transcript.squeeze().get_lower_128()));