chore(deps): bump the midnight group across 1 directory with 22 updates

[dependabot]

Bumps the midnight group with 21 updates in the / directory:

Package	From	To
@midnight-ntwrk/compact-js	2.5.0	2.5.1
@midnight-ntwrk/compact-runtime	0.15.0	0.16.0
@midnight-ntwrk/dapp-connector-api	4.0.0	4.0.1
@midnight-ntwrk/ledger-v8	8.0.3	8.1.0
@midnight-ntwrk/midnight-js-compact	4.0.4	4.1.1
@midnight-ntwrk/midnight-js-contracts	4.0.4	4.1.1
@midnight-ntwrk/midnight-js-fetch-zk-config-provider	4.0.4	4.1.1
@midnight-ntwrk/midnight-js-http-client-proof-provider	4.0.4	4.1.1
@midnight-ntwrk/midnight-js-indexer-public-data-provider	4.0.4	4.1.1
@midnight-ntwrk/midnight-js-level-private-state-provider	4.0.4	4.1.1
@midnight-ntwrk/midnight-js-network-id	4.0.4	4.1.1
@midnight-ntwrk/midnight-js-node-zk-config-provider	4.0.4	4.1.1
@midnight-ntwrk/midnight-js-types	4.0.4	4.1.1
@midnight-ntwrk/midnight-js-utils	4.0.4	4.1.1
@midnight-ntwrk/testkit-js	4.0.4	4.1.1
@midnight-ntwrk/wallet-sdk-abstractions	2.0.0	2.1.0
@midnight-ntwrk/wallet-sdk-address-format	3.1.0	3.1.2
@midnight-ntwrk/wallet-sdk-dust-wallet	3.0.0	4.1.0
@midnight-ntwrk/wallet-sdk-facade	3.0.0	4.0.1
@midnight-ntwrk/wallet-sdk-shielded	2.1.0	3.0.1
@midnight-ntwrk/wallet-sdk-unshielded-wallet	2.1.0	3.1.0

Updates @midnight-ntwrk/compact-js from 2.5.0 to 2.5.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/compact-runtime from 0.15.0 to 0.16.0

Release notes

Sourced from @​midnight-ntwrk/compact-runtime's releases.

Compact toolchain dev 3a289c2e7811d2868e7810bd5a5f1f0b7055995f

On-demand dev build of the Compact toolchain.

• Source ref: issue-377 @ 3a289c2e7811d2868e7810bd5a5f1f0b7055995f
• Runtime npm: @midnight-ntwrk/compact-runtime@0.16.103-dev.3a289c2e7811d2868e7810bd5a5f1f0b7055995f (dist-tag dev)

Not a supported release. See doc/dev-builds.md for the retention policy.

Compact toolchain dev 73ebfbbff78118e77a83fdc99dca352db0020869

On-demand dev build of the Compact toolchain.

• Source ref: fix/dev-publish-final @ 73ebfbbff78118e77a83fdc99dca352db0020869
• Runtime npm: @midnight-ntwrk/compact-runtime@0.16.101-dev.73ebfbbff78118e77a83fdc99dca352db0020869 (dist-tag dev)

Not a supported release. See doc/dev-builds.md for the retention policy.

Compact toolchain 0.31.0 (Compact language 0.23.0)

Compact toolchain 0.31.0

• Date: 2026-04-28
• Language version: 0.23.0
• Compact runtime version: 0.16.0
• Environment: All public Midnight environments at the time of release. For the full compatibility matrix, see the release notes overview

High-level summary

Version 0.31.0 of the Compact toolchain has workarounds for erroneous proof failures which were awkward for developers to avoid. You can update to this version with compact update (as long as it is the most recent version) or compact update 0.31.

Audience

These release notes are intended for Compact smart contract developers and for DApp developers who use the Compact runtime.

What changed

This release has workarounds for an issue where proofs would erroneously fail because of conditional branches that were not taken. It also has a number of usability improvements and some other bug fixes.

• Operations in untaken branches are changed so that they cannot fail during proof construction
• The language reference is now up to date with the current language version
• for loop iteration bounds can now be generic parameters
• The contract-info.json file now contains a description of the public ledger state

Improvements

There are several correctness and usability improvements.

Operations in untaken branches cannot fail during proof construction

Off chain and before transaction submission, a Compact circuit is "run" twice. The first time, the compiled JavaScript code is executed to collect public and private state updates. The second time, the ZKIR representation of the circuit is used along with the public and private state updates already computed in order to construct a zero-knowledge proof.

During JavaScript execution, conditional branches in the Compact code are either taken or not taken, depending on the value of the condition. During proof construction, both branches of the conditional are considered as part of the relation being proven. This could lead to erroneous proof construction failures due to the not-taken branches.

... (truncated)

Changelog

Sourced from @​midnight-ntwrk/compact-runtime's changelog.

[Toolchain 0.31.102, language 0.23.102, runtime 0.16.0]

Added

• eval and arguments which are reserved words in strict mode of JavaScript are now added as future reserved words in Compact. Previously Compact accepted a contract using these as an identifier, resulting in producing an invalid JavaScript output.

Fixed

• Lexer matches the convention used by ECMAScript (https://tc39.es/ecma262/#sec-names-and-keywords) and UAX #31 (https://www.unicode.org/reports/tr31/#Table_Lexical_Classes_for_Identifiers): the lexer accepts Unicode ID_Start (Lu Ll Lt Lm Lo Nl) plus _ and $. Previously it accepted all alphabetic charactes which includes some non-ID-Start characters which are invalid in JavaScript. identifier-subsequent? now follows Unicode ID_Continue (Lu Ll Lt Lm Lo Nl Mn Mc Nd Pc). Previously it included som non-ID-Continue characters.

[Toolchain 0.31.101, language 0.23.101, runtime 0.16.0]

Added

Adds event and log as future keywords that are reserved.

[Toolchain 0.31.0, language 0.23.0, runtime 0.16.0]

This release includes all changes for compiler versions in the range between 0.30.100 and 0.31.0; language versions in the range between 0.22.100 and 0.23.0; and Compact runtime versions in the range between 0.15.100 and 0.16.0.

[Toolchain 0.30.107, language 0.22.101, runtime 0.15.101]

Fixed

Various zkir operators that can result in assertion failures and thus should be executed conditionally do not have guards are thus actually executed unconditionally. This can result in proof failures for correct transactions. For example, casting an unsigned integer value to a smaller unsigned type will always cause the proof to fail when the value is too big for that type, even if the cast occurs in a branch that is not taken in the Compact code.

The intent is to add guards to these operators in the next version of zkir. In the meantime, the compiler implements workarounds that arrange to invoke these operators with inputs that cannot cause assertion failures when the guard would be false.

The downside of these workarounds is that they can increase the size of the generated circuit. The size increase arises from conditional use (i.e., use in the then or

... (truncated)

Commits

• See full diff in compare view

Updates @midnight-ntwrk/dapp-connector-api from 4.0.0 to 4.0.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/ledger-v8 from 8.0.3 to 8.1.0

Commits

• See full diff in compare view

Updates @midnight-ntwrk/midnight-js-compact from 4.0.4 to 4.1.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/midnight-js-contracts from 4.0.4 to 4.1.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/midnight-js-fetch-zk-config-provider from 4.0.4 to 4.1.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/midnight-js-http-client-proof-provider from 4.0.4 to 4.1.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/midnight-js-indexer-public-data-provider from 4.0.4 to 4.1.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/midnight-js-level-private-state-provider from 4.0.4 to 4.1.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/midnight-js-network-id from 4.0.4 to 4.1.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/midnight-js-node-zk-config-provider from 4.0.4 to 4.1.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/midnight-js-types from 4.0.4 to 4.1.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/midnight-js-utils from 4.0.4 to 4.1.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/testkit-js from 4.0.4 to 4.1.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/wallet-sdk-abstractions from 2.0.0 to 2.1.0

Commits

• See full diff in compare view

Updates @midnight-ntwrk/wallet-sdk-address-format from 3.1.0 to 3.1.2

Commits

• See full diff in compare view

Updates @midnight-ntwrk/wallet-sdk-dust-wallet from 3.0.0 to 4.1.0

Commits

• See full diff in compare view

Updates @midnight-ntwrk/wallet-sdk-facade from 3.0.0 to 4.0.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/wallet-sdk-hd from 3.0.1 to 3.0.2

Commits

• See full diff in compare view

Updates @midnight-ntwrk/wallet-sdk-shielded from 2.1.0 to 3.0.1

Commits

• See full diff in compare view

Updates @midnight-ntwrk/wallet-sdk-unshielded-wallet from 2.1.0 to 3.1.0

Commits

• See full diff in compare view

[dependabot]

Labels

The following labels could not be found: npm. Please create it before Dependabot can add it to a pull request.

Please fix the above issues or remove invalid values from dependabot.yml.