Add functions to convert hashes to and from VRFVerKeyHash

IntersectMBO · Dec 9, 2024 · 3fe0221 · 3fe0221
1 parent f8b21d7
commit 3fe0221
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/libs/cardano-ledger-core/CHANGELOG.md b/libs/cardano-ledger-core/CHANGELOG.md
@@ -2,6 +2,7 @@
 
 ## 1.16.0.0
 
+* Add `toVRFVerKeyHash` and `fromVRFVerKeyHash`
 * Change lens type of `hkdNOptL`, `ppNOptL`, and `ppuNOptL` to `Word16`
 * Add `epochFromSlot`
 * Remove usage of a `Reader` monad in `epochInfoEpoch`, `epochInfoFirst` and `epochInfoSize`.

diff --git a/libs/cardano-ledger-core/src/Cardano/Ledger/Keys/Internal.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Keys/Internal.hs
@@ -35,6 +35,8 @@ module Cardano.Ledger.Keys.Internal (
   KeyRoleVRF (..),
   VRFVerKeyHash (..),
   hashVerKeyVRF,
+  toVRFVerKeyHash,
+  fromVRFVerKeyHash,
 
   -- * Genesis delegations
   GenDelegPair (..),
@@ -373,4 +375,12 @@ deriving newtype instance Crypto c => Default (VRFVerKeyHash r c)
 
 hashVerKeyVRF ::
   Crypto c => VerKeyVRF c -> VRFVerKeyHash (r :: KeyRoleVRF) c
-hashVerKeyVRF = VRFVerKeyHash . Hash.castHash . VRF.hashVerKeyVRF
+hashVerKeyVRF = toVRFVerKeyHash . VRF.hashVerKeyVRF
+
+toVRFVerKeyHash ::
+  Hash.Hash (HASH c) (VRF.VerKeyVRF v) -> VRFVerKeyHash (r :: KeyRoleVRF) c
+toVRFVerKeyHash = VRFVerKeyHash . Hash.castHash
+
+fromVRFVerKeyHash ::
+  VRFVerKeyHash (r :: KeyRoleVRF) c -> Hash.Hash (HASH c) (VRF.VerKeyVRF v)
+fromVRFVerKeyHash = Hash.castHash . unVRFVerKeyHash