Blog

With commitment schemes at hand, we turn our attention once again to proving systems

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

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

Time for hashes to take the stage, bringing along a few cool tricks!

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

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

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

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

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