Anatomy of a STARK

This tutorial series explains the mechanics of the STARK proof system. It is directed towards a technically-inclined audience with knowledge of basic maths and programming.

In this series we try to demystify zero-knowledge proofs (ZKPs) for the rest of non-math nerds. Since writing part 1, my thoughts on the subject have evolved. I’m more drawn to answering the following questions

  • Can anyone be a ZK developer?
  • Is there a simple path that we can define for anyone to get started in writing ZK circuits?

The simple answer to all the questions above is yes! Most assuredly, yes. How? Just learn Circom and you’ll be well on your way.