From 92f7d9195a3cd5c195e47c26f0e4c1d0cbb182d7 Mon Sep 17 00:00:00 2001 From: swrup Date: Thu, 16 Oct 2025 16:36:34 +0200 Subject: [PATCH] --- src/management.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/management.ml b/src/management.ml index 2146fa64..b37cf585 100644 --- a/src/management.ml +++ b/src/management.ml @@ -4,6 +4,8 @@ open Types - take secmod devices as param - key stamp/time stuff - hash stuff + what is the hash algorithm + is it hash'ed then base32'ed in xxxP? ... *) let mk_denomination_key rsa_pub =