Merge pull request #840 from o1-labs/feature/reintroduce-807

Reintroduce #807

CHANGELOG.md

@@ -15,22 +15,33 @@ This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.htm
     _Security_ in case of vulnerabilities.
  -->
 
-## [Unreleased](https://github.com/o1-labs/snarkyjs/compare/0b7a9ad...HEAD)
+## [Unreleased](https://github.com/o1-labs/snarkyjs/compare/1a984089...HEAD)
 
-> No unreleased changes
+> No unreleased changes yet
+
+## [0.9.7](https://github.com/o1-labs/snarkyjs/compare/0b7a9ad...1a984089)
+
+### Changes
+
+- `Circuit.runAndCheck()` now uses `snarky` to create a constraint system and witnesses, and check constraints. It closely matches behavior during proving and can be used to test provable code without having to create an expensive proof https://github.com/o1-labs/snarkyjs/pull/840
+
+### Fixed
+
+- Fixes two issues that were temporarily reintroduced in the 0.9.6 release https://github.com/o1-labs/snarkyjs/issues/799 https://github.com/o1-labs/snarkyjs/issues/530
 
 ## [0.9.6](https://github.com/o1-labs/snarkyjs/compare/21de489...0b7a9ad)
 
 ### Breaking changes
 
+- Circuits changed due to an internal rename of "sequence events" to "actions" which included a change to some hash prefixes; this breaks all deployed contracts.
 - Temporarily reintroduces 2 known issues as a result of reverting a fix necessary for network redeployment:
   - https://github.com/o1-labs/snarkyjs/issues/799
   - https://github.com/o1-labs/snarkyjs/issues/530
   - Please note that we plan to address these issues in a future release. In the meantime, to work around this breaking change, you can try calling `fetchAccount` for each account involved in a transaction before executing the `Mina.transaction` block.
 - Improve number of constraints needed for Merkle tree hashing https://github.com/o1-labs/snarkyjs/pull/820
   - This breaks deployed zkApps which use `MerkleWitness.calculateRoot()`, because the circuit is changed
   - You can make your existing contracts compatible again by switching to `MerkleWitness.calculateRootSlow()`, which has the old circuit
-- Renamed Function Parameters: The `getAction` function now accepts a new object structure for its parameters. https://github.com/o1-labs/snarkyjs/pull/828
+- Renamed function parameters: The `getAction` function now accepts a new object structure for its parameters. https://github.com/o1-labs/snarkyjs/pull/828
   - The previous object keys, `fromActionHash` and `endActionHash`, have been replaced by `fromActionState` and `endActionState`.
 
 ### Fixed

MINA_COMMIT

@@ -1,2 +1,2 @@
 The mina commit used to generate the backends for node and chrome is
-bd201c58492e669848fd0440d33074f41ad00aed
+a44cfa16a5cc03c146524fc9efd96e4f0b1e90cf

package.json

@@ -1,7 +1,7 @@
 {
   "name": "snarkyjs",
   "description": "JavaScript bindings for SnarkyJS",
-  "version": "0.9.6",
+  "version": "0.9.7",
   "license": "Apache-2.0",
   "type": "module",
   "main": "./dist/web/index.js",