This commit is contained in:
swrup 2026-02-07 20:29:35 +01:00
parent c9842f5cc1
commit 1eb08b6b10
4 changed files with 24 additions and 28 deletions

View file

@ -1,17 +1,16 @@
let () = Mirage_crypto_rng_unix.use_default ()
let get_ok = function Error e -> failwith e | Ok v -> v
let () =
let priv = Mirage_crypto_pk.Rsa.generate ~bits:2048 () in
let pub = Mirage_crypto_pk.Rsa.pub_of_priv priv in
let () =
let open Crypto.RsaPrivateKey in
let priv' = priv |> to_octets |> of_octets |> get_ok in
let priv' = priv |> to_octets |> of_octets |> Result.get_ok in
assert (to_octets priv = to_octets priv')
in
let () =
let open Crypto.RsaPublicKey in
let pub' = pub |> to_octets |> of_octets |> get_ok in
let pub' = pub |> to_octets |> of_octets |> Result.get_ok in
assert (to_octets pub = to_octets pub')
in
()
@ -19,8 +18,8 @@ let () =
let () =
let open Api in
let check jsont s =
let encode v = encode jsont v |> get_ok in
let decode v = decode jsont v |> get_ok in
let encode v = encode jsont v |> Result.get_ok in
let decode v = decode jsont v |> Result.get_ok in
let ts = decode s in
let s' = encode ts in
let ts' = decode s' in
@ -107,22 +106,3 @@ let () =
*)
()
*)
let () =
let v =
"04000274VF2F65WWABKGZYHREQWAFTVPMWEK9EQYMCPP1E6CMC224XDDDBVM7NRMNDX3TETHTK5G7GPPPYGN08FEMSY6B7NGBE8AYMG5HWT2BXRSAHAWDWW5Y16YVGXJG0BCKW3X17EWEF8MNGFGJBKVWQV5WPT0R2QK82QXFHFVGP3HR1D8HF69JXBC22B62M4SFETRJNXRG2GXX03BETSNQW0X7BYTMFJX5JQH4B2KJMABB02RFSNNMND7CT7MSAX5SCZY5ZB9XS4ZDKA9AVTS11V790KXXBSFZSD3NNEHKB6RS99RJD3MDJE04G1Q83HR50N5NVBDW3HPJZKQS5SSG7R2R2F7K8P06HJ4YSQFF52GF3RZW22N4FRQ28KQ2JZMZ1GJS1KBNHNNMS1RW9DZQ3882Z5V0000000004002"
in
let decode s = B32.decode s |> get_ok in
let v' = B32.encode (decode v) in
let v'' = B32.encode (decode v') in
(*
Fmt.pr "v : %s@." v;
Fmt.pr "v' : %s@." v';
Fmt.pr "v'': %s@." v'';
Fmt.pr "len v : %d@." (String.length v);
Fmt.pr "len v' : %d@." (String.length v');
Fmt.pr "len v'': %d@." (String.length v'');
*)
assert (v = v');
assert (v' = v'');
()