Release of Zinc v0.1

Safe-by-default ZKP programming framework

We’re super excited to announce the release of Zinc v0.1 (alpha) — a programming language and execution environment that makes creation of zero-knowledge proof circuits easy and secure.

Zinc lang follows safe-by-default Rust philosophy and is based on simplified (but very expressive) Rust syntax. It can be learned in just one day by developers proficient in languages like Rust, C++ or Solidity.

Unlike other existing ZKP programming languages, you do not need to understand all nuances R1CS in order to write secure code. Zinc adheres to strict typing, all operations are safe by default, and you can not make a mistake by missing an important constraint — the entire program is correctly constrained automatically.

A Bellman vs. Zinc comparison:

And a longer example of a program in Zinc (full example code available here):

Zinc v0.1 documentation can be found at https://zinc.matterlabs.dev/

Zinc is still work-in-progress, but v0.1 is already fully functional (interpreter, prover and verifier) and available for beta-testing. Please contact us via hello@matterlabs.dev to get early access.

Once the API is stable, the source code of Zinc will be published under permissive dual MIT/Apache-2.0 license.