cardano-rpc | Add native script deserialised form

Author: carbolymer

cardano-rpc/proto/utxorpc/v1alpha/cardano/cardano.proto

@@ -37,6 +37,29 @@ message MultiAsset {
   repeated Asset assets = 2; // List of custom assets.
 }
 
+// Represents a native script in Cardano.
+message NativeScript {
+  oneof native_script {
+    bytes script_pubkey = 1; // Script based on an address key hash.
+    NativeScriptList script_all = 2; // Script that requires all nested scripts to be satisfied.
+    NativeScriptList script_any = 3; // Script that requires any of the nested scripts to be satisfied.
+    ScriptNOfK script_n_of_k = 4; // Script that requires k out of n nested scripts to be satisfied.
+    uint64 invalid_before = 5; // Slot number before which the script is invalid.
+    uint64 invalid_hereafter = 6; // Slot number after which the script is invalid.
+  }
+}
+
+// Represents a list of native scripts.
+message NativeScriptList {
+  repeated NativeScript items = 1; // List of native scripts.
+}
+
+// Represents a "k out of n" native script.
+message ScriptNOfK {
+  uint32 k = 1; // The number of required satisfied scripts.
+  repeated NativeScript scripts = 2; // List of native scripts.
+}
+
 // Represents a constructor for Plutus data in Cardano.
 message Constr {
   uint32 tag = 1;
@@ -83,10 +106,9 @@ message PlutusDataArray {
 
 
 // Represents a script in Cardano.
-// TODO u5c: removed native script representation
 message Script {
   oneof script {
-    bytes native = 1; // Native script.
+    NativeScript native = 1; // Native script.
     bytes plutus_v1 = 2; // Plutus V1 script.
     bytes plutus_v2 = 3; // Plutus V2 script.
     bytes plutus_v3 = 4; // Plutus V3 script.

cardano-rpc/src/Cardano/Rpc/Server/Internal/Orphans.hs

@@ -12,6 +12,7 @@
 module Cardano.Rpc.Server.Internal.Orphans () where
 
 import Cardano.Api.Address
+import Cardano.Api.Block (SlotNo (..))
 import Cardano.Api.Era
 import Cardano.Api.Error
 import Cardano.Api.Ledger qualified as L
@@ -79,15 +80,34 @@ instance Inject (ReferenceScript era) (Proto UtxoRpc.Script) where
   inject ReferenceScriptNone = defMessage
   inject (ReferenceScript _ (ScriptInAnyLang _ script)) =
     case script of
-      SimpleScript _ ->
-        defMessage & #native .~ serialiseToCBOR script
+      SimpleScript ss ->
+        defMessage & #native .~ inject ss
       PlutusScript PlutusScriptV1 ps ->
         defMessage & #plutusV1 .~ serialiseToRawBytes ps
       PlutusScript PlutusScriptV2 ps ->
         defMessage & #plutusV2 .~ serialiseToRawBytes ps
       PlutusScript PlutusScriptV3 ps ->
         defMessage & #plutusV3 .~ serialiseToRawBytes ps
 
+instance Inject SimpleScript (Proto UtxoRpc.NativeScript) where
+  inject = \case
+    RequireSignature paymentKeyHash ->
+      defMessage & #scriptPubkey .~ serialiseToRawBytes paymentKeyHash
+    RequireTimeBefore (SlotNo slotNo) ->
+      defMessage & #invalidHereafter .~ slotNo
+    RequireTimeAfter (SlotNo slotNo) ->
+      defMessage & #invalidBefore .~ slotNo
+    RequireAllOf scripts ->
+      defMessage & #scriptAll . #items .~ map inject scripts
+    RequireAnyOf scripts ->
+      defMessage & #scriptAny . #items .~ map inject scripts
+    RequireMOf k scripts -> do
+      let nScriptsOf =
+            defMessage
+              & #k .~ fromIntegral k
+              & #scripts .~ map inject scripts
+      defMessage & #scriptNOfK .~ nScriptsOf
+
 instance Inject ScriptData (Proto UtxoRpc.PlutusData) where
   inject = \case
     ScriptDataBytes bs ->
@@ -120,7 +140,7 @@ instance IsCardanoEra era => Inject (UTxO era) [Proto UtxoRpc.AnyUtxoData] where
                       toList policyAssets <&> \(assetName, Quantity qty) -> do
                         defMessage
                           & #name .~ serialiseToRawBytes assetName
-                          -- we don't have access to info it the coin was minted in the transaction,
+                          -- we don't have access to info if the coin was minted in the transaction,
                           -- maybe we should add it later
                           & #maybe'mintCoin .~ Nothing
                           & #outputCoin .~ fromIntegral qty