Bump @midnight-ntwrk/compact-runtime from 0.14.0 to 0.15.0

[dependabot]

Bumps @midnight-ntwrk/compact-runtime from 0.14.0 to 0.15.0.

Changelog

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

[Toolchain 0.30.0, language 0.22.0, runtime 0.15.0]

This release includes all changes for compiler versions in the range between 0.29.100 and 0.30.0; language versions in the range between 0.21.100 and 0.22.0; and Compact runtime versions in the range between 0.14.100 and 0.15.0.

[Unreleased toolchain 0.29.114, language 0.21.101, runtime 0.14.102]

Changed

• The language reference doc/lang-ref.mdx is now largely up-to-date with the Compact 0.21.0 language.
• The HTML version of the formal grammar in doc/Compact.html has been replaced with a markdown (mdx) version in doc/compact-grammar.mdx.

Added

• A list of Compact's keywords and reserved words, including those reserved for future use, is given in doc/compact-keywords.mdx.

[Unreleased toolchain 0.29.113, language 0.21.101, runtime 0.14.102]

Changed

• It is now a compiler error to pass Compact values containing opaque JS values (Opaque<'string'> or Opaque<'Uint8Array'>) to the standard library circuits persistentHash and persistentCommit. Hashing such values does not work in circuit due to the representation of these types. Previously, such code would crash the zkir process if it tried to generate prover and verifier keys. Now it is a compiler error instead.

  This also affects the standard library operation merkleTreePathRoot (because it calls persistentHash in its implementation), and ledger MerkleTree insertion operations, because they implicitly use persistentHash.

  This is a breaking change because the error is signaled early, and so it is now an error to use any of these circuits or ADT operations, even for circuits that don't need prover and verifier key generation which would compile successfully before.

[Unreleased toolchain 0.29.112, language 0.21.101, runtime 0.14.102]

Changed

• The fixup tool now replaces references to the old standard-library type names CurvePoint and NativePoint with JubJubPoint. It also does a better job of renaming standard-library circuits when it is safe to do so and explaining why when it is not safe to do so.

Internal notes

... (truncated)

Commits

• See full diff in compare view