lint: move Transcript type definition to traits

Author: mmaker

src/traits.rs

@@ -83,6 +83,14 @@ pub trait SigmaProtocol {
     fn instance_label(&self) -> impl AsRef<[u8]>;
 }
 
+
+type Transcript<P> = (
+    <P as SigmaProtocol>::Commitment,
+    <P as SigmaProtocol>::Challenge,
+    <P as SigmaProtocol>::Response,
+);
+
+
 /// A trait defining the behavior of a Sigma protocol for which simulation of transcripts is necessary.
 ///
 /// All Sigma protocols can technically simulate a valid transcript, but this mostly serve to prove the security of the protocol and is not used in the real protocol execution.
@@ -112,5 +120,5 @@ pub trait SigmaProtocolSimulator: SigmaProtocol {
     fn simulate_transcript<R: Rng + CryptoRng>(
         &self,
         rng: &mut R,
-    ) -> Result<(Self::Commitment, Self::Challenge, Self::Response), Error>;
+    ) -> Result<Transcript<Self>, Error>;
 }