from plutus-apps to cardano-node-emulator

cabal.project

@@ -10,14 +10,15 @@ package cardano-crypto-praos
 
 source-repository-package
   type: git
-  location: https://github.com/input-output-hk/plutus-apps.git
-  tag: 4578282f2f66c62a5f451701eca2f8f7d9d77c13
+  location: https://github.com/input-output-hk/cardano-node-emulator
+  tag: 1e09173b74064bd5990d2d3e48af6510780ea349
   subdir:
     cardano-node-emulator
     plutus-ledger
     plutus-script-utils
+    freer-extras
 
--- Everything below this point has been copied from plutus-apps' cabal.project
+-- Everything below this point has been copied from cardano-node-emulator cabal.project
 
 -- Custom repository for cardano haskell packages
 -- See https://github.com/input-output-hk/cardano-haskell-packages on how to use CHaP in a Haskell project.
@@ -32,13 +33,10 @@ repository cardano-haskell-packages
     c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56
     d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
 
--- See CONTRIBUTING.adoc for how to update index-state
-index-state: 2023-05-01T00:00:00Z
-
 -- See CONTRIBUTING.adoc for how to update index-state
 index-state:
-  , hackage.haskell.org 2023-05-01T00:00:00Z
-  , cardano-haskell-packages 2023-05-01T00:00:00Z
+  , hackage.haskell.org 2024-01-01T00:00:00Z
+  , cardano-haskell-packages 2024-01-01T00:00:00Z
 
 -- We never, ever, want this.
 write-ghc-environment-files: never
@@ -51,151 +49,20 @@ benchmarks: true
 -- 'tasty' output.
 test-show-details: direct
 
-allow-newer:
-  -- cardano-ledger packages need aeson >2, the following packages have a
-  -- too restictive upper bounds on aeson, so we relax them here. The hackage
-  -- trustees can make a revision to these packages cabal file to solve the
-  -- issue permanently.
-  , ekg:aeson
-  , ekg-json:aeson
-  , openapi3:aeson
-  , servant:aeson
-  , servant-client-core:aeson
-  , servant-server:aeson
-  , servant-foreign:lens
-  , blockfrost-api:lens
-
-constraints:
-  -- cardano-prelude-0.1.0.0 needs
-  , protolude <0.3.1
-
-  -- cardano-ledger-byron-0.1.0.0 needs
-  , cardano-binary <1.5.0.1
-
-  -- plutus-core-1.0.0.1 needs
-  , cardano-crypto-class >2.0.0.0
-  , algebraic-graphs <0.7
-
-  -- cardano-ledger-core-0.1.0.0 needs
-  , cardano-crypto-class <2.0.0.1
-
-  -- cardano-crypto-class-2.0.0.0.1 needs
-  , cardano-prelude <0.1.0.1
-
-  -- dbvar from cardano-wallet needs
-  , io-classes <0.3.0.0
-
-  -- newer typed-protocols need io-classes>=0.3.0.0 which is incompatible with dbvar's constraint above
-  , typed-protocols==0.1.0.0
-
-  , aeson >= 2
-
-  , hedgehog >= 1.1
-
-  -- ouroboros-consensus-shelley-0.1.0.1 needs
-  , ouroboros-consensus-protocol==0.1.0.1
-
--- The plugin will typically fail when producing Haddock documentation. However,
--- in this instance you can simply tell it to defer any errors to runtime (which
--- will never happen since you're building documentation).
---
--- So, any package using 'PlutusTx.compile' in the code for which you need to
--- generate haddock documentation should use the following 'haddock-options'.
-package plutus-ledger
-  haddock-options: "--optghc=-fplugin-opt PlutusTx.Plugin:defer-errors"
-package plutus-script-utils
-  haddock-options: "--optghc=-fplugin-opt PlutusTx.Plugin:defer-errors"
-package plutus-contract
-  haddock-options: "--optghc=-fplugin-opt PlutusTx.Plugin:defer-errors"
-
 -- These packages appear in our dependency tree and are very slow to build.
 -- Empirically, turning off optimization shaves off ~50% build time.
 -- It also mildly improves recompilation avoidance.
 -- For dev work we don't care about performance so much, so this is okay.
 package cardano-ledger-alonzo
   optimization: False
-package ouroboros-consensus-shelley
-  optimization: False
 package ouroboros-consensus-cardano
   optimization: False
 package cardano-api
   optimization: False
-package cardano-wallet
-  optimization: False
-package cardano-wallet-core
-  optimization: False
-package cardano-wallet-cli
-  optimization: False
-package cardano-wallet-launcher
-  optimization: False
-package cardano-wallet-core-integration
-  optimization: False
-
--- Direct dependency.
--- Compared to others, cardano-wallet doesn't bump dependencies very often.
--- Making it a good place to start when bumping dependencies.
--- As, for example, bumping the node first highly risks breaking API with the wallet.
--- Unless early bug fixes are required, this is fine as the wallet tracks stable releases of the node.
--- And it is indeed nice for plutus-apps to track stable releases of the node too.
---
--- The current version is dated 2022/08/10
-source-repository-package
-    type: git
-    location: https://github.com/input-output-hk/cardano-wallet
-    tag: 18a931648550246695c790578d4a55ee2f10463e
-    subdir:
-      lib/cli
-      lib/core
-      lib/core-integration
-      lib/dbvar
-      lib/launcher
-      lib/numeric
-      lib/shelley
-      lib/strict-non-empty-containers
-      lib/test-utils
-      lib/text-class
-    --sha256: 0i40hp1mdbljjcj4pn3n6zahblkb2jmpm8l4wnb36bya1pzf66fx
-
--- Should follow cardano-wallet.
-source-repository-package
-    type: git
-    location: https://github.com/input-output-hk/cardano-addresses
-    tag: b7273a5d3c21f1a003595ebf1e1f79c28cd72513
-    subdir:
-      -- cardano-addresses-cli
-      command-line
-      -- cardano-addresses
-      core
-    --sha256: 129r5kyiw10n2021bkdvnr270aiiwyq58h472d151ph0r7wpslgp
+package cardano-crypto-praos
+  flags: -external-libsodium-vrf
 
--- This is needed because we rely on an unreleased feature
--- https://github.com/input-output-hk/cardano-ledger/pull/3111
-source-repository-package
-    type: git
-    location: https://github.com/input-output-hk/cardano-ledger
-    tag: da3e9ae10cf9ef0b805a046c84745f06643583c2
-    subdir:
-      eras/alonzo/impl
-      eras/alonzo/test-suite
-      eras/babbage/impl
-      eras/babbage/test-suite
-      eras/byron/chain/executable-spec
-      eras/byron/crypto
-      eras/byron/crypto/test
-      eras/byron/ledger/executable-spec
-      eras/byron/ledger/impl
-      eras/byron/ledger/impl/test
-      eras/shelley/impl
-      eras/shelley/test-suite
-      eras/shelley-ma/impl
-      eras/shelley-ma/test-suite
-      libs/cardano-ledger-core
-      libs/cardano-ledger-pretty
-      libs/cardano-protocol-tpraos
-      libs/cardano-data
-      libs/vector-map
-      libs/set-algebra
-      libs/small-steps
-      libs/small-steps-test
-      libs/non-integral
-    --sha256: 1jg1h05gcms119mw7fz798xpj3hr5h426ga934vixmgf88m1jmfx
+constraints:
+  cardano-api ^>= 8.36
+  , quickcheck-contractmodel ^>= 0.1.6
+

cooked-validators.cabal

@@ -1,6 +1,6 @@
 cabal-version: 3.4
 
--- This file has been generated from package.yaml by hpack version 0.35.2.
+-- This file has been generated from package.yaml by hpack version 0.36.0.
 --
 -- see: https://github.com/sol/hpack
 
@@ -85,6 +85,7 @@ library
     , prettyprinter
     , random
     , random-shuffle
+    , strict-sop-core
     , tasty
     , tasty-hunit
     , tasty-quickcheck
@@ -149,6 +150,7 @@ test-suite spec
     , prettyprinter
     , random
     , random-shuffle
+    , strict-sop-core
     , tasty
     , tasty-hunit
     , tasty-quickcheck

flake.nix

@@ -1,8 +1,7 @@
 {
   ## We need this specific version to target HLS 2.2.0.0
   ## This is required because we are stuck with GHC 8.10.7 thanks to plutus-apps
-  inputs.nixpkgs.url =
-    "github:NixOS/nixpkgs/5836601367676bb1815f81181b78b5f9829aa302";
+  inputs.nixpkgs.url = "github:NixOS/nixpkgs";
   inputs.flake-utils.url = "github:numtide/flake-utils";
   inputs.pre-commit-hooks.url = "github:cachix/pre-commit-hooks.nix";
   inputs.pre-commit-hooks.inputs.nixpkgs.follows = "nixpkgs";
@@ -11,7 +10,7 @@
     flake-utils.lib.eachDefaultSystem (system:
       let
         pkgs = nixpkgs.legacyPackages.${system};
-        hpkgs = pkgs.haskell.packages.ghc8107;
+        hpkgs = pkgs.haskell.packages.ghc963;
 
         pre-commit = pre-commit-hooks.lib.${system}.run {
           src = ./.;
@@ -46,6 +45,7 @@
             xz
             glibcLocales
             postgresql # For pg_config
+            blst # required by cardano-node-emulator
           ]);
 
           ## Needed by `pirouette-plutusir` and `cooked`
@@ -99,10 +99,14 @@
     extra-trusted-substituters = [
       "https://tweag-cooked-validators.cachix.org/"
       "https://pre-commit-hooks.cachix.org/"
+      "https://cache.iog.io"
     ];
     extra-trusted-public-keys = [
       "tweag-cooked-validators.cachix.org-1:g1TP7YtXjkBGXP/VbSTGBOGONSzdfzYwNJM27bn8pik="
       "pre-commit-hooks.cachix.org-1:Pkk3Panw5AW24TOv6kz3PvLhlH8puAsJTBbOPmBo7Rc="
+      "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ="
     ];
+    allow-import-from-derivation = true;
+    accept-flake-config = true;
   };
 }

package.yaml

@@ -31,6 +31,7 @@ dependencies:
   - prettyprinter
   - random
   - random-shuffle
+  - strict-sop-core
   - tasty
   - tasty-hunit
   - tasty-quickcheck