merge with master

.github/ISSUE_TEMPLATE/bug_report.md

@@ -9,8 +9,7 @@ assignees: ''
 ## Issue description
 
 <!--
-Before opening a bug, please take a look at the [Pact ReadtheDocs](https://pact-language.readthedocs.io/en/stable/).
-This explains Pact's semantics and some common issues and will also help you to find the information that the issue template asks for.
+Before opening a bug, please take a look at the [Pact documentation](https://docs.kadena.io/pact). This explains Pact's semantics and some common issues and will also help you to find the information that the issue template asks for.
 -->
 
 ### Steps to reproduce

.github/pull_request_template.md

@@ -2,7 +2,8 @@ PR checklist:
 
 * [ ] Test coverage for the proposed changes
 * [ ] PR description contains example output from repl interaction or a snippet from unit test output
-* [ ] Documentation has been updated if new natives or FV properties have been added. To generate new documentation, issue `cabal run tests`. If they pass locally, docs are generated.
+* [ ] New builtins have a FV translation
+* [ ] Documentation has been (manually) updated at https://docs.kadena.io/pact
 * [ ] Any changes that could be relevant to users [have been recorded in the changelog](https://github.com/kadena-io/pact/blob/master/CHANGELOG.md)
 * [ ] In case of  changes to the Pact trace output (`pact -t`), make sure [pact-lsp](https://github.com/kadena-io/pact-lsp) is in sync.
 

.github/workflows/applications.yml

@@ -8,7 +8,7 @@ on:
     - '**'
     - '!.github/**'
     - '.github/workflows/applications.yml'
-    
+
   pull_request_target:
     types: [ opened ]
 
@@ -20,16 +20,15 @@ jobs:
       matrix:
         ghc: ['9.6']
         cabal: ['3.10']
-        os: ['ubuntu-20.04', 'ubuntu-22.04', 'macOS-latest']
+        os: ['ubuntu-20.04', 'ubuntu-22.04', 'macOS-latest', 'macos-14']
         cabalcache: ['true']
         flags: ['+build-tool']
         include:
-        - os: 'ubuntu-22.04'
+        - os: 'ubuntu-20.04'
           ghc: '9.6'
           cabal: '3.10'
           cabalcache: 'true'
           flags: '-build-tool'
-
     env:
       AWS_ACCESS_KEY_ID: ${{ secrets.kadena_cabal_cache_aws_access_key_id }}
       AWS_SECRET_ACCESS_KEY: ${{ secrets.kadena_cabal_cache_aws_secret_access_key }}
@@ -78,7 +77,7 @@ jobs:
       if: startsWith(matrix.os, 'ubuntu-')
       run: sudo chown -R $USER /usr/local/.ghcup
     - name: Install GHC and Cabal
-      uses: haskell/actions/setup@v2
+      uses: haskell-actions/setup@v2
       with:
          ghc-version: ${{ matrix.ghc }}
          cabal-version: ${{ matrix.cabal }}
@@ -99,6 +98,12 @@ jobs:
           documentation: False
           optimization: 1
           flags: ${{ matrix.flags }} +cryptonite-ed25519
+        extra-include-dirs:
+          /opt/local/include
+          /usr/local/opt/openssl/include
+        extra-lib-dirs:
+          /opt/local/lib
+          /usr/local/opt/openssl/lib/
         EOF
     - name: Extend cabal.project.local for GHC-9.0.2
       if: "startsWith(matrix.ghc, '9')"
@@ -153,12 +158,17 @@ jobs:
       shell: bash
       run: cabal build
     - name: Test
+      if: (matrix.os != 'macos-14')
       shell: bash
       run: cabal run tests
     - name: Benchmark
       shell: bash
       if: "!contains(matrix.flags, '-build-tool')"
       run: cabal bench
+    - name: Verify Binary Linking
+      shell: bash
+      if: "!contains(matrix.flags, '-build-tool')"
+      run: cabal run exe:pact -- --version
 
     # Publish Artifacts
     - name: Prepare artifacts

.github/workflows/nix.yml

@@ -44,6 +44,11 @@ jobs:
         echo Build the recursive output
         nix build .#recursive.allDerivations --log-lines 500 --show-trace
         
+    - name: Verify pact binary
+      run: |
+        echo Validating pact version
+        nix run pact --version
+
   build-and-cache-on-mac:
     runs-on: ${{ matrix.os }}
     timeout-minutes: 740
@@ -79,3 +84,9 @@ jobs:
 
         echo Build the recursive output
         nix build .#recursive.allDerivations --log-lines 500 --show-trace
+
+    - name: Verify pact binary
+      run: |
+        echo Validating pact version
+        nix run pact --version
+        

CHANGELOG.md

@@ -1,8 +1,20 @@
-Unreleased
+4.11.0
 ---
 ### Features
-- Support for verifier plugins (#1324)
+- Support for verifier plugins (#1324,#1336)
+- Support for `hyperlane-message-id` (#1335)
+- Support for decoding a hyperlane TokenMessage (#1344)
 
+### Bugfixes
+- Fix bug in enforce-pact-version parser (#1334)
+- Fix pact CLI usage output to use correct naming (#1331)
+- Fix `step` for `defpact`s in typechecker (#1333)
+
+
+### Misc
+- List-modules moved to local-only (#1326)
+- Update pact server typo (#1328)
+- Deprecate readthedocs (#1341)
 
 4.10.0
 ---

CODEOWNERS

@@ -1,43 +1,43 @@
 * @jwiegley @emilypi @jmcardon
-/src-ghc/Pact/ApiReq.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src-ghc/Pact/Bench.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src-ghc/Pact/Coverage.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src-ghc/Pact/Coverage/Report.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src-ghc/Pact/Interpreter.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Crypto/Hash/Blake2Native.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Compile.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Eval.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Gas.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Native.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Native/Capabilities.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Native/Db.hs @sirlensalot @jwiegley @emilypi @jmcardon
+/src-ghc/Pact/ApiReq.hs @jwiegley @emilypi @jmcardon
+/src-ghc/Pact/Bench.hs @jwiegley @emilypi @jmcardon
+/src-ghc/Pact/Coverage.hs @jwiegley @emilypi @jmcardon
+/src-ghc/Pact/Coverage/Report.hs @jwiegley @emilypi @jmcardon
+/src-ghc/Pact/Interpreter.hs @jwiegley @emilypi @jmcardon
+/src/Crypto/Hash/Blake2Native.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Compile.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Eval.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Gas.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Native.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Native/Capabilities.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Native/Db.hs @jwiegley @emilypi @jmcardon
 /src/Pact/Native/Ops.hs @jmcardon @jwiegley @emilypi @jmcardon
-/src/Pact/Parse.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Persist.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/PersistPactDb.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Repl.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Repl/Lib.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Repl/Types.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Runtime/Capabilities.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Runtime/Typecheck.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Typechecker.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/API.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Advice.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Capability.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Codec.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Command.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Continuation.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Exp.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Hash.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Info.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/KeySet.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/PactError.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/PactValue.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Parser.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Persistence.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Purity.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/RPC.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Runtime.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Term.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Type.hs @sirlensalot @jwiegley @emilypi @jmcardon
-/src/Pact/Types/Typecheck.hs @sirlensalot @jwiegley @emilypi @jmcardon
+/src/Pact/Parse.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Persist.hs @jwiegley @emilypi @jmcardon
+/src/Pact/PersistPactDb.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Repl.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Repl/Lib.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Repl/Types.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Runtime/Capabilities.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Runtime/Typecheck.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Typechecker.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/API.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Advice.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Capability.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Codec.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Command.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Continuation.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Exp.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Hash.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Info.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/KeySet.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/PactError.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/PactValue.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Parser.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Persistence.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Purity.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/RPC.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Runtime.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Term.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Type.hs @jwiegley @emilypi @jmcardon
+/src/Pact/Types/Typecheck.hs @jwiegley @emilypi @jmcardon

README.md

@@ -1,5 +1,5 @@
 <p align="center">
-<img src="https://i.imgur.com/bAZFAGF.png" width="450" height="243" alt="Kadena" title="Kadena">
+<img src="docs/img/kadena-logomark-green.png" alt="Kadena Logo" title="Kadena">
 </p>
 
 <p>&nbsp;</p>
@@ -55,7 +55,7 @@ Documentation is always in flux, and corrections to out of date documentation ar
 
 ## Quickstart
 
-The easiest and quickest way to try Pact is [in the browser](http://pact.kadena.io), or via the Chainweaver [wallet](https://github.com/kadena-io/chainweaver). Both environments support error and warning highlighting, as well as an in-app REPL environment for you to test out your code immediately. The Kadena docs also include a [developer quickstart](https://docs.kadena.io/basics/quickstart). 
+The easiest and quickest way to try Pact is [in the browser](http://pact.kadena.io), or via the Chainweaver [wallet](https://github.com/kadena-io/chainweaver). Both environments support error and warning highlighting, as well as an in-app REPL environment for you to test out your code immediately. The Kadena docs also include a [developer quickstart](https://docs.kadena.io/basics/quickstart).
 
 ## Installing Pact
 

docs/en/pact-functions.md

@@ -461,7 +461,7 @@ Return ID if called during current pact execution, failing if not.
 Obtain current pact build version.
 ```lisp
 pact> (pact-version)
-"4.10"
+"4.11"
 ```
 
 Top level only: this function will fail if used in module code.
@@ -1796,7 +1796,25 @@ pact> (scalar-mult 'g1 {'x: 1, 'y: 2} 2)
 {"x": 1368015179489954701390400359078579693043519447331113978918064868415326638035,"y": 9918110051302171585080402603319702774565515993150576347155970296011118125764}
 ```
 
-## Poseidon Hash {#Poseidon Hash}
+## Hashes {#Hashes}
+
+### hash-keccak256 {#hash-keccak256}
+
+*bytes* `[string]` *→* `string`
+
+
+Compute the hash of a list of unpadded base64url-encoded inputs. The hash is computed incrementally over all of the decoded inputs.
+```lisp
+pact> (hash-keccak256 [])
+"xdJGAYb3IzySfn2y3McDwOUAtlPKgic7e_rYBF2FpHA"
+pact> (hash-keccak256 [""])
+"xdJGAYb3IzySfn2y3McDwOUAtlPKgic7e_rYBF2FpHA"
+pact> (hash-keccak256 ["T73FllCNJKKgAQ4UCYC4CfucbVXsdRJYkd2YXTdmW9gPm-tqUCB1iKvzzu6Md82KWtSKngqgdO04hzg2JJbS-yyHVDuzNJ6mSZfOPntCTqktEi9X27CFWoAwWEN_4Ir7DItecXm5BEu_TYGnFjsxOeMIiLU2sPlX7_macWL0ylqnVqSpgt-tvzHvJVCDxLXGwbmaEH19Ov_9uJFHwsxMmiZD9Hjl4tOTrqN7THy0tel9rc8WtrUKrg87VJ7OR3Rtts5vZ91EBs1OdVldUQPRP536eTcpJNMo-N0fy-taji6L9Mdt4I4_xGqgIfmJxJMpx6ysWmiFVte8vLKl1L5p0yhOnEDsSDjuhZISDOIKC2NeytqoT9VpBQn1T3fjWkF8WEZIvJg5uXTge_qwA46QKV0LE5AlMKgw0cK91T8fnJ-u1Dyk7tCo3XYbx-292iiih8YM1Cr1-cdY5cclAjHAmlglY2ia_GXit5p6K2ggBmd1LpEBdG8DGE4jmeTtiDXLjprpDilq8iCuI0JZ_gvQvMYPekpf8_cMXtTenIxRmhDpYvZzyCxek1F4aoo7_VcAMYV71Mh_T8ox7U1Q4U8hB9oCy1BYcAt06iQai0HXhGFljxsrkL_YSkwsnWVDhhqzxWRRdX3PubpgMzSI290C1gG0Gq4xfKdHTrbm3Q"])
+"DqM-LjT1ckQGQCRMfx9fBGl86XE5vacqZVjYZjwCs4g"
+pact> (hash-keccak256 ["T73FllCNJKKgAQ4UCYC4CfucbVXsdRJYkd2YXTdmW9g", "D5vralAgdYir887ujHfNilrUip4KoHTtOIc4NiSW0vs", "LIdUO7M0nqZJl84-e0JOqS0SL1fbsIVagDBYQ3_givs", "DItecXm5BEu_TYGnFjsxOeMIiLU2sPlX7_macWL0ylo", "p1akqYLfrb8x7yVQg8S1xsG5mhB9fTr__biRR8LMTJo", "JkP0eOXi05Ouo3tMfLS16X2tzxa2tQquDztUns5HdG0", "ts5vZ91EBs1OdVldUQPRP536eTcpJNMo-N0fy-taji4", "i_THbeCOP8RqoCH5icSTKcesrFpohVbXvLyypdS-adM", "KE6cQOxIOO6FkhIM4goLY17K2qhP1WkFCfVPd-NaQXw", "WEZIvJg5uXTge_qwA46QKV0LE5AlMKgw0cK91T8fnJ8", "rtQ8pO7QqN12G8ftvdoooofGDNQq9fnHWOXHJQIxwJo", "WCVjaJr8ZeK3mnoraCAGZ3UukQF0bwMYTiOZ5O2INcs", "jprpDilq8iCuI0JZ_gvQvMYPekpf8_cMXtTenIxRmhA", "6WL2c8gsXpNReGqKO_1XADGFe9TIf0_KMe1NUOFPIQc", "2gLLUFhwC3TqJBqLQdeEYWWPGyuQv9hKTCydZUOGGrM", "xWRRdX3PubpgMzSI290C1gG0Gq4xfKdHTrbm3Q"])
+"DqM-LjT1ckQGQCRMfx9fBGl86XE5vacqZVjYZjwCs4g"
+```
+
 
 ### poseidon-hash-hack-a-chain {#poseidon-hash-hack-a-chain}
 
@@ -1817,6 +1835,18 @@ pact> (poseidon-hash-hack-a-chain 1 2 3 4 5 6 7 8)
 
 ## Hyperlane {#Hyperlane}
 
+### hyperlane-decode-token-message {#hyperlane-decode-token-message}
+
+*x* `string` *→* `object:*`
+
+
+Decode a base-64-unpadded encoded Hyperlane Token Message into an object `{recipient:GUARD, amount:DECIMAL, chainId:STRING}`.
+```lisp
+pact> (hyperlane-decode-token-message "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAewAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGF7InByZWQiOiAia2V5cy1hbGwiLCAia2V5cyI6WyJkYTFhMzM5YmQ4MmQyYzJlOTE4MDYyNmEwMGRjMDQzMjc1ZGViM2FiYWJiMjdiNTczOGFiZjZiOWRjZWU4ZGI2Il19AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA")
+{"amount": 0.000000000000000123,"chainId": "4","recipient": KeySet {keys: [da1a339bd82d2c2e9180626a00dc043275deb3ababb27b5738abf6b9dcee8db6],pred: keys-all}}
+```
+
+
 ### hyperlane-message-id {#hyperlane-message-id}
 
 *x* `object:*` *→* `string`

docs/en/pact-properties-api.md

@@ -814,6 +814,19 @@ BLAKE2b 256-bit hash of lists
 
 Supported in properties only.
 
+### keccak {#FKeccak256Hash}
+
+```lisp
+(hash-keccak256 xs)
+```
+
+* takes `xs`: [`string`]
+* produces `string`
+
+Compute the hash of a list of base64-encoded inputs. The hash is computed incrementally over all of the base64-decoded inputs.
+
+Supported in properties only.
+
 ## String operators {#String}
 
 ### length {#FStringLength}

golden/gas-model/golden

@@ -126,6 +126,13 @@
   - 5
 - - (hash smallOjectMap)
   - 5
+- - |-
+    (hash-keccak256 [])
+    (hash-keccak256 [""])
+    (hash-keccak256 ["IP9FQ2ml0FuBp489sFgZ_qmwjCOE91ywq2qhFd1pDaMTGHShyo9witFRnqlSweJJy1QNGWOSx56HdVQk_ufIkICMViciNZ7qUuihL7u5ad15YdK6UgN0k3VaX6BPDVChqibJtEFIwNO5TRxKWaMayhWui9RKy3gz2OkcS4b6MTWkIzh7gVG0Ez7SP21xh7UOwiBK2QGtdNOW5EJ04OyvquF7O5CF4iJgs1ylOxXMUqu6dYr2eY-9BOzuztZI869P2z3tdVeppc-3OCYSqKjz9FlH0aKc4pByko7Bk8ol1RBxvV4ZhOz0AvMG6nYvDyUoL1KW2Zdli-P5g2lv-m0JXGNptNr3nppdMTYikSj462PBK56fp4r_ej6eGaYgIkk80Tbe-7W7e6G5OPNn_S9j61ynbAsP8hueNsPwcjDPPDB05dpYcECnaXXX459ElKzlSG_L84CrdVjE_ollYzW4Lk24ZZUJ6rRqGWExJuWUBCcy3UxBH0GqjN6sccD7QKlObaVYwF53thgoBvJtmv3z2gDGlBkiLIGGpu-tYAtBDmzi8qeX5J3B8TUxmAH6bzlrBvl14qGQoCPkdLYY5w"])
+    (hash-keccak256 ["IP9FQ2ml0FuBp489sFgZ_qmwjCOE91ywq2qhFd1pDaM", "Exh0ocqPcIrRUZ6pUsHiSctUDRljkseeh3VUJP7nyJA", "gIxWJyI1nupS6KEvu7lp3Xlh0rpSA3STdVpfoE8NUKE", "qibJtEFIwNO5TRxKWaMayhWui9RKy3gz2OkcS4b6MTU", "pCM4e4FRtBM-0j9tcYe1DsIgStkBrXTTluRCdODsr6o", "4Xs7kIXiImCzXKU7FcxSq7p1ivZ5j70E7O7O1kjzr08", "2z3tdVeppc-3OCYSqKjz9FlH0aKc4pByko7Bk8ol1RA", "cb1eGYTs9ALzBup2Lw8lKC9SltmXZYvj-YNpb_ptCVw", "Y2m02veeml0xNiKRKPjrY8Ernp-niv96Pp4ZpiAiSTw", "0Tbe-7W7e6G5OPNn_S9j61ynbAsP8hueNsPwcjDPPDA", "dOXaWHBAp2l11-OfRJSs5Uhvy_OAq3VYxP6JZWM1uC4", "TbhllQnqtGoZYTEm5ZQEJzLdTEEfQaqM3qxxwPtAqU4", "baVYwF53thgoBvJtmv3z2gDGlBkiLIGGpu-tYAtBDmw", "4vKnl-SdwfE1MZgB-m85awb5deKhkKAj5HS2GOc"])
+    (hash-keccak256 ["T73FllCNJKKgAQ4UCYC4CfucbVXsdRJYkd2YXTdmW9gPm-tqUCB1iKvzzu6Md82KWtSKngqgdO04hzg2JJbS-yyHVDuzNJ6mSZfOPntCTqktEi9X27CFWoAwWEN_4Ir7DItecXm5BEu_TYGnFjsxOeMIiLU2sPlX7_macWL0ylqnVqSpgt-tvzHvJVCDxLXGwbmaEH19Ov_9uJFHwsxMmiZD9Hjl4tOTrqN7THy0tel9rc8WtrUKrg87VJ7OR3Rtts5vZ91EBs1OdVldUQPRP536eTcpJNMo-N0fy-taji6L9Mdt4I4_xGqgIfmJxJMpx6ysWmiFVte8vLKl1L5p0yhOnEDsSDjuhZISDOIKC2NeytqoT9VpBQn1T3fjWkF8WEZIvJg5uXTge_qwA46QKV0LE5AlMKgw0cK91T8fnJ-u1Dyk7tCo3XYbx-292iiih8YM1Cr1-cdY5cclAjHAmlglY2ia_GXit5p6K2ggBmd1LpEBdG8DGE4jmeTtiDXLjprpDilq8iCuI0JZ_gvQvMYPekpf8_cMXtTenIxRmhDpYvZzyCxek1F4aoo7_VcAMYV71Mh_T8ox7U1Q4U8hB9oCy1BYcAt06iQai0HXhGFljxsrkL_YSkwsnWVDhhqzxWRRdX3PubpgMzSI290C1gG0Gq4xfKdHTrbm3Q"])
+  - 44
 - - (* longNumber longNumber)
   - 3
 - - (* medNumber medNumber)

pact.cabal

@@ -1,6 +1,6 @@
 cabal-version:       2.2
 name:                pact
-version:             4.10
+version:             4.11
 -- ^ 4 digit is prerelease, 3- or 2-digit for prod release
 synopsis:            Smart contract language library and REPL
 description:
@@ -96,6 +96,7 @@ library
     cbits/musl/sqrt_data.c
   exposed-modules:
     Crypto.Hash.Blake2Native
+    Crypto.Hash.Keccak256Native
     Crypto.Hash.HyperlaneMessageId
     Crypto.Hash.PoseidonNative
     Pact.Analyze.Remote.Types
@@ -207,6 +208,7 @@ library
     , base >= 4.18.0.0
     , base16-bytestring >=0.1.1.6
     , base64-bytestring >=1.0.0.1
+    , binary >=0.8.9.1
         -- base64-bytestring >=1.2.0.0 is less lenient then previous versions, which can cause pact failures (e.g. (env-hash "aa"))
     , bound >=2
     , bytestring >=0.10.8.1
@@ -221,11 +223,12 @@ library
     , direct-sqlite >=2.3.27
     , directory >=1.2.6.2
     , errors >=2.3
+    , ethereum >= 0.1
     , exceptions >=0.8.3
     , filepath >=1.4.1.0
     , groups
     , hashable >=1.4
-    , ethereum >= 0.1
+    , hashes >= 0.2
     , lens >=4.14
     , megaparsec >=9
     , memory
@@ -420,6 +423,7 @@ test-suite hspec
     , attoparsec
     , base
     , base16-bytestring
+    , base64-bytestring
     , bound
     , bytestring
     , containers
@@ -470,6 +474,7 @@ test-suite hspec
       GoldenSpec
       HistoryServiceSpec
       HyperlaneSpec
+      Keccak256Spec
       PactContinuationSpec
       PersistSpec
       PoseidonSpec