input-output-hk · sjoerdvisscher · Nov 20, 2025
diff --git a/.github/workflows/ci-compiled-scripts.yaml b/.github/workflows/ci-compiled-scripts.yaml
@@ -21,7 +21,7 @@ jobs:
 
       - name: Install system dependencies
         uses: input-output-hk/actions/base@latest
-          
+
       - name: Install nix
         uses: cachix/install-nix-action@v27
 
@@ -51,5 +51,5 @@ jobs:
           cabal run export-smart-tokens ./generated/scripts/preview 08a8d0bb8717839931b0a594f7c28b0a3b7c78f6e9172e977e250eab7637d879.0 08a8d0bb8717839931b0a594f7c28b0a3b7c78f6e9172e977e250eab7637d879.0 '"addr_test1qq986m3uel86pl674mkzneqtycyg7csrdgdxj6uf7v7kd857kquweuh5kmrj28zs8czrwkl692jm67vna2rf7xtafhpqk3hecm"'
           cabal run export-smart-tokens ./generated/scripts/mainnet b1977c1eb33590ca1311384ab68cd36209832213ad4483feb8a1b7cb64828946.0 b1977c1eb33590ca1311384ab68cd36209832213ad4483feb8a1b7cb64828946.0 '"addr_test1qq986m3uel86pl674mkzneqtycyg7csrdgdxj6uf7v7kd857kquweuh5kmrj28zs8czrwkl692jm67vna2rf7xtafhpqk3hecm"'
           cabal run write-openapi-schema -- generated/openapi/schema.json
-          nix develop --accept-flake-config --command bash -c "aiken build src/examples/aiken/aiken --out ./src/examples/aiken/haskell/data/aiken-scripts.json"
+          nix run github:aiken-lang/aiken/v1.1.19#aiken -- build src/examples/aiken/aiken --out ./src/examples/aiken/haskell/data/aiken-scripts.json
           git diff --quiet
diff --git a/.github/workflows/ci-nix.yaml b/.github/workflows/ci-nix.yaml
@@ -57,4 +57,7 @@ jobs:
     - name: nix flake check
       run: nix flake --accept-flake-config check
     - name: Check aiken
-      run: nix develop --accept-flake-config --command bash -c "cd src/examples/aiken/aiken && aiken build && aiken check"
+      run: |
+        cd src/examples/aiken/aiken
+        nix run github:aiken-lang/aiken/v1.1.19#aiken -- build
+        nix run github:aiken-lang/aiken/v1.1.19#aiken -- check
diff --git a/cabal.project b/cabal.project
@@ -15,21 +15,8 @@ repository cardano-haskell-packages
     d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
 
 index-state:
-  , hackage.haskell.org 2025-04-15T08:13:08Z
-  , cardano-haskell-packages 2025-04-11T16:42:25Z
-
-constraints:
-  plutus-core == 1.40.0.0,
-  plutus-ledger-api == 1.40.0.0
-
-allow-newer:
-  *:plutus-core,
-  *:plutus-ledger-api,
-
-allow-older:
-  -- NOTE: Currently, plutarch depends on plutus-core version 1.40, while the rest of the (cardano) world is at 1.37.
-  -- TODO: Delete when plutarch is moving to 1.37
-  plutarch:plutus-core
+  , hackage.haskell.org 2025-08-14T14:31:31Z
+  , cardano-haskell-packages 2025-08-14T14:31:31Z
 
 with-compiler: ghc-9.6.6
 
@@ -40,11 +27,29 @@ packages:
     src/examples/regulated-stablecoin
     src/examples/aiken/haskell
 
+constraints:
+  cardano-api == 10.17.2.0
+  , plutus-core == 1.51.0.0
+  , plutus-ledger-api == 1.51.0.0
+  , quickcheck-dynamic == 3.4.2
+
+allow-older:
+  *:cardano-api
+  , *:plutus-core
+  , *:plutus-ledger-api
+  , *:QuickCheck
+
+allow-newer:
+  *:cardano-api
+  , *:plutus-core
+  , *:plutus-ledger-api
+  , *:QuickCheck
+
 source-repository-package
   type: git
   location: https://github.com/j-mueller/sc-tools
-  tag: 100452e6b64200cdffcb2582be07c47e1efebb6b
-  --sha256: sha256-65swdL2zk1mbqdjten6SIX/2v8tADOX4AhzyE0ocpwY=
+  tag: 1240643dbb8af5df075f4b1894a672744e733a7f
+  --sha256: sha256-Jqj4DHEsXBrTSZSWqFiGKCNXwavOd2kAAFb8cPNZdgs=
   subdir:
     src/devnet
     src/coin-selection
@@ -58,9 +63,9 @@ source-repository-package
 
 source-repository-package
     type: git
-    location: https://github.com/Plutonomicon/plutarch-plutus
-    tag: f84a46287b06f36abf8d2d63bec7ff75d32f3e91
-    --sha256: sha256-gKBk9D6DHSEudq7P9+07yXWcgM/QX7NFp0tJXBodopM=
+    location: https://github.com/choener/plutarch-plutus
+    tag: 99315dada86e042bbc1dee5c5ccae158119031eb
+    --sha256: sha256-kgjYtDcqqEsF61QqK5eoxwL4Gbj9A0tAAqw6xH01NB0=
     subdir:
       .
       plutarch-ledger-api
@@ -70,8 +75,8 @@ source-repository-package
 source-repository-package
     type: git
     location: https://github.com/input-output-hk/catalyst-onchain-libs
-    tag: 2d8389099584e2d9735e9374895386c72d90517a
-    --sha256: sha256-sdeDXUiL1MbEtJYbN4URwpQ8CbUKjxxGXUxjj1qqi3E=
+    tag: 6c7156c441c18b2c76066eae1cce1578190c9cfd
+    --sha256: sha256-bGf20nAEeMJ3iajMqRBN88BQSMVTXecXl6CztHiZUtA=
     subdir:
       src/plutarch-onchain-lib
 
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -40,7 +40,7 @@
     };
 
     aiken = {
-      url = "github:aiken-lang/aiken/v1.1.16";
+      url = "github:aiken-lang/aiken/v1.1.19";
       inputs.nixpkgs.follows = "nixpkgs";
     };
   };
@@ -57,11 +57,13 @@
       "https://cache.iog.io"
       "https://cache.zw3rk.com"
       "https://cache.ml42.de"
+      "https://sc-tools.cachix.org"
     ];
     extra-trusted-public-keys = [
       "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ="
       "loony-tools:pr9m4BkM/5/eSTZlkQyRt57Jz7OMBxNSUiMC4FkcNfk="
       "cache.ml42.de:RKmSRP9TOc87nh9FZCM/b/pMIE3kBLEeIe71ReCBwRM="
+      "sc-tools.cachix.org-1:DY2+6v0HuMvoCt7wEqZTPqzZBcNk/Lexb72Vixz6n6I="
     ];
     allow-import-from-derivation = true;
   };

diff --git a/src/examples/aiken/haskell/aiken-example.cabal b/src/examples/aiken/haskell/aiken-example.cabal
@@ -55,8 +55,6 @@ common lang
 library
   import:          lang
   exposed-modules:
-    Wst.Aiken.Blueprint
-    Wst.Aiken.BlueprintKey
     Wst.Aiken.Error
     Wst.Aiken.Offchain
     Wst.Cli
@@ -69,21 +67,17 @@ library
     , base
     , base16-bytestring
     , Blammo
-    , blockfrost-api
     , blockfrost-client-core
     , bytestring
     , cardano-api
-    , containers
     , convex-base
     , convex-blockfrost
     , convex-coin-selection
     , convex-optics
     , convex-wallet
-    , hset
     , lens
     , mtl
     , optparse-applicative
-    , plutus-core
     , plutus-ledger-api
     , programmable-tokens-offchain
     , programmable-tokens-onchain
@@ -99,7 +93,6 @@ test-suite aiken-example-test
     , aiken-example
     , base                          >=4.14.0
     , cardano-api
-    , containers
     , convex-base
     , convex-coin-selection
     , convex-wallet

diff --git a/src/examples/aiken/haskell/data/aiken-scripts.json b/src/examples/aiken/haskell/data/aiken-scripts.json
@@ -6,7 +6,7 @@
     "plutusVersion": "v3",
     "compiler": {
       "name": "Aiken",
-      "version": "v1.1.9+unknown"
+      "version": "v1.1.19+e525483"
     },
     "license": "Apache-2.0"
   },
@@ -19,16 +19,16 @@
           "$ref": "#/definitions/Int"
         }
       },
-      "compiledCode": "5857010100323232323225333002323232323253330073370e900218041baa0011323370e6eb400d20c801300a300937540022940c024c02800cc020008c01c008c01c004c010dd50008a4c26cacae6955ceaab9e5742ae881",
-      "hash": "0f8107a024cfbc7e5e787d67acddcec748ceb280fcc4b14c305e6a2d"
+      "compiledCode": "585701010029800aba2aba1aab9eaab9dab9a4888896600264646644b30013370e900218031baa00289919b87375a6012008906400980418039baa0028a504014600c600e002600c004600c00260066ea801a29344d9590011",
+      "hash": "a82718805c3541469346431c0cc023a76afce8d6d2c1c64d00bf1950"
     },
     {
       "title": "transfer.issue.else",
       "redeemer": {
         "schema": {}
       },
-      "compiledCode": "5857010100323232323225333002323232323253330073370e900218041baa0011323370e6eb400d20c801300a300937540022940c024c02800cc020008c01c008c01c004c010dd50008a4c26cacae6955ceaab9e5742ae881",
-      "hash": "0f8107a024cfbc7e5e787d67acddcec748ceb280fcc4b14c305e6a2d"
+      "compiledCode": "585701010029800aba2aba1aab9eaab9dab9a4888896600264646644b30013370e900218031baa00289919b87375a6012008906400980418039baa0028a504014600c600e002600c004600c00260066ea801a29344d9590011",
+      "hash": "a82718805c3541469346431c0cc023a76afce8d6d2c1c64d00bf1950"
     },
     {
       "title": "transfer.transfer.withdraw",
@@ -38,16 +38,16 @@
           "$ref": "#/definitions/Int"
         }
       },
-      "compiledCode": "5857010100323232323225333002323232323253330073370e900218041baa0011323370e6eb400d209003300a300937540022940c024c02800cc020008c01c008c01c004c010dd50008a4c26cacae6955ceaab9e5742ae881",
-      "hash": "17e9e9e3412e7198877557fab1181f394ed36cf5db27b418d3f68990"
+      "compiledCode": "585701010029800aba2aba1aab9eaab9dab9a4888896600264646644b30013370e900218031baa00289919b87375a6012008904801980418039baa0028a504014600c600e002600c004600c00260066ea801a29344d9590011",
+      "hash": "93fd90884c772ced27987503f9d37c857372b99cf5cc716197ebb8bd"
     },
     {
       "title": "transfer.transfer.else",
       "redeemer": {
         "schema": {}
       },
-      "compiledCode": "5857010100323232323225333002323232323253330073370e900218041baa0011323370e6eb400d209003300a300937540022940c024c02800cc020008c01c008c01c004c010dd50008a4c26cacae6955ceaab9e5742ae881",
-      "hash": "17e9e9e3412e7198877557fab1181f394ed36cf5db27b418d3f68990"
+      "compiledCode": "585701010029800aba2aba1aab9eaab9dab9a4888896600264646644b30013370e900218031baa00289919b87375a6012008904801980418039baa0028a504014600c600e002600c004600c00260066ea801a29344d9590011",
+      "hash": "93fd90884c772ced27987503f9d37c857372b99cf5cc716197ebb8bd"
     }
   ],
   "definitions": {