feat: expose transcript_repr of VerifyingKey and reduce the trait…

… constraint
han0110 · Aug 30, 2023 · cdf7c6d · cdf7c6d
1 parent 0a8646b
commit cdf7c6d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/halo2_proofs/src/plonk.rs b/halo2_proofs/src/plonk.rs
@@ -242,6 +242,11 @@ impl<C: CurveAffine> VerifyingKey<C> {
     pub fn cs(&self) -> &ConstraintSystem<C::Scalar> {
         &self.cs
     }
+
+    /// Returns representative of this `VerifyingKey` in transcripts
+    pub fn transcript_repr(&self) -> C::Scalar {
+        self.transcript_repr
+    }
 }
 
 /// Minimal representation of a verification key that can be used to identify