Merge pull request #1222 from input-output-hk/ch1bo/refactor-offline-mode

Refactor offline-mode

Author: v0d1ch

CHANGELOG.md

@@ -24,14 +24,22 @@ changes.
   - Renamed `HasInlineDatums` type class to `IsBabbageEraOnwards`. Use
     `babbageEraOnwards` to produce witnesses for features from babbage onwards.
 
-- New top-level offline mode command, `offline`
-  - Initializes ledger via `--initial-utxo` parameter, and does not connect to a
-    cardano-node.
-- Hydra.Options split into Hydra.Options.Common, Hydra.Options.Offline,
-  Hydra.Options.Online, re-exported from Hydra.Options.
-
 - Report error on unsupported era.
 
+- New `offline` sub-command for `hydra-node`:
+  - Initializes a head with given `--initial-utxo` parameter, and does not
+    connect to the Cardano network.
+  - Transactions submitted on the L2 are validated as usual, where the offline
+    chain simulates time passing in slots.
+  - The `--ledger-genesis` option allows to give a shelley genesis file to
+    configure start time and slot length of the simulated chain time.
+
+- The `hydra-node` now also has a default `--node-id` (`"hydra-node-1"`) to
+  simplify configuration.
+
+- **BREAKING** Changes the `NodeOptions` log output because of internal
+  restructuring of chain layer configuration.
+
 ## [0.14.0] - 2023-12-04
 
 - **BREAKING** Multiple changes to the Hydra Head protocol on-chain:

hydra-cardano-api/src/Hydra/Cardano/Api/TxOut.hs

@@ -104,6 +104,24 @@ findTxOutByScript utxo script =
     _ ->
       False
 
+-- | Predicate to find or filter 'TxOut' owned by a key. This
+-- is better than comparing the full address as it does not require a network
+-- discriminator.
+isVkTxOut ::
+  forall ctx era.
+  VerificationKey PaymentKey ->
+  TxOut ctx era ->
+  Bool
+isVkTxOut vk txOut =
+  case address of
+    (AddressInEra (ShelleyAddressInEra _) (ShelleyAddress _ (Ledger.KeyHashObj kh) _)) ->
+      keyHash == kh
+    _ -> False
+ where
+  (PaymentKeyHash keyHash) = verificationKeyHash vk
+
+  (TxOut address _ _ _) = txOut
+
 -- | Predicate to find or filter 'TxOut' which are governed by some script. This
 -- is better than comparing the full address as it does not require a network
 -- discriminator.

hydra-cluster/golden/RunOptions.json

@@ -157,6 +157,7 @@ test-suite tests
     Test.Hydra.Cluster.FaucetSpec
     Test.Ledger.Cardano.ConfigurationSpec
     Test.LogFilterSpec
+    Test.OfflineChainSpec
 
   build-depends:
     , aeson