0.7.0
This is a breaking release of the ZoKrates toolbox.
The main feature introduced in this release is constant generics (which were also recently added to the Rust language). Here's an example of usage, summing the values of any array of field elements:
def sum<N>(field[N] a) -> field:
field res = 0
for u32 i in 0..N do
res = res + a[i]
endfor
return res
ZoKrates now makes wider use of the u32
type in generics, for loop indices, shift amounts, and more.
Check out the changelog for a more complete list of the changes introduced. This file will now be updated with each new release.
The ZoKrates team thanks everyone involved in this release!