Bump o1js from 0.17.0 to 1.8.0 in /packages/mina

[dependabot]

Bumps o1js from 0.17.0 to 1.8.0.

Changelog

Sourced from o1js's changelog.

1.8.0 - 2024-09-18

Added

• Added verifyEthers method to verify Ethereum signatures using the EIP-191 message hashing standard o1-labs/o1js#1815
  • Added fromEthers method for parsing and converting Ethereum public keys into ForeignCurve points, supporting both compressed and uncompressed formats.
  • Added fromHex method for converting hexadecimal strings into ForeignCurve points.

Fixes

• Fix incorrect behavior of optional proving for zkPrograms where myProgram.setProofsEnabled(false) wouldn't work when called before myProgram.compile() o1-labs/o1js#1827

1.7.0 - 2024-09-04

Added

• Added Encryption.encryptV2() and Encryption.decryptV2() for an updated encryption algorithm that guarantees cipher text integrity.
  • Also added Encryption.encryptBytes() and Encryption.decryptBytes() using the same algorithm.
• New option proofsEnabled for zkProgram (default value: true), to quickly test circuit logic with proofs disabled o1-labs/o1js#1805
  • Additionally added MyProgram.proofsEnabled to get the internal value of proofsEnabled and MyProgram.setProofsEnabled(proofsEnabled) to set the value dynamically.

Deprecated

• this.sender.getAndRequireSignature() / getUnconstrained() deprecated in favor of V2 versions due to a vulnerability o1-labs/o1js#1799

Fixes

• Fix behavior of Int64.modV2() when the input is negative and the remainder should be 0 o1-labs/o1js#1797

1.6.0 - 2024-07-23

Added

• SmartContract.emitEventIf() to conditionally emit an event o1-labs/o1js#1746
• Added Encryption.encryptV2() and Encryption.decryptV2() for an updated encryption algorithm that guarantees cipher text integrity.
  • Also added Encryption.encryptBytes() and Encryption.decryptBytes() using the same algorithm.

Changed

• Reduced maximum bit length for xor, not, and and, operations from 254 to 240 bits to prevent overflow vulnerabilities. o1-labs/o1js#1745
• Allow using Type instead of Type.provable in APIs that expect a provable type o1-labs/o1js#1751
  • Example: Provable.witness(Bytes32, () => bytes)
• Automatically wrap and unwrap Unconstrained in fromValue and toValue, so that we don't need to deal with "unconstrained" values outside provable code o1-labs/o1js#1751

1.5.0 - 2024-07-09

Breaking changes

• Fixed a vulnerability in OffchainState where it didn't store the IndexedMerkleTree length onchain and left it unconstrained o1-labs/o1js#1676

... (truncated)

Commits

• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)