SRP-6a Secure Remote Password protocol for OCaml
ocaml-srp: outdent srp.mli example after dune fmt
Pure formatting: dune fmt drops the leading 2-space indent and
collapses the long key_s let-binding onto one line.
+18
-20
+18
-20
lib/srp.mli
+18
-20
lib/srp.mli
···
46
46
{1 Usage}
47
47
48
48
{[
49
-
let () = Crypto_rng_unix.use_default ()
50
-
let username = "alice"
51
-
let password = "p@ssword"
49
+
let () = Crypto_rng_unix.use_default ()
50
+
let username = "alice"
51
+
let password = "p@ssword"
52
52
53
-
(* Registration: compute verifier to store on server *)
54
-
let reg_salt = Crypto_rng.generate 16
55
-
let verifier = Srp.compute_verifier ~salt:reg_salt ~username ~password
53
+
(* Registration: compute verifier to store on server *)
54
+
let reg_salt = Crypto_rng.generate 16
55
+
let verifier = Srp.compute_verifier ~salt:reg_salt ~username ~password
56
56
57
-
(* Authentication: client and server exchange public keys *)
58
-
let client = Srp.Client.create ~username ~password
59
-
let big_a = Srp.Client.public_key client
60
-
61
-
let server = Srp.Server.create ~username ~salt:reg_salt ~verifier
62
-
let big_b = Srp.Server.public_key server
63
-
let server_salt = Srp.Server.salt server
57
+
(* Authentication: client and server exchange public keys *)
58
+
let client = Srp.Client.create ~username ~password
59
+
let big_a = Srp.Client.public_key client
60
+
let server = Srp.Server.create ~username ~salt:reg_salt ~verifier
61
+
let big_b = Srp.Server.public_key server
62
+
let server_salt = Srp.Server.salt server
64
63
65
-
(* Both derive the same session key *)
66
-
let key_c =
67
-
Result.get_ok
68
-
(Srp.Client.compute_session_key client ~salt:server_salt ~big_b)
69
-
let key_s =
70
-
Result.get_ok (Srp.Server.compute_session_key server ~big_a)
64
+
(* Both derive the same session key *)
65
+
let key_c =
66
+
Result.get_ok
67
+
(Srp.Client.compute_session_key client ~salt:server_salt ~big_b)
71
68
72
-
let () = assert (String.equal key_c key_s)
69
+
let key_s = Result.get_ok (Srp.Server.compute_session_key server ~big_a)
70
+
let () = assert (String.equal key_c key_s)
73
71
]} *)
74
72
75
73
(** {1 Constants} *)