Releases: Zokrates/ZoKrates
Releases · Zokrates/ZoKrates
0.7.13
0.7.12
The main additions in this new release are the following:
- Verification of Marlin proofs in Solidity - universal SNARKs on Ethereum today!
- Support for tuples
- Support for SHA256 for inputs of arbitrary size
Special thanks to @nirvantyagi for his precious contribution!
For a full list of the changes, check out the changelog
0.7.11
0.7.10
This release fixes compilation to Apple M1.
0.7.9
0.7.8
0.7.8
0.7.7
0.7.7
0.7.6
This release introduces some missing features to the language, and fixes some bugs.
- A verifier for GM17 snarks over
BW6_761
in the standard library. We'd like to thank the @EYBlockchain team which contributed the first integration of a recursive verifier to ZoKrates, which this addition is heavily based on. - Constant-generic structs
- Generic MiMC hashing
- Solidity 0.8, removal of the Solidity ABI flag as ABIV2 is standard now
For the full list of changes, check out the changelog
0.7.5
This new release of ZoKrates introduces the following features:
- Support for the Marlin universal SNARK proof system. Solidity support will be added in the future.
- Low level support for recursive proof composition. Standard library tools will be added for ease of use.
- Lower cost of variable array access:
a[i]
is now cheaper fori
a runtime variable. - Runtime error messages to help with debugging
For the full list of changes, check out the changelog
0.7.4
0.7.4