Release of Zinc v0.1

Safe-by-default ZKP programming framework

Alex Gluchowski
Jan 31 · 2 min read

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

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 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.

Matter Labs

Matter Labs

    Alex Gluchowski

    Written by

    Founder Matter Labs

    Matter Labs

    Matter Labs

    More From Medium

    Welcome to a place where words matter. On Medium, smart voices and original ideas take center stage - with no ads in sight. Watch
    Follow all the topics you care about, and we’ll deliver the best stories for you to your homepage and inbox. Explore
    Get unlimited access to the best stories on Medium — and support writers while you’re at it. Just $5/month. Upgrade