Rediscover mathematics, cryptography, computer science and more through engaging articles.
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.
It's finally time to formalize what "zero knowledge" truly means
The next step in our journey will see us looking at a new and important commitment mechanism, designed for polynomials
Time to start building on top of the primitives we know so far!
A look at the bridge between the representation layer of problems, and the proving layer.
We explore the mysterious and misunderstood concept of entropy, and discover how it pops up in unexpected places.
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
After stocking up with hashes, now's time for another big protagonist of this ZK story!
Now that we understand zero knowledge, we must take some time to inspect how it fares under non-interactivity.
With commitment schemes at hand, we turn our attention once again to proving systems
Time for hashes to take the stage, bringing along a few cool tricks!
arkana
