build(toolchain): bump compact toolchain to 0.34.0

.github/actions/setup/action.yml

@@ -36,4 +36,4 @@ runs:
       if: ${{ inputs.skip-compact != 'true' }}
       uses: midnightntwrk/setup-compact-action@836895c8fffbbea6bd986af2b17e8941ff29d1f8 # v1
       with:
-        compact-version: "0.31.0"
+        compact-version: "0.34.0"

.github/workflows/release.yml

@@ -53,7 +53,7 @@ jobs:
       - name: Setup Compact Compiler
         uses: midnightntwrk/setup-compact-action@836895c8fffbbea6bd986af2b17e8941ff29d1f8 # v1
         with:
-          compact-version: "0.31.0"
+          compact-version: "0.34.0"
 
       - name: Build contracts
         run: yarn build

CHANGELOG.md

@@ -7,6 +7,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## Unreleased
 
+### Changed
+
+- Upgrade the Compact toolchain and Midnight dependencies: compiler `0.31.0` → `0.34.0`, `@midnight-ntwrk/compact-runtime` `0.16.0` → `0.19.0`, `@midnight-ntwrk/ledger-v8` `8.1.0` → `@midnightntwrk/ledger-v9` `1.0.0-rc.3`, `@midnight-ntwrk/compact-js` `2.5.1` → `2.5.5-rc.8`, the `midnight-js` packages `4.1.1` → `5.0.0-beta.7`, and `@openzeppelin/compact-simulator` `^0.3.1` → `^0.4.0`. Contract `pragma language_version` raised `>= 0.23.0` → `>= 0.26.0` (the language version shipped with compiler 0.34.0). (#841)
+
 ## 0.3.0-alpha.2 (2026-08-11)
 
 ### Changed

README.md

@@ -1,4 +1,4 @@
-[![Generic badge](https://img.shields.io/badge/Compact%20Compiler-0.31.0-1abc9c.svg)](https://docs.midnight.network/relnotes/compact/minokawa-0-18-26-0)
+[![Generic badge](https://img.shields.io/badge/Compact%20Compiler-0.34.0-1abc9c.svg)](https://docs.midnight.network/relnotes/compact/)
 [![Contributor Covenant](https://img.shields.io/badge/Contributor%20Covenant-2.1-4baaaa.svg)](CODE_OF_CONDUCT.md)
 
 This project is built on the Midnight Network.
@@ -37,8 +37,8 @@ Follow Midnight's [Compact Developer Tools installation guide](https://docs.midn
 ```bash
 $ compact compile --version
 
-Compactc version: 0.31.0
-0.31.0
+Compactc version: 0.34.0
+0.34.0
 ```
 
 ### Installation
@@ -64,7 +64,7 @@ Import the modules through `./node_modules/@openzeppelin/compact-contracts/...`.
 ```typescript
 // MyContract.compact
 
-pragma language_version >= 0.21.0;
+pragma language_version >= 0.26.0;
 
 import CompactStandardLibrary;
 import "./node_modules/@openzeppelin/compact-contracts/access/Ownable"

contracts/package.json

@@ -46,21 +46,22 @@
     "node": ">=22"
   },
   "dependencies": {
-    "@openzeppelin/compact-cli": "^0.0.2"
+    "@openzeppelin/compact-cli": "^0.0.3"
   },
   "devDependencies": {
-    "@midnight-ntwrk/compact-js": "2.5.1",
-    "@midnight-ntwrk/compact-runtime": "0.16.0",
-    "@midnight-ntwrk/ledger-v8": "8.1.0",
-    "@midnight-ntwrk/midnight-js-contracts": "4.1.1",
-    "@midnight-ntwrk/midnight-js-http-client-proof-provider": "4.1.1",
-    "@midnight-ntwrk/midnight-js-indexer-public-data-provider": "4.1.1",
-    "@midnight-ntwrk/midnight-js-network-id": "4.1.1",
-    "@midnight-ntwrk/midnight-js-node-zk-config-provider": "4.1.1",
-    "@midnight-ntwrk/midnight-js-protocol": "4.1.1",
-    "@midnight-ntwrk/midnight-js-types": "4.1.1",
-    "@midnight-ntwrk/testkit-js": "4.1.1",
-    "@openzeppelin/compact-simulator": "^0.3.1",
+    "@midnight-ntwrk/compact-js": "2.5.5-rc.8",
+    "@midnight-ntwrk/compact-runtime": "0.19.0",
+    "@midnight-ntwrk/midnight-js-contracts": "5.0.0-beta.7",
+    "@midnight-ntwrk/midnight-js-http-client-proof-provider": "5.0.0-beta.7",
+    "@midnight-ntwrk/midnight-js-indexer-public-data-provider": "5.0.0-beta.7",
+    "@midnight-ntwrk/midnight-js-network-id": "5.0.0-beta.7",
+    "@midnight-ntwrk/midnight-js-node-zk-config-provider": "5.0.0-beta.7",
+    "@midnight-ntwrk/midnight-js-protocol": "5.0.0-beta.7",
+    "@midnight-ntwrk/midnight-js-types": "5.0.0-beta.7",
+    "@midnight-ntwrk/testkit-js": "5.0.0-beta.7",
+    "@midnightntwrk/ledger-v9": "1.0.0-rc.3",
+    "@midnightntwrk/wallet-sdk-address-format": "4.0.0-beta.2",
+    "@openzeppelin/compact-simulator": "^0.4.0",
     "@tsconfig/node24": "^24.0.5",
     "@types/node": "26.2.0",
     "@vitest/coverage-v8": "^4.1.11",

contracts/src/access/AccessControl.compact

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 // OpenZeppelin Compact Contracts v0.3.0-alpha.2 (access/AccessControl.compact)
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 /**
  * @module AccessControl

contracts/src/access/Ownable.compact

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 // OpenZeppelin Compact Contracts v0.3.0-alpha.2 (access/Ownable.compact)
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 /**
  * @module Ownable

contracts/src/access/ShieldedAccessControl.compact

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 // OpenZeppelin Compact Contracts v0.3.0-alpha.2 (access/ShieldedAccessControl.compact)
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 /**
  * @module ShieldedAccessControl

contracts/src/access/ZOwnablePK.compact

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 // OpenZeppelin Compact Contracts v0.3.0-alpha.2 (access/ZOwnablePK.compact)
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 /**
  * @module ZOwnablePK

contracts/src/access/test/AccessControl.test.ts

@@ -1,7 +1,7 @@
 import {
   CompactTypeBytes,
   CompactTypeVector,
-  convertFieldToBytes,
+  convertBigintToBytes,
   persistentHash,
 } from '@midnight-ntwrk/compact-runtime';
 import { beforeEach, describe, expect, it } from 'vitest';
@@ -59,11 +59,11 @@ const OP1_CONTRACT = eitherContract('CONTRACT_ADDRESS');
 
 // Roles
 const DEFAULT_ADMIN_ROLE = utils.zeroUint8Array();
-const OPERATOR_ROLE_1 = convertFieldToBytes(32, 1n, '');
-const OPERATOR_ROLE_2 = convertFieldToBytes(32, 2n, '');
-const OPERATOR_ROLE_3 = convertFieldToBytes(32, 3n, '');
-const CUSTOM_ADMIN_ROLE = convertFieldToBytes(32, 4n, '');
-const UNINITIALIZED_ROLE = convertFieldToBytes(32, 5n, '');
+const OPERATOR_ROLE_1 = convertBigintToBytes(32, 1n, '');
+const OPERATOR_ROLE_2 = convertBigintToBytes(32, 2n, '');
+const OPERATOR_ROLE_3 = convertBigintToBytes(32, 3n, '');
+const CUSTOM_ADMIN_ROLE = convertBigintToBytes(32, 4n, '');
+const UNINITIALIZED_ROLE = convertBigintToBytes(32, 5n, '');
 
 // Lists
 const operatorRolesList = [OPERATOR_ROLE_1, OPERATOR_ROLE_2];
@@ -567,7 +567,7 @@ describe('AccessControl', () => {
     });
 
     it('should allow overwriting admin role and transfer authority', async () => {
-      const NEW_ADMIN_ROLE = convertFieldToBytes(32, 99n, '');
+      const NEW_ADMIN_ROLE = convertBigintToBytes(32, 99n, '');
       const NEW_ADMIN = makeUser('NEW_ADMIN');
 
       await accessControl._grantRole(CUSTOM_ADMIN_ROLE, CUSTOM_ADMIN.either);

contracts/src/access/test/ShieldedAccessControl.test.ts

@@ -1,7 +1,7 @@
 import {
   CompactTypeBytes,
   CompactTypeVector,
-  convertFieldToBytes,
+  convertBigintToBytes,
   type MerkleTreePath,
   persistentHash,
   type WitnessContext,
@@ -84,11 +84,11 @@ const UNAUTHORIZED_SK = Buffer.alloc(32, 'UNAUTHORIZED_SECRET_KEY');
 const BAD_SK = Buffer.alloc(32, 'BAD_SECRET_KEY');
 
 // Roles
-const ROLE_ADMIN = Buffer.from(convertFieldToBytes(32, 0n, ''));
-const ROLE_OP1 = Buffer.from(convertFieldToBytes(32, 1n, ''));
-const ROLE_OP2 = Buffer.from(convertFieldToBytes(32, 2n, ''));
-const ROLE_OP3 = Buffer.from(convertFieldToBytes(32, 3n, ''));
-const ROLE_NONEXISTENT = Buffer.from(convertFieldToBytes(32, 555n, ''));
+const ROLE_ADMIN = Buffer.from(convertBigintToBytes(32, 0n, ''));
+const ROLE_OP1 = Buffer.from(convertBigintToBytes(32, 1n, ''));
+const ROLE_OP2 = Buffer.from(convertBigintToBytes(32, 2n, ''));
+const ROLE_OP3 = Buffer.from(convertBigintToBytes(32, 3n, ''));
+const ROLE_NONEXISTENT = Buffer.from(convertBigintToBytes(32, 555n, ''));
 
 // Derived ids
 const ADMIN_ACCOUNT_ID = buildAccountIdHash(ADMIN_SK);

contracts/src/access/test/ZOwnablePK.test.ts

@@ -1,7 +1,7 @@
 import {
   CompactTypeBytes,
   CompactTypeVector,
-  convertFieldToBytes,
+  convertBigintToBytes,
   persistentHash,
 } from '@midnight-ntwrk/compact-runtime';
 import { beforeEach, describe, expect, it } from 'vitest';
@@ -59,7 +59,7 @@ const buildCommitmentFromId = (
   counter: bigint,
 ): Uint8Array => {
   const rt_type = new CompactTypeVector(4, new CompactTypeBytes(32));
-  const bCounter = convertFieldToBytes(32, counter, '');
+  const bCounter = convertBigintToBytes(32, counter, '');
   const bDomain = new TextEncoder().encode(DOMAIN);
 
   const commitment = persistentHash(rt_type, [
@@ -81,7 +81,7 @@ const buildCommitment = (
   const id = createIdHash(pk, nonce);
 
   const rt_type = new CompactTypeVector(4, new CompactTypeBytes(32));
-  const bCounter = convertFieldToBytes(32, counter, '');
+  const bCounter = convertBigintToBytes(32, counter, '');
   const bDomain = new TextEncoder().encode(domain);
 
   const commitment = persistentHash(rt_type, [

contracts/src/access/test/mocks/MockAccessControl.compact

@@ -5,7 +5,7 @@
 // corresponding production contract relies on. DO NOT deploy or use this
 // contract in any production application.
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 import CompactStandardLibrary;
 

contracts/src/access/test/mocks/MockOwnable.compact

@@ -5,7 +5,7 @@
 // corresponding production contract relies on. DO NOT deploy or use this
 // contract in any production application.
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 import CompactStandardLibrary;
 

contracts/src/access/test/mocks/MockShieldedAccessControl.compact

@@ -5,7 +5,7 @@
 // corresponding production contract relies on. DO NOT deploy or use this
 // contract in any production application.
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 import CompactStandardLibrary;
 

contracts/src/access/test/mocks/MockZOwnablePK.compact

@@ -5,7 +5,7 @@
 // corresponding production contract relies on. DO NOT deploy or use this
 // contract in any production application.
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 import CompactStandardLibrary;
 import "../../ZOwnablePK" prefix ZOwnablePK_;

contracts/src/archive/ShieldedToken.compact

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 // OpenZeppelin Compact Contracts v0.3.0-alpha.2 (archive/ShieldedToken.compact)
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 /**
  * @module ShieldedToken (archived until further notice, DO NOT USE IN PRODUCTION)

contracts/src/archive/test/mocks/MockShieldedToken.compact

@@ -5,7 +5,7 @@
 // corresponding production contract relies on. DO NOT deploy or use this
 // contract in any production application.
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 import CompactStandardLibrary;
 import "../../ShieldedToken" prefix ShieldedToken_;

contracts/src/archive/test/utils/address.ts

@@ -1,8 +1,8 @@
 import {
-  convertFieldToBytes,
+  convertBigintToBytes,
   encodeCoinPublicKey,
 } from '@midnight-ntwrk/compact-runtime';
-import { encodeContractAddress } from '@midnight-ntwrk/ledger-v8';
+import { encodeContractAddress } from '@midnightntwrk/ledger-v9';
 import type * as Compact from '../../../../artifacts/MockShieldedToken/contract/index.js';
 
 const PREFIX_ADDRESS = '0200';
@@ -70,12 +70,12 @@ export const createEitherTestContractAddress = (str: string) => {
 
 export const ZERO_KEY = {
   is_left: true,
-  left: { bytes: convertFieldToBytes(32, 0n, '') },
+  left: { bytes: convertBigintToBytes(32, 0n, '') },
   right: encodeToAddress(''),
 };
 
 export const ZERO_ADDRESS = {
   is_left: false,
   left: encodeToPK(''),
-  right: { bytes: convertFieldToBytes(32, 0n, '') },
+  right: { bytes: convertBigintToBytes(32, 0n, '') },
 };

contracts/src/crypto/EcdhMask.compact

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 // OpenZeppelin Compact Contracts v0.3.0-alpha.2 (crypto/EcdhMask.compact)
 
-pragma language_version >= 0.23.0;
+pragma language_version >= 0.26.0;
 
 /**
  * @module EcdhMask
@@ -142,10 +142,10 @@ module EcdhMask {
   export pure circuit encrypt(
                         recipientPk: JubjubPoint,
                         value: Uint<128>,
-                        e: Field,
+                        e: JubjubScalar,
                         domain: Bytes<32>
                         ): Ciphertext {
-    const identity = ecMulGenerator(0 as Field);
+    const identity = ecMulGenerator(0 as JubjubScalar);
     assert(recipientPk != identity, "EcdhMask: identity pk");
     const ephemeralPk = ecMulGenerator(e);
     // Guard the ephemeral POINT, not the scalar: `ephemeralPk == identity`
@@ -169,7 +169,7 @@ module EcdhMask {
    * @return The recovered value as a `Field` (equal to the original `value`,
    *         which is `< 2^128`).
    */
-  export pure circuit decrypt(ciphertext: Ciphertext, ekScalar: Field, domain: Bytes<32>): Field {
+  export pure circuit decrypt(ciphertext: Ciphertext, ekScalar: JubjubScalar, domain: Bytes<32>): Field {
     const sShared = ecMul(ciphertext.ephemeralPk, ekScalar);
     const mask = kdf(sShared, domain);
     return ciphertext.ct - mask;