Blog

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!

To close things off, we look at a few important guidelines to upgrading an already-running Blockchain!

As we get closer to general proving systems, we are required to look at computation models, which brings us to circuits!

Time to start building on top of the primitives we know so far!

A broader look at the connection between different computation models, and the importance of arithmetic circuits

How do we handle data in Blockchain? What sort of problems may we face?

Equipped with finite fields and polynomials, it’s time to take a look at our very first proving system!

After stocking up with hashes, now's time for another big protagonist of this ZK story!

We now move forward to our first truly general computation correctness proving mechanism!

Before moving onto new proving systems, we must introduce a very necessary tool!

Time for our first basic mathematical concepts!