Moved protocol modules into submodules of "proto" module instead of all being at the top level

crates/lox-library/src/lib.rs

@@ -318,10 +318,21 @@ pub fn pt_dbl(P: &RistrettoPoint) -> RistrettoPoint {
     P + P
 }
 
-// The protocol modules
+/// The protocol modules.
+///
+/// Each protocol lives in a submodule.  Each submodule defines structs
+/// for Request (the message from the client to the bridge authority),
+/// State (the state held by the client while waiting for the reply),
+/// and Response (the message from the bridge authority to the client).
+/// Each submodule defines functions request, which produces a (Request,
+/// State) pair, and handle_response, which consumes a State and a
+/// Response.  It also adds a handle_* function to the BridgeAuth struct
+/// that consumes a Request and produces a Result<Response, ProofError>.
+pub mod proto {
     pub mod migration;
     pub mod open_invite;
     pub mod trust_promotion;
+}
 
 // Unit tests
 #[cfg(test)]

crates/lox-library/src/proto/migration.rs

@@ -40,10 +40,10 @@ use zkp::CompactProof;
 use zkp::ProofError;
 use zkp::Transcript;
 
-use super::cred;
+use super::super::cred;
-use super::dup_filter::SeenType;
+use super::super::dup_filter::SeenType;
-use super::{BridgeAuth, IssuerPubKey};
+use super::super::{BridgeAuth, IssuerPubKey};
-use super::{CMZ_A, CMZ_A_TABLE, CMZ_B, CMZ_B_TABLE};
+use super::super::{CMZ_A, CMZ_A_TABLE, CMZ_B, CMZ_B_TABLE};
 
 pub struct Request {
     // Fields for blind showing the Lox credential

crates/lox-library/src/proto/open_invite.rs

@@ -22,15 +22,16 @@ use zkp::CompactProof;
 use zkp::ProofError;
 use zkp::Transcript;
 
-use super::bridge_table;
+use super::super::bridge_table;
-use super::cred;
+use super::super::cred;
-use super::dup_filter::SeenType;
+use super::super::dup_filter::SeenType;
-use super::{BridgeAuth, IssuerPubKey};
+use super::super::OPENINV_LENGTH;
-use super::{CMZ_A, CMZ_A_TABLE, CMZ_B, CMZ_B_TABLE};
+use super::super::{BridgeAuth, BridgeDb, IssuerPubKey};
+use super::super::{CMZ_A, CMZ_A_TABLE, CMZ_B, CMZ_B_TABLE};
 
 /// The request message for this protocol
 pub struct Request {
-    invite: [u8; super::OPENINV_LENGTH],
+    invite: [u8; OPENINV_LENGTH],
     D: RistrettoPoint,
     EncIdClient: (RistrettoPoint, RistrettoPoint),
     piUserBlinding: CompactProof,
@@ -104,7 +105,7 @@ define_proof! {
 
 /// Submit an open invitation issued by the BridgeDb to receive your
 /// first Lox credential
-pub fn request(invite: &[u8; super::OPENINV_LENGTH]) -> (Request, State) {
+pub fn request(invite: &[u8; OPENINV_LENGTH]) -> (Request, State) {
     let B: &RistrettoPoint = &CMZ_B;
     let Btable: &RistrettoBasepointTable = &CMZ_B_TABLE;
 
@@ -159,8 +160,7 @@ impl BridgeAuth {
         // Check the signature on the open_invite.  We manually match
         // here because we're changing the Err type from SignatureError
         // to ProofError
-        let (invite_id, bucket_id_u32) =
+        let (invite_id, bucket_id_u32) = match BridgeDb::verify(req.invite, self.bridgedb_pub) {
-            match super::BridgeDb::verify(req.invite, self.bridgedb_pub) {
             Ok(res) => res,
             Err(_) => return Err(ProofError::VerificationFailure),
         };

crates/lox-library/src/proto/trust_promotion.rs

@@ -38,12 +38,12 @@ use zkp::Transcript;
 
 use std::collections::HashMap;
 
-use super::cred;
+use super::super::cred;
-use super::dup_filter::SeenType;
+use super::super::dup_filter::SeenType;
-use super::migration_table;
+use super::super::migration_table;
-use super::{pt_dbl, scalar_dbl, scalar_u64};
+use super::super::{pt_dbl, scalar_dbl, scalar_u64};
-use super::{BridgeAuth, IssuerPubKey};
+use super::super::{BridgeAuth, IssuerPubKey};
-use super::{CMZ_A, CMZ_A_TABLE, CMZ_B, CMZ_B_TABLE};
+use super::super::{CMZ_A, CMZ_A_TABLE, CMZ_B, CMZ_B_TABLE};
 
 /// The minimum number of days a user has to be at trust level 0
 /// (untrusted) with their (single) bridge unblocked before they can

crates/lox-library/src/tests.rs

@@ -2,6 +2,7 @@
 BridgeLine::random() or private fields */
 
 use super::bridge_table::BridgeLine;
+use super::proto::*;
 use super::*;
 
 #[test]