ZoKrates Versions Save

This release expands the capabilities of zokrates.js to more schemes and curves, as well as fixes a bug related to range checks.

For a full list of the changes, check out the changelog.

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

This new release includes bug fixes as well as support for more schemes using the arkworks backend.

For the full list of changes, check out the changelog

This release fixes compilation to Apple M1.

The main additions in this ZoKrates release are

• support MPC trusted setups for Groth16
• performance optimisations of the compiler in terms of time and memory

Check out the changelog for the full list of changes.

0.7.8

0.7.7

⚠️ This release contains important bug fixes and therefore updating is recommended for all users ⚠️

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

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 for i a runtime variable.
• Runtime error messages to help with debugging

For the full list of changes, check out the changelog

0.7.4