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

Minor adjustments to tests and documentation

This commit is contained in:
Sean Bowe 2020-09-13 10:17:00 -06:00
parent 221e9029f7
commit fd350a28a0
No known key found for this signature in database
GPG Key ID: 95684257D8F8B031
1 changed files with 17 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
src/poly/commitment.rs
View File

@ -70,7 +70,7 @@ impl<'a, C: CurveAffine> MSM<'a, C> {
self.h_scalar = self.h_scalar.map_or(Some(scalar), |a| Some(a + &scalar));
}
/// Scale all scalars in the MSM by a random blinding factor
/// Scale all scalars in the MSM by some scaling factor
// TODO: parallelize
pub fn scale(&mut self, factor: C::Scalar) {
if let Some(g_scalars) = &mut self.g_scalars {
@ -434,19 +434,30 @@ fn test_opening_proof() {
)
.unwrap();
// Generate a `new_guard` to populate `msm.g_scalars`
// Test guard behavior prior to checking another proof
{
// Test use_challenges()
let msm_challenges = guard.clone().use_challenges();
assert!(msm_challenges.is_zero());
// Test use_g()
let g = guard.compute_g();
let (msm_g, _accumulator) = guard.clone().use_g(g);
}
// Check another proof to populate `msm.g_scalars`
let msm = guard.use_challenges();
let new_guard = opening_proof
let guard = opening_proof
.verify(&params, msm, &mut transcript_dup.clone(), x, &p, v)
.unwrap();
// Test use_challenges()
let msm_challenges = new_guard.clone().use_challenges();
let msm_challenges = guard.clone().use_challenges();
assert!(msm_challenges.is_zero());
// Test use_g()
let g = new_guard.compute_g();
let (msm_g, _accumulator) = new_guard.clone().use_g(g);
let g = guard.compute_g();
let (msm_g, _accumulator) = guard.clone().use_g(g);
assert!(msm_g.is_zero());