refactor: protocol -> composition.

Author: mmaker

src/protocol.rs renamed to src/composition.rs

@@ -1,4 +1,3 @@
-// -*- coding: utf-8; mode: rust; -*-
 //
 // Authors:
 // - Nugzari Uzoevi <[email protected]>
@@ -13,12 +12,12 @@
 #![deny(unused_variables)]
 #![deny(unused_mut)]
 
+pub mod composition;
 pub mod errors;
 pub mod fiat_shamir;
 pub mod group_morphism;
 pub mod group_serialization;
 pub mod proof_builder;
-pub mod protocol;
 pub mod schnorr_protocol;
 pub mod traits;
 

src/lib.rs

@@ -14,10 +14,10 @@
 //! - Composes multiple protocols via AND and OR connections
 //! - Offers one-shot `prove` and `verify` methods.
 
-use crate::{codec::ShakeCodec, fiat_shamir::NISigmaProtocol, protocol::Protocol};
+use crate::{codec::ShakeCodec, composition::Protocol, fiat_shamir::NISigmaProtocol};
 
 /// An alias for a [`Protocol`] on [`GroupMorphismPreimage`] and applies
-/// the Fiat-Shamir transform via [`NISigmaProtocol`].
+/// the Fiat-Shamir transform via [`NISigmaProtocol`].composition
 ///
 /// # Type Parameters
 /// - `G`: A group that implements both [`Group`] and [`GroupEncoding`].

src/proof_builder.rs

@@ -384,7 +384,9 @@ where
         challenge: &Self::Challenge,
         mut rng: &mut (impl RngCore + CryptoRng),
     ) -> (Self::Commitment, Self::Response) {
-        let response = (0..self.scalars_nb()).map(|_| G::Scalar::random(&mut rng)).collect();
+        let response = (0..self.scalars_nb())
+            .map(|_| G::Scalar::random(&mut rng))
+            .collect();
         let commitment = self.get_commitment(challenge, &response).unwrap();
         (commitment, response)
     }

src/schnorr_protocol.rs

@@ -3,8 +3,8 @@ use group::Group;
 use rand::rngs::OsRng;
 
 use sigma_rs::codec::ShakeCodec;
+use sigma_rs::composition::{Protocol, ProtocolWitness};
 use sigma_rs::fiat_shamir::{HasGroupMorphism, NISigmaProtocol};
-use sigma_rs::protocol::{Protocol, ProtocolWitness};
 use sigma_rs::schnorr_protocol::SchnorrProtocol;
 use sigma_rs::test_utils::{
     bbs_blind_commitment_computation, discrete_logarithm, dleq, pedersen_commitment,
@@ -66,7 +66,7 @@ fn composition_proof_correct() {
         Protocol::Simple(SchnorrProtocol::from(morph2)),
     ]);
     let or_witness1 =
-        sigma_rs::protocol::ProtocolWitness::Or(0, vec![ProtocolWitness::Simple(witness1)]);
+        sigma_rs::composition::ProtocolWitness::Or(0, vec![ProtocolWitness::Simple(witness1)]);
 
     let simple_protocol1 = Protocol::from(morph3);
     let simple_witness1 = ProtocolWitness::Simple(witness3);