Change PerasCert to contain ByteArray

Author: Soupstraw

eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/BlockBody/Internal.hs

@@ -67,8 +67,10 @@ import Cardano.Ledger.MemoBytes (
   mkMemoized,
   mkMemoizedEra,
  )
+import Cardano.Ledger.Orphans ()
 import Control.DeepSeq (NFData)
 import Control.Monad (forM_, unless)
+import Data.Array.Byte (ByteArray)
 import qualified Data.ByteString as BS
 import Data.Coerce (Coercible, coerce)
 import Data.Foldable (Foldable (..))
@@ -237,18 +239,13 @@ alignedValidFlags n invalidSet =
 -- | Placeholder for Peras certificates
 --
 -- NOTE: The real type will be brought from 'cardano-base' once it's ready.
-data PerasCert = PerasCert
-  deriving (Eq, Show, Generic, NoThunks)
-
-instance NFData PerasCert
+newtype PerasCert = PerasCert ByteArray
+  deriving (Eq, Show, Generic)
+  deriving newtype (EncCBOR, DecCBOR)
 
-instance EncCBOR PerasCert where
-  encCBOR PerasCert = encCBOR BS.empty
+instance NoThunks PerasCert
 
-instance DecCBOR PerasCert where
-  decCBOR = do
-    (_ :: BS.ByteString) <- decCBOR
-    pure PerasCert
+instance NFData PerasCert
 
 -- | Placeholder for Peras public keys
 --

eras/dijkstra/impl/testlib/Test/Cardano/Ledger/Dijkstra/Arbitrary.hs

@@ -291,7 +291,7 @@ instance
   arbitrary = genericArbitraryU
 
 instance Arbitrary PerasCert where
-  arbitrary = pure PerasCert
+  arbitrary = PerasCert <$> arbitrary
 
 instance
   ( EraBlockBody era