More Rust cleanups

This commit is contained in:
Ian Goldberg 2021-05-03 14:14:17 -04:00
parent 15e9a1a72a
commit 86cd2f54d7
1 changed files with 5 additions and 3 deletions

View File

@ -296,7 +296,7 @@ impl BridgeAuth {
+ cred.invites_issued * self.lox_priv.x[6]) + cred.invites_issued * self.lox_priv.x[6])
* cred.P; * cred.P;
return Q == cred.Q; Q == cred.Q
} }
#[cfg(test)] #[cfg(test)]
@ -311,7 +311,8 @@ impl BridgeAuth {
+ cred.from_bucket * self.migration_priv.x[2] + cred.from_bucket * self.migration_priv.x[2]
+ cred.to_bucket * self.migration_priv.x[3]) + cred.to_bucket * self.migration_priv.x[3])
* cred.P; * cred.P;
return Q == cred.Q;
Q == cred.Q
} }
#[cfg(test)] #[cfg(test)]
@ -325,7 +326,8 @@ impl BridgeAuth {
+ cred.date * self.reachability_priv.x[1] + cred.date * self.reachability_priv.x[1]
+ cred.bucket * self.reachability_priv.x[2]) + cred.bucket * self.reachability_priv.x[2])
* cred.P; * cred.P;
return Q == cred.Q;
Q == cred.Q
} }
} }