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

Minor fixes to srs.rs

Browse source
This commit is contained in:
therealyingtong 2020-09-02 23:18:43 +08:00
parent a2fca8a02d
commit 0bf73c5d08
No known key found for this signature in database
GPG key ID: 179F32A1503D607E
1 changed files with 3 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/plonk/srs.rs
View file

@ -66,15 +66,9 @@ impl<C: CurveAffine> SRS<C> {
// Don't perform the copy constraint because it will undo // Don't perform the copy constraint because it will undo
// the effect of the permutation. // the effect of the permutation.
} else { } else {
*self.copy[permutation] self.copy[permutation][left_wire][left_row] = right;
.get_mut(left_wire)
.and_then(|wire| wire.get_mut(left_row))
.ok_or(Error::BoundsFailure)? = right;
*self.copy[permutation] self.copy[permutation][right_wire][right_row] = left;
.get_mut(right_wire)
.and_then(|wire| wire.get_mut(right_row))
.ok_or(Error::BoundsFailure)? = left;
} }
Ok(()) Ok(())
@ -94,7 +88,7 @@ impl<C: CurveAffine> SRS<C> {
// The permutation argument will serve alongside the gates, so must be // The permutation argument will serve alongside the gates, so must be
// accounted for. // accounted for.
let mut degree = largest_permutation_length; let mut degree = largest_permutation_length + 1;
// Account for each gate to ensure our quotient polynomial is the // Account for each gate to ensure our quotient polynomial is the
// correct degree and that our extended domain is the right size. // correct degree and that our extended domain is the right size.