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

Automatically derive PinnedVerificationKey's Debug impl.

Browse source
This commit is contained in:
Sean Bowe 2021-02-18 07:51:41 -07:00
parent 7fcd302d2d
commit 5e20b0f2a7
No known key found for this signature in database
GPG key ID: 95684257D8F8B031
1 changed files with 6 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
src/plonk.rs
View file

@ -100,6 +100,8 @@ impl<C: CurveAffine> VerifyingKey<C> {
/// the minimal information necessary to reconstruct the verification key. /// the minimal information necessary to reconstruct the verification key.
pub fn pinned(&self) -> PinnedVerificationKey<'_, C> { pub fn pinned(&self) -> PinnedVerificationKey<'_, C> {
PinnedVerificationKey { PinnedVerificationKey {
base_modulus: C::Base::MODULUS,
scalar_modulus: C::Scalar::MODULUS,
domain: self.domain.pinned(), domain: self.domain.pinned(),
fixed_commitments: &self.fixed_commitments, fixed_commitments: &self.fixed_commitments,
permutations: &self.permutations, permutations: &self.permutations,
@ -110,24 +112,14 @@ impl<C: CurveAffine> VerifyingKey<C> {
/// Minimal representation of a verification key that can be used to identify /// Minimal representation of a verification key that can be used to identify
/// its active contents. /// its active contents.
#[derive(Debug)]
pub struct PinnedVerificationKey<'a, C: CurveAffine> { pub struct PinnedVerificationKey<'a, C: CurveAffine> {
base_modulus: &'static str,
scalar_modulus: &'static str,
domain: PinnedEvaluationDomain<'a, C::Scalar>, domain: PinnedEvaluationDomain<'a, C::Scalar>,
cs: PinnedConstraintSystem<'a, C::Scalar>,
fixed_commitments: &'a Vec<C>, fixed_commitments: &'a Vec<C>,
permutations: &'a Vec<permutation::VerifyingKey<C>>, permutations: &'a Vec<permutation::VerifyingKey<C>>,
cs: PinnedConstraintSystem<'a, C::Scalar>,
}
impl<'a, C: CurveAffine> std::fmt::Debug for PinnedVerificationKey<'a, C> {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> Result<(), std::fmt::Error> {
f.debug_struct("PinnedVerificationKey")
.field("base_modulus", &C::Base::MODULUS)
.field("scalar_modulus", &C::Scalar::MODULUS)
.field("domain", &self.domain)
.field("cs", &self.cs)
.field("fixed_commitments", self.fixed_commitments)
.field("permutations", self.permutations)
.finish()
}
} }
/// This is a proving key which allows for the creation of proofs for a /// This is a proving key which allows for the creation of proofs for a
/// particular circuit. /// particular circuit.