Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Reintroduce #807 #840

Merged
merged 11 commits into from
Apr 11, 2023
Merged

Reintroduce #807 #840

Show file tree
Hide file tree
Changes from 9 commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
d42e85d
Revert "Revert "Merge pull request #807 from o1-labs/feature/no-asser…
mitschabaude Apr 10, 2023
bab66c8
update bindings
mitschabaude Apr 10, 2023
9d8451c
make run and check work as intended (checked computation)
mitschabaude Apr 5, 2023
1375c6d
don't use run and check for tx callback
mitschabaude Apr 10, 2023
081b41a
fix unit test
mitschabaude Apr 10, 2023
2253247
fix group test
mitschabaude Apr 10, 2023
74020d6
fix scalar test
mitschabaude Apr 10, 2023
c23c4a2
fix string test
mitschabaude Apr 10, 2023
7e6c92e
changelog
mitschabaude Apr 10, 2023
1a98408
0.9.7
mitschabaude Apr 10, 2023
7cd04e4
changelog
mitschabaude Apr 10, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 9 additions & 2 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,20 +17,27 @@ This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.htm

## [Unreleased](https://github.com/o1-labs/snarkyjs/compare/0b7a9ad...HEAD)

> No unreleased changes
### 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
Expand Down
2 changes: 1 addition & 1 deletion MINA_COMMIT
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
The mina commit used to generate the backends for node and chrome is
bd201c58492e669848fd0440d33074f41ad00aed
a44cfa16a5cc03c146524fc9efd96e4f0b1e90cf
Loading