Bump o1js from 0.13.1 to 0.15.1 in /mina

[dependabot]

Bumps o1js from 0.13.1 to 0.15.1.

Changelog

Sourced from o1js's changelog.

0.15.1

Breaking changes

• Rename Gadgets.rotate() to Gadgets.rotate64() to better reflect the amount of bits the gadget operates on. o1-labs/o1js#1259
• Rename Gadgets.{leftShift(), rightShift()} to Gadgets.{leftShift64(), rightShift64()} to better reflect the amount of bits the gadget operates on. o1-labs/o1js#1259

Added

• Non-native elliptic curve operations exposed through createForeignCurve() class factory o1-labs/o1js#1007
• ECDSA signature verification exposed through createEcdsa() class factory o1-labs/o1js#1240 o1-labs/o1js#1007 o1-labs/o1js#1307
  • For an example, see ./src/examples/crypto/ecdsa
• Keccak/SHA3 hash function exposed on Keccak namespace o1-labs/o1js#1291
• Hash namespace which holds all hash functions o1-labs/o1js#999
  • Bytes, provable type to hold a byte array, which serves as input and output for Keccak variants
  • UInt8, provable type to hold a single byte, which is constrained to be in the 0 to 255 range
• Gadgets.rotate32() for rotation over 32 bit values o1-labs/o1js#1259
• Gadgets.leftShift32() for left shift over 32 bit values o1-labs/o1js#1259
• Gadgets.divMod32() division modulo 2^32 that returns the remainder and quotient of the operation o1-labs/o1js#1259
• Gadgets.rangeCheck32() range check for 32 bit values o1-labs/o1js#1259
• Gadgets.addMod32() addition modulo 2^32 o1-labs/o1js#1259
• Expose new bitwise gadgets on UInt32 and UInt64 o1-labs/o1js#1259
  • bitwise XOR via {UInt32, UInt64}.xor()
  • bitwise NOT via {UInt32, UInt64}.not()
  • bitwise ROTATE via {UInt32, UInt64}.rotate()
  • bitwise LEFTSHIFT via {UInt32, UInt64}.leftShift()
  • bitwise RIGHTSHIFT via {UInt32, UInt64}.rightShift()
  • bitwise AND via {UInt32, UInt64}.and()
• Example for using actions to store a map data structure o1-labs/o1js#1300
• Provable.constraintSystem() and {ZkProgram,SmartContract}.analyzeMethods() return a summary() method to return a summary of the constraints used by a method o1-labs/o1js#1007

Fixed

• Fix stack overflows when calling provable methods with large inputs o1-labs/o1js#1334
• Fix Local.setProofsEnabled() which would not get picked up by deploy() o1-labs/o1js#1330
• Remove usage of private class fields in core types like Field, for better type compatibility between different o1js versions o1-labs/o1js#1319

0.15.0

Breaking changes

• ZkProgram.compile() now returns the verification key and its hash, to be consistent with SmartContract.compile() o1-labs/o1js#1292 @​rpanic

Added

• Foreign field arithmetic exposed through the createForeignField() class factory o1-labs/snarkyjs#985
• Crypto namespace which exposes elliptic curve and finite field arithmetic on bigints, as well as example curve parameters o1-labs/o1js#1240
• Gadgets.ForeignField.assertMul() for efficiently constraining products of sums in non-native arithmetic o1-labs/o1js#1262
• Unconstrained for safely maintaining unconstrained values in provable code o1-labs/o1js#1262
• Gadgets.rangeCheck8() to assert that a value fits in 8 bits o1-labs/o1js#1288

... (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)

[vercel]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Comments	Updated (UTC)
web-badmintion	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Dec 25, 2023 8:51am

[dependabot]

Superseded by #64.