Recent blog posts
We now look at a second technique to build SNARKs that aims to fix some of the shortcomings in our previous exploration.
All the pieces are finally in place. Time to build our first real zk-SNARK.
A look at the bridge between the representation layer of problems, and the proving layer.
Now that we understand zero knowledge, we must take some time to inspect how it fares under non-interactivity.
It's finally time to formalize what "zero knowledge" truly means
We explore the mysterious and misunderstood concept of entropy, and discover how it pops up in unexpected places.
The next step in our journey will see us looking at a new and important commitment mechanism, designed for polynomials
Before we go on any further, we must stop and take a look at one of the most important algorithms enabling most of the things we're doing
arkana
