0.8.0

This version includes a breaking change in the specification of the ZoKrates domain-specific language:

• Due to common feedback, the new ZoKrates syntax uses curly braces and semi-colons:

// 0.7
def main():
   return 1

// 0.8
def main() {
   return 1;
}

• Variables are now Immutable by default. Mutable variables require usage of the new mut keyword.
• Multi returns are not supported anymore. Tuples can be used instead.
• A new statement named log enables printing values at run time:

def main(field x) {
   log("x is {}", x);
   return
}

Other notable changes:

• The libsnark backend and the PGHR13 scheme are no longer supported
• ZoKrates can now export snarkjs-compatible artifacts

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