diff --git a/libs/cardano-ledger-core/src/Cardano/Ledger/Keys/Internal.hs b/libs/cardano-ledger-core/src/Cardano/Ledger/Keys/Internal.hs
index 8090fa12811..c6943b5bc1a 100644
--- 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