tests.rs 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352
  1. /*! Unit tests that require access to the testing-only function
  2. BridgeLine::random() or private fields */
  3. use super::bridge_table::BridgeLine;
  4. use super::proto::*;
  5. use super::*;
  6. struct TestHarness {
  7. bdb: BridgeDb,
  8. pub ba: BridgeAuth,
  9. }
  10. impl TestHarness {
  11. fn new() -> Self {
  12. // Create a BridegDb
  13. let mut bdb = BridgeDb::new();
  14. // Create a BridgeAuth
  15. let mut ba = BridgeAuth::new(bdb.pubkey);
  16. // Make 15 open invitation bridges, in 5 sets of 3
  17. for _ in 0..5 {
  18. let bucket = [
  19. BridgeLine::random(),
  20. BridgeLine::random(),
  21. BridgeLine::random(),
  22. ];
  23. ba.add_openinv_bridges(bucket, &mut bdb);
  24. }
  25. // Add 5 more hot spare buckets
  26. for _ in 0..5 {
  27. let bucket = [
  28. BridgeLine::random(),
  29. BridgeLine::random(),
  30. BridgeLine::random(),
  31. ];
  32. ba.add_spare_bucket(bucket);
  33. }
  34. // Create the encrypted bridge table
  35. ba.enc_bridge_table();
  36. Self { bdb, ba }
  37. }
  38. fn advance_days(&mut self, days: u16) {
  39. self.ba.advance_days(days);
  40. }
  41. fn open_invite(&mut self) -> cred::Lox {
  42. // Issue an open invitation
  43. let inv = self.bdb.invite();
  44. // Use it to get a Lox credential
  45. let (req, state) = open_invite::request(&inv);
  46. let resp = self.ba.handle_open_invite(req).unwrap();
  47. open_invite::handle_response(state, resp, &self.ba.lox_pub).unwrap()
  48. }
  49. fn trust_promotion(&mut self, cred: &cred::Lox) -> cred::Migration {
  50. let (promreq, promstate) =
  51. trust_promotion::request(&cred, &self.ba.lox_pub, self.ba.today()).unwrap();
  52. let promresp = self.ba.handle_trust_promotion(promreq).unwrap();
  53. trust_promotion::handle_response(promstate, promresp).unwrap()
  54. }
  55. fn level0_migration(&mut self, loxcred: &cred::Lox, migcred: &cred::Migration) -> cred::Lox {
  56. let (migreq, migstate) =
  57. migration::request(loxcred, migcred, &self.ba.lox_pub, &self.ba.migration_pub).unwrap();
  58. let migresp = self.ba.handle_migration(migreq).unwrap();
  59. migration::handle_response(migstate, migresp, &self.ba.lox_pub).unwrap()
  60. }
  61. fn level_up(&mut self, cred: &cred::Lox) -> cred::Lox {
  62. // Read the bucket in the credential to get today's Bucket
  63. // Reachability credential
  64. let (id, key) = bridge_table::from_scalar(cred.bucket).unwrap();
  65. let encbuckets = self.ba.enc_bridge_table();
  66. let bucket =
  67. bridge_table::BridgeTable::decrypt_bucket(id, &key, &encbuckets[id as usize]).unwrap();
  68. let reachcred = bucket.1.unwrap();
  69. // Use the Bucket Reachability credential to advance to the next
  70. // level
  71. let (req, state) = level_up::request(
  72. &cred,
  73. &reachcred,
  74. &self.ba.lox_pub,
  75. &self.ba.reachability_pub,
  76. self.ba.today(),
  77. )
  78. .unwrap();
  79. let resp = self.ba.handle_level_up(req).unwrap();
  80. level_up::handle_response(state, resp, &self.ba.lox_pub).unwrap()
  81. }
  82. fn issue_invite(&mut self, cred: &cred::Lox) -> (cred::Lox, cred::Invitation) {
  83. // Read the bucket in the credential to get today's Bucket
  84. // Reachability credential
  85. let (id, key) = bridge_table::from_scalar(cred.bucket).unwrap();
  86. let encbuckets = self.ba.enc_bridge_table();
  87. let bucket =
  88. bridge_table::BridgeTable::decrypt_bucket(id, &key, &encbuckets[id as usize]).unwrap();
  89. let reachcred = bucket.1.unwrap();
  90. let (req, state) = issue_invite::request(
  91. &cred,
  92. &reachcred,
  93. &self.ba.lox_pub,
  94. &self.ba.reachability_pub,
  95. self.ba.today(),
  96. )
  97. .unwrap();
  98. let resp = self.ba.handle_issue_invite(req).unwrap();
  99. issue_invite::handle_response(state, resp, &self.ba.lox_pub, &self.ba.invitation_pub)
  100. .unwrap()
  101. }
  102. fn redeem_invite(&mut self, inv: &cred::Invitation) -> cred::Lox {
  103. let (req, state) =
  104. redeem_invite::request(&inv, &self.ba.invitation_pub, self.ba.today()).unwrap();
  105. let resp = self.ba.handle_redeem_invite(req).unwrap();
  106. redeem_invite::handle_response(state, resp, &self.ba.lox_pub).unwrap()
  107. }
  108. }
  109. #[test]
  110. fn test_open_invite() {
  111. let mut th = TestHarness::new();
  112. // Join an untrusted user
  113. let cred = th.open_invite();
  114. // Check that we can use the credential to read a bucket
  115. let (id, key) = bridge_table::from_scalar(cred.bucket).unwrap();
  116. let encbuckets = th.ba.enc_bridge_table();
  117. let bucket =
  118. bridge_table::BridgeTable::decrypt_bucket(id, &key, &encbuckets[id as usize]).unwrap();
  119. println!("cred = {:?}", cred);
  120. println!("bucket = {:?}", bucket);
  121. assert!(bucket.1.is_none());
  122. assert!(th.ba.verify_lox(&cred));
  123. }
  124. #[test]
  125. fn test_trust_promotion() {
  126. let mut th = TestHarness::new();
  127. let cred = th.open_invite();
  128. assert!(th.ba.verify_lox(&cred));
  129. // Time passes
  130. th.advance_days(47);
  131. let migcred = th.trust_promotion(&cred);
  132. assert!(th.ba.verify_migration(&migcred));
  133. // Check that we can use the to_bucket in the Migration credenital
  134. // to read a bucket
  135. let (id, key) = bridge_table::from_scalar(migcred.to_bucket).unwrap();
  136. let encbuckets = th.ba.enc_bridge_table();
  137. let bucket =
  138. bridge_table::BridgeTable::decrypt_bucket(id, &key, &encbuckets[id as usize]).unwrap();
  139. println!("bucket = {:?}", bucket);
  140. assert!(th.ba.verify_reachability(&bucket.1.unwrap()));
  141. }
  142. #[test]
  143. fn test_level0_migration() {
  144. let mut th = TestHarness::new();
  145. let cred = th.open_invite();
  146. assert!(th.ba.verify_lox(&cred));
  147. // Time passes
  148. th.advance_days(47);
  149. let migcred = th.trust_promotion(&cred);
  150. assert!(th.ba.verify_migration(&migcred));
  151. let newloxcred = th.level0_migration(&cred, &migcred);
  152. assert!(th.ba.verify_lox(&newloxcred));
  153. println!("newloxcred = {:?}", newloxcred);
  154. // Check that we can use the credenital to read a bucket
  155. let (id, key) = bridge_table::from_scalar(newloxcred.bucket).unwrap();
  156. let encbuckets = th.ba.enc_bridge_table();
  157. let bucket =
  158. bridge_table::BridgeTable::decrypt_bucket(id, &key, &encbuckets[id as usize]).unwrap();
  159. println!("bucket = {:?}", bucket);
  160. assert!(th.ba.verify_reachability(&bucket.1.unwrap()));
  161. }
  162. #[test]
  163. fn test_level_up() {
  164. let mut th = TestHarness::new();
  165. // Join an untrusted user
  166. let cred = th.open_invite();
  167. // Time passes
  168. th.advance_days(47);
  169. // Go up to level 1
  170. let migcred = th.trust_promotion(&cred);
  171. let cred1 = th.level0_migration(&cred, &migcred);
  172. assert!(scalar_u32(&cred1.trust_level).unwrap() == 1);
  173. // Time passes
  174. th.advance_days(20);
  175. let cred2 = th.level_up(&cred1);
  176. assert!(scalar_u32(&cred2.trust_level).unwrap() == 2);
  177. println!("cred2 = {:?}", cred2);
  178. assert!(th.ba.verify_lox(&cred2));
  179. // Time passes
  180. th.advance_days(30);
  181. let cred3 = th.level_up(&cred2);
  182. assert!(scalar_u32(&cred3.trust_level).unwrap() == 3);
  183. println!("cred3 = {:?}", cred3);
  184. assert!(th.ba.verify_lox(&cred3));
  185. // Time passes
  186. th.advance_days(60);
  187. let cred4 = th.level_up(&cred3);
  188. assert!(scalar_u32(&cred3.trust_level).unwrap() == 3);
  189. println!("cred4 = {:?}", cred4);
  190. assert!(th.ba.verify_lox(&cred4));
  191. }
  192. #[test]
  193. fn test_issue_invite() {
  194. let mut th = TestHarness::new();
  195. // Join an untrusted user
  196. let cred = th.open_invite();
  197. // Time passes
  198. th.advance_days(47);
  199. // Go up to level 1
  200. let migcred = th.trust_promotion(&cred);
  201. let cred1 = th.level0_migration(&cred, &migcred);
  202. assert!(scalar_u32(&cred1.trust_level).unwrap() == 1);
  203. // Time passes
  204. th.advance_days(20);
  205. // Go up to level 2
  206. let cred2 = th.level_up(&cred1);
  207. assert!(scalar_u32(&cred2.trust_level).unwrap() == 2);
  208. println!("cred2 = {:?}", cred2);
  209. assert!(th.ba.verify_lox(&cred2));
  210. // Issue an invitation
  211. let (cred2a, invite) = th.issue_invite(&cred2);
  212. assert!(th.ba.verify_lox(&cred2a));
  213. assert!(th.ba.verify_invitation(&invite));
  214. println!("cred2a = {:?}", cred2a);
  215. println!("invite = {:?}", invite);
  216. }
  217. #[test]
  218. fn test_redeem_invite() {
  219. let mut th = TestHarness::new();
  220. // Join an untrusted user
  221. let cred = th.open_invite();
  222. // Time passes
  223. th.advance_days(47);
  224. // Go up to level 1
  225. let migcred = th.trust_promotion(&cred);
  226. let cred1 = th.level0_migration(&cred, &migcred);
  227. assert!(scalar_u32(&cred1.trust_level).unwrap() == 1);
  228. // Time passes
  229. th.advance_days(20);
  230. // Go up to level 2
  231. let cred2 = th.level_up(&cred1);
  232. assert!(scalar_u32(&cred2.trust_level).unwrap() == 2);
  233. println!("cred2 = {:?}", cred2);
  234. assert!(th.ba.verify_lox(&cred2));
  235. // Issue an invitation to Bob
  236. let (cred2a, bob_invite) = th.issue_invite(&cred2);
  237. assert!(th.ba.verify_lox(&cred2a));
  238. assert!(th.ba.verify_invitation(&bob_invite));
  239. println!("cred2a = {:?}", cred2a);
  240. println!("bob_invite = {:?}", bob_invite);
  241. // Time passes
  242. th.advance_days(12);
  243. // Bob joins the system
  244. let bob_cred = th.redeem_invite(&bob_invite);
  245. assert!(th.ba.verify_lox(&bob_cred));
  246. println!("bob_cred = {:?}", bob_cred);
  247. }
  248. #[test]
  249. fn test_mark_unreachable() {
  250. let mut th = TestHarness::new();
  251. println!("spares = {:?}", th.ba.bridge_table.spares);
  252. println!("tmig = {:?}", th.ba.trustup_migration_table.table);
  253. println!("bmig = {:?}", th.ba.blockage_migration_table.table);
  254. println!("openinv = {:?}\n", th.bdb.openinv_buckets);
  255. // Mark a bridge in an untrusted bucket as unreachable
  256. let b6 = th.ba.bridge_table.buckets[6][0];
  257. th.ba.bridge_unreachable(&b6, &mut th.bdb);
  258. println!("spares = {:?}", th.ba.bridge_table.spares);
  259. println!("tmig = {:?}", th.ba.trustup_migration_table.table);
  260. println!("bmig = {:?}", th.ba.blockage_migration_table.table);
  261. println!("openinv = {:?}\n", th.bdb.openinv_buckets);
  262. // Mark another bridge grouped to the same trusted bucket as
  263. // unreachable
  264. let b7 = th.ba.bridge_table.buckets[7][0];
  265. th.ba.bridge_unreachable(&b7, &mut th.bdb);
  266. println!("spares = {:?}", th.ba.bridge_table.spares);
  267. println!("tmig = {:?}", th.ba.trustup_migration_table.table);
  268. println!("bmig = {:?}", th.ba.blockage_migration_table.table);
  269. println!("openinv = {:?}\n", th.bdb.openinv_buckets);
  270. // That will have introduced a blockage migration. Get the target
  271. let target: u32 = *th
  272. .ba
  273. .blockage_migration_table
  274. .table
  275. .iter()
  276. .next()
  277. .unwrap()
  278. .1;
  279. // Block two of the bridges in that target bucket
  280. let bt1 = th.ba.bridge_table.buckets[target as usize][1];
  281. let bt2 = th.ba.bridge_table.buckets[target as usize][2];
  282. th.ba.bridge_unreachable(&bt1, &mut th.bdb);
  283. th.ba.bridge_unreachable(&bt2, &mut th.bdb);
  284. println!("spares = {:?}", th.ba.bridge_table.spares);
  285. println!("tmig = {:?}", th.ba.trustup_migration_table.table);
  286. println!("bmig = {:?}", th.ba.blockage_migration_table.table);
  287. println!("openinv = {:?}\n", th.bdb.openinv_buckets);
  288. }