Introduce gov/committee/v0 namespace

Author: qnikst

scls-cddl/cddl-src/Cardano/SCLS/CDDL.hs

@@ -6,6 +6,7 @@ module Cardano.SCLS.CDDL (
 ) where
 
 import Cardano.SCLS.Namespace.Blocks qualified as Blocks
+import Cardano.SCLS.Namespace.GovCommittee qualified as GovCommittee
 import Cardano.SCLS.Namespace.GovConstitution qualified as GovConstitution
 import Cardano.SCLS.Namespace.GovPParams qualified as GovPParams
 import Cardano.SCLS.Namespace.PoolStake qualified as PoolStake
@@ -34,6 +35,7 @@ namespaces =
     , ("pots/v0", NamespaceInfo (collectFromInit [HIRule Pots.record_entry]) 8) -- Key is epoch number
     , ("pool_stake/v0", NamespaceInfo (collectFromInit [HIRule PoolStake.record_entry]) 28) -- 28 bytes for key
     , ("snapshots/v0", NamespaceInfo (collectFromInit [HIRule Snapshots.record_entry]) 30)
+    , ("gov/committee/v0", NamespaceInfo (collectFromInit [HIRule GovCommittee.record_entry]) 8)
     , ("gov/constitution/v0", NamespaceInfo (collectFromInit [HIRule GovConstitution.record_entry]) 8)
     , ("gov/pparams/v0", NamespaceInfo (collectFromInit [HIRule GovPParams.record_entry]) 4)
     ]

scls-cddl/cddl-src/Cardano/SCLS/Common.hs

@@ -188,6 +188,15 @@ positive_int = "positive_int" =:= (1 :: Integer) ... maxWord64
 maxWord64 :: Integer
 maxWord64 = 18446744073709551615
 
+credential :: Rule
+credential =
+  "credential"
+    =:= arr [0, a addr_keyhash]
+    / arr [1, a script_hash]
+
+addr_keyhash :: Rule
+addr_keyhash = "addr_keyhash" =:= hash28
+
 script_hash :: Rule
 script_hash =
   comment
@@ -201,3 +210,14 @@ script_hash =
         |  - "\x03" for Plutus V3 scripts
     |]
     $ "script_hash" =:= hash28
+
+anchor :: Rule
+anchor =
+  "anchor"
+    =:= arr
+      [ "anchor_url" ==> url
+      , "anchor_data_hash" ==> hash32
+      ]
+
+epoch_no :: Rule
+epoch_no = "epoch_no" =:= VUInt `sized` (8 :: Word64)

scls-cddl/cddl-src/Cardano/SCLS/Namespace/GovCommittee.hs

@@ -0,0 +1,32 @@
+{-# LANGUAGE ImportQualifiedPost #-}
+{-# LANGUAGE OverloadedLists #-}
+{-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE QuasiQuotes #-}
+{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE NoImplicitPrelude #-}
+{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
+
+{-# HLINT ignore "Use camelCase" #-}
+module Cardano.SCLS.Namespace.GovCommittee where
+
+import Cardano.SCLS.Common
+import Codec.CBOR.Cuddle.Huddle
+import Data.Function (($))
+import Text.Heredoc (str)
+
+record_entry :: Rule
+record_entry =
+  comment
+    [str| The key for the entry is epoch number (8 bytes) |]
+    $ "record_entry" =:= committee
+
+committee :: Rule
+committee =
+  "committee"
+    =:= (mp [0 <+ asKey credential ==> committee_authorization])
+
+committee_authorization :: Rule
+committee_authorization =
+  "committee_authorization"
+    =:= arr [0, a credential]
+    / arr [1, a (anchor / VNil)]

scls-cddl/cddl-src/Cardano/SCLS/Namespace/GovConstitution.hs

@@ -21,14 +21,6 @@ record_entry =
         |]
     $ "record_entry" =:= constitution
 
-anchor :: Rule
-anchor =
-  "anchor"
-    =:= arr
-      [ "anchor_url" ==> url
-      , "anchor_data_hash" ==> hash32
-      ]
-
 constitution :: Rule
 constitution =
   "constitution"

scls-cddl/cddl-src/Cardano/SCLS/Namespace/Snapshots.hs

@@ -38,15 +38,6 @@ record_key =
 pool_keyhash :: Rule
 pool_keyhash = "pool_keyhash" =:= hash28
 
-addr_keyhash :: Rule
-addr_keyhash = "addr_keyhash" =:= hash28
-
-credential :: Rule
-credential =
-  "credential"
-    =:= arr [0, a addr_keyhash]
-    / arr [1, a script_hash]
-
 snapshot_out :: Rule
 snapshot_out =
   comment

scls-cddl/scls-cddl.cabal

@@ -29,6 +29,7 @@ library
   other-modules:
     Cardano.SCLS.Common
     Cardano.SCLS.Namespace.Blocks
+    Cardano.SCLS.Namespace.GovCommittee
     Cardano.SCLS.Namespace.GovConstitution
     Cardano.SCLS.Namespace.GovPParams
     Cardano.SCLS.Namespace.PoolStake