Bump o1js from 0.13.1 to 0.15.0 in /mina

[dependabot]

Bumps o1js from 0.13.1 to 0.15.0.

Changelog

Sourced from o1js's changelog.

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

Changed

• Change precondition APIs to use "require" instead of "assert" as the verb, to distinguish them from provable assertions. @​LuffySama-Dev
  • this.x.getAndAssertEquals() is now this.x.getAndRequireEquals() o1-labs/o1js#1263
  • this.x.assertEquals(x) is now this.x.requireEquals(x) o1-labs/o1js#1263
  • this.account.x.getAndAssertEquals(x) is now this.account.x.requireEquals(x) o1-labs/o1js#1265
  • this.account.x.assertBetween() is now this.account.x.requireBetween() o1-labs/o1js#1265
  • this.network.x.getAndAssertEquals() is now this.network.x.getAndRequireEquals() o1-labs/o1js#1265
• Provable.constraintSystem() and {ZkProgram,SmartContract}.analyzeMethods() return a print() method for pretty-printing the constraint system o1-labs/o1js#1240

Fixed

• Fix missing recursive verification of proofs in smart contracts o1-labs/o1js#1302

0.14.2

Breaking changes

• Change return signature of ZkProgram.analyzeMethods() to be a keyed object o1-labs/o1js#1223

Added

• Provable non-native field arithmetic:
  • Gadgets.ForeignField.{add, sub, sumchain}() for addition and subtraction o1-labs/o1js#1220
  • Gadgets.ForeignField.{mul, inv, div}() for multiplication and division o1-labs/o1js#1223
• Comprehensive internal testing of constraint system layouts generated by new gadgets o1-labs/o1js#1241 o1-labs/o1js#1220

Changed

• Lightnet namespace API updates with added listAcquiredKeyPairs() method o1-labs/o1js#1256
• Expose raw provable methods of a ZkProgram on zkProgram.rawMethods o1-labs/o1js#1241
• Reduce number of constraints needed by rotate(), leftShift() and, rightShift() gadgets o1-labs/o1js#1201

Fixed

• Add a parameter to checkZkappTransaction for block length to check for transaction inclusion. This fixes a case where Transaction.wait() only checked the latest block, which led to an error once the transaction was included in a block that was not the latest. o1-labs/o1js#1239

... (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 18, 2023 8:39am

[dependabot]

Superseded by #58.