ZoKrates/CHANGELOG.md

# Changelog
All notable changes to this project will be documented in this file.

## [Unreleased]
https://github.com/Zokrates/ZoKrates/compare/latest...develop

## [0.8.4] - 2023-01-31

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.8.4 <!-- markdown-link-check-disable-line -->

### Changes
- Fix array propagation for spreads and repeaters (#1269, @schaeff)
- Remove solc dependency for tests, use foundry instead (#1266, @schaeff)
- Optimize `zokrates-js` library size (#1264, @dark64)
- Use multicore feature in ark and bellman to improve performance (#1261, @dark64)
- Allow user-provided randomness in setup and proof generation (#1254, @dark64)
- Fix typos (#1260, @rex4539)
- Introduce constraint generation through assembly blocks (#1246, @dark64)
- Loosen up whitespace restrictions to allow more formatting styles (#1232, @dark64)
- Reduce cost of boolean array equality checks (#1228, @schaeff)

## [0.8.3] - 2022-10-11

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.8.3 <!-- markdown-link-check-disable-line -->

### Changes
- Disallow the use of the `private` and `public` keywords on non-entrypoint functions (#1224, @dark64)
- Fix duplicate constraint optimiser (#1226, @schaeff)

## [0.8.2] - 2022-09-05

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.8.2 <!-- markdown-link-check-disable-line -->

### Changes
- Make return statement optional if no returns are expected (#1222, @dark64)
- Add a casting utility module to stdlib (#1215, @dark64)
- Introduce dead code elimination (#1206, @schaeff)
- Add magic square in javascript example to the book (#1198, @dark64)
- Fix circom r1cs export to avoid generating unverified proofs (#1220, @schaeff)
- Allow shadowing (#1193, @schaeff)

## [0.8.1] - 2022-08-22

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.8.1 <!-- markdown-link-check-disable-line -->

### Changes
- Error out at compile time if the type of a logged value could not be inferred (#1209, @dark64)
- Add `backend` option in `zokrates-js`, bring back bellman, add a log writer to support printing logs in js (#1199, @dark64)
- Fix padding bug in keccak implementation, add support for keccak-224 and sha3-224 (#1197, @dark64)
- Update syntax highlighters (#1195, @schaeff)
- Avoid validity checks on the deserialization of the proving key to improve proving time (#1192, @dark64)

## [0.8.0] - 2022-07-07

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.8.0 <!-- markdown-link-check-disable-line -->

### Changes
- Drop support for PGHR13 proving scheme (#1181, @schaeff)
- Use signature output for constant parameter inference (#1172, @dark64)
- Add log statements to the language (#1171, @schaeff)
- Remove multiple returns (#1170, @dark64)
- Introduce the `mut` keyword and make variables immutable by default (#1168, @schaeff)
- Drop support for libsnark (#1153, @schaeff)
- Split codebase into smaller crates (#1151, @schaeff)
- Introduce curly bracket based syntax, use a semicolon to separate statements, change the syntax of `if-else` expression (#1121, @dark64)
- Optionally export snarkjs artifacts (#1143, @schaeff)
- Fix constant inlining for tuples (#1169, @dark64)
- Change the default backend to `ark` in the CLI (#1165, @dark64)

## [0.7.14] - 2022-05-31

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.14 <!-- markdown-link-check-disable-line -->

### Changes
- Add curve and scheme to the verification key and proof, detect these parameters on `verify`, `print-proof`, and `export-verifier` (#1152, @schaeff)
- Fix `one_liner.sh` script not resolving latest github tag (#1146, @dark64)
- Fix instructions to build from source (#1141, @schaeff)
- Fix keccak padding issue, allow arbitrary input size (#1139, @dark64)
- Fix tuple assignment when rhs is a conditional (#1138, @dark64)

## [0.7.13] - 2022-04-18

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.13 <!-- markdown-link-check-disable-line -->

### Changes
- Add proof formatting utility to zokrates-js (#1131, @dark64)
- Fix panic in some range checks over unsigned integers (#1129, @schaeff)
- Support selection of scheme and curve in `zokrates-js` (#1057, @dark64)

## [0.7.12] - 2022-04-11

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.12 <!-- markdown-link-check-disable-line -->

### Changes
- Handle unconstrained variables gracefully (#1120, @schaeff)
- Show the constraint count after successful compilation (again!) (#1119, @schaeff)
- Add support for EVM verification of the Marlin proof system (#1103, @nirvantyagi)
- Output structured data for Marlin artifacts (#1035, @schaeff)
- Add sha256 with padding for arbitrary input size to stdlib (#1114, @dark64)
- Add support for tuples (#1081, @schaeff)
- Fix encoding issue causing invalid values on u64 inputs in js environment (#1098, @dark64)
- Use optimized range check in assertions (#1080, @dark64)

## [0.7.11] - 2022-01-21

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.11 <!-- markdown-link-check-disable-line -->

### Changes
- Improve Merkle tree examples (#1077, @schaeff)
- Support for the `groth16` scheme using the ark backend, support the usage of the `bls12_381` curve with the `gm17` and `marlin` scheme (#1071, @dark64)
- Fix out of memory issues in `zokrates-js` (#1083, @dark64)
- Improve `inspect` command to include information about constraint count and curve (#1072, @dark64)

## [0.7.10] - 2021-12-16

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.10 <!-- markdown-link-check-disable-line -->

### Changes
- Fix building issue with `aarch64-apple-darwin` target (M1) (#1074, @dark64)

## [0.7.9] - 2021-12-14

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.9 <!-- markdown-link-check-disable-line -->

### Changes
- Add support for trusted setup ceremony using multi-party contribution (MPC) protocol (#1044, @dark64)
- Use ark-ff under the hood for optimized field operations (#1061, @schaeff)
- Reduce compiler memory usage using iterators, change the serialization format to CBOR (#1041, @schaeff)
- Improve the performance of the bit decomposition solver (#1062, @schaeff)

## [0.7.8] - 2021-11-23

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.8 <!-- markdown-link-check-disable-line -->

### Changes
- Fix reduction of constants (#1050, @schaeff)
- Implement type aliasing (#982, @dark64)
- Remove confusing returns (#1037, @schaeff)
- Reduce cost of dynamic comparison (#1025, @schaeff)
- Fix false positives and false negatives in struct generic inference (#1016, @schaeff)
- Make field to uint casts truncate values bigger than uint max (#997, @dark64)
- Add Marlin proving scheme to the backend table in the book (#1034, @schaeff)
- Fail at compile time when complex types are known not to be equal (#1032, @schaeff)
- Allow more postfix expressions, exit gracefully when trying to call anything else than an identifier (#1030, @schaeff)
- Add optional message to assert statement (#1012, @dark64)
- Introduce ternary operator (#1010, @dark64)

## [0.7.7] - 2021-10-04

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.7 <!-- markdown-link-check-disable-line -->

### Changes
- Reduce the deployment cost of the g16 and pghr13 verifiers (#1008, @m1cm1c)
- Make operators table more clear in the book (#1017, @dark64)
- Allow calls in constant definitions (#975, @schaeff)
- Handle out of bound accesses gracefully (#1013, @schaeff)
- Improve error message on unconstrained variable detection (#1015, @dark64)
- Apply propagation in ZIR (#957, @dark64)
- Fail on mistyped constants (#974, @schaeff)
- Graceful error handling on unconstrained variable detection (#977, @dark64)
- Fix incorrect propagation of spreads (#987, @schaeff)
- Add range semantics to docs (#992, @dark64)
- Fix invalid cast to `usize` which caused wrong values in 32-bit environments (#998, @dark64)

## [0.7.6] - 2021-08-16

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.6 <!-- markdown-link-check-disable-line -->

### Changes
- Fix stack overflow when testing equality on large arrays (#969, @schaeff)
- Make the stdlib `unpack` function safe against overflows of bit decompositions for any size of output, introduce `unpack_unchecked` for cases that do not require determinism (#955, @schaeff)
- Add explicit function generic parameters to docs (#962, @schaeff)
- Add gm17 verifier to stdlib for bw6_761 (#948, @schaeff)
- Enable constant generics on structs (#945, @schaeff)
- Use constants in the standard library, make `mimcSponge` implementation generic (#942, @dark64)
- Fix constant range check in uint lt check (#954, @schaeff)
- Add compiler logs (#950, @schaeff)
- Fix state corruption in the constant inliner (#949, @schaeff)
- Fix abi encoder bug for struct values where the members are encoded in the wrong order (#947, @schaeff)
- Bump Solidity version to latest breaking release and use Solidity's ABI v2. This means that the `export-verifier` CLI flag to choose the ABI coder was removed. (#844, @leonardoalt)

## [0.7.5] - 2021-07-10

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.5 <!-- markdown-link-check-disable-line -->

### Changes
- Allow field inputs in hexadecimal form in case the abi specification is used (#932, @dark64)
- Add hints to runtime errors (#931, @schaeff)
- Reduce cost of variable memory access (#930, @schaeff)
- Add support for the Marlin proving scheme (#927, @schaeff)
- Add a CLI option `generate-smtlib2` to output the compiled IR as an SMT formula. (#919, @leonardoalt)
- Introduce the `snark_verify_bls12_377` embed for one-layer composition of SNARK proofs (over `BLS12-377`/`BW6-761` pair of curves where `BW6-761` is used as an outer curve to `BLS12-377`) (#918, @dark64)
- Add details to for-loop documentation (#924, @schaeff)

## [0.7.4] - 2021-06-17

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.4 <!-- markdown-link-check-disable-line -->

### Changes
- Add `FIELD_SIZE_IN_BITS`, `FIELD_MIN` and `FIELD_MAX` constants to `field` stdlib module (#917, @dark64)
- Fix crash on import of functions containing constants (#913, @schaeff)
- Change endianness in keccak, sha3 and blake2s hash algorithms to big endian (#906, @dark64)
- Documentation improvements, move examples to a separate section, remove deprecated `--light` flag used in a rng tutorial, add a simple file system resolver example to zokrates.js docs (#914, @dark64)
- Fixed deserialization logic in the zokrates.js that caused issues on cli-compiled binaries (#912, @dark64)
- Reduce the cost of conditionals (#907, @schaeff)
- Improve propagation on if-else expressions when consequence and alternative are equal (#905, @schaeff)
- Fix access to constant in local function call (#910, @schaeff)
- Fix parsing of the left hand side of definitions (#896, @schaeff)
- Fix variable write remover when isolating branches (#904, @schaeff)
- Introduce a limit of 2**20 for for-loop sizes (#902, @schaeff)
- Run compilation test on RNG tutorial and fix bugs (#881, @axic)

## [0.7.3] - 2021-05-19

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.3

### Changes
- Remove substitution in `one_liner.sh` script which caused `Bad substitution` error with `sh`/`dash` (#877, @dark64)
- Put branch isolator behind a compilation flag in the static analyzer (#877, @dark64)

## [0.7.2] - 2021-05-18

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.2

### Changes
- Isolate branch panics: only panic in a branch if it's being logically executed (#865, @schaeff)
- Support the use of constants in struct and function declarations (#864, @dark64)
- Relax ordering of symbol declarations (#863, @dark64)
- Update `one_liner.sh` script to support arm64 architecture (#861, @dark64)
- Fix crash when updating a constant struct member to another constant (#855, @schaeff)
- Fix treatment of uint subtraction involving constants (bug) (#852, @schaeff)
- Add uint to abi docs (#848, @schaeff)
- Remove side effects on complex types (bug) (#847, @schaeff)
- Fix crash on struct member type mismatch (#846, @schaeff)
- Fix nested struct access crash (#845, @schaeff)
- Make error formatting consistent (#843, @schaeff)

## [0.7.1] - 2021-04-30

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.1

### Changes
- Fix integer inference on repeat operators (#834, @schaeff)
- Introduce constant definitions to the language (`const` keyword) (#792, @dark64)
- Introduce constant range checks for checks of the form `x < c` where `p` is a compile-time constant, also for other comparison operators. This works for any `x` and `p`, unlike dynamic `x < y` comparison (#761, @schaeff)
- Handle errors more gracefully in propagation step where applicable (#832, @dark64)
- Add interactive prompt before overwriting existing files in the `one_liner.sh` script (#831, @dark64)
- Add a custom panic hook to handle internal compiler errors more gracefully (#829, @dark64)
- Make command line errors compatible with editor cmd+click (#828, @schaeff)
- Make function definitions more permissive, and move ambiguity checks to call sites and improve them (#826, @schaeff)
- Detect assertion failures at compile time on constant expressions (#823, @dark64)
- Make function selection stricter in function calls (#822, @schaeff)
- Add the ability to import multiple symbols in a single import statement (#809, @dark64)
- Add [poseidon](https://www.poseidon-hash.info/) zk-friendly hashing algorithm to stdlib (#806, @dark64)
- Allow optional underscore before type suffix (e.g. `42_u32`) (#800, @dark64)
- Accept explicit generic parameters outside of definitions (#798, @schaeff)

## [0.7.0] - 2021-04-09

### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.7.0

### Changes
- Re-export embed functions as stdlib modules, add field to uint casts to stdlib (#801, @dark64)
- Change left `<<` and right `>>` shifts to take `u32` as a second parameter (#783, @schaeff)
- Introduce u64 type, add keccak{256,384,512} and sha3{256,384,512} hash functions to stdlib (#772, @dark64)
- Add negative `-` and positive `+` unary operators, restricting accepted expressions in some places (exponent) to allow for better parsing (#762, @schaeff)
- Make embed functions generic, enabling unpacking to any width at minimal cost (#754, @schaeff)
- Add global `--verbose` flag to CLI for verbose logging, add `--ztf` flag to `compile` command, deprecate `--light` flag as its behaviour is now a default. (#751, @dark64)
- Introduce constant generics for `u32` values. Introduce literal inference (#695, @schaeff)

## [0.6.4] - 2021-03-19
### Release
- https://github.com/Zokrates/ZoKrates/releases/tag/0.6.4

### Changes
- re-include embeds for a slightly cheaper sha256
- remove array ssa
- add flag to allow unconstrained variables
- better flattening of conjunctions
- put backends behind features
- accept any assignee in multidef
- minor performance and stability improvements

For older releases and changes, visit https://github.com/Zokrates/ZoKrates/releases.