CardaxDEX CTL - testnet launch work PR

flake.nix

@@ -147,7 +147,7 @@
         easy-ps =
           import inputs.easy-purescript-nix { pkgs = prev; };
         ogmios-datum-cache =
-          inputs.ogmios-datum-cache.defaultPackage.${system};
+          inputs.ogmios-datum-cache.packages.${system}.ogmios-datum-cache;
         ogmios = ogmios.packages.${system}."ogmios:exe:ogmios";
         cardano-cli = cardano-node-exe.packages.${system}.cardano-cli;
         purescriptProject = import ./nix { inherit system; pkgs = prev; };

package.json

@@ -16,8 +16,8 @@
   "author": "",
   "license": "MIT",
   "dependencies": {
-    "@ngua/cardano-serialization-lib-browser": "^9.1.2",
-    "@ngua/cardano-serialization-lib-nodejs": "^9.1.2",
+    "@emurgo/cardano-serialization-lib-browser": "10.1.0",
+    "@emurgo/cardano-serialization-lib-nodejs": "10.1.0",
     "big-integer": "1.6.51",
     "blakejs": "1.2.1",
     "bufferutil": "4.0.5",

packages.dhall

@@ -151,7 +151,40 @@ let additions =
           ]
         , repo = "https://github.com/mlabs-haskell/purescript-aeson.git"
         , version = "69bd18c4a9cffdebc45c55d2448740721a91854c"
+        },
+        aeson-helpers =
+        { dependencies =
+        [ "aff"
+        , "argonaut-codecs"
+        , "argonaut-core"
+        , "arrays"
+        , "bifunctors"
+        , "contravariant"
+        , "control"
+        , "effect"
+        , "either"
+        , "enums"
+        , "foldable-traversable"
+        , "foreign-object"
+        , "maybe"
+        , "newtype"
+        , "ordered-collections"
+        , "prelude"
+        , "profunctor"
+        , "psci-support"
+        , "quickcheck"
+        , "record"
+        , "spec"
+        , "spec-quickcheck"
+        , "transformers"
+        , "tuples"
+        , "typelevel-prelude"
+        ]
+        , repo =
+        "https://github.com/mlabs-haskell/purescript-bridge-aeson-helpers.git"
+        , version = "44d0dae060cf78babd4534320192b58c16a6f45b"
         }
+
       , sequences =
         { dependencies =
           [ "arrays"

server/README.md

@@ -56,8 +56,8 @@ The server executable can be built with `nix build .#cardano-trasaction-lib-serv
 ### GET Parameters:
 
 - tx
-    - **Values**: *84a300818258205d677265fa5bb21ce6d8c7502aca70b9316d10e958611f3c6b758f65ad9599960001818258390030fb3b8539951e26f034910a5a37f22cb99d94d1d409f69ddbaea9711c12f03c1ef2e935acc35ec2e6f96c650fd3bfba3e96550504d5336100021a0002b569a0f5f6*
-    - **Description**: A CBOR-encoded `Tx AlonzoEra`; should be sent as a hexadecimal string
+     - **Values**: *84a300818258205d677265fa5bb21ce6d8c7502aca70b9316d10e958611f3c6b758f65ad9599960001818258390030fb3b8539951e26f034910a5a37f22cb99d94d1d409f69ddbaea9711c12f03c1ef2e935acc35ec2e6f96c650fd3bfba3e96550504d5336100021a0002b569a0f5f6*
+     - **Description**: A CBOR-encoded `Tx AlonzoEra`; should be sent as a hexadecimal string
 
 
 ### Response:
@@ -81,12 +81,12 @@ The server executable can be built with `nix build .#cardano-trasaction-lib-serv
 ### GET Parameters:
 
 - wit-count
-    - **Values**: *1*
-    - **Description**: A natural number representing the intended number of key witnessesfor the transaction
+     - **Values**: *1*
+     - **Description**: A natural number representing the intended number of key witnessesfor the transaction
 
 - tx
-    - **Values**: *84a300818258205d677265fa5bb21ce6d8c7502aca70b9316d10e958611f3c6b758f65ad9599960001818258390030fb3b8539951e26f034910a5a37f22cb99d94d1d409f69ddbaea9711c12f03c1ef2e935acc35ec2e6f96c650fd3bfba3e96550504d5336100021a0002b569a0f5f6*
-    - **Description**: A CBOR-encoded `Tx AlonzoEra`; should be sent as a hexadecimal string
+     - **Values**: *84a300818258205d677265fa5bb21ce6d8c7502aca70b9316d10e958611f3c6b758f65ad9599960001818258390030fb3b8539951e26f034910a5a37f22cb99d94d1d409f69ddbaea9711c12f03c1ef2e935acc35ec2e6f96c650fd3bfba3e96550504d5336100021a0002b569a0f5f6*
+     - **Description**: A CBOR-encoded `Tx AlonzoEra`; should be sent as a hexadecimal string
 
 
 ### Response:
@@ -135,3 +135,34 @@ The server executable can be built with `nix build .#cardano-trasaction-lib-serv
 ```javascript
 "84a300818258205d677265fa5bb21ce6d8c7502aca70b9316d10e958611f3c6b758f65ad9599960001818258390030fb3b8539951e26f034910a5a37f22cb99d94d1d409f69ddbaea9711c12f03c1ef2e935acc35ec2e6f96c650fd3bfba3e96550504d5336100021a0002b569a0f5f6"
 ```
+
+## POST /plutus-hash
+
+### Request:
+
+- Supported content types are:
+
+    - `application/json;charset=utf-8`
+    - `application/json`
+
+- Request consisting of a HashMethod and the bytestring to be hashed (`application/json;charset=utf-8`, `application/json`):
+
+```javascript
+{"bytes":"666f6f","method":"blake2b_256"}
+```
+
+### Response:
+
+- Status code 200
+- Headers: []
+
+- Supported content types are:
+
+    - `application/json;charset=utf-8`
+    - `application/json`
+
+- Hash bytes are returned as hexidecimal string (`application/json;charset=utf-8`, `application/json`):
+
+```javascript
+{"hash":"b8fe9f7f6255a6fa08f668ab632a8d081ad87983c77cd274e48ce450f0b349fd","method":"blake2b_256"}
+```

server/ctl-server.cabal

@@ -15,6 +15,8 @@ common common-language
     DeriveLift
     DeriveTraversable
     DerivingStrategies
+    DerivingVia
+    DuplicateRecordFields
     ExplicitForAll
     FlexibleContexts
     FlexibleInstances

server/src/Api.hs

@@ -69,6 +69,8 @@ type Api =
     :<|> "apply-args"
       :> ReqBody '[JSON] ApplyArgsRequest
       :> Post '[JSON] AppliedScript
+    -- Making this a POST request so we can just use the @From/ToJSON@
+    -- instances instead of decoding in the handler
     :<|> "eval-ex-units"
       :> QueryParam' '[Required] "tx" Cbor
       :> Get '[JSON] ExecutionUnitsMap

server/src/Types.hs

@@ -1,5 +1,3 @@
-{-# LANGUAGE DerivingVia #-}
-
 module Types (
   AppM (AppM),
   ServerOptions (..),
@@ -28,7 +26,7 @@ import Control.Exception (Exception)
 import Control.Monad.Catch (MonadThrow)
 import Control.Monad.IO.Class (MonadIO)
 import Control.Monad.Reader (MonadReader, ReaderT, asks)
-import Data.Aeson (FromJSON, ToJSON (toJSON))
+import Data.Aeson (FromJSON (parseJSON), ToJSON (toJSON))
 import Data.Aeson qualified as Aeson
 import Data.Aeson.Encoding qualified as Aeson.Encoding
 import Data.Aeson.Types (withText)

server/test/Main.hs

@@ -327,8 +327,8 @@ fixedProtocolParameters =
 
 loadParametersFile :: IO (Either String ProtocolParameters)
 loadParametersFile =
-  ByteString.readFile "test/ogmios.json"
-    >>= pure . decodeProtocolParameters
+  decodeProtocolParameters
+    <$> ByteString.readFile "test/ogmios.json"
 
 testParser :: Spec
 testParser =

spago.dhall

@@ -5,6 +5,7 @@ You can edit this file as you like.
 { name = "cardano-transaction-lib"
 , dependencies =
   [ "aeson"
+  , "aeson-helpers"
   , "aff"
   , "aff-promise"
   , "affjax"
@@ -39,6 +40,7 @@ You can edit this file as you like.
   , "node-buffer"
   , "node-fs"
   , "node-fs-aff"
+  , "node-path"
   , "nonempty"
   , "ordered-collections"
   , "partial"
@@ -53,6 +55,7 @@ You can edit this file as you like.
   , "spec"
   , "strings"
   , "tailrec"
+  , "text-encoding"
   , "these"
   , "transformers"
   , "tuples"

src/BalanceTx.purs

@@ -99,7 +99,6 @@ import QueryM
 import QueryM.Utxos (utxosAt)
 import ReindexRedeemers
   ( ReindexErrors
-  , reindexSpentScriptRedeemers
   , reindexSpentScriptRedeemers'
   )
 import Serialization.Address

src/Cardano/Types/Value.purs

@@ -50,9 +50,7 @@ import Prelude hiding (join)
 import Aeson
   ( class DecodeAeson
   , class EncodeAeson
-  , JsonDecodeError
-      ( TypeMismatch
-      )
+  , JsonDecodeError(TypeMismatch)
   , caseAesonObject
   , encodeAeson'
   , getField

src/Contract/Scripts.purs

@@ -70,7 +70,9 @@ import Data.Either (Either, hush)
 import Data.Maybe (Maybe)
 import Data.Newtype (class Newtype)
 import Types.PlutusData (PlutusData)
-import Types.Scripts (PlutusScript)
+import Types.Scripts
+  ( PlutusScript
+  )
 
 -- | Apply `PlutusData` arguments to any type isomorphic to `PlutusScript`,
 -- | returning an updated script with the provided arguments applied

src/Deserialization/FromBytes.js

@@ -2,9 +2,9 @@
 
 var lib;
 if (typeof BROWSER_RUNTIME != 'undefined' && BROWSER_RUNTIME) {
-    lib = require('@ngua/cardano-serialization-lib-browser');
+    lib = require('@emurgo/cardano-serialization-lib-browser');
 } else {
-    lib = require('@ngua/cardano-serialization-lib-nodejs');
+    lib = require('@emurgo/cardano-serialization-lib-nodejs');
 }
 
 const fromBytes = name => helper => bytes => {

src/Deserialization/FromBytes.purs

@@ -28,7 +28,7 @@ import Serialization.Types
   , TransactionWitnessSet
   , VRFKeyHash
   )
-import Type.Prelude (Proxy(..))
+import Type.Prelude (Proxy(Proxy))
 import Type.Row (type (+))
 import Types.ByteArray (ByteArray)
 

src/Deserialization/NativeScript.js

@@ -2,9 +2,9 @@
 
 var lib;
 if (typeof BROWSER_RUNTIME != 'undefined' && BROWSER_RUNTIME) {
-    lib = require('@ngua/cardano-serialization-lib-browser');
+    lib = require('@emurgo/cardano-serialization-lib-browser');
 } else {
-    lib = require('@ngua/cardano-serialization-lib-nodejs');
+    lib = require('@emurgo/cardano-serialization-lib-nodejs');
 }
 
 const getNativeScriptAs = prop => maybe => ns => {

src/Deserialization/PlutusData.js

@@ -1,9 +1,9 @@
 /* global require exports BROWSER_RUNTIME */
 var lib;
 if (typeof BROWSER_RUNTIME != 'undefined' && BROWSER_RUNTIME) {
-    lib = require('@ngua/cardano-serialization-lib-browser');
+    lib = require('@emurgo/cardano-serialization-lib-browser');
 } else {
-    lib = require('@ngua/cardano-serialization-lib-nodejs');
+    lib = require('@emurgo/cardano-serialization-lib-nodejs');
 }
 
 const plutusDataAs = what => helper => data => {

src/Deserialization/UnspentOutput.js

@@ -2,9 +2,9 @@
 
 var lib;
 if (typeof BROWSER_RUNTIME != 'undefined' && BROWSER_RUNTIME) {
-    lib = require('@ngua/cardano-serialization-lib-browser');
+    lib = require('@emurgo/cardano-serialization-lib-browser');
 } else {
-    lib = require('@ngua/cardano-serialization-lib-nodejs');
+    lib = require('@emurgo/cardano-serialization-lib-nodejs');
 }
 
 const call = property => object => object[property]();

src/Deserialization/WitnessSet.js

@@ -2,9 +2,9 @@
 
 var lib;
 if (typeof BROWSER_RUNTIME != 'undefined' && BROWSER_RUNTIME) {
-    lib = require('@ngua/cardano-serialization-lib-browser');
+    lib = require('@emurgo/cardano-serialization-lib-browser');
 } else {
-    lib = require('@ngua/cardano-serialization-lib-nodejs');
+    lib = require('@emurgo/cardano-serialization-lib-nodejs');
 }
 
 const call = property => object => object[property]();

src/Hashing.js

@@ -6,9 +6,9 @@ const SHA3 = require('jssha/dist/sha3');
 
 let lib;
 if (typeof BROWSER_RUNTIME != 'undefined' && BROWSER_RUNTIME) {
-    lib = require('@ngua/cardano-serialization-lib-browser');
+    lib = require('@emurgo/cardano-serialization-lib-browser');
 } else {
-    lib = require('@ngua/cardano-serialization-lib-nodejs');
+    lib = require('@emurgo/cardano-serialization-lib-nodejs');
 }
 
 const DIGEST_LENGTH_256 = 32;