Add SignedTransaction type

concordium-base.cabal

@@ -315,6 +315,7 @@ test-suite test
       Types.AmountSpec
       Types.ParametersSpec
       Types.PayloadSerializationSpec
+      Types.PayloadSpec
       Types.TransactionSerializationSpec
       Types.TransactionSummarySpec
       Types.UpdatesSpec

haskell-src/Concordium/Cost.hs

@@ -1,4 +1,5 @@
-{-# LANGUAGE DerivingVia, TypeFamilies #-}
+{-# LANGUAGE DerivingVia #-}
+{-# LANGUAGE TypeFamilies #-}
 
 -- |
 -- Definition of cost functions for the different transactions.
@@ -237,11 +238,11 @@ initializeContractInstanceCreateCost = 200
 updateContractInstanceBaseCost :: Energy
 updateContractInstanceBaseCost = 300
 
--- |Maximum amount of nested V1 contract calls. That is, the maximum amount of
--- execution frames that need to be kept alive at the same time.
+-- | Maximum amount of nested V1 contract calls. That is, the maximum amount of
+--  execution frames that need to be kept alive at the same time.
 --
--- Since each frame that is kept alive can consume up to 32MB of memory this limits
--- the worst case memory use of contract calls.
+--  Since each frame that is kept alive can consume up to 32MB of memory this limits
+--  the worst case memory use of contract calls.
 allowedContractCallDepth :: SProtocolVersion pv -> Word -> Bool
 allowedContractCallDepth spv n = demoteProtocolVersion spv <= P6 || n < 384
 

haskell-src/Concordium/Crypto/EncryptedTransfers.hs

@@ -297,6 +297,15 @@ instance FromJSON EncryptedAmountTransferData where
         eatdProof <- v .: "proof"
         return EncryptedAmountTransferData{..}
 
+instance ToJSON EncryptedAmountTransferData where
+    toJSON EncryptedAmountTransferData{..} =
+        object
+            [ "remainingAmount" .= eatdRemainingAmount,
+              "transferAmount" .= eatdTransferAmount,
+              "index" .= eatdIndex,
+              "proof" .= eatdProof
+            ]
+
 withEncryptedAmountTransferData ::
     EncryptedAmountTransferData ->
     (Ptr ElgamalCipher -> Ptr ElgamalCipher -> Ptr ElgamalCipher -> Ptr ElgamalCipher -> EncryptedAmountAggIndex -> Word64 -> Ptr CChar -> IO a) ->
@@ -491,6 +500,14 @@ instance FromJSON SecToPubAmountTransferData where
         stpatdProof <- v .: "proof"
         return SecToPubAmountTransferData{..}
 
+instance ToJSON SecToPubAmountTransferData where
+    toJSON SecToPubAmountTransferData{..} =
+        object
+            [ "remainingAmount" .= stpatdRemainingAmount,
+              "transferAmount" .= stpatdTransferAmount,
+              "index" .= stpatdIndex,
+              "proof" .= stpatdProof
+            ]
 withSecToPubAmountTransferData ::
     SecToPubAmountTransferData ->
     (Ptr ElgamalCipher -> Ptr ElgamalCipher -> Word64 -> EncryptedAmountAggIndex -> Word64 -> Ptr CChar -> IO a) ->

haskell-src/Concordium/ID/Types.hs

@@ -784,6 +784,7 @@ instance Serialize CredentialDeploymentInformation where
 instance Eq CredentialDeploymentInformation where
     cdi1 == cdi2 = cdiValues cdi1 == cdiValues cdi2
 
+-- Implement `FromJSON` instance for `CredentialDeploymentInformation`.
 instance FromJSON CredentialDeploymentInformation where
     parseJSON = withObject "CredentialDeploymentInformation" $ \x -> do
         cdiValues <- parseJSON (Object x)
@@ -797,6 +798,13 @@ instance FromJSON CredentialDeploymentInformation where
                         }
             Left _ -> fail "\"proofs\" is not a valid base16 string."
 
+-- Implement `ToJSON` instance for `CredentialDeploymentInformation`.
+instance ToJSON CredentialDeploymentInformation where
+    toJSON CredentialDeploymentInformation{..} =
+        object $
+            ("proofs" .= cdiProofs)
+                : credentialDeploymentValuesList cdiValues
+
 -- | Information about the account that should be created as part of the initial
 --  credential deployment.
 data InitialCredentialAccount = InitialCredentialAccount

haskell-src/Concordium/Types.hs

@@ -711,7 +711,7 @@ instance Show Address where
 
 -- | Time in seconds since the unix epoch
 newtype TransactionTime = TransactionTime {ttsSeconds :: Word64}
-    deriving (Show, Read, Eq, Num, Ord, FromJSON, ToJSON, Real, Enum, Integral) via Word64
+    deriving (Show, Read, Eq, Num, Ord, Real, FromJSON, ToJSON, Enum, Integral) via Word64
 
 instance S.Serialize TransactionTime where
     put = P.putWord64be . ttsSeconds

haskell-src/Concordium/Types/Execution.hs

@@ -6,6 +6,7 @@
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE PatternSynonyms #-}
+{-# LANGUAGE RecordWildCards #-}
 {-# LANGUAGE TemplateHaskell #-}
 
 module Concordium.Types.Execution where
@@ -18,6 +19,7 @@ import Concordium.Utils.Serialization
 import Data.Aeson ((.:), (.=))
 import qualified Data.Aeson as AE
 import Data.Aeson.TH
+import Data.Aeson.Types (Parser)
 import Data.Bits
 import qualified Data.ByteString as BS
 import qualified Data.ByteString.Short as BSS
@@ -159,6 +161,29 @@ bakerKeysWithProofsSize :: Int
 bakerKeysWithProofsSize =
     VRF.publicKeySize + dlogProofSize + Sig.publicKeySize + dlogProofSize + Bls.publicKeySize + Bls.proofSize
 
+-- Implement `ToJSON` instance for `BakerKeysWithProofs`.
+instance AE.ToJSON BakerKeysWithProofs where
+    toJSON BakerKeysWithProofs{..} =
+        AE.object
+            [ "electionVerifyKey" AE..= bkwpElectionVerifyKey,
+              "electionKeyOwnershipProof" AE..= bkwpProofElection,
+              "signatureVerifyKey" AE..= bkwpSignatureVerifyKey,
+              "signatureKeyOwnershipProof" AE..= bkwpProofSig,
+              "aggregationVerifyKey" AE..= bkwpAggregationVerifyKey,
+              "aggregationKeyOwnershipProof" AE..= bkwpProofAggregation
+            ]
+
+-- Implement `FromJSON` instance for `BakerKeysWithProofs`.
+instance AE.FromJSON BakerKeysWithProofs where
+    parseJSON = AE.withObject "BakerKeysWithProofs" $ \obj -> do
+        bkwpElectionVerifyKey <- obj AE..: "electionVerifyKey"
+        bkwpProofElection <- obj AE..: "electionKeyOwnershipProof"
+        bkwpSignatureVerifyKey <- obj AE..: "signatureVerifyKey"
+        bkwpProofSig <- obj AE..: "signatureKeyOwnershipProof"
+        bkwpAggregationVerifyKey <- obj AE..: "aggregationVerifyKey"
+        bkwpProofAggregation <- obj AE..: "aggregationKeyOwnershipProof"
+        return BakerKeysWithProofs{..}
+
 -- | The transaction payload. Defines the supported kinds of transactions.
 --
 --   * @SPEC: <$DOCS/Transactions#transaction-body>
@@ -404,6 +429,235 @@ instance S.Serialize TransactionType where
             20 -> return TTConfigureDelegation
             n -> fail $ "Unrecognized TransactionType tag: " ++ show n
 
+instance AE.ToJSON Payload where
+    -- `mod` was renamed to `module`
+    toJSON DeployModule{..} = AE.object ["module" AE..= dmMod, "transactionType" AE..= AE.String "deployModule"]
+    toJSON InitContract{..} =
+        AE.object
+            [ "amount" AE..= icAmount,
+              "modRef" AE..= icModRef,
+              "initName" AE..= icInitName,
+              "param" AE..= icParam,
+              "transactionType" AE..= AE.String "initContract"
+            ]
+    toJSON Update{..} =
+        AE.object
+            [ "amount" AE..= uAmount,
+              "address" AE..= uAddress,
+              "receiveName" AE..= uReceiveName,
+              "message" AE..= uMessage,
+              "transactionType" AE..= AE.String "update"
+            ]
+    toJSON Transfer{..} =
+        AE.object
+            ["toAddress" AE..= tToAddress, "amount" AE..= tAmount, "transactionType" AE..= AE.String "transfer"]
+    toJSON UpdateCredentialKeys{..} =
+        AE.object
+            [ "credId" AE..= uckCredId,
+              "keys" AE..= uckKeys,
+              "transactionType" AE..= AE.String "updateCredentialKeys"
+            ]
+    toJSON EncryptedAmountTransfer{..} =
+        AE.object
+            [ "to" AE..= eatTo,
+              "data" AE..= eatData,
+              "transactionType" AE..= AE.String "encryptedAmountTransfer"
+            ]
+    toJSON TransferToEncrypted{..} = AE.object ["amount" AE..= tteAmount, "transactionType" AE..= AE.String "transferToEncrypted"]
+    toJSON TransferToPublic{..} = AE.object ["data" AE..= ttpData, "transactionType" AE..= AE.String "transferToPublic"]
+    toJSON TransferWithSchedule{..} =
+        AE.object
+            [ "to" AE..= twsTo,
+              "schedule" AE..= twsSchedule,
+              "transactionType" AE..= AE.String "transferWithSchedule"
+            ]
+    toJSON UpdateCredentials{..} =
+        AE.object
+            [ "newCredInfos" AE..= ucNewCredInfos,
+              "removeCredIds" AE..= ucRemoveCredIds,
+              "newThreshold" AE..= ucNewThreshold,
+              "transactionType" AE..= AE.String "updateCredentials"
+            ]
+    toJSON RegisterData{..} = AE.object ["data" AE..= rdData, "transactionType" AE..= AE.String "registerData"]
+    toJSON TransferWithMemo{..} =
+        AE.object
+            [ "toAddress" AE..= twmToAddress,
+              "memo" AE..= twmMemo,
+              "amount" AE..= twmAmount,
+              "transactionType" AE..= AE.String "transferWithMemo"
+            ]
+    toJSON EncryptedAmountTransferWithMemo{..} =
+        AE.object
+            [ "to" AE..= eatwmTo,
+              "memo" AE..= eatwmMemo,
+              "data" AE..= eatwmData,
+              "transactionType" AE..= AE.String "encryptedAmountTransferWithMemo"
+            ]
+    toJSON TransferWithScheduleAndMemo{..} =
+        AE.object
+            [ "to" AE..= twswmTo,
+              "memo" AE..= twswmMemo,
+              "schedule" AE..= twswmSchedule,
+              "transactionType" AE..= AE.String "transferWithScheduleAndMemo"
+            ]
+    -- `configureBaker` was renamed to `configureValidator`
+    toJSON ConfigureBaker{..} =
+        AE.object
+            [ "capital" AE..= cbCapital,
+              "restakeEarnings" AE..= cbRestakeEarnings,
+              "openForDelegation" AE..= cbOpenForDelegation,
+              "keysWithProofs" AE..= cbKeysWithProofs,
+              "metadataURL" AE..= cbMetadataURL,
+              "transactionFeeCommission" AE..= cbTransactionFeeCommission,
+              "bakingRewardCommission" AE..= cbBakingRewardCommission,
+              "finalizationRewardCommission" AE..= cbFinalizationRewardCommission,
+              "transactionType" AE..= AE.String "configureValidator"
+            ]
+    toJSON ConfigureDelegation{..} =
+        AE.object
+            [ "capital" AE..= cdCapital,
+              "restakeEarnings" AE..= cdRestakeEarnings,
+              "delegationTarget" AE..= cdDelegationTarget,
+              "transactionType" AE..= AE.String "configureDelegation"
+            ]
+    toJSON AddBaker{..} =
+        AE.object
+            [ "electionVerifyKey" AE..= abElectionVerifyKey,
+              "signatureVerifyKey" AE..= abSignatureVerifyKey,
+              "aggregationVerifyKey" AE..= abAggregationVerifyKey,
+              "proofSig" AE..= abProofSig,
+              "proofElection" AE..= abProofElection,
+              "proofAggregation" AE..= abProofAggregation,
+              "bakingStake" AE..= abBakingStake,
+              "restakeEarnings" AE..= abRestakeEarnings,
+              "transactionType" AE..= AE.String "addBaker"
+            ]
+    toJSON RemoveBaker = AE.object ["transactionType" AE..= AE.String "removeBaker"]
+    toJSON UpdateBakerStake{..} = AE.object ["stake" AE..= ubsStake, "transactionType" AE..= AE.String "updateBakerStake"]
+    toJSON UpdateBakerRestakeEarnings{..} =
+        AE.object
+            [ "restakeEarnings" AE..= ubreRestakeEarnings,
+              "transactionType" AE..= AE.String "updateBakerRestakeEarnings"
+            ]
+    toJSON UpdateBakerKeys{..} =
+        AE.object
+            [ "electionVerifyKey" AE..= ubkElectionVerifyKey,
+              "signatureVerifyKey" AE..= ubkSignatureVerifyKey,
+              "aggregationVerifyKey" AE..= ubkAggregationVerifyKey,
+              "proofSig" AE..= ubkProofSig,
+              "proofElection" AE..= ubkProofElection,
+              "proofAggregation" AE..= ubkProofAggregation,
+              "transactionType" AE..= AE.String "updateBakerKeys"
+            ]
+
+instance AE.FromJSON Payload where
+    parseJSON = AE.withObject "payload" $ \obj -> do
+        transactionType <- obj AE..: "transactionType" :: Parser String
+
+        case transactionType of
+            "deployModule" -> do
+                dmMod <- obj AE..: "module"
+                return DeployModule{..}
+            "initContract" -> do
+                icAmount <- obj AE..: "amount"
+                icModRef <- obj AE..: "modRef"
+                icInitName <- obj AE..: "initName"
+                icParam <- obj AE..: "param"
+                return InitContract{..}
+            "update" -> do
+                uAmount <- obj AE..: "amount"
+                uAddress <- obj AE..: "address"
+                uReceiveName <- obj AE..: "receiveName"
+                uMessage <- obj AE..: "message"
+                return Update{..}
+            "transfer" -> do
+                tToAddress <- obj AE..: "toAddress"
+                tAmount <- obj AE..: "amount"
+                return Transfer{..}
+            "UpdateBakerStake" -> do
+                ubsStake <- obj AE..: "stake"
+                return UpdateBakerStake{..}
+            "updateBakerRestakeEarnings" -> do
+                ubreRestakeEarnings <- obj AE..: "restakeEarnings"
+                return UpdateBakerRestakeEarnings{..}
+            "updateBakerKeys" -> do
+                ubkElectionVerifyKey <- obj AE..: "electionVerifyKey"
+                ubkSignatureVerifyKey <- obj AE..: "signatureVerifyKey"
+                ubkAggregationVerifyKey <- obj AE..: "aggregationVerifyKey"
+                ubkProofSig <- obj AE..: "proofSig"
+                ubkProofElection <- obj AE..: "proofElection"
+                ubkProofAggregation <- obj AE..: "proofAggregation"
+                return UpdateBakerKeys{..}
+            "updateCredentialKeys" -> do
+                uckCredId <- obj AE..: "credId"
+                uckKeys <- obj AE..: "keys"
+                return UpdateCredentialKeys{..}
+            "removeBaker" -> do
+                return RemoveBaker
+            "addBaker" -> do
+                abElectionVerifyKey <- obj AE..: "electionVerifyKey"
+                abSignatureVerifyKey <- obj AE..: "signatureVerifyKey"
+                abAggregationVerifyKey <- obj AE..: "aggregationVerifyKey"
+                abProofSig <- obj AE..: "proofSig"
+                abProofElection <- obj AE..: "proofElection"
+                abProofAggregation <- obj AE..: "proofAggregation"
+                abBakingStake <- obj AE..: "bakingStake"
+                abRestakeEarnings <- obj AE..: "restakeEarnings"
+                return AddBaker{..}
+            "encryptedAmountTransfer" -> do
+                eatTo <- obj AE..: "to"
+                eatData <- obj AE..: "data"
+                return EncryptedAmountTransfer{..}
+            "transferToEncrypted" -> do
+                tteAmount <- obj AE..: "amount"
+                return TransferToEncrypted{..}
+            "transferToPublic" -> do
+                ttpData <- obj AE..: "data"
+                return TransferToPublic{..}
+            "transferWithSchedule" -> do
+                twsTo <- obj AE..: "to"
+                twsSchedule <- obj AE..: "schedule"
+                return TransferWithSchedule{..}
+            "updateCredentials" -> do
+                ucNewCredInfos <- obj AE..: "newCredInfos"
+                ucRemoveCredIds <- obj AE..: "removeCredIds"
+                ucNewThreshold <- obj AE..: "newThreshold"
+                return UpdateCredentials{..}
+            "registerData" -> do
+                rdData <- obj AE..: "data"
+                return RegisterData{..}
+            "transferWithMemo" -> do
+                twmToAddress <- obj AE..: "toAddress"
+                twmMemo <- obj AE..: "memo"
+                twmAmount <- obj AE..: "amount"
+                return TransferWithMemo{..}
+            "encryptedAmountTransferWithMemo" -> do
+                eatwmTo <- obj AE..: "to"
+                eatwmMemo <- obj AE..: "memo"
+                eatwmData <- obj AE..: "data"
+                return EncryptedAmountTransferWithMemo{..}
+            "transferWithScheduleAndMemo" -> do
+                twswmTo <- obj AE..: "to"
+                twswmMemo <- obj AE..: "memo"
+                twswmSchedule <- obj AE..: "schedule"
+                return TransferWithScheduleAndMemo{..}
+            "configureValidator" -> do
+                cbCapital <- obj AE..: "capital"
+                cbRestakeEarnings <- obj AE..: "restakeEarnings"
+                cbOpenForDelegation <- obj AE..: "openForDelegation"
+                cbKeysWithProofs <- obj AE..: "keysWithProofs"
+                cbMetadataURL <- obj AE..: "metadataURL"
+                cbTransactionFeeCommission <- obj AE..: "transactionFeeCommission"
+                cbBakingRewardCommission <- obj AE..: "bakingRewardCommission"
+                cbFinalizationRewardCommission <- obj AE..: "finalizationRewardCommission"
+                return ConfigureBaker{..}
+            "configureDelegation" -> do
+                cdCapital <- obj AE..: "capital"
+                cdRestakeEarnings <- obj AE..: "restakeEarnings"
+                cdDelegationTarget <- obj AE..: "delegationTarget"
+                return ConfigureDelegation{..}
+            _ -> fail "Unrecognized 'TransactionType' tag"
+
 -- | Payload serialization according to
 --
 --   * @SPEC: <$DOCS/Transactions#transaction-body>
@@ -2258,6 +2512,7 @@ instance S.Serialize RejectReason where
             n -> fail $ "Unrecognized RejectReason tag: " ++ show n
 
 instance AE.ToJSON RejectReason
+
 instance AE.FromJSON RejectReason
 
 -- | Reasons for the execution of a transaction to fail on the current block state.